Unterseeboot:: - Konzipieren-durch-Vertrag wie pre- und postconditions, usw. erklären.

SYNOPSE

Gebrauch Unterseeboot:: Erklären;

sub squareroot {
mein $x = Schiebung;
Rückhol$x ** 0.5;
}

erklären
vor => $PARAM [0] >= 1, # um der Einfachheit willen
=> $VOID oder $RETURN <= $PARAM [0] bekanntgeben,
sub => squareroot,
Zusammenhang => novoid,
Maßnahmen => Karpfen;

Druck squareroot (2), „N“; # druckt 1.41421 und so weiter
squareroot drucken (- 1), „N“; # warnt
# „Vorbedingung 1 für Hauptleitung:: squareroot verlassen.“
squareroot (2); # warnt
# „Hauptleitung:: squareroot rief im ungültigen Zusammenhang.“

Vorfaultysqrt {
mein $x = Schiebung;
Rückhol$x ** 2;
}

erklären
vor => $PARAM [0] >= 1, # um der Einfachheit willen
Pfosten => $RETURN <= $PARAM [0],
Vor=> faultysqrt;

Druck faultysqrt (2), „N“; # stirbt mit
# „Postcondition 1 für Hauptleitung:: squareroot verlassen.“