Condição prévia

O que é pré-condição?

A pré-condição é uma declaração ou conjunto de declarações que descrevem uma condição que deve ser verdadeira quando uma ação é chamada. A declaração de pré-condição indica o que deve ser verdadeiro antes que a função seja chamada.

Exemplo:

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