Tres palabras clave del diseño contractual

Una condición previa:

Para llamar a una función, la condición debe ser verdadera. Cuando se viola, la función nunca será llamada. Es responsabilidad de la persona que llama pasar bien. datos. .

Segunda poscondición (poscondición):

Lo que la función garantiza que puede hacer, el estado en el que se completa la función, el hecho de que la función tenga esto significa que finalizará y no ser un bucle sin fin

Tres tipos de invariantes (invariantes de clase):

Desde la perspectiva de la persona que llama, esta condición siempre es verdadera Durante el procesamiento interno de la función, no Las variables pueden. ser mutables, pero deben ser verdaderos cuando el control regresa a la persona que llama después de que finaliza la función.