Introducción a la metodología de diseño descendente

© FUOC • P05/75062/00112 51 Introducción a la metodología de diseño descendenteaccion escribirFacturas(sal f: tFacturas){ Pre: f = F }{ Post: crea una secuencia de salida con la estructura , donde n i es unasubsecuencia de caracteres que representa a un propietario de páginas F y acaba en blanco, ei i es una subsecuencia de caracteres dígitos acabada en blanco que representa el importe totalque hay en F para el propietario n i }2)Segundo nivel: Páginas y FacturasEn este nivel tenemos dos abstracciones: pagina y facturas.a) Pasemos primero a trabajar la abstracción página:– Abstracciones utilizadas: palabra.– Identificación secuencia: página vista como una secuencia de palabras. La obtención delos elementos primero y siguiente se hará por medio de las acciones leerPrimeraPalabra yleerPalabra, y el reconocimiento de la palabra que marca el final será la palabra “FinTexto-HTML”. En el caso especial de estar en la última página, ésta contendrá sólo “FinPáginas”.Definición de los tiposLo único que interesa de una página es conocer a su propietario y el importe de la factura.En el caso de la última página, lo único que interesa es saber que se trata de la última. Definiríamos,pues, el tipo tPagina de la forma siguiente:tipotPagina = tuplapropietario: tPalabra;importe: real;final: booleano;ftuplaftipoPlanteamientos y solucionesIdentificación del esquema: recorrido con identificación previa de si se trata de la última página.accion obtenerPagina (sal p: tPagina)varpalabra, palabraNoIdentificados, palabraFinPaginas, palabraFinTextoHTML, palabra-Propiedad: tPalabra;fvarinicializaPalabraNoIdentificados(palabraNoIdentificados);inicializaPalabraFinPaginas(palabraFinPaginas);inicializaPalabraFinTextoHTML(palabraFinTextoHTML);inicializaPalabraPropiedad(palabraPropiedad);p.Importe := 0.0;p. Propietario := palabraNoIdentificadas; { Lo inicializamos en “NoIdentificados” por siacaso no tiene propietario }leerPrimeraPalabra(palabra);si palabrasIguales(palabra, palabraFinPaginas) entoncesp.final := ciertosinop.final := falsomientras no palabrasIguales(palabra, palabraFinTextoHTML) hacersi palabrasIguales(palabra,palabraPropiedad) entoncesleerPalabra(palabra);p.Propietario := palabrasinocontabilizaPalabra(palabra, p.Importe);leerPalabra(palabra)fsifmientrasfsifaccion { obtenerPagina }