Artefact:Model/com/sphenon/basics/exception/ExceptionAssertionProvedFalse
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]
| ||||||
| 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).
