org.extendj.ast
node type TypeVariable

General Info

Production

TypeVariable : ReferenceType ::= Modifiers <ID:String> BodyDecl* TypeBound:Access*;

Type Hierarchy:

java.lang.Object
  beaver.Symbol
      org.extendj.ast.ASTNode<ASTNode>
          org.extendj.ast.TypeDecl
              org.extendj.ast.ReferenceType
                  org.extendj.ast.TypeVariable

All Implemented Interfaces:

java.lang.Cloneable, java.lang.Iterable<ASTNode>, java.util.Iterator, org.jastadd.util.PrettyPrintable

static class SimpleSet.SimpleSetImpl

Description

Source

Declared in /home/jesper/git/extendj/java5/grammar/Generics.ast at line 18

Member Filters

API level:

high-level

low-level

internal-level

Aspect:

NewGenerics

MemberMethods

GenricTypeVariablesTypeAnalysis

Generics

Fields

Java5PrettyPrint

LookupParTypeDecl

GenericsCodegen

TypeName

ConstantPoolNames

GreatestLowerBoundFactory

TypeConversion

StrictSubtype

GenericsErasure

ReifiableTypes

TypeWideningAndIdentity

TypeVariablePositions

GenericTypeVariables

AccessControl

GenericsParTypeDecl

AutoBoxing

CreateBCode

GenericBoundCheck

GenericsSubtype

Constructors

public TypeVariable()

Source

Declared in /home/jesper/git/extendj/ASTNode at line 1

public TypeVariable(Modifiers p0,
                    java.lang.String p1,
                    List<BodyDecl> p2,
                    List<Access> p3)

Source

Declared in /home/jesper/git/extendj/ASTNode at line 15

public TypeVariable(Modifiers p0,
                    beaver.Symbol p1,
                    List<BodyDecl> p2,
                    List<Access> p3)

Source

Declared in /home/jesper/git/extendj/ASTNode at line 21

Attributes

@ASTNodeAnnotation.Attribute
syn TypeDecl unboxed()

Overrides:unboxed in class ReferenceType

Source

Declared in /home/jesper/git/extendj/java5/frontend/AutoBoxing.jrag at line 72

Aspect

AutoBoxing

@ASTNodeAnnotation.Attribute
syn TypeDecl toInterface()

Source

Declared in /home/jesper/git/extendj/java5/frontend/GLBTypeFactory.jadd at line 33

Aspect

GreatestLowerBoundFactory

@ASTNodeAnnotation.Attribute
syn boolean boundOf(TypeDecl argument,
                                            org.extendj.ast.Parameterization par)

Check if a type is in the bound of this type, given a specific parameterization of this type. See JLS SE7 $4.5

Overrides:boundOf in class TypeDecl

Parameters:

argument - argument type

par - a parameterization

Returns:

true if the argument type is in the bound of this type

Source

Declared in /home/jesper/git/extendj/java5/frontend/GenericBoundCheck.jrag at line 63

Aspect

GenericBoundCheck

@ASTNodeAnnotation.Attribute
syn boolean boundOfWildcard(WildcardType type)

Overrides:boundOfWildcard in class TypeDecl

Source

Declared in /home/jesper/git/extendj/java5/frontend/GenericBoundCheck.jrag at line 80

Aspect

GenericBoundCheck

@ASTNodeAnnotation.Attribute
syn boolean boundOfWildcardExtends(WildcardExtendsType type)

Overrides:boundOfWildcardExtends in class TypeDecl

Source

Declared in /home/jesper/git/extendj/java5/frontend/GenericBoundCheck.jrag at line 83

Aspect

GenericBoundCheck

@ASTNodeAnnotation.Attribute
syn boolean boundOfWildcardSuper(WildcardSuperType type)

Overrides:boundOfWildcardSuper in class TypeDecl

Source

Declared in /home/jesper/git/extendj/java5/frontend/GenericBoundCheck.jrag at line 87

Aspect

GenericBoundCheck

@ASTNodeAnnotation.Attribute
syn TypeDecl lowerBound()

Source

Declared in /home/jesper/git/extendj/java5/frontend/GenericTypeVariables.jrag at line 55

Aspect

GenericTypeVariables

@ASTNodeAnnotation.Attribute
syn java.util.Collection<MethodDecl> memberMethods(java.lang.String name)

Overrides:memberMethods in class TypeDecl

Source

Declared in /home/jesper/git/extendj/java4/frontend/LookupMethod.jrag at line 317

Aspect

MemberMethods

@ASTNodeAnnotation.Attribute
syn org.extendj.ast.SimpleSet memberFields(java.lang.String name)

Overrides:memberFields in class TypeDecl

Source

Declared in /home/jesper/git/extendj/java4/frontend/LookupVariable.jrag at line 435

Aspect

Fields

@ASTNodeAnnotation.Attribute
syn boolean castingConversionTo(TypeDecl type)

Overrides:castingConversionTo in class TypeDecl

Source

Declared in /home/jesper/git/extendj/java4/frontend/TypeAnalysis.jrag at line 109

Aspect

TypeConversion

@ASTNodeAnnotation.Attribute
syn boolean isNestedType()

Overrides:isNestedType in class TypeDecl

Source

Declared in /home/jesper/git/extendj/java5/frontend/Generics.jrag at line 195

Aspect

Generics

@ASTNodeAnnotation.Attribute
syn TypeDecl erasure()

Overrides:erasure in class TypeDecl

Source

Declared in /home/jesper/git/extendj/java5/frontend/Generics.jrag at line 422

Aspect

GenericsErasure

@ASTNodeAnnotation.Attribute
syn java.lang.String fullName()

Overrides:fullName in class TypeDecl

Source

Declared in /home/jesper/git/extendj/java4/frontend/QualifiedNames.jrag at line 80

Aspect

TypeName

@ASTNodeAnnotation.Attribute
syn boolean sameSignature(Access a)

Overrides:sameSignature in class TypeDecl

Source

Declared in /home/jesper/git/extendj/java5/frontend/Generics.jrag at line 806

Aspect

LookupParTypeDecl

@ASTNodeAnnotation.Attribute
syn TypeDecl lubType()

Source

