Package de.monticore.types3.generics.constraints

Class TypeEqualityConstraint

java.lang.Object

de.monticore.types3.generics.constraints.Constraint

de.monticore.types3.generics.constraints.TypeEqualityConstraint

All Implemented Interfaces:

Comparable<Constraint>

public class TypeEqualityConstraint
extends Constraint

Field Summary

Fields

Modifier and Type	Field	Description
protected SymTypeExpression	firstType
protected SymTypeExpression	secondType

Constructor Summary

Constructors

Constructor	Description
TypeEqualityConstraint(SymTypeExpression firstType, SymTypeExpression secondType)

Method Summary

Modifier and Type	Method	Description
TypeEqualityConstraint	asTypeEqualityConstraint()
boolean	deepEquals(Constraint other)
SymTypeExpression	getFirstType()
List<SymTypeExpression>	getIncludedTypes()	Helper function;
SymTypeExpression	getSecondType()
boolean	isTypeEqualityConstraint()
String	print()	returns a human-readable String, e.g., for the log

Methods inherited from class de.monticore.types3.generics.constraints.Constraint

asBoundWrapperConstraint, asExpressionCompatibilityConstraint, asSubTypingConstraint, asTypeCompatibilityConstraint, compareTo, isBoundWrapperConstraint, isExpressionCompatibilityConstraint, isSubTypingConstraint, isTypeCompatibilityConstraint

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

firstType

protected SymTypeExpression firstType

secondType

protected SymTypeExpression secondType

Constructor Details

TypeEqualityConstraint

public TypeEqualityConstraint(SymTypeExpression firstType,
 SymTypeExpression secondType)

Method Details

getFirstType

public SymTypeExpression getFirstType()

getSecondType

public SymTypeExpression getSecondType()

isTypeEqualityConstraint

public boolean isTypeEqualityConstraint()

Overrides:

isTypeEqualityConstraint in class Constraint

asTypeEqualityConstraint

public TypeEqualityConstraint asTypeEqualityConstraint()

Overrides:

asTypeEqualityConstraint in class Constraint

deepEquals

public boolean deepEquals(Constraint other)

Specified by:

deepEquals in class Constraint

print

public String print()

Description copied from class: Constraint

returns a human-readable String, e.g., for the log

Specified by:

print in class Constraint

getIncludedTypes

public List<SymTypeExpression> getIncludedTypes()

Description copied from class: Constraint

Helper function;

Specified by:

getIncludedTypes in class Constraint

Returns:

the types included in the constraints (most have two).