Unsicherer Bereich und sicherer Bereich
Prüfung der Prädikate im Konstruktor
der generierten Constraint-Klasse
Werfen Exception bei Verletzung eines Prädikats
/**
* Constructor.
*
* @param contextObj current context object
* @throws IllegalArgumentException if constraint violated
*/
public ORB_Z_N_OREConstraint(
final ExamplContextObj contextObj ) {
if ( ! ( Z.test( contextObj ) ||
N.test( contextObj ) ) ) {
throw new IllegalArgumentException(
"constraint violation: " +
... );
}
this.contextObj = contextObj;
}