Je was op zoek naar: postcondition (Engels - Spaans)

postcondition
postcondición

postcondition:
condición posterior:

; codice_2 : defines a postcondition on the method that follows.
; codice_2 : define una postcondición en el método que le sigue.

; codice_3 : defines a postcondition for when a given exception is thrown by the method that follows.
; codice_3 : define una postcondición para cuando se lanza una excepción por el método que le sigue.

in computer programming, a postcondition is a condition or predicate that must always be true just after the execution of some section of code or after an operation in a formal specification.
en programación, una postcondición es una condición o predicado lógico que siempre debe cumplirse justamente después de la ejecución de una sección de código o de una operación (especificación formal).

postconditions
postcondición