Ñuño Martínez |
17-01-2007 12:37:41 |
Y tan breve: sigo igual que antes. Afortunadamente me ha dado por buscar y he encontrado esto. Y si he entendido bien tu pregunta y lo que esplican en el artículo la respuesta es... ¿Sí? :confused: Vamos, que siempre se pueden implementar las precondiciones y las poscondiciones con un par de IFs. Siguiendo el ejemplo del programa "Cuadrado" del mencionado artículo:
Código Delphi [-]
PROGRAM Cuadrado;
VAR
Numero, Resultado: LONGINT;
BEGIN
ReadLN (Numero);
IF Numero >= 0 THEN
BEGIN
Resultado := Numero * Numero;
IF Resultado = Numero * Numero THEN
BEGIN
WriteLN (Resultado);
END
ELSE
WriteLN ('La poscondición no se cumplió');
END
ELSE
WriteLN ('La precondición no se cumplió');
END;
O eso o yo me he perdido por el camino...
|