Pós-condição

O que é pós-condição?

Pós-condição é uma declaração ou conjunto de declarações que descrevem o resultado de uma ação, se verdadeira, quando a operação concluiu sua tarefa.

A instrução Post Conditions indica o que será verdadeiro quando a ação terminar sua tarefa.

Exemplo:

Para identificar a raiz quadrada de um número, a pré-condição é que o número seja maior que zero. A condição POST é que a raiz quadrada do número seja exibida no console.