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]
| ||||||
| ExceptionPostConditionViolation | ||||||
|---|---|---|---|---|---|---|
Description[edit]
A postcondition of a method is not fulfilled, or the class invariant on method entry is not true (implicit postcondition).
