Condizione post

Cos'è la post condition?

Post Condition è un'istruzione o un insieme di istruzioni che descrivono il risultato di un'azione, se vero, quando l'operazione ha completato il suo compito.

L'istruzione Pubblica condizioni indica cosa sarà vero quando l'azione termina la sua attività.

Esempio:

Per identificare la radice quadrata di un numero, la condizione preliminare è che il numero sia maggiore di zero. La condizione POST è che la radice quadrata del numero sia visualizzata sulla console.