Declared in /home/jesper/git/extendj/java5/frontend/Generics.jrag at line 1094

Aspect

LookupParTypeDecl

@ASTNodeAnnotation.Attribute
syn boolean accessibleFrom(TypeDecl type)

Overrides:accessibleFrom in class TypeDecl

Source

Declared in /home/jesper/git/extendj/java4/frontend/AccessControl.jrag at line 68

Aspect

AccessControl

@ASTNodeAnnotation.Attribute
syn java.lang.String typeName()

Overrides:typeName in class TypeDecl

Source

Declared in /home/jesper/git/extendj/java4/frontend/QualifiedNames.jrag at line 91

Aspect

TypeName

@ASTNodeAnnotation.Attribute
syn boolean isTypeVariable()

Overrides:isTypeVariable in class TypeDecl

Source

Declared in /home/jesper/git/extendj/java5/frontend/GenericsParTypeDecl.jrag at line 96

Aspect

GenericsParTypeDecl

@ASTNodeAnnotation.Attribute
syn boolean supertypeWildcard(WildcardType type)

Overrides:supertypeWildcard in class TypeDecl

Source

Declared in /home/jesper/git/extendj/java5/frontend/GenericsSubtype.jrag at line 66

Aspect

GenericsSubtype

@ASTNodeAnnotation.Attribute
syn boolean supertypeWildcardExtends(WildcardExtendsType type)

Overrides:supertypeWildcardExtends in class TypeDecl

Source

Declared in /home/jesper/git/extendj/java5/frontend/GenericsSubtype.jrag at line 73

Aspect

GenericsSubtype

@ASTNodeAnnotation.Attribute
syn boolean supertypeWildcardSuper(WildcardSuperType type)

Overrides:supertypeWildcardSuper in class TypeDecl

Source

Declared in /home/jesper/git/extendj/java5/frontend/GenericsSubtype.jrag at line 81

Aspect

GenericsSubtype

@ASTNodeAnnotation.Attribute
syn boolean supertypeArrayDecl(ArrayDecl type)

Overrides:supertypeArrayDecl in class TypeDecl

Source

Declared in /home/jesper/git/extendj/java5/frontend/GenericsSubtype.jrag at line 480

Aspect

GenericsSubtype

@ASTNodeAnnotation.Attribute
syn boolean supertypeTypeVariable(TypeVariable type)

Overrides:supertypeTypeVariable in class TypeDecl

Source

Declared in /home/jesper/git/extendj/java5/frontend/GenericsSubtype.jrag at line 321

Aspect

GenericsSubtype

@ASTNodeAnnotation.Attribute
syn Access getSubstitutedTypeBound(int i,
                                                           TypeDecl type)

Source

Declared in /home/jesper/git/extendj/java5/frontend/GenericsSubtype.jrag at line 350

Aspect

GenericsSubtype

@ASTNodeAnnotation.Attribute
syn boolean supertypeClassDecl(ClassDecl type)

Overrides:supertypeClassDecl in class TypeDecl

Source

Declared in /home/jesper/git/extendj/java5/frontend/GenericsSubtype.jrag at line 448

Aspect

GenericsSubtype

@ASTNodeAnnotation.Attribute
syn boolean supertypeInterfaceDecl(InterfaceDecl type)

Overrides:supertypeInterfaceDecl in class TypeDecl

Source

Declared in /home/jesper/git/extendj/java5/frontend/GenericsSubtype.jrag at line 465

Aspect

GenericsSubtype

@ASTNodeAnnotation.Attribute
syn boolean instanceOf(TypeDecl type)

Overrides:instanceOf in class TypeDecl

Source

Declared in /home/jesper/git/extendj/java4/frontend/TypeAnalysis.jrag at line 442

Aspect

TypeWideningAndIdentity

@ASTNodeAnnotation.Attribute
syn boolean isReifiable()

A type is reifiable if it either refers to a non-parameterized type, is a raw type, is a parameterized type with only unbound wildcard parameters or is an array type with a reifiable type parameter.

Overrides:isReifiable in class TypeDecl

See Also:

"JLS SE7 §4.7"

Source

Declared in /home/jesper/git/extendj/java5/frontend/ReifiableTypes.jrag at line 39

Aspect

ReifiableTypes

@ASTNodeAnnotation.Attribute
syn java.lang.String typeDescriptor()

Overrides:typeDescriptor in class TypeDecl

Source

Declared in /home/jesper/git/extendj/java4/backend/ConstantPoolNames.jrag at line 77

Aspect

ConstantPoolNames

@ASTNodeAnnotation.Attribute
syn java.lang.String arrayTypeDescriptor()

Overrides:arrayTypeDescriptor in class TypeDecl

Source

Declared in /home/jesper/git/extendj/java4/backend/CreateBCode.jrag at line 900

Aspect

CreateBCode

@ASTNodeAnnotation.Attribute
syn java.lang.String constantPoolName()

For a top-level type the constant pool name of the type is the same as the canonical name but with dots replaced by solidus.

For nested types the constant pool name is based on the enclosing top-level types constant pool name followed by a dollar sign and a unique index and/or the type name.

Overrides:constantPoolName in class TypeDecl

Returns:

constant pool name of this type

Source

Declared in /home/jesper/git/extendj/java4/backend/ConstantPoolNames.jrag at line 44

Aspect

ConstantPoolNames

@ASTNodeAnnotation.Attribute
syn boolean needsSignatureAttribute()

Overrides:needsSignatureAttribute in class TypeDecl

Source

Declared in /home/jesper/git/extendj/java5/backend/GenericsCodegen.jrag at line 345

Aspect

GenericsCodegen

@ASTNodeAnnotation.Attribute
syn java.lang.String formalTypeParameter()

Source

Declared in /home/jesper/git/extendj/java5/backend/GenericsCodegen.jrag at line 448

Aspect

GenericsCodegen

@ASTNodeAnnotation.Attribute
syn java.lang.String fieldTypeSignature()

Overrides:fieldTypeSignature in class TypeDecl

Source

Declared in /home/jesper/git/extendj/java5/backend/GenericsCodegen.jrag at line 467

Aspect

GenericsCodegen

@ASTNodeAnnotation.Attribute
syn java.lang.String classTypeSignature()

