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; }
Anfang weiter