Class TypeEqualityConstraint
java.lang.Object
de.monticore.types3.generics.constraints.Constraint
de.monticore.types3.generics.constraints.TypeEqualityConstraint
- All Implemented Interfaces:
Comparable<Constraint>
-
Field Summary
Fields -
Constructor Summary
ConstructorsConstructorDescriptionTypeEqualityConstraint(SymTypeExpression firstType, SymTypeExpression secondType) -
Method Summary
Modifier and TypeMethodDescriptionbooleandeepEquals(Constraint other) Helper function;booleanprint()returns a human-readable String, e.g., for the logMethods inherited from class de.monticore.types3.generics.constraints.Constraint
asBoundWrapperConstraint, asExpressionCompatibilityConstraint, asSubTypingConstraint, asTypeCompatibilityConstraint, compareTo, isBoundWrapperConstraint, isExpressionCompatibilityConstraint, isSubTypingConstraint, isTypeCompatibilityConstraint
-
Field Details
-
firstType
-
secondType
-
-
Constructor Details
-
TypeEqualityConstraint
-
-
Method Details
-
getFirstType
-
getSecondType
-
isTypeEqualityConstraint
public boolean isTypeEqualityConstraint()- Overrides:
isTypeEqualityConstraintin classConstraint
-
asTypeEqualityConstraint
- Overrides:
asTypeEqualityConstraintin classConstraint
-
deepEquals
- Specified by:
deepEqualsin classConstraint
-
print
Description copied from class:Constraintreturns a human-readable String, e.g., for the log- Specified by:
printin classConstraint
-
getIncludedTypes
Description copied from class:ConstraintHelper function;- Specified by:
getIncludedTypesin classConstraint- Returns:
- the types included in the constraints (most have two).
-