Package de.monticore.types3.generics.constraints

Class BoundWrapperConstraint

java.lang.Object

de.monticore.types3.generics.constraints.Constraint

de.monticore.types3.generics.constraints.BoundWrapperConstraint

All Implemented Interfaces:

Comparable<Constraint>

public class BoundWrapperConstraint
extends Constraint

Wraps Bounds as Constraints. This is useful if a Bound gets calculated in a context where (usually) Constraints are expected.

Field Summary

Fields

Modifier and Type	Field	Description
protected Bound	bound

Constructor Summary

Constructors

Constructor	Description
BoundWrapperConstraint(Bound bound)

Method Summary

Modifier and Type	Method	Description
BoundWrapperConstraint	asBoundWrapperConstraint()
boolean	deepEquals(Constraint other)
Bound	getBound()
List<SymTypeExpression>	getIncludedTypes()	Helper function;
boolean	isBoundWrapperConstraint()
String	print()	returns a human-readable String, e.g., for the log

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

asExpressionCompatibilityConstraint, asSubTypingConstraint, asTypeCompatibilityConstraint, asTypeEqualityConstraint, compareTo, isExpressionCompatibilityConstraint, isSubTypingConstraint, isTypeCompatibilityConstraint, isTypeEqualityConstraint

Methods inherited from class java.lang.Object

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

Field Details

bound

protected Bound bound

Constructor Details

BoundWrapperConstraint

public BoundWrapperConstraint(Bound bound)

Method Details

getBound

public Bound getBound()

isBoundWrapperConstraint

public boolean isBoundWrapperConstraint()

Overrides:

isBoundWrapperConstraint in class Constraint

asBoundWrapperConstraint

public BoundWrapperConstraint asBoundWrapperConstraint()

Overrides:

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