La suscripción:: Afirma - diseño por el Contrato como pre y postcondiciones, etc.

SINOPSIS

use la Suscripción:: Afirman;

suscripción squareroot {
mi $x = cambio;
$x de devolución ** 0.5;
}

afirmar
pre => $PARAM [0]> = 1, # por simplicidad
ponga una nota => $VOID o $RETURN <= $PARAM [0],
suscripción => squareroot,
contexto => novoid,
acción => carpa;

imprima squareroot (2), "n"; # imprime 1.41421 etcétera
imprima squareroot (-1), "n"; # advierte
# "La condición previa 1 para:: principal squareroot fallado."
squareroot (2); # advierte
# ":: principal squareroot llamado en contexto vacío."

suscripción faultysqrt {
mi $x = cambio;
$x de devolución ** 2;
}

afirmar
pre => $PARAM [0]> = 1, # por simplicidad
ponga una nota => $RETURN <= $PARAM [0],
suscripción => faultysqrt;

imprima faultysqrt (2), "n"; # muere con
# "Postcondición 1 para:: principal squareroot fallado."