Class ConstraintReduction
java.lang.Object
de.monticore.types3.generics.util.ConstraintReduction
-
Field Summary
FieldsModifier and TypeFieldDescriptionprotected static ConstraintReductionprotected static final Stringthe name to be used for Log.info, etc. -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescription_reduce(List<Constraint> constraintsIn) protected static ConstraintReductionstatic voidinit()protected StringprintBounds(List<Bound> constraints) protected StringprintConstraints(List<Constraint> constraints) reduce(Constraint constraint) reduce(SubTypingConstraint constraint) based on Java Spec 20 18.2.3reduce(TypeCompatibilityConstraint constraint) based on Java Spec 20 18.2.2reduce(TypeEqualityConstraint constraint) reduce(List<Constraint> constraints) reduces constraints to bounds the resulting set of bounds may not be validstatic voidreset()protected static voidsetDelegate(ConstraintReduction newDelegate)
-
Field Details
-
LOG_NAME
the name to be used for Log.info, etc.- See Also:
-
delegate
-
-
Constructor Details
-
ConstraintReduction
public ConstraintReduction()
-
-
Method Details
-
reduce
reduces constraints to bounds the resulting set of bounds may not be valid -
reduce
-
_reduce
-
reduce
based on Java Spec 20 18.2.2 -
reduce
based on Java Spec 20 18.2.3 -
reduce
-
printConstraints
-
printBounds
-
init
public static void init() -
reset
public static void reset() -
setDelegate
-
getDelegate
-