Overrides:classTypeSignature in class TypeDecl

Source

Declared in /home/jesper/git/extendj/java5/backend/GenericsCodegen.jrag at line 476

Aspect

GenericsCodegen

@ASTNodeAnnotation.Attribute
syn java.lang.String classBound()

Source

Declared in /home/jesper/git/extendj/java5/backend/GenericsCodegen.jrag at line 532

Aspect

GenericsCodegen

@ASTNodeAnnotation.Attribute
syn java.lang.String interfaceBounds()

Source

Declared in /home/jesper/git/extendj/java5/backend/GenericsCodegen.jrag at line 538

Aspect

GenericsCodegen

@ASTNodeAnnotation.Attribute
syn boolean strictSupertypeWildcard(WildcardType type)

Overrides:strictSupertypeWildcard in class TypeDecl

Source

Declared in /home/jesper/git/extendj/java8/frontend/GenericsSubtype.jrag at line 68

Aspect

StrictSubtype

@ASTNodeAnnotation.Attribute
syn boolean strictSupertypeWildcardExtends(WildcardExtendsType type)

Overrides:strictSupertypeWildcardExtends in class TypeDecl

Source

Declared in /home/jesper/git/extendj/java8/frontend/GenericsSubtype.jrag at line 77

Aspect

StrictSubtype

@ASTNodeAnnotation.Attribute
syn boolean strictSupertypeWildcardSuper(WildcardSuperType type)

Overrides:strictSupertypeWildcardSuper in class TypeDecl

Source

Declared in /home/jesper/git/extendj/java8/frontend/GenericsSubtype.jrag at line 85

Aspect

StrictSubtype

@ASTNodeAnnotation.Attribute
syn boolean strictSupertypeArrayDecl(ArrayDecl type)

Overrides:strictSupertypeArrayDecl in class TypeDecl

Source

Declared in /home/jesper/git/extendj/java8/frontend/GenericsSubtype.jrag at line 407

Aspect

StrictSubtype

@ASTNodeAnnotation.Attribute
syn boolean strictSupertypeTypeVariable(TypeVariable type)

Overrides:strictSupertypeTypeVariable in class TypeDecl

Source

Declared in /home/jesper/git/extendj/java8/frontend/GenericsSubtype.jrag at line 276

Aspect

StrictSubtype

@ASTNodeAnnotation.Attribute
syn boolean strictSupertypeClassDecl(ClassDecl type)

Overrides:strictSupertypeClassDecl in class TypeDecl

Source

Declared in /home/jesper/git/extendj/java8/frontend/GenericsSubtype.jrag at line 370

Aspect

StrictSubtype

@ASTNodeAnnotation.Attribute
syn boolean strictSupertypeInterfaceDecl(InterfaceDecl type)

Overrides:strictSupertypeInterfaceDecl in class TypeDecl

Source

Declared in /home/jesper/git/extendj/java8/frontend/GenericsSubtype.jrag at line 390

Aspect

StrictSubtype

@ASTNodeAnnotation.Attribute
inh TypeDecl typeObject()

Overrides:typeObject in class TypeDecl

Source

Declared in /home/jesper/git/extendj/java5/frontend/Generics.jrag at line 1092

Aspect

LookupParTypeDecl

@ASTNodeAnnotation.Attribute
inh TypeDecl typeNull()

Source

Declared in /home/jesper/git/extendj/java5/frontend/Generics.jrag at line 1141

Aspect

LookupParTypeDecl

@ASTNodeAnnotation.Attribute
inh int typeVarPosition()

Source

Declared in /home/jesper/git/extendj/java8/frontend/TypeVariablePositions.jrag at line 29

Aspect

TypeVariablePositions

@ASTNodeAnnotation.Attribute
inh int genericMethodLevel()

Source

Declared in /home/jesper/git/extendj/java8/frontend/TypeVariablePositions.jrag at line 30

Aspect

TypeVariablePositions

@ASTNodeAnnotation.Attribute
inh boolean typeVarInMethod()

Source

Declared in /home/jesper/git/extendj/java8/frontend/TypeVariablePositions.jrag at line 32

Aspect

TypeVariablePositions

Methods

public void nameCheck()

Overrides:nameCheck in class TypeDecl

Source

Declared in /home/jesper/git/extendj/java5/frontend/GenericTypeVariables.jrag at line 49

Aspect

GenericTypeVariables

public void typeCheck()

Overrides:typeCheck in class TypeDecl

Source

Declared in /home/jesper/git/extendj/java5/frontend/GenericTypeVariables.jrag at line 86

Aspect

GenricTypeVariablesTypeAnalysis

public Access substitute(org.extendj.ast.Parameterization parTypeDecl)

Overrides:substitute in class TypeDecl

Source

Declared in /home/jesper/git/extendj/java5/frontend/Generics.jrag at line 1039

Aspect

LookupParTypeDecl

public Access substituteReturnType(org.extendj.ast.Parameterization parTypeDecl)

Overrides:substituteReturnType in class TypeDecl

Source

Declared in /home/jesper/git/extendj/java5/frontend/Generics.jrag at line 1102

Aspect

LookupParTypeDecl

public Access substituteParameterType(org.extendj.ast.Parameterization parTypeDecl)

Overrides:substituteParameterType in class TypeDecl

Source

Declared in /home/jesper/git/extendj/java5/frontend/Generics.jrag at line 1142

Aspect

LookupParTypeDecl

public Access createQualifiedAccess()

Overrides:createQualifiedAccess in class TypeDecl

Source

Declared in /home/jesper/git/extendj/java5/frontend/Generics.jrag at line 1608

Aspect

NewGenerics

public void prettyPrint(org.jastadd.util.PrettyPrinter out)

Specified by:prettyPrint in interface org.jastadd.util.PrettyPrintableOverrides:prettyPrint in class ASTNode<ASTNode>

Source

Declared in /home/jesper/git/extendj/java5/frontend/PrettyPrint.jadd at line 280

Aspect

Java5PrettyPrint

public void init$Children()

Initializes the child array to the correct size. Initializes List and Opt nta children.

Overrides:init$Children in class ReferenceType

Source

Declared in /home/jesper/git/extendj/ASTNode at line 10

