Difference between revisions of "Artefact:Model/com/sphenon/basics/exception/ExceptionAssertionProvedFalse"
From OOModels
< Artefact:Model | com | sphenon | basics | exception
Jump to navigationJump to search
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...) |
(No difference)
|
Latest revision as of 09:53, 26 March 2010
| 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]
| ||||||
| ExceptionAssertionProvedFalse | ||||||
|---|---|---|---|---|---|---|
Description[edit]
A safety assertion check failed, i.e. an additional check which is neither a pre- nor a postcondition. Typical reasons include: programming errors, insufficiently validated data, or logical errors in program design (i.e. the assertion itself is in fact untrue).
