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

Code
> com/sphenon/basics/exception/ExceptionContractViolation
 * ExceptionPreConditionViolation

Description
A precondition of a method is not fulfilled, or the class invariant on method entry is not true (implicit precondition).