Package de.monticore.types3.generics.constraints

Class ExpressionCompatibilityConstraint

java.lang.Object

de.monticore.types3.generics.constraints.Constraint

de.monticore.types3.generics.constraints.ExpressionCompatibilityConstraint

All Implemented Interfaces:

Comparable<Constraint>

public class ExpressionCompatibilityConstraint
extends Constraint

Field Summary

Fields

Modifier and Type	Field	Description
protected ASTExpression	expr
protected SymTypeExpression	targetType

Constructor Summary

Constructors

Constructor	Description
ExpressionCompatibilityConstraint(ASTExpression expr, SymTypeExpression targetType)

Method Summary

Modifier and Type	Method	Description
ExpressionCompatibilityConstraint	asExpressionCompatibilityConstraint()
boolean	deepEquals(Constraint other)
ASTExpression	getExpr()
List<SymTypeExpression>	getIncludedTypes()	Helper function;
SymTypeExpression	getTargetType()
boolean	isExpressionCompatibilityConstraint()
String	print()	returns a human-readable String, e.g., for the log

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

asBoundWrapperConstraint, asSubTypingConstraint, asTypeCompatibilityConstraint, asTypeEqualityConstraint, compareTo, isBoundWrapperConstraint, isSubTypingConstraint, isTypeCompatibilityConstraint, isTypeEqualityConstraint

Methods inherited from class java.lang.Object

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

Field Details

expr

protected ASTExpression expr

targetType

protected SymTypeExpression targetType

Constructor Details

ExpressionCompatibilityConstraint

public ExpressionCompatibilityConstraint(ASTExpression expr,
 SymTypeExpression targetType)

Method Details

getExpr

public ASTExpression getExpr()

getTargetType

public SymTypeExpression getTargetType()

isExpressionCompatibilityConstraint

public boolean isExpressionCompatibilityConstraint()

Overrides:

isExpressionCompatibilityConstraint in class Constraint

asExpressionCompatibilityConstraint

public ExpressionCompatibilityConstraint asExpressionCompatibilityConstraint()

Overrides:

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