ESPECIFICACIN LOGICA DEL TIPO DE DATO ABSTRACTO (TDA) PUERTA ELEMENTOS: Tipo de dato con propiedad Parking.

ESTRUCTURA: Relacin lineal entre los parmetros del constructor. DOMINIO: En la estructura se guardaran diversas peticiones de entrada y salida de los aparcamientos realizados por los usuarios. OPERACIONES: EntraVehiculo(); Utilidad: Mtodo que sirve para verificar la peticin de entrada del usuario. Entrada: Tipo de dato parking solicitando acceso a la barrera de la puerta por parte del usuario. Salida: VERDADERO si hay lugar en el aparcamiento para ingresar al usuario FALSO si est completo. PRECONDICIN: El tipo de dato debe ser de propiedad parking y debe de existir aparcamiento libre. POSTCONDICIN: El usuario accede a la puerta. SaleVehiculo(); Utilidad: Mtodo que sirve para verificar la peticin de salida del usuario. Entrada: Aparcamiento que ser verificado. Salida: El usuario saldr del aparcamiento. PRECONDICIN: Que haya usuarios dentro del aparcamiento. POSTCONDICIN: Espacio libre en el estacionamiento. ESPECIFICACIN LOGICA DEL TIPO DE DATO ABSTRACTO (TDA) ALMACEN ELEMENTOS: Dos propiedades con datos primitivos del tipo short. ESTRUCTURA: Hay una relacin lineal entre los elementos. DOMINIO: En la estructura se define el estado del almacn como su capacidad y el nmero de elementos que contiene declarando estas propiedades short. OPERACIONES: Almacen(); Utilidad: Constructor que define la capacidad que tiene el almacn. Entrada: La propiedad de tipo short para obtener la capacidad del almacn. Salida: capacidad del almacn. Precondicin: Propiedad declarada para definir capacidad total del almacen. Postcondicin: Capacidad total del almacn. DimeNumeroDeElementos(); Utilidad: Definir las propiedades del nmero de elementos Entrada: Propiedad de tipo short para definir los nmeros de elementos. Salida: Valor de la propiedad nmero de elementos.

Precondicin: Propiedad declarada para definir los nmeros de elementos. Postcondicin: Regresa nmero de elementos disponibles DimeCapacidad(); Utilidad: Definir las propiedades de la capacidad. Entrada: Propiedad de tipo short que define la capacidad. Salida: Valor de la propiedad capacidad. Precondicin: Propiedad declarada para especificar la capacidad. Postcondicin: Regresa la capacidad disponible en el almacn. HayElemento(); Utilidad: Indica la posibilidad de meter un elemento al almacn. Entrada: Propiedad de tipo short para indicar la posibilidad de agregar un elemento. Salida: Si el elemento es distinto de cero hay espacio para meterlo al almacn. Precondicin: Que el elemento sea distinto de cero. Postcondicin: Meter al elemento dentro del almacn. HayHueco(); Utilidad: Indica que existe al menos un elemento en el almacn. Entrada: Propiedad de tipo short para indicar la existencia de por lo menos un elemento dentro del almacn. Salida: Si el elemento es distinto a la capacidad no hay tantos huecos. Precondicin: Haber por lo menos un elemento dentro del almacn. Postcondicin: Indicar si hay espacio para agregar elemento. MeteElemento(); Utilidad: Actualiza el valor de la propiedad numero de elementos. Entrada: Propiedad de tipo short para meter elementos. Salida: Incremento de elementos en el almacn al meterlos. Precondicin: Ninguna. Postcondicin: Meter elemento al almacn. SacaElemento(); Utilidad: Actualiza el valor de la propiedad numero de elementos. Entrada: Propiedad de tipo short para sacar elementos. Salida: Decremento de elementos en el almacn al sacarlos. Precondicin: Que haya elementos metidos en el almacn. Postcondicin: Sacar elemento del almacn. RellenaAlmacen(); Utilidad: Actualiza la capacidad del almacn. Entrada: Propiedad de tipo short que sea igual a la otra propiedad. Salida: Capacidad del almacn. Precondicin: Que no haya elementos dentro del almacn. Postcondicin: Demostrar la capacidad del almacn.

ESPECIFICACIN LOGICA DEL TIPO DE DATO ABSTRACTO (TDA) APARCAMIENTO ELEMENTOS: Referencias a objetos de tipo puerta y almacn. ESTRUCTURA: Hay una relacin de tipo jerrquica entre los objetos. DOMINIO: En la estructura se realizan las pruebas de funcionamiento estableciendo que el aparcamiento dispondr de puertas de acceso del tipo puerta, pasndole como argumento el mismo aparcamiento de tipo almacn. OPERACIONES: Main(); Utilidad: Realizar las pruebas del funcionamiento. Entrada: Propiedad nmero de puerta del aparcamiento por donde desea entrar o salir el usuario. Salida: SI el nmero de puerta introducido es 1,2,3 o 4 se actualiza la propiedad PuertaRequerida de tipo puerta, SINO se visualiza un mensaje de error. Precondiciones: Haber creado referencias de Puerta. Postcondiciones: Verificacin del estado del almacn. Seleccin(); Utilidad: Simular una entrada o una salida de elementos. Entrada: Si es entrada se invoca al mtodo EntraVehiculo() de la clase puerta, si es salida se invoca al mtodo SaleVehiculo(). Salida: Resultado de la operacin. Precondiciones: Haber creado instancias de tipo puerta. Postcondiciones: Demostrar la viabilidad de entrada y salida de elementos.

ESPECIFICACIN LOGICA DEL TIPO DE DATO ABSTRACTO (TDA) LOGICAALMACEN ELEMENTOS: ESTRUCTURA: DOMINIO:

OPERACIONES: ESPECIFICACIN LOGICA DEL TIPO DE DATO ABSTRACTO (TDA) LOGICACONTROL1CONTENEDOR ELEMENTOS: ESTRUCTURA: DOMINIO: OPERACIONES: