Package de.monticore.types3.generics.bounds

Class TypeCompatibilityBound

java.lang.Object

de.monticore.types3.generics.bounds.Bound

de.monticore.types3.generics.bounds.TypeCompatibilityBound

All Implemented Interfaces:

Comparable<Bound>

public class TypeCompatibilityBound
extends Bound

Specifies, that either A) the inference variable is compatible to the SymTypeExpression, or B) the specified SymTypeExpression is compatible to inference variable. s.a. TypeCompatibilityConstraint s.a. SubTypingBound

This bound does not exist in the Java language specification. Instead, the corresponding TypeCompatibilityConstraint in Java is reduced to a SubTypingBound. As our Type System is (slightly) less restrictive with A) what types can be used as type arguments, and B) which types are compatible to another, using a SubTypingBound would be too restrictive, e.g., (Bad example, only used for simplicity) List<Integer> l1 = [1]; List<int> l2 = [1]; The above example cannot be type-checked with the standard JLS algorithm.

Note: As of writing, replacing every creation of these with the creation of a SubTypingBound, the implementation should behave very comparable to JLS 21 chapter 18.

Field Summary

Fields

Modifier and Type	Field	Description
protected SymTypeExpression	sourceType
protected SymTypeExpression	targetType

Constructor Summary

Constructors

Constructor	Description
TypeCompatibilityBound(SymTypeExpression targetType, SymTypeExpression sourceType)

Method Summary

Modifier and Type	Method	Description
TypeCompatibilityBound	asTypeCompatibilityBound()
boolean	deepEquals(Bound other)
List<SymTypeExpression>	getIncludedTypes()	Helper function;
SymTypeExpression	getSourceType()
SymTypeExpression	getTargetType()
boolean	isTypeCompatibilityBound()
String	print()	returns a human-readable String, e.g., for the log

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

asCaptureBound, asSubTypingBound, asTypeEqualityBound, asUnsatisfiableBound, compareTo, isCaptureBound, isSubTypingBound, isTypeEqualityBound, isUnsatisfiableBound

Methods inherited from class java.lang.Object

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

Field Details

sourceType

protected SymTypeExpression sourceType

targetType

protected SymTypeExpression targetType

Constructor Details

TypeCompatibilityBound

public TypeCompatibilityBound(SymTypeExpression targetType,
 SymTypeExpression sourceType)

Method Details

getSourceType

public SymTypeExpression getSourceType()

getTargetType

public SymTypeExpression getTargetType()

isTypeCompatibilityBound

public boolean isTypeCompatibilityBound()

Overrides:

isTypeCompatibilityBound in class Bound

asTypeCompatibilityBound

public TypeCompatibilityBound asTypeCompatibilityBound()

Overrides:

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