protected int numChildren()

Overrides:numChildren in class ReferenceType

Source

Declared in /home/jesper/git/extendj/ASTNode at line 30

public boolean mayHaveRewrite()

Overrides:mayHaveRewrite in class ReferenceType

Source

Declared in /home/jesper/git/extendj/ASTNode at line 36

public void flushAttrCache()

Overrides:flushAttrCache in class ReferenceType

Source

Declared in /home/jesper/git/extendj/ASTNode at line 42

public void flushCollectionCache()

Overrides:flushCollectionCache in class ReferenceType

Source

Declared in /home/jesper/git/extendj/ASTNode at line 74

public void flushRewriteCache()

Overrides:flushRewriteCache in class ReferenceType

Source

Declared in /home/jesper/git/extendj/ASTNode at line 80

public TypeVariable clone()
                   throws java.lang.CloneNotSupportedException

Overrides:clone in class ReferenceType

Throws:

java.lang.CloneNotSupportedException

Source

Declared in /home/jesper/git/extendj/ASTNode at line 86

public TypeVariable copy()

Overrides:copy in class ASTNode<ASTNode>

Source

Declared in /home/jesper/git/extendj/ASTNode at line 93

@Deprecated
public TypeVariable fullCopy()

Deprecated. Please use treeCopy or treeCopyNoTransform instead

Create a deep copy of the AST subtree at this node. The copy is dangling, i.e. has no parent.

Specified by:fullCopy in class ReferenceType

Returns:

dangling copy of the subtree at this node

Source

Declared in /home/jesper/git/extendj/ASTNode at line 112

public TypeVariable treeCopyNoTransform()

Create a deep copy of the AST subtree at this node. The copy is dangling, i.e. has no parent.

Specified by:treeCopyNoTransform in class ReferenceType

Returns:

dangling copy of the subtree at this node

Source

Declared in /home/jesper/git/extendj/ASTNode at line 122

public TypeVariable treeCopy()

Create a deep copy of the AST subtree at this node. The subtree of this node is traversed to trigger rewrites before copy. The copy is dangling, i.e. has no parent.

Specified by:treeCopy in class ReferenceType

Returns:

dangling copy of the subtree at this node

Source

Declared in /home/jesper/git/extendj/ASTNode at line 142

protected boolean is$Equal(ASTNode node)

Overrides:is$Equal in class ASTNode<ASTNode>

Source

Declared in /home/jesper/git/extendj/ASTNode at line 149

public void setModifiers(Modifiers node)

Replaces the Modifiers child.

Overrides:setModifiers in class ReferenceType

Parameters:

node - The new node to replace the Modifiers child.

@ASTNodeAnnotation.Child(name="Modifiers")
public Modifiers getModifiers()

Retrieves the Modifiers child.

Overrides:getModifiers in class ReferenceType

Returns:

The current node used as the Modifiers child.

public Modifiers getModifiersNoTransform()

Retrieves the Modifiers child.

This method does not invoke AST transformations.

Overrides:getModifiersNoTransform in class ReferenceType

Returns:

The current node used as the Modifiers child.

public void setID(java.lang.String value)

Replaces the lexeme ID.

Overrides:setID in class ReferenceType

Parameters:

value - The new value for the lexeme ID.

public void setID(beaver.Symbol symbol)

JastAdd-internal setter for lexeme ID using the Beaver parser.

Overrides:setID in class ReferenceType

Parameters:

symbol - Symbol containing the new value for the lexeme ID

@ASTNodeAnnotation.Token(name="ID")
public java.lang.String getID()

Retrieves the value for the lexeme ID.

Overrides:getID in class ReferenceType

Returns:

The value for the lexeme ID.

public void setBodyDeclList(List<BodyDecl> list)

Replaces the BodyDecl list.

Overrides:setBodyDeclList in class ReferenceType

Parameters:

list - The new list node to be used as the BodyDecl list.

public int getNumBodyDecl()

Retrieves the number of children in the BodyDecl list.

Overrides:getNumBodyDecl in class ReferenceType

Returns:

Number of children in the BodyDecl list.

public int getNumBodyDeclNoTransform()

Retrieves the number of children in the BodyDecl list. Calling this method will not trigger rewrites.

Overrides:getNumBodyDeclNoTransform in class ReferenceType

Returns:

Number of children in the BodyDecl list.

public BodyDecl getBodyDecl(int i)

Retrieves the element at index i in the BodyDecl list.

Overrides:getBodyDecl in class ReferenceType

Parameters:

i - Index of the element to return.

Returns:

The element at position i in the BodyDecl list.

public boolean hasBodyDecl()

Check whether the BodyDecl list has any children.

Overrides:hasBodyDecl in class ReferenceType

Returns:

true if it has at least one child, false otherwise.

public void addBodyDecl(BodyDecl node)

Append an element to the BodyDecl list.

Overrides:addBodyDecl in class ReferenceType

Parameters:

node - The element to append to the BodyDecl list.

public void addBodyDeclNoTransform(BodyDecl node)

Overrides:addBodyDeclNoTransform in class ReferenceType

public void setBodyDecl(BodyDecl node,
                        int i)

Replaces the BodyDecl list element at index i with the new node node.

Overrides:setBodyDecl in class ReferenceType

Parameters:

node - The new node to replace the old list element.

i - The list index of the node to be replaced.

@ASTNodeAnnotation.ListChild(name="BodyDecl")
public List<BodyDecl> getBodyDeclList()

Retrieves the BodyDecl list.

Overrides:getBodyDeclList in class ReferenceType

Returns:

The node representing the BodyDecl list.

public List<BodyDecl> getBodyDeclListNoTransform()

Retrieves the BodyDecl list.

This method does not invoke AST transformations.

Overrides:getBodyDeclListNoTransform in class ReferenceType

Returns:

The node representing the BodyDecl list.

public List<BodyDecl> getBodyDecls()

Retrieves the BodyDecl list.

Overrides:getBodyDecls in class ReferenceType

Returns:

The node representing the BodyDecl list.

public List<BodyDecl> getBodyDeclsNoTransform()

Retrieves the BodyDecl list.

This method does not invoke AST transformations.

