Package de.monticore.types3.generics.bounds

Class TypeEqualityBound

java.lang.Object

de.monticore.types3.generics.bounds.Bound

de.monticore.types3.generics.bounds.TypeEqualityBound

All Implemented Interfaces:

Comparable<Bound>

public class TypeEqualityBound
extends Bound

States that an inference variable equals another type. If the other type does not contain inference variables, this describes an "instantiation".

The order of types is predefined, e.g., for getFirstType(); First is always a type variable, if both are type variables, the order is based on the id.

Field Summary

Fields

Modifier and Type	Field	Description
protected SymTypeInferenceVariable	firstType
protected SymTypeExpression	secondType

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	TypeEqualityBound()
	TypeEqualityBound(SymTypeExpression typeA, SymTypeExpression typeB)

Method Summary

Modifier and Type	Method	Description
TypeEqualityBound	asTypeEqualityBound()
boolean	deepEquals(Bound other)
SymTypeInferenceVariable	getFirstType()
Optional<TypeEqualityBound>	getFlipped()	If the second type is a typeVariable as well, returns the Bound with its types order exchanged.
List<SymTypeExpression>	getIncludedTypes()	Helper function;
SymTypeExpression	getSecondType()
boolean	isTypeEqualityBound()
String	print()	returns a human-readable String, e.g., for the log

Methods inherited from class de.monticore.types3.generics.bounds.Bound

asCaptureBound, asSubTypingBound, asTypeCompatibilityBound, asUnsatisfiableBound, compareTo, isCaptureBound, isSubTypingBound, isTypeCompatibilityBound, isUnsatisfiableBound

Methods inherited from class java.lang.Object

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

Field Details

firstType

protected SymTypeInferenceVariable firstType

secondType

protected SymTypeExpression secondType

Constructor Details

TypeEqualityBound

public TypeEqualityBound(SymTypeExpression typeA,
 SymTypeExpression typeB)

TypeEqualityBound

protected TypeEqualityBound()

Method Details

getFirstType

public SymTypeInferenceVariable getFirstType()

getSecondType

public SymTypeExpression getSecondType()

getFlipped

public Optional<TypeEqualityBound> getFlipped()

If the second type is a typeVariable as well, returns the Bound with its types order exchanged.

isTypeEqualityBound

public boolean isTypeEqualityBound()

Overrides:

isTypeEqualityBound in class Bound

asTypeEqualityBound

public TypeEqualityBound asTypeEqualityBound()

Overrides:

asTypeEqualityBound in class Bound

deepEquals

public boolean deepEquals(Bound other)

Specified by:

deepEquals in class Bound

print

public String print()

Description copied from class: Bound

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

Specified by:

print in class Bound

getIncludedTypes

public List<SymTypeExpression> getIncludedTypes()

Description copied from class: Bound

Helper function;

Specified by:

getIncludedTypes in class Bound

Returns:

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