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.