Konvertierung zur allgemeineren Expression

(Konvertierungs-Code wird generiert)

/**
 * Constraint class of ExampleContextObject.
 * Z Zentrale.
 * Generated by {@link ConstraintCodeGenerator}.
 */
public final class ZConstraint
{
    /**
     * Convert this constraint type to a compatible type of this type.
     * (Z or N).
     * 
     * @return compatible type of this type
     */
    public ORB_Z_N_OREConstraint convertToORB_Z_N_OREConstraint() {
        return new ORB_Z_N_OREConstraint(
                this.contextObj );
    }

generierte Constraint-Klassen sind invariant
(keine Oberklasse (ausser Object) und final)

Konvertierungs-Methode statt Java-Typ-Kompatibilität
Anfang weiter