next up previous contents
Next: 5.2 Implementación Up: 5.1 Diseño Previous: 5.1.1 Descripción informal   Contents

5.1.2 Descripción formal

TDA
Arreglo

Descripción:
Un arreglo es una secuencia de elementos de tamaño variable.
Invariante:
\( Arreglo=\left\langle elem_{0},\cdots ,elem_{n-1}\right\rangle \wedge \left( \forall i,0\leq i<n,elem_{i}\in TipoB\right) \)
Operaciones:
 

Operación
Arreglo

Descripción:
Crea un arreglo vacio.
Descripción operacional:
\( \begin{array}{cccc} Arreglo: & & \rightarrow & Arreglo \end{array} \)
Precondición:
\( verdadero \)
Poscondición:
\( Arreglo=\left\langle \right\rangle \)
Encabezado:
Arreglo::Arreglo();
Operación:
Arreglo

Descripción:
Libera el espacio ocupado por el arreglo.
Descripción operacional:
\( Arreglo:Arreglo\rightarrow \)
Precondición:
Poscondición:
Encabezado:
Arreglo::Arreglo();
Operación
[]

Descripción:
Retorna una referencia a un elemento del arreglo.
Descripción operacional:
\( \begin{array}{cccc} : & Arreglo\times N & \rightarrow & TipoB \end{array} \)
Precondición:
\( i\in N \)
Poscondición:
\( []=elem_{i} \)
Encabezado:
TipoB &Arreglo::operator [](int i);
Operación
tam

Descripción:
Retorna el tamaño del arreglo.
Descripción operacional:
\( \begin{array}{cccc} tam: & Arreglo & \rightarrow & N \end{array} \)
Precondición:
Poscondición:
\( tam=n \)
Encabezado:
int Arreglo::tam();
En este diseño de TDA se definido una operación Arreglo, esta es la operación destructora del arreglo. Esta operación se usa para destruir la instancia del TDA, por ejemplo para liberar memoria o cerrar archivos.

next up previous contents
Next: 5.2 Implementación Up: 5.1 Diseño Previous: 5.1.1 Descripción informal   Contents
Ing. L. Alejandro Bernal R. 2001-01-18