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

© FUOC • P05/75062/00112 46 Introducción a la metodología de diseño descendente{ Pre: a = A }funcion ultimaArista(a: arista): booleanoretorna verticesIguales(a.vf, a.dv)ffuncion{ Post: ultimaArista (A) es cierto si A es la última arista de POL }{ Pre: a = A }funcion areaTrapecio(a: arista): realretorna areaTrapecioVertices (a.vi,a.vf)ffuncion{ Post: areaTrapecio(A) es el área doble del trapecio formado por la arista A y el eje x }3)Tercer nivelFinalizado el segundo nivel, es necesario definir la secuencia de vértices a partir de la secuenciade reales. En este caso, podemos observar que los vértices son parejas de realesdisyuntas:v 1 v 2x 1, y 1, x 2, y 2, ...tipovertice = tupla x, y: real;ftuplaftipo{ Pre: v1 = V1 y v2 = V2 }funcion areaTrapecioVertices (v1, v2: vertice): realretorna (v2.x – v1.x) ∗ (v2.y + v1.y)ffuncion{ Post: areaTrapecioVertices(V1,V2) es el área doble del trapecio formado por la arista que vade V1 a V2 y el eje x }{ Pre: pol = POL y pol tiene como mínimo dos reales (un vértice) en su parte derecha }accion obtenerPrimerVertice(sal v: vertice)v.x:= leerReal();v.y:= leerReal()faccion{ Post: la parte izquierda de pol tiene un vértice más y v tiene el vértice que antes estaba enla parte derecha }{ Pre: pol = POL y pol como mínimo tiene dos reales (un vértice) en su parte derecha }accion obtenerVertice(sal v: vertice)v.x:= leerReal();v.y:= leerReal()faccion{ Post: la parte izquierda de pol tiene un vértice más y v tiene el vértice que antes estaba en laderecha }{ Pre: v1 = V1 y v2 = V2 }funcion verticesIguales(v1, v2: vertice): booleanoretorna (v1.x = v2.x) y (v1.y = v2.y)ffuncion{ verticesIguales(v1, v2) es cierto si V1 y V2 son el mismo vértice }3.Especificaciónvar nPalabrasC: entero;fvar{ en la entrada hay la secuencia de palabras f de la frase F. F no está vacía }cuentaCapicuasFrase{ nPalabrasC tiene el número de palabras capicúa de F }