Artefact:Model/com/sphenon/basics/exception/ExceptionPostConditionViolation
From OOModels
< Artefact:Model | com | sphenon | basics | exception
Jump to navigationJump to search
Revision as of 09:52, 26 March 2010 by AndreasLeue (talk | contribs) (New page: {{Metabox | Meta_Type = Type:org/oomodels/WIML/1.0 | Meta_Domain = Domain:it/test | Meta_Category = Type:org/oomodels/wiki/Model | Meta_Downloa...)
| 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).
