polyglot.ext.jl5.types

Interface TypeVariable

All Superinterfaces:

java.lang.Cloneable, Copy<TypeObject>, Named, Param, Qualifier, ReferenceType, java.io.Serializable, Type, TypeObject

All Known Subinterfaces:

CaptureConvertedWildCardType, UnknownTypeVariable

All Known Implementing Classes:

CaptureConvertedWildCardType_c, TypeVariable_c, UnknownTypeVariable_c

public interface TypeVariable
extends ReferenceType, Param

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	TypeVariable.TVarDecl

Nested classes/interfaces inherited from interface polyglot.util.Copy

Copy.Util

Method Summary

Methods

Modifier and Type	Method and Description
TypeVariable.TVarDecl	declaredIn()
ClassType	declaringClass()
JL5ProcedureInstance	declaringProcedure()
ReferenceType	erasureType()
boolean	hasLowerBound() Does this type variable have a lower bound? See JLS 3rd ed 4.10.2 and 5.1.10
ReferenceType	lowerBound()
void	setDeclaringClass(ClassType ct)
void	setDeclaringProcedure(JL5ProcedureInstance pi)
void	setLowerBound(ReferenceType lowerBound)
void	setSyntheticOrigin()
void	setUpperBound(ReferenceType upperBound)
ReferenceType	upperBound()
TypeVariable	upperBound(ReferenceType upperBound)

Methods inherited from interface polyglot.types.ReferenceType

fieldNamed, fields, hasMethod, hasMethodImpl, interfaces, members, methods, methods, methodsNamed, superType

Methods inherited from interface polyglot.types.Type

arrayOf, arrayOf, descendsFrom, descendsFromImpl, isArray, isBoolean, isByte, isCastValid, isCastValidImpl, isChar, isClass, isComparable, isDouble, isFloat, isImplicitCastValid, isImplicitCastValidImpl, isInt, isIntOrLess, isLong, isLongOrLess, isNull, isNumeric, isPrimitive, isReference, isShort, isSubtype, isSubtypeImpl, isThrowable, isUncheckedException, isVoid, numericConversionValid, numericConversionValid, numericConversionValidImpl, numericConversionValidImpl, print, toArray, toClass, toNull, toPrimitive, toReference, toString, translate, typeEquals, typeEqualsImpl

Methods inherited from interface polyglot.types.Qualifier

isPackage, isType, toPackage, toType

Methods inherited from interface polyglot.types.TypeObject

equalsImpl, isCanonical, position, typeSystem

Methods inherited from interface polyglot.util.Copy

copy

Methods inherited from interface polyglot.types.Named

fullName, name

Method Detail

declaredIn

TypeVariable.TVarDecl declaredIn()

setSyntheticOrigin

void setSyntheticOrigin()

setDeclaringProcedure

void setDeclaringProcedure(JL5ProcedureInstance pi)

setDeclaringClass

void setDeclaringClass(ClassType ct)

declaringClass

ClassType declaringClass()

declaringProcedure

JL5ProcedureInstance declaringProcedure()

erasureType

ReferenceType erasureType()

hasLowerBound

boolean hasLowerBound()

Does this type variable have a lower bound? See JLS 3rd ed 4.10.2 and 5.1.10

Returns:

upperBound

ReferenceType upperBound()

lowerBound

ReferenceType lowerBound()

setUpperBound

void setUpperBound(ReferenceType upperBound)

setLowerBound

void setLowerBound(ReferenceType lowerBound)

upperBound

TypeVariable upperBound(ReferenceType upperBound)