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

© FUOC • P05/75062/00112 50 Introducción a la metodología de diseño descendentefacturaPaginas{ Post: crea la secuencia de salida t = y (si E i ≠ ‘NoIdentificados’, E i es un nombre de empresa cliente que hay en S)y (F i es el importe correspondiente a la empresa E i de todas las palabras no gratuitas quehay en las páginas de S que pertenecen a E i )y (todas las E i presentes en t son diferentes)y (si no hay ningún E i que sea igual a “NoIdentificados”,m es el número de empresas diferentes de S) }y (si existe una E i igual a “NoIdentificados”,m – 1 es el número de empresas identificadas diferentes de S) }Planteamiento del algoritmo principalLa solución consistirá en hacer que por cada página que obtenemos de la secuencia, identifiquemosa la empresa cliente, calculemos el importe de su factura y lo acumulemos en unaestructura de datos que guarda a las empresas clientes identificadas con los importes facturadoshasta el momento. Se trata, pues, de aplicar el esquema de recorrido sobre la secuenciade páginas. El tratamiento para cada página consistirá en actualizar una estructura de datosque mantiene la facturación de todas las empresas clientes que han ido apareciendo o apareceránmás adelante en S a medida que vayamos progresando. Denominaremos a este objetoFacturas, y ya veremos sus detalles en el nivel del diseño correspondiente.Identificamos el esquema que hayque aplicar, y hacemosabstracciones nuevas.Entendemos que la última página consistirá sólo en la palabra gratuita ‘FinPaginas’ y, portanto, no será necesario tratarla.Aplicación directa del algoritmoCon todo esto, el algoritmo principal resulta de la forma siguiente:Particularizamos la solucióndel esquema de recorridopara este problema.algoritmo facturaPaginas;varfacturas: tFacturas;pagina: tPagina;fvarinicializarFacturas(Facturas);obtenerPagina(Pagina);mientras no ultimaPagina(Pagina) hacerfacturaPagina(Pagina, Facturas);obtenerPagina(Pagina)fmientrasescribirFacturas(Facturas);falgoritmoEspecificación de las accionesaccion obtenerPagina(sal p: tPagina){ Pre: la parte derecha de S contiene una subsecuencia que es una página, como mínimo, ola página especial “FinPaginas”. Denominamos página E a esta subsecuencia. }{ Post: P representa la página E }funcion ultimaPagina (p: tPagina): booleano{ Pre: p = P }{ Post: ultimaPagina (p) es cierto cuando P representa la última página }accion inicializarFacturas(sal F: tFacturas){ Pre: }{ Post: hay 0 empresas propietarias en F }accion facturaPagina (sal p: tPagina; entsal f: tFacturas){ Pre: p = P y f = F y F contiene el importe total por propietarios de páginas procesadas anteriormentepor facturaPagina }{ Post: en f se ha acumulado el importe de P correspondiente al propietario de P. Si P no tienepropietario, el importe se ha acumulado en el propietario especial “NoIdentificados” }