Overrides:getBodyDeclsNoTransform in class ReferenceType

Returns:

The node representing the BodyDecl list.

public void setTypeBoundList(List<Access> list)

Replaces the TypeBound list.

Parameters:

list - The new list node to be used as the TypeBound list.

public int getNumTypeBound()

Retrieves the number of children in the TypeBound list.

Returns:

Number of children in the TypeBound list.

public int getNumTypeBoundNoTransform()

Retrieves the number of children in the TypeBound list. Calling this method will not trigger rewrites.

Returns:

Number of children in the TypeBound list.

public Access getTypeBound(int i)

Retrieves the element at index i in the TypeBound list.

Parameters:

i - Index of the element to return.

Returns:

The element at position i in the TypeBound list.

public boolean hasTypeBound()

Check whether the TypeBound list has any children.

Returns:

true if it has at least one child, false otherwise.

public void addTypeBound(Access node)

Append an element to the TypeBound list.

Parameters:

node - The element to append to the TypeBound list.

public void addTypeBoundNoTransform(Access node)

public void setTypeBound(Access node,
                         int i)

Replaces the TypeBound list element at index i with the new node node.

Parameters:

node - The new node to replace the old list element.

i - The list index of the node to be replaced.

@ASTNodeAnnotation.ListChild(name="TypeBound")
public List<Access> getTypeBoundList()

Retrieves the TypeBound list.

Returns:

The node representing the TypeBound list.

public List<Access> getTypeBoundListNoTransform()

Retrieves the TypeBound list.

This method does not invoke AST transformations.

Returns:

The node representing the TypeBound list.

public List<Access> getTypeBounds()

Retrieves the TypeBound list.

Returns:

The node representing the TypeBound list.

public List<Access> getTypeBoundsNoTransform()

Retrieves the TypeBound list.

This method does not invoke AST transformations.

Returns:

The node representing the TypeBound list.

@ASTNodeAnnotation.Attribute
public boolean involvesTypeParameters()

@ASTNodeAnnotation.Attribute
public boolean usesTypeVariable()

@ASTNodeAnnotation.Attribute
public boolean sameStructure(TypeDecl t)

@ASTNodeAnnotation.Attribute
public boolean subtype(TypeDecl type)

@ASTNodeAnnotation.Attribute
public boolean strictSubtype(TypeDecl type)

public org.extendj.ast.NameType Define_nameType(ASTNode caller,
                                                ASTNode child)

Overrides:Define_nameType in class TypeDecl

Source

Declared in /home/jesper/git/extendj/java4/frontend/SyntacticClassification.jrag at line 36

protected boolean canDefine_nameType(ASTNode caller,
                                     ASTNode child)

public ASTNode rewriteTo()

Overrides:rewriteTo in class ReferenceType

public int size()

public boolean isEmpty()

public boolean contains(java.lang.Object o)

public org.extendj.ast.SimpleSet lookupVariable(java.lang.String name)

Fields

protected boolean unboxed_computed

protected TypeDecl unboxed_value

protected boolean toInterface_computed

protected TypeDecl toInterface_value

protected int involvesTypeParameters_visited

protected boolean involvesTypeParameters_computed

protected boolean involvesTypeParameters_initialized

protected boolean involvesTypeParameters_value

protected java.util.Map memberFields_String_values

protected java.util.Map castingConversionTo_TypeDecl_values

protected boolean erasure_computed

protected TypeDecl erasure_value

protected boolean fullName_computed

protected java.lang.String fullName_value

protected boolean lubType_computed

protected TypeDecl lubType_value

protected int usesTypeVariable_visited

protected boolean usesTypeVariable_computed

protected boolean usesTypeVariable_initialized

protected boolean usesTypeVariable_value

protected java.util.Map accessibleFrom_TypeDecl_values

protected boolean typeName_computed

protected java.lang.String typeName_value

protected java.util.Map sameStructure_TypeDecl_values

protected java.util.Map subtype_TypeDecl_values

protected java.util.Map getSubstitutedTypeBound_int_TypeDecl_values

protected java.util.Map instanceOf_TypeDecl_values

protected boolean typeDescriptor_computed

protected java.lang.String typeDescriptor_value

protected boolean constantPoolName_computed

protected java.lang.String constantPoolName_value

protected boolean needsSignatureAttribute_computed

protected boolean needsSignatureAttribute_value

protected boolean fieldTypeSignature_computed

protected java.lang.String fieldTypeSignature_value

protected boolean classTypeSignature_computed

protected java.lang.String classTypeSignature_value

protected boolean classBound_computed

protected java.lang.String classBound_value

protected boolean interfaceBounds_computed

protected java.lang.String interfaceBounds_value

protected java.util.Map strictSubtype_TypeDecl_values

protected boolean typeVarPosition_computed

protected int typeVarPosition_value

protected boolean genericMethodLevel_computed

protected int genericMethodLevel_value

protected boolean typeVarInMethod_computed

protected boolean typeVarInMethod_value

public static final org.extendj.ast.SimpleSet emptySet

public static final org.extendj.ast.SimpleSet fullSet

Inherited Members

Attributes inherited from org.extendj.ast.ReferenceType

arrayLoad

arrayStore

bcFields

bcMethods

binaryNumericPromotion

isBoolean

isIntegralType

isNumericType

isPrimitive

isReferenceType

isSupertypeOfNullType

isValidAnnotationMethodReturnType

jvmName

narrowingConversionTo

referenceClassFieldName

strictSupertypeNullType

stringPromotion

supertypeNullType

typeBoolean

typeByte

typeChar

typeDouble

typeFloat

typeInt

typeLong

typeShort

unaryNumericPromotion

unboxingConversionTo

variableSize

wideningConversionTo

Attributes inherited from org.extendj.ast.TypeDecl

accessibleFromExtend

accessibleFromPackage

add

ancestorMethods

andBitwise

annotation

arrayPrimitiveTypeDescriptor

arrayType

asSet

assignableToInt

assignConversionTo

asWildcardExtends

asWildcardSuper

attributes

bitNot

boxed

boxingConversionTo

bridgeCandidates

bytecodes

cast

classSignature

classTypeSignatureContents

clinit_attributes

commensurateWith

