Explicitació del tipus del paràmetre (Fitxa)

Explicitaci´ o del tipus del par` ametre 0010-0070-0060 Explicitaci´o del tipus del par`ametre Abril de 2015 Cal explicitar el tipus de tot par` ametre expl´ ıcit Sovint per poder explicitar el tipus d’un par` ametre expl´ ıcit cal fer una infer` encia o una suposici´ o sem` antica list text Exemple 1. novaInscripci´o(caminada) 1. Decisi´o necess`aria •Desconeixem el tipus del par` ametre. Per tant hem de prendre una decisi´ o •La decisi´ o es pot prendre a partir de: – Infer`encia. Tenim motius per assegurar que caminada ´ es d’un tipus determinat. – Suposici´o sem`antica. A partir de la comprensi´ o del problema entenem (tot i que ´ es un sup` osit rebatible) que caminada ha de ser necess` ariament d’un tipus determinat – Decisi´o ”arbitr`aria”. Res ens porta a afirmar que caminada ´ es d’un tipus o d’un altre. Hem de prendre una decisi´ o. I la prenem tenint en compte la simetria de l’especificaci´ o, els nostres gustos personals, etc. Josep M. Merenciano 1 EPSEVG-UPC Explicitaci´ o del tipus del par` ametre 0010-0070-0060 2. novaInscripci´o(caminada:Caminada) PRE 1. La caminada t´ e el per´ ıode d’inscripci´ o obert •Hem decidit que el par` ametre ´ es una realitzaci´ o •Com que en la interf´ ıcie ja hem explicitat el tipus de caminada no cal anar repetint aquest tipus dins del contracte 3. novaInscripci´o(idCaminada) PRE 1. ∃c:Caminada tal que c.id=idCaminada 2. La ct´ e el per´ ıode d’inscripci´ o obert •Hem decidit que el par` ametre ´ es un identificador •La PRE1assegura l’exist` encia d’una realitzaci´ oidentificada amb el valor donat •Com que en la PRE1ja hem explicitat el tipus de cno cal anar repetint aquest tipus dins del contracte 4. Comparativa de les dues decisions •Amdues decsions, definir el par` ametre com a realitzaci´ o o com a identificador, comparteixen el mateix contracte •El contracte parla de realitzacions, independentment de si aquestes ens les han donades directament o a trav´ es de la seva descripci´ o • Identificadors (0010-0070-0010) L’´ unica difer` encia ´ es que en el cas d’identificador cal afegir una asserci´ o existencial sobre la realitzaci´ o que aquest identificador identifica Josep M. Merenciano 2 EPSEVG-UPC