Estrutura de seleção: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
sdfhhrecvbnmoiuytre rescvbjuytre resdcvb |
m Foram revertidas as edições de 187.22.135.188 para a última revisão de 2804:14D:7884:80E0:8D8E:EDB5:8A5F:82CA, de 01h38min de 12 de março de 2020 (UTC) Etiqueta: Reversão |
||
Linha 70:
É uma estrutura usada para auxiliar a especificação de programas, e para indicar pré-requisitos de blocos de códigos. Por exemplo, uma pré-condição é um asserto adicionado no início de um bloco de código, e determina o conjunto de estados em que o código é esperado ser executado. Da mesma forma, uma pós-condição é um asserto adicionado no final de um bloco de código, determinando o conjunto de estados em que o código é esperado após ser executado (essa técnica é parte do [[paradigma de programação|paradigma]] de [[programação por contratos]]).
No uso prático, diversas linguagens de programação modernas oferecem essa estrutura, que é verificada em tempo de execução. Caso a condição seja falsa, a execução é abortada, facilitando a [[depuração]] de um sistema.
{{referências|Notas e Referências}}
| |||