compilationUnit

componentType

constantPool

constructors

contains

createEnumArray

createEnumIndex

createEnumMethod

destinationPath

dimension

div

docComment

elementType

enclosedBy

encloses

enclosing

enclosingBlock

enclosingBodyDecl

enclosingInstance

enclosingType

enclosingVariables

eqIsTrue

erasedAncestorMethodsMap

flags

flush

hasAbstract

hasAnnotationSafeVarargs

hasAnnotationSuppressWarnings

hasClinit

hasDocComment

hasEnclosingTypeDecl

hasPackage

hasType

hostPackage

hostType

identityConversionTo

implementedInterfaces

inExplicitConstructorInvocation

innerClassesAttributeEntries

inStaticContext

interfacesMethodsSignatureMap

isAbstract

isAnnotationDecl

isAnonymous

isAnonymousInNonStaticContext

isArrayDecl

isByte

isChar

isCheckedException

isClassDecl

isDAbefore

isDeprecated

isDouble

isDUbefore

isEmpty

isEnumDecl

isException

isFinal

isFloat

isFunctionalInterface

isGenericType

isInnerClass

isInnerType

isInnerTypeOf

isInt

isInterfaceDecl

isIterable

isLocalClass

isLong

isMemberType

isNull

isObject

isParameterizedType

isPrimitiveType

isPrivate

isProtected

isPublic

isRawType

isShort

isStatic

isStrictfp

isString

isSupertypeOfArrayDecl

isSupertypeOfClassDecl

isSupertypeOfInterfaceDecl

isSupertypeOfPrimitiveType

isSupertypeOfVoidType

isSynthetic

isTopLevelType

isType

isUnboxedPrimitive

isUncheckedConversionTo

isUncheckedException

isUnknown

isVoid

isWildcard

leIsTrue

localFields

localFieldsMap

localLookupType

localMethodsSignature

localMethodsSignatureMap

localTypeDecls

lookupGLBType

lookupLUBType

lookupMethod

lookupSuperConstructor

lookupType

lookupType

lookupVariable

lookupWildcardExtends

lookupWildcardSuper

lshift

ltIsTrue

magicHeader

majorVersion

mayCatch

memberFieldsMap

memberTypes

methodInvocationConversionTo

methodsNameMap

methodsSignature

methodsSignatureMap

methodWithArgs

minorVersion

minus

mod

modifiedInScope

mul

name

needsAccessorFor

needsEnclosing

needsSuperEnclosing

orBitwise

original

packageName

plus

primitiveClassName

questionColon

rshift

size

sourceTypeDecl

strictSupertypeClassDeclSubstituted

strictSupertypeGenericClassDecl

strictSupertypeGenericClassDeclSubstituted

strictSupertypeGenericInterfaceDecl

strictSupertypeGenericInterfaceDeclSubstituted

strictSupertypeGLBType

strictSupertypeInterfaceDeclSubstituted

strictSupertypeLUBType

strictSupertypeParClassDecl

strictSupertypeParInterfaceDecl

strictSupertypePrimitiveType

strictSupertypeRawClassDecl

strictSupertypeRawInterfaceDecl

strictSupertypeVoidType

stringConversion

sub

superEnclosing

supertypeClassDeclSubstituted

supertypeGenericClassDecl

supertypeGenericClassDeclSubstituted

supertypeGenericInterfaceDecl

supertypeGenericInterfaceDeclSubstituted

supertypeGLBType

supertypeInterfaceDeclSubstituted

supertypeLUBType

supertypeParClassDecl

supertypeParInterfaceDecl

supertypePrimitiveType

supertypeRawClassDecl

supertypeRawInterfaceDecl

supertypeVoidType

topLevelType

typeArgumentsOpt

typeCloneable

typeError

typeException

typeRuntimeException

typeSerializable

typeVoid

typeWildcard

unimplementedMethods

uniqueIndex

uniqueName

unknownType

unqualifiedLookupMethod

urshift

withinBodyThatSubclasses

withinBounds

withinDeprecatedAnnotation

withinSuppressWarnings

xorBitwise

Attributes inherited from org.extendj.ast.ASTNode

isStringAdd

lineNumber

program

sourceLineNumber

usesTypeVariable

Methods inherited from class org.extendj.ast.ReferenceType

branchEQ

branchNE

emitCastTo

emitLoadLocal

emitReturn

emitStoreLocal

Methods inherited from class org.extendj.ast.TypeDecl

add

addAccessor

addAnnotConstant

addConstant

addConstructor

addEnclosingVariables

addMemberClass

addMemberField

addMemberMethod

addNestedType

addUsedNestedType

allMethodsAbstract

branchGE

branchGEInv

branchGT

branchGTInv

branchLE

branchLEInv

branchLT

branchLTInv

canDefine_componentType

canDefine_enclosingInstance

canDefine_enclosingType

canDefine_hostType

canDefine_insideLoop

canDefine_insideSwitch

canDefine_inStaticContext

canDefine_isAnonymous

canDefine_isDAbefore

canDefine_isDest

canDefine_isDUbefore

canDefine_isLocalClass

canDefine_isNestedType

canDefine_isSource

canDefine_lookupConstructor

canDefine_lookupMethod

canDefine_lookupSuperConstructor

canDefine_lookupType

canDefine_lookupVariable

canDefine_mayBeAbstract

canDefine_mayBeFinal

canDefine_mayBeNative

canDefine_mayBePrivate

canDefine_mayBeProtected

canDefine_mayBePublic

canDefine_mayBeStatic

canDefine_mayBeStrictfp

canDefine_mayBeSynchronized

canDefine_mayBeTransient

canDefine_mayBeVolatile

canDefine_mayUseAnnotationTarget

canDefine_methodHost

canDefine_outerScope

canDefine_reportUnreachable

canDefine_returnType

checkAbstractMethodDecls

checkEnum

checkInterfaceMethodDecls

checkModifiers

clear

containedIn

createAssertionsDisabled

createBoundAccess

createStaticClassField

createStaticClassMethod

declaredBeforeUse

declaredBeforeUse

Define_componentType

Define_enclosingInstance

Define_enclosingType

Define_hostType

Define_insideLoop

Define_insideSwitch

