Package de.monticore.types3.generics.constraints

Class TypeCompatibilityConstraint

java.lang.Object

de.monticore.types3.generics.constraints.Constraint

de.monticore.types3.generics.constraints.TypeCompatibilityConstraint

All Implemented Interfaces:

Comparable<Constraint>

public class TypeCompatibilityConstraint
extends Constraint

Field Summary

Fields

Modifier and Type	Field	Description
protected SymTypeExpression	sourceType
protected SymTypeExpression	targetType

Constructor Summary

Constructors

Constructor	Description
TypeCompatibilityConstraint(SymTypeExpression sourceType, SymTypeExpression targetType)

Method Summary

Modifier and Type	Method	Description
TypeCompatibilityConstraint	asTypeCompatibilityConstraint()
boolean	deepEquals(Constraint other)
List<SymTypeExpression>	getIncludedTypes()	Helper function;
SymTypeExpression	getSourceType()
SymTypeExpression	getTargetType()
boolean	isTypeCompatibilityConstraint()
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, asTypeEqualityConstraint, compareTo, isBoundWrapperConstraint, isExpressionCompatibilityConstraint, isSubTypingConstraint, isTypeEqualityConstraint

Methods inherited from class java.lang.Object

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

Field Details

sourceType

protected SymTypeExpression sourceType

targetType

protected SymTypeExpression targetType

Constructor Details

TypeCompatibilityConstraint

public TypeCompatibilityConstraint(SymTypeExpression sourceType,
 SymTypeExpression targetType)

Method Details

getSourceType

public SymTypeExpression getSourceType()

getTargetType

public SymTypeExpression getTargetType()

isTypeCompatibilityConstraint

public boolean isTypeCompatibilityConstraint()

Overrides:

isTypeCompatibilityConstraint in class Constraint

asTypeCompatibilityConstraint

public TypeCompatibilityConstraint asTypeCompatibilityConstraint()

Overrides:

asTypeCompatibilityConstraint 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).