Artefact:Model/com/sphenon/basics/exception/ExceptionPostConditionViolation

From OOModels
< Artefact:Model‎ | com‎ | sphenon‎ | basics‎ | exception
Jump to navigationJump to search
Classification
Type Type:org/oomodels/WIML/1.0
Domain Domain:it/test
Category Type:org/oomodels/wiki/Model
More
Download Code
Diagram
Namespace (more)
create new pages

Code[edit]

ExceptionContractViolation
ExceptionPostConditionViolation


Description[edit]

A postcondition of a method is not fulfilled, or the class invariant on method entry is not true (implicit postcondition).