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

From OOModels
< Artefact:Model‎ | com‎ | sphenon‎ | basics‎ | exception
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...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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).