Package de.monticore.types3.generics.bounds

Class SubTypingBound

java.lang.Object

de.monticore.types3.generics.bounds.Bound

de.monticore.types3.generics.bounds.SubTypingBound

All Implemented Interfaces:

Comparable<Bound>

public class SubTypingBound
extends Bound

Field Summary

Fields

Modifier and Type	Field	Description
protected SymTypeExpression	subType
protected SymTypeExpression	superType

Constructor Summary

Constructors

Constructor	Description
SubTypingBound(SymTypeExpression subType, SymTypeExpression superType)

Method Summary

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

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

asCaptureBound, asTypeCompatibilityBound, asTypeEqualityBound, asUnsatisfiableBound, compareTo, isCaptureBound, isTypeCompatibilityBound, isTypeEqualityBound, isUnsatisfiableBound

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

SubTypingBound

public SubTypingBound(SymTypeExpression subType,
 SymTypeExpression superType)

Method Details

getSubType

public SymTypeExpression getSubType()

getSuperType

public SymTypeExpression getSuperType()

isSubTypingBound

public boolean isSubTypingBound()

Overrides:

isSubTypingBound in class Bound

asSubTypingBound

public SubTypingBound asSubTypingBound()

Overrides:

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