Tipos abstractos de datos, ejemplo
Archivero.
Eduardo Gómez, C.I: 22.890.260
Algoritmo y Estructura de Datos II, Sección 34.
Tipo Archivero
Sintaxis
Archivero_Vacio Archivero.
Verificar_Carpeta (Carpeta,Archivero) Booleano.
Verificar_Planilla (Planilla, Carpeta, Archivero) Booleano.
Ordenar_Carpetas (Carpeta, Archivero) Archivero.
Ordenar_Planillas (Planilla, Carpeta, Archivero) Archivero.Almacenar_Carpeta (Carpeta, Archivero) Archivero.
Almacenar_Planilla (Planilla, Carpeta, Archivero) Archivero.
Borrar_Carpeta (Carpeta, Archivero) Archivero.
Borrar_Planilla (Planilla, Carpeta,Archivero) Archivero.
Contar_Carpetas (Carpeta, Archivero) Entero.
Contar_Planilla (Planilla, Carpeta, Archivero) Entero.
Modificar_Carpeta (Carpeta, Carpeta, Archivero) Archivero.Modificar_Planilla (Planilla, Planilla, Carpeta, Archivero) Archivero.
Semántica
∀ Ca1, Ca2 ∈ Carpetas, ∀ A ∈ Archivero, ∀ P1, P2, ∈ Planillas, ∀ X1, X2 ∈ Entero
Verificar_Carpeta (Ca1, A) Si A= ∅error | Si Ca1∈ A verdadero | Falso
Verificar_Planilla (P1, Ca1, A) Si Verificar_Carpeta (Ca1, A)= Verdadero y P1 ∈ Ca1 Verdadero | Falso.
Almacenar_Carpeta (Ca1, A) Si Verificar_Carpeta (Ca1,A) = Falso A= A+C1 | error.
Almacenar_Planilla (P1, Ca1, A) Si Verificar_Carpeta (Ca1, A) = Verdadero A= A con P1 en Ca1 | Error.
Borrar_Carpeta (Ca1, A) Si Verificar_Carpeta (Ca1, A) =Verdadero A= A-Ca1 | error.
Borrar_Planilla (P1, Ca1, A) Si Verificar_Planilla (P1, Ca1, A) = Verdadero A= A con Ca1= Ca1 - P1 | Error.
Ordenar_Carpetas (Ca1, A) Si Verificar_Carpeta (Ca1, A) =Verdadero Carpetas ordenadas alfabéticamente | Error.
Ordenar_Planillas (P1, Ca1, A) Si Verificar_Planilla (P1, Ca1, A) = Verdadero Planillas ordenadas alfabéricamente | Error.
Contar_Carpetas (Ca1, A,X1) Si Verificar_Carpeta (Ca1, A) = Verdadero X1= Cantidad de carpetas en A | X=0.
Contar_Planillas (P1, A, X2) Si Verificar_Planilla (P1, Ca1, A) = Verdadero X2= Cantidad de planillas en Ca1...
Regístrate para leer el documento completo.