Package de.monticore.types3.generics.bounds

Class CaptureBound

java.lang.Object

de.monticore.types3.generics.bounds.Bound

de.monticore.types3.generics.bounds.CaptureBound

All Implemented Interfaces:

Comparable<Bound>

public class CaptureBound
extends Bound

A bound representing that a given type will be capture converted later. This is required, as one cannot capture convert types that have inference variables. The only SymType-kinds applicable are generics and functions, as their symbols can have type parameters.

Field Summary

Fields

Modifier and Type	Field	Description
protected SymTypeExpression	placeHolder
protected SymTypeExpression	toBeCaptured

Constructor Summary

Constructors

Constructor	Description
CaptureBound(SymTypeExpression toBeCaptured)

Method Summary

Modifier and Type	Method	Description
CaptureBound	asCaptureBound()
protected SymTypeExpression	calculatePlaceHolder(SymTypeExpression type)
boolean	deepEquals(Bound other)
protected SymTypeExpression	getDeclaredType()
List<Bound>	getImpliedBounds()	s.
List<SymTypeExpression>	getIncludedTypes()	Helper function;
List<SymTypeInferenceVariable>	getInferenceVariables()	returns the inference variables created for this bound, e.g., for bound G<a1,a2> = capture(G<A1,A2>), this will return [a1,a2].
List<SymTypeExpression>	getModifiedDeclaredBounds()	returns the declared bounds with the type parameters replaced by the inference variables, e.g., for bound G<a1,a2> = capture(G<A1,A2>) with G declared with type parameters [P1,P2] and corresponding (upper) bounds [B1,B2], this will return [B1,B2][P1:=a1,P2:=a2].
SymTypeExpression	getPlaceHolder()
SymTypeExpression	getToBeCaptured()
List<SymTypeExpression>	getTypeArguments()	returns the type arguments to be captured for this bound, e.g., for bound G<a1,a2> = capture(G<A1,A2>), this will return [A1,A2].
protected List<SymTypeExpression>	getTypeArguments(SymTypeExpression type)
Map<SymTypeVariable,SymTypeInferenceVariable>	getTypeParameter2InferenceVarMap()	returns the mapping from type parameters to inference variables e.g., for bound G<a1,a2> = capture(G<A1,A2>) with G declared with type parameters [P1,P2], this will return [P1:=a1,P2:=a2].
List<SymTypeVariable>	getTypeParameters()	returns the type parameters of the declared type e.g., for bound G<a1,a2> = capture(G<A1,A2>) with G declared with type parameters [P1,P2], this will return [P1,P2].
boolean	isCaptureBound()
String	print()	returns a human-readable String, e.g., for the log

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

asSubTypingBound, asTypeCompatibilityBound, asTypeEqualityBound, asUnsatisfiableBound, compareTo, isSubTypingBound, isTypeCompatibilityBound, isTypeEqualityBound, isUnsatisfiableBound

Methods inherited from class java.lang.Object

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

Field Details

placeHolder

protected SymTypeExpression placeHolder

toBeCaptured

protected SymTypeExpression toBeCaptured

Constructor Details

CaptureBound

public CaptureBound(SymTypeExpression toBeCaptured)

Method Details

getPlaceHolder

public SymTypeExpression getPlaceHolder()

getToBeCaptured

public SymTypeExpression getToBeCaptured()

isCaptureBound

public boolean isCaptureBound()

Overrides:

isCaptureBound in class Bound

asCaptureBound

public CaptureBound asCaptureBound()

Overrides:

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

getInferenceVariables

public List<SymTypeInferenceVariable> getInferenceVariables()

returns the inference variables created for this bound, e.g., for bound G<a1,a2> = capture(G<A1,A2>), this will return [a1,a2]. s. Java Spec 21 5.1.10. They include the implied bounds according to Java Spec 21 18.1.3.

getTypeArguments

public List<SymTypeExpression> getTypeArguments()

returns the type arguments to be captured for this bound, e.g., for bound G<a1,a2> = capture(G<A1,A2>), this will return [A1,A2].

getTypeParameters

public List<SymTypeVariable> getTypeParameters()

returns the type parameters of the declared type e.g., for bound G<a1,a2> = capture(G<A1,A2>) with G declared with type parameters [P1,P2], this will return [P1,P2].

getModifiedDeclaredBounds

public List<SymTypeExpression> getModifiedDeclaredBounds()

returns the declared bounds with the type parameters replaced by the inference variables, e.g., for bound G<a1,a2> = capture(G<A1,A2>) with G declared with type parameters [P1,P2] and corresponding (upper) bounds [B1,B2], this will return [B1,B2][P1:=a1,P2:=a2]. S. Java Spec 21 18.3.2

getTypeParameter2InferenceVarMap

public Map<SymTypeVariable,SymTypeInferenceVariable> getTypeParameter2InferenceVarMap()

returns the mapping from type parameters to inference variables e.g., for bound G<a1,a2> = capture(G<A1,A2>) with G declared with type parameters [P1,P2], this will return [P1:=a1,P2:=a2]. S. Java Spec 21 18.3.2

getImpliedBounds

public List<Bound> getImpliedBounds()

s. Java Spec 21 18.3.2 returns the bounds implied by the type arguments that are not wildcards.

calculatePlaceHolder

protected SymTypeExpression calculatePlaceHolder(SymTypeExpression type)

getTypeArguments

protected List<SymTypeExpression> getTypeArguments(SymTypeExpression type)

getDeclaredType

protected SymTypeExpression getDeclaredType()