Define_inStaticContext

Define_isAnonymous

Define_isDAbefore

Define_isDest

Define_isDUbefore

Define_isLocalClass

Define_isNestedType

Define_isSource

Define_lookupConstructor

Define_lookupMethod

Define_lookupSuperConstructor

Define_lookupType

Define_lookupVariable

Define_mayBeAbstract

Define_mayBeFinal

Define_mayBeNative

Define_mayBePrivate

Define_mayBeProtected

Define_mayBePublic

Define_mayBeStatic

Define_mayBeStrictfp

Define_mayBeSynchronized

Define_mayBeTransient

Define_mayBeVolatile

Define_mayUseAnnotationTarget

Define_methodHost

Define_outerScope

Define_reportUnreachable

Define_returnType

emitBoxingOperation

emitDup_x1

emitDup_x2

emitDup

emitNew

emitPop

emitPushConstant

emitUnboxingOperation

fieldsIterator

findSingleVariable

generateClassfile

getAccessor

getAccessorSource

hasField

hasMethod

hasNext

interfacesIterator

interfacesMethodsIterator

isCircular

isSingleton

isSingleton

iterator

localMethodsIterator

lookupConstructor

makeGeneric

mangledFlags

mayAccess

mayAccess

mergeMap

methodsIterator

next

nextAnonymousIndex

refined_GenericsTypeCheck_TypeDecl_typeCheck

refined_Modifiers_TypeDecl_checkModifiers

refined_TypeCheck_TypeDecl_checkAbstractMethodDecls

refined_TypeHierarchyCheck_TypeDecl_checkAbstractMethodDecls

refined_TypeHierarchyCheck_TypeDecl_typeCheck

remove

strictContainedIn

substitute

transformation

Methods inherited from class org.extendj.ast.ASTNode

accessControl

addChild

canDefine_allImportedTypes

canDefine_assignConvertedType

canDefine_assignmentContext

canDefine_bind

canDefine_blockIndex

canDefine_branchTarget

canDefine_castContext

canDefine_catchClause

canDefine_caughtExceptions

canDefine_compilationUnit

canDefine_constructorDecl

canDefine_declType

canDefine_enclosingAnnotationDecl

canDefine_enclosingBlock

canDefine_enclosingBodyDecl

canDefine_enclosingExplicitConstructorHostType

canDefine_enclosingFinally

canDefine_enclosingLambda

canDefine_expectedType

canDefine_genericDecl

canDefine_genericMethodLevel

canDefine_getClassInstanceExpr

canDefine_handlesException

canDefine_hasPackage

canDefine_hostPackage

canDefine_inExplicitConstructorInvocation

canDefine_inExtendsOrImplements

canDefine_inferredType

canDefine_inhModifiedInScope

canDefine_invocationContext

canDefine_isAnonymousDecl

canDefine_isCatchParam

canDefine_isConstructorParameter

canDefine_isDAbefore

canDefine_isDUbefore

canDefine_isExceptionHandlerParameter

canDefine_isExplicitGenericConstructorAccess

canDefine_isIncOrDec

canDefine_isMemberType

canDefine_isMethodParameter

canDefine_leavesMonitor

canDefine_localNum

canDefine_lookupAnnotation

canDefine_lookupElementTypeValue

canDefine_lookupGLBType

canDefine_lookupLabel

canDefine_lookupLUBType

canDefine_lookupType

canDefine_lookupWildcardExtends

canDefine_lookupWildcardSuper

canDefine_nestedScope

canDefine_numericContext

canDefine_otherLocalClassDecls

canDefine_packageName

canDefine_program

canDefine_reachable

canDefine_reachableCatchClause

canDefine_resourcePreviouslyDeclared

canDefine_resultSaveLocalNum

canDefine_stringContext

canDefine_superType

canDefine_switchType

canDefine_targetType

canDefine_typeBoolean

canDefine_typeByte

canDefine_typeChar

canDefine_typeCloneable

canDefine_typeDouble

canDefine_typeError

canDefine_typeException

canDefine_typeFloat

canDefine_typeInt

canDefine_typeLong

canDefine_typeNull

canDefine_typeNullPointerException

canDefine_typeObject

canDefine_typeRuntimeException

canDefine_typeSerializable

canDefine_typeShort

canDefine_typeString

canDefine_typeThrowable

canDefine_typeVarInMethod

canDefine_typeVarPosition

canDefine_typeVoid

canDefine_typeWildcard

canDefine_unknownConstructor

canDefine_unknownField

canDefine_unknownMethod

canDefine_unknownType

canDefine_variableArityValid

canDefine_variableScopeEndLabel

canDefine_withinDeprecatedAnnotation

canDefine_withinSuppressWarnings

checkDUeverywhere

checkUncheckedConversion

checkWarnings

clearLocations

collect_contributors_BlockLambdaBody_lambdaReturns

collectBranches

collectEnclosingVariables

collectErrors

collectExceptions

contributeTo_BlockLambdaBody_BlockLambdaBody_lambdaReturns

createBCode

Define_allImportedTypes

Define_assignConvertedType

Define_assignmentContext

Define_bind

Define_blockIndex

Define_branchTarget

Define_castContext

Define_catchClause

Define_caughtExceptions

Define_compilationUnit

Define_constructorDecl

Define_declType

Define_enclosingAnnotationDecl

Define_enclosingBlock

Define_enclosingBodyDecl

Define_enclosingExplicitConstructorHostType

Define_enclosingFinally

Define_enclosingLambda

Define_expectedType

Define_genericDecl

Define_genericMethodLevel

Define_getClassInstanceExpr

Define_handlesException

Define_hasPackage

Define_hostPackage

Define_inExplicitConstructorInvocation

Define_inExtendsOrImplements

Define_inferredType

Define_inhModifiedInScope

Define_invocationContext

Define_isAnonymousDecl

Define_isCatchParam

Define_isConstructorParameter

Define_isDAbefore

Define_isDUbefore

Define_isExceptionHandlerParameter

Define_isExplicitGenericConstructorAccess

Define_isIncOrDec

Define_isMemberType

Define_isMethodParameter

Define_leavesMonitor

Define_localNum

Define_lookupAnnotation

