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í?
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...