Parametrisierbare Prädikate

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