Define_lookupElementTypeValue

Define_lookupGLBType

Define_lookupLabel

Define_lookupLUBType

Define_lookupType

Define_lookupWildcardExtends

Define_lookupWildcardSuper

Define_nestedScope

Define_numericContext

Define_otherLocalClassDecls

Define_packageName

Define_program

Define_reachable

Define_reachableCatchClause

Define_resourcePreviouslyDeclared

Define_resultSaveLocalNum

Define_stringContext

Define_superType

Define_switchType

Define_targetType

Define_typeBoolean

Define_typeByte

Define_typeChar

Define_typeCloneable

Define_typeDouble

Define_typeError

Define_typeException

Define_typeFloat

Define_typeInt

Define_typeLong

Define_typeNull

Define_typeNullPointerException

Define_typeObject

Define_typeRuntimeException

Define_typeSerializable

Define_typeShort

Define_typeString

Define_typeThrowable

Define_typeVarInMethod

Define_typeVarPosition

Define_typeVoid

Define_typeWildcard

Define_unknownConstructor

Define_unknownField

Define_unknownMethod

Define_unknownType

Define_variableArityValid

Define_variableScopeEndLabel

Define_withinDeprecatedAnnotation

Define_withinSuppressWarnings

definiteAssignment

doFullTraversal

dumpTree

dumpTree

dumpTree

dumpTreeNoRewrite

dumpTreeNoRewrite

dumpTreeNoRewrite

end

error

error

errorf

errorPrefix

exceptionHandling

extractSingleType

findFirstSourceLineNumber

flushAttrAndCollectionCache

flushCache

flushCaches

flushTreeCache

getChild

getChildNoTransform

getIndexOfChild

getMethod

getNumChild

getNumChildNoTransform

getParent

getTokens

in$Circle

in$Circle

insertChild

is$Equal

is$Final

is$Final

isDescendantTo

location

ntaFinallyBlock

prettyPrint

prettyPrint

putSimpleSetElement

reachedException

removeChild

removeInstanceMethods

removeInstanceVariables

replaceWith

setChild

setEnd

setLocation

setParent

setSourceLineNumber

setStart

sourceFile

start

state

structuredPrettyPrint

toString

transformEnumConstructors

varChildIndex

warning

warningPrefix

Methods inherited from class beaver.Symbol

getColumn

getEnd

getId

getLine

getStart

makePosition

Methods inherited from class java.lang.Object

equals

finalize

getClass

hashCode

notify

notifyAll

wait

wait

wait

Fields inherited from org.extendj.ast.ReferenceType

bcFields_computed

bcFields_value

jvmName_computed

jvmName_value

narrowingConversionTo_TypeDecl_values

Fields inherited from org.extendj.ast.TypeDecl

accessibleFromExtend_TypeDecl_values

accessibleFromPackage_String_values

accessorCounter

ancestorMethods_String_values

anonymousIndex

arrayType_computed

arrayType_value

attributes_computed

attributes_value

boxed_computed

boxed_value

bytecodes_ConstantPool_values

classSignature_computed

classSignature_value

clinit_attributes_computed

clinit_attributes_value

componentType_computed

componentType_value

constantPool_computed

constantPool_value

constructors_computed

constructors_value

containedIn_TypeDecl_values

createEnumArray_TypeDecl_values

createEnumIndex_EnumConstant_values

createEnumMethod_TypeDecl_values

destinationPath_computed

destinationPath_value

dimension_computed

dimension_value

docComment

elementType_computed

elementType_value

enclosingVariables_computed

enclosingVariables_value

erasedAncestorMethodsMap_computed

erasedAncestorMethodsMap_value

flags_computed

flags_value

hasAbstract_computed

hasAbstract_value

hasClinit_computed

hasClinit_value

IDend

IDstart

implementedInterfaces_computed

implementedInterfaces_value

inExplicitConstructorInvocation_computed

inExplicitConstructorInvocation_value

innerClassesAttributeEntries_computed

innerClassesAttributeEntries_value

inStaticContext_computed

inStaticContext_value

interfacesMethodsSignatureMap_computed

interfacesMethodsSignatureMap_value

isAnonymous_computed

isAnonymous_value

isCheckedException_computed

isCheckedException_value

isCircular_computed

isCircular_initialized

isCircular_value

isCircular_visited

isDAbefore_Variable_values

isDUbefore_Variable_values

isException_computed

isException_value

isFunctionalInterface_computed

isFunctionalInterface_value

isIterable_computed

isIterable_value

isObject_computed

isObject_value

isPublic_computed

isPublic_value

isStatic_computed

isStatic_value

isString_computed

isString_value

isUncheckedException_computed

isUncheckedException_value

localFields_String_values

localFieldsMap_computed

localFieldsMap_value

localMethodsSignatureMap_computed

localMethodsSignatureMap_value

localTypeDecls_String_values

lookupMethod_String_values

lookupType_String_values

lookupVariable_String_values

mayCatch_TypeDecl_values

memberFieldsMap_computed

memberFieldsMap_value

memberTypes_String_values

methodInvocationConversionTo_TypeDecl_values

methodsNameMap_computed

methodsNameMap_value

methodsSignatureMap_computed

methodsSignatureMap_value

needsEnclosing_computed

needsEnclosing_value

needsSuperEnclosing_computed

needsSuperEnclosing_value

nestedTypes

packageName_computed

packageName_value

sourceTypeDecl_computed

sourceTypeDecl_value

strictContainedIn_TypeDecl_values

tokenString_ID

typeError_computed

typeError_value

typeException_computed

typeException_value

typeObject_computed

typeObject_value

typeRuntimeException_computed

typeRuntimeException_value

unimplementedMethods_computed

unimplementedMethods_value

uniqueIndex_computed

uniqueIndex_value

uniqueName_computed

uniqueName_value

unknownType_computed

unknownType_value

unqualifiedLookupMethod_String_values

usedNestedTypes

Fields inherited from org.extendj.ast.ASTNode

children

generatedWithCacheCycle

generatedWithComponentCheck

in$Circle

is$Final

numChildren

parent

PRIMITIVE_PACKAGE_NAME

Fields inherited from beaver.Symbol

end

id

start

value