Es gibt (mindestes) eine variable Member,
welche im Konstruktor gesetzt wird:
new IntEqual( 0 ) // x == 0
Abstrakte Methode zum Erzeugen eines Java-konformen Dateinamen:
public String toFileName() {
return
this.getClass().getSimpleName() +
// TODO negatives Vorzeichen beachten
this.intEqValue;
}
Abstrakte Methode zum Erzeugen des Codes (String) zum
Besorgen einer korrekt parametrisierten Prädikat-Instanz
für die test-Methode des Constraints.
public String toJavaInstanceOfStr() {
return
"new " +
this.getClass().getSimpleName() +
"( " +
this.intEqValue +
" )";
}