Pauta test #1 Estructura de Datos | Tipos Abstractos de Datos struct

Pauta test #1 Estructura de Datos | Tipos Abstractos de Datos struct

Pauta test #1 Estructura de Datos | Tipos Abstractos de Datos struct DDE{ int capacidad; char archivos[100][50]; int pesoArchivos[100]; }; (10 puntos) TAD DDE(VALORES: DDE, enteros, booleanos, archivo; OPERACIONES: inicializarDDE, insertar, eliminar, cantidadArchivos, archivoMayorPeso, buscarArchivo, espacioLibre, ddeLleno, ddeVacio) Sintaxis: * inicializarDDE(DDE)-­‐>DDE [*] Inicializa estructura del disco duro externo seteando capacidad en MB (Ej: 1024). * insertar(DDE,archivo)-­‐>booleano [*] Inserta un archivo al disco duro indicado y se entrega true en caso de poder insertar y false en caso de no poder insertar. * eliminar(DDE,archivo)-­‐>booleano [*] Elimina un archivo del disco duro indicado y se entrega true en caso de poder eliminar y false en caso de no poder eliminar. * cantidadArchivos(DDE)-­‐>entero [*] Dado un disco duro entrega un entero con la cantidad de archivos. * archivoMayorPeso(DDE)-­‐>archivo [*] Dado un disco duro entrega el archivo de mayor peso. * buscarArchivo(DDE,archivo)-­‐>booleano [*] Busca un archivo en un disco duro indicado, entrega true si lo encuentra y en caso contrario false. * espacioLibre(DDE)-­‐>entero [*] Dado un disco duro entrega el espacio libre del disco. * ddeLleno(DDE)-­‐>booleano [*] Dado un disco duro entrega true en caso de que este se encuentre lleno y en caso contrario false. * ddeVacio(DDE)-­‐>booleano [*] Dado un disco duro entrega trufe en caso de que este se encuentre vacío y en caso contrario false. (10 puntos c/u) Semántica: Sean x de tipo DDE y a de tipo archivo: * inicializarDDE(x)-­‐>x * insertar(x,a)=false-­‐>espacioLibre(x)=0 * eliminar(x,a)=false-­‐>buscaArchivo(x,a)=false * ddeVacio(x)=true-­‐>insertar(x,a)=true * cantidadArchivos(x)=0-­‐>ddeVacio(x)=true * ddeLleno(x)=true-­‐>espacioLibre(x)=0 (5 puntos c/u)