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]

ExceptionVerificationFailure
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).