Package de.monticore.types3.generics.constraints

Class SubTypingConstraint

java.lang.Object

de.monticore.types3.generics.constraints.Constraint

de.monticore.types3.generics.constraints.SubTypingConstraint

All Implemented Interfaces:

Comparable<Constraint>

public class SubTypingConstraint
extends Constraint

Field Summary

Fields

Modifier and Type	Field	Description
protected SymTypeExpression	subType
protected SymTypeExpression	superType

Constructor Summary

Constructors

Constructor	Description
SubTypingConstraint(SymTypeExpression subType, SymTypeExpression superType)

Method Summary

Modifier and Type	Method	Description
SubTypingConstraint	asSubTypingConstraint()
boolean	deepEquals(Constraint other)
List<SymTypeExpression>	getIncludedTypes()	Helper function;
SymTypeExpression	getSubType()
SymTypeExpression	getSuperType()
boolean	isSubTypingConstraint()
String	print()	returns a human-readable String, e.g., for the log

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

asBoundWrapperConstraint, asExpressionCompatibilityConstraint, asTypeCompatibilityConstraint, asTypeEqualityConstraint, compareTo, isBoundWrapperConstraint, isExpressionCompatibilityConstraint, isTypeCompatibilityConstraint, isTypeEqualityConstraint

Methods inherited from class java.lang.Object

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

Field Details

subType

protected SymTypeExpression subType

superType

protected SymTypeExpression superType

Constructor Details

SubTypingConstraint

public SubTypingConstraint(SymTypeExpression subType,
 SymTypeExpression superType)

Method Details

getSubType

public SymTypeExpression getSubType()

getSuperType

public SymTypeExpression getSuperType()

isSubTypingConstraint

public boolean isSubTypingConstraint()

Overrides:

isSubTypingConstraint in class Constraint

asSubTypingConstraint

public SubTypingConstraint asSubTypingConstraint()

Overrides:

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