AST
node type GenericClassDecl

General Info

Production

GenericClassDecl : ClassDecl ::= Modifiers <ID:String> [SuperClassAccess:Access] Implements:Access* BodyDecl* TypeParameter:TypeVariable*;

Type Hierarchy:

java.lang.Object
  beaver.Symbol
      AST.ASTNode<ASTNode>
          AST.TypeDecl
              AST.ReferenceType
                  AST.ClassDecl
                      AST.GenericClassDecl

All Implemented Interfaces:

GenericTypeDecl, SimpleSet, VariableScope, java.lang.Cloneable, java.lang.Iterable<ASTNode>, java.util.Iterator

Direct Known Subclasses:

GenericClassDeclSubstituted

Nested classes/interfaces inherited from interface AST.SimpleSet

SimpleSet.SimpleSetImpl

Description

Source

Declared in Java1.5Frontend/Generics.ast at line 2

Member Filters

API level:

high-level

low-level

internal-level

Aspect:

Generics

GenericsNameBinding

LookupParTypeDecl

GenericsCodegen

TypeInference

GenericsPrettyPrint

GenericsTypeCheck

GenericsSubtype

Constructors

public GenericClassDecl()

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

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

Attributes

syn TypeDecl rawType()

Specified by:rawType in interface GenericTypeDecl

Source

Declared in Java1.5Frontend/Generics.jrag at line 176

Aspect

Generics

syn TypeDecl lookupParTypeDecl(java.util.ArrayList list)

Specified by:lookupParTypeDecl in interface GenericTypeDecl

Source

Declared in Java1.5Frontend/Generics.jrag at line 715

Aspect

LookupParTypeDecl

syn boolean usesTypeVariable()

Overrides:usesTypeVariable in class TypeDecl

Source

Declared in Java1.5Frontend/Generics.jrag at line 1077

Aspect

LookupParTypeDecl

syn boolean subtype(TypeDecl type)

Overrides:subtype in class ClassDecl

Source

Declared in Java1.5Frontend/GenericsSubtype.jrag at line 13

Aspect

GenericsSubtype

syn boolean supertypeParClassDecl(ParClassDecl type)

Overrides:supertypeParClassDecl in class TypeDecl

Source

Declared in Java1.5Frontend/GenericsSubtype.jrag at line 125

Aspect

GenericsSubtype

syn boolean supertypeParInterfaceDecl(ParInterfaceDecl type)

Overrides:supertypeParInterfaceDecl in class TypeDecl

Source

Declared in Java1.5Frontend/GenericsSubtype.jrag at line 129

Aspect

GenericsSubtype

syn boolean instanceOf(TypeDecl type)

Overrides:instanceOf in class ClassDecl

Source

Declared in Java1.5Frontend/GenericsSubtype.jrag at line 394

Aspect

GenericsSubtype

syn java.lang.String constantPoolName()

Overrides:constantPoolName in class TypeDecl

Source

Declared in Java1.5Backend/GenericsCodegen.jrag at line 175

Aspect

GenericsCodegen

syn boolean needsSignatureAttribute()

Overrides:needsSignatureAttribute in class ClassDecl

Source

Declared in Java1.5Backend/GenericsCodegen.jrag at line 340

Aspect

GenericsCodegen

syn java.lang.String classSignature()

Overrides:classSignature in class ClassDecl

Source

Declared in Java1.5Backend/GenericsCodegen.jrag at line 404

Aspect

GenericsCodegen

syn List<PlaceholderMethodDecl> getPlaceholderMethodList()

The placeholder method list for the constructors of this generic class.

Returns:

list of placeholder methods

Source

Declared in Java7Frontend/TypeInference.jrag at line 124

Aspect

TypeInference

syn boolean isGenericType()

Specified by:isGenericType in interface GenericTypeDeclOverrides:isGenericType in class TypeDecl

Source

Declared in Java1.5Frontend/Generics.jrag at line 158

Aspect

Generics

syn TypeDecl lookupParTypeDecl(ParTypeAccess p)

Specified by:lookupParTypeDecl in interface GenericTypeDecl

Source

Declared in Java1.5Frontend/Generics.jrag at line 708

Aspect

LookupParTypeDecl

inh TypeDecl typeThrowable()

Source

Declared in Java1.5Frontend/Generics.jrag at line 435

Aspect

GenericsTypeCheck

Methods

public void flushCache()

Overrides:flushCache in class ClassDecl

public void flushCollectionCache()

Overrides:flushCollectionCache in class ClassDecl

public GenericClassDecl clone()
                       throws java.lang.CloneNotSupportedException

Overrides:clone in class ClassDecl

Throws:

java.lang.CloneNotSupportedException

public GenericClassDecl copy()

Overrides:copy in class ClassDecl

public GenericClassDecl fullCopy()

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

Overrides:fullCopy in class ClassDecl

Returns:

dangling copy of the subtree at this node

public void typeCheck()

Overrides:typeCheck in class TypeDecl

Source

Declared in Java1.5Frontend/Generics.jrag at line 425

Aspect

GenericsTypeCheck

public ClassDecl substitutedClassDecl(Parameterization parTypeDecl)

Overrides:substitutedClassDecl in class ClassDecl

Source

Declared in Java1.5Frontend/Generics.jrag at line 1324

Aspect

LookupParTypeDecl

public void toString(java.lang.StringBuffer s)

Overrides:toString in class ClassDecl

Source

Declared in Java1.5Frontend/GenericsPrettyPrint.jrag at line 73

Aspect

GenericsPrettyPrint

public TypeDecl makeGeneric(Signatures.ClassSignature s)

Specified by:makeGeneric in interface GenericTypeDeclOverrides:makeGeneric in class ClassDecl

Source

Declared in Java1.5Frontend/Generics.jrag at line 235

Aspect

Generics

public SimpleSet addTypeVariables(SimpleSet c,
                                  java.lang.String name)

Specified by:addTypeVariables in interface GenericTypeDecl

Source

Declared in Java1.5Frontend/Generics.jrag at line 489

Aspect

GenericsNameBinding

public List createArgumentList(java.util.ArrayList params)

Specified by:createArgumentList in interface GenericTypeDecl

Source

Declared in Java1.5Frontend/Generics.jrag at line 799

Aspect

LookupParTypeDecl

public void init$Children()

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

Overrides:init$Children in class ClassDecl

protected int numChildren()

Overrides:numChildren in class ClassDecl

public boolean mayHaveRewrite()

Overrides:mayHaveRewrite in class ClassDecl

public void setModifiers(Modifiers node)

Replaces the Modifiers child.

Overrides:setModifiers in class ClassDecl

Parameters:

node - The new node to replace the Modifiers child.

public Modifiers getModifiers()

Retrieves the Modifiers child.

Overrides:getModifiers in class ClassDecl

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 ClassDecl

Returns:

The current node used as the Modifiers child.

public void setID(java.lang.String value)

Replaces the lexeme ID.

Overrides:setID in class ClassDecl

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 ClassDecl

public java.lang.String getID()

Retrieves the value for the lexeme ID.

Overrides:getID in class ClassDecl

Returns:

The value for the lexeme ID.

public void setSuperClassAccessOpt(Opt<Access> opt)

Replaces the optional node for the SuperClassAccess child. This is the Opt node containing the child SuperClassAccess, not the actual child!

Overrides:setSuperClassAccessOpt in class ClassDecl

Parameters:

opt - The new node to be used as the optional node for the SuperClassAccess child.

public boolean hasSuperClassAccess()

Check whether the optional SuperClassAccess child exists.

Overrides:hasSuperClassAccess in class ClassDecl

Returns:

true if the optional SuperClassAccess child exists, false if it does not.

public Access getSuperClassAccess()

Retrieves the (optional) SuperClassAccess child.

Overrides:getSuperClassAccess in class ClassDecl

Returns:

The SuperClassAccess child, if it exists. Returns null otherwise.

public void setSuperClassAccess(Access node)

Replaces the (optional) SuperClassAccess child.

Overrides:setSuperClassAccess in class ClassDecl

Parameters:

node - The new node to be used as the SuperClassAccess child.

public Opt<Access> getSuperClassAccessOpt()

Overrides:getSuperClassAccessOpt in class ClassDecl

public Opt<Access> getSuperClassAccessOptNoTransform()

Retrieves the optional node for child SuperClassAccess. This is the Opt node containing the child SuperClassAccess, not the actual child!

This method does not invoke AST transformations.

Overrides:getSuperClassAccessOptNoTransform in class ClassDecl

Returns:

The optional node for child SuperClassAccess.

public void setImplementsList(List<Access> list)

Replaces the Implements list.

Overrides:setImplementsList in class ClassDecl

Parameters:

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

public int getNumImplements()

Retrieves the number of children in the Implements list.

Overrides:getNumImplements in class ClassDecl

Returns:

Number of children in the Implements list.

public int getNumImplementsNoTransform()

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

Overrides:getNumImplementsNoTransform in class ClassDecl

Returns:

Number of children in the Implements list.

public Access getImplements(int i)

Retrieves the element at index i in the Implements list..

Overrides:getImplements in class ClassDecl

Parameters:

i - Index of the element to return.

Returns:

The element at position i in the Implements list.

public void addImplements(Access node)

Append an element to the Implements list.

Overrides:addImplements in class ClassDecl

Parameters:

node - The element to append to the Implements list.

public void addImplementsNoTransform(Access node)

Overrides:addImplementsNoTransform in class ClassDecl

public void setImplements(Access node,
                          int i)

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

Overrides:setImplements in class ClassDecl

Parameters:

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

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

public List<Access> getImplementss()

Retrieves the Implements list.

Overrides:getImplementss in class ClassDecl

Returns:

The node representing the Implements list.

public List<Access> getImplementssNoTransform()

Retrieves the Implements list.

This method does not invoke AST transformations.

Overrides:getImplementssNoTransform in class ClassDecl

Returns:

The node representing the Implements list.

public List<Access> getImplementsList()

Retrieves the Implements list.

Overrides:getImplementsList in class ClassDecl

Returns:

The node representing the Implements list.

public List<Access> getImplementsListNoTransform()

Retrieves the Implements list.

This method does not invoke AST transformations.

Overrides:getImplementsListNoTransform in class ClassDecl

Returns:

The node representing the Implements list.

public void setBodyDeclList(List<BodyDecl> list)

Replaces the BodyDecl list.

Overrides:setBodyDeclList in class ClassDecl

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 ClassDecl

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 ClassDecl

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 ClassDecl

Parameters:

i - Index of the element to return.

Returns:

The element at position i in the BodyDecl list.

public void addBodyDecl(BodyDecl node)

Append an element to the BodyDecl list.

Overrides:addBodyDecl in class ClassDecl

Parameters:

node - The element to append to the BodyDecl list.

public void addBodyDeclNoTransform(BodyDecl node)

Overrides:addBodyDeclNoTransform in class ClassDecl

public void setBodyDecl(BodyDecl node,
                        int i)

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

Overrides:setBodyDecl in class ClassDecl

Parameters:

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

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

public List<BodyDecl> getBodyDecls()

Retrieves the BodyDecl list.

Overrides:getBodyDecls in class ClassDecl

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 ClassDecl

Returns:

The node representing the BodyDecl list.

public List<BodyDecl> getBodyDeclList()

Retrieves the BodyDecl list.

Overrides:getBodyDeclList in class ClassDecl

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 ClassDecl

Returns:

The node representing the BodyDecl list.

public void setTypeParameterList(List<TypeVariable> list)

Replaces the TypeParameter list.

Parameters:

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

public int getNumTypeParameter()

Retrieves the number of children in the TypeParameter list.

Specified by:getNumTypeParameter in interface GenericTypeDecl

Returns:

Number of children in the TypeParameter list.

public int getNumTypeParameterNoTransform()

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

Returns:

Number of children in the TypeParameter list.

public TypeVariable getTypeParameter(int i)

Retrieves the element at index i in the TypeParameter list..

Specified by:getTypeParameter in interface GenericTypeDecl

Parameters:

i - Index of the element to return.

Returns:

The element at position i in the TypeParameter list.

public void addTypeParameter(TypeVariable node)

Append an element to the TypeParameter list.

Parameters:

node - The element to append to the TypeParameter list.

public void addTypeParameterNoTransform(TypeVariable node)

public void setTypeParameter(TypeVariable node,
                             int i)

Replaces the TypeParameter 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.

public List<TypeVariable> getTypeParameters()

Retrieves the TypeParameter list.

Returns:

The node representing the TypeParameter list.

public List<TypeVariable> getTypeParametersNoTransform()

Retrieves the TypeParameter list.

This method does not invoke AST transformations.

Returns:

The node representing the TypeParameter list.

public List<TypeVariable> getTypeParameterList()

Retrieves the TypeParameter list.

Specified by:getTypeParameterList in interface GenericTypeDecl

Returns:

The node representing the TypeParameter list.

public List<TypeVariable> getTypeParameterListNoTransform()

Retrieves the TypeParameter list.

This method does not invoke AST transformations.

Returns:

The node representing the TypeParameter list.

public boolean Define_boolean_isNestedType(ASTNode caller,
                                           ASTNode child)

Overrides:Define_boolean_isNestedType in class TypeDecl

Source

Declared in Java1.5Frontend/Generics.jrag at line 481

public TypeDecl Define_TypeDecl_enclosingType(ASTNode caller,
                                              ASTNode child)

Overrides:Define_TypeDecl_enclosingType in class TypeDecl

Source

Declared in Java1.5Frontend/Generics.jrag at line 482

public SimpleSet Define_SimpleSet_lookupType(ASTNode caller,
                                             ASTNode child,
                                             java.lang.String name)

Overrides:Define_SimpleSet_lookupType in class TypeDecl

Source

Declared in Java1.5Frontend/Generics.jrag at line 531

public TypeDecl Define_TypeDecl_genericDecl(ASTNode caller,
                                            ASTNode child)

Overrides:Define_TypeDecl_genericDecl in class ASTNode<ASTNode>

Source

Declared in Java1.5Frontend/GenericsParTypeDecl.jrag at line 50

public ASTNode rewriteTo()

Overrides:rewriteTo in class ClassDecl

Fields

protected boolean rawType_computed

protected TypeDecl rawType_value

protected java.util.Map lookupParTypeDecl_ArrayList_values

protected List lookupParTypeDecl_ArrayList_list

protected int usesTypeVariable_visited

protected boolean usesTypeVariable_computed

protected boolean usesTypeVariable_initialized

protected boolean usesTypeVariable_value

protected java.util.Map subtype_TypeDecl_values

protected java.util.Map instanceOf_TypeDecl_values

protected boolean constantPoolName_computed

protected java.lang.String constantPoolName_value

protected boolean needsSignatureAttribute_computed

protected boolean needsSignatureAttribute_value

protected boolean classSignature_computed

protected java.lang.String classSignature_value

protected boolean getPlaceholderMethodList_computed

protected List<PlaceholderMethodDecl> getPlaceholderMethodList_value

protected java.util.Map lookupParTypeDecl_ParTypeAccess_values

Inherited Members

Attributes inherited from AST.ClassDecl

add

ancestorMethods

annotation

arrayTypeDescriptor

bridgeCandidates

cast

castingConversionTo

eqIsTrue

hasAbstract

implementedInterfaces

interfacesMethodsSignature

interfacesMethodsSignatureMap

isCircular

isClassDecl

isInnerClass

isObject

isString

isSupertypeOfArrayDecl

isSupertypeOfClassDecl

isSupertypeOfInterfaceDecl

lineNumber

lookupSuperConstructor

memberFields

memberFieldsMap

memberTypes

methodsSignatureMap

noConstructor

questionColon

superEnclosing

supertypeArrayDecl

supertypeClassDecl

supertypeInterfaceDecl

typeDescriptor

unimplementedMethods

Attributes inherited from AST.ReferenceType

arrayLoad

arrayStore

bcFields

bcMethods

binaryNumericPromotion

isBoolean

isIntegralType

isNumericType

isPrimitive

isReferenceType

isSupertypeOfNullType

jvmName

narrowingConversionTo

referenceClassFieldName

stringPromotion

supertypeNullType

typeBoolean

typeByte

typeChar

typeDouble

typeFloat

typeInt

typeLong

typeShort

unaryNumericPromotion

unboxed

unboxingConversionTo

variableSize

wideningConversionTo

Attributes inherited from AST.TypeDecl

accessibleFrom

accessibleFromExtend

accessibleFromPackage

addsIndentationLevel

andBitwise

arrayPrimitiveTypeDescriptor

arrayType

assignableToInt

assignConversionTo

asWildcardExtends

asWildcardSuper

attributes

bitNot

boxed

bytecodes

classTypeSignature

classTypeSignatureContents

clinit_attributes

compilationUnit

componentType

constantPool

constructors

containedIn

contains

createEnumArray

createEnumIndex

createEnumMethod

destinationPath

dimension

div

dumpString

elementType

enclosedBy

encloses

enclosing

enclosingBlock

enclosingBodyDecl

enclosingInstance

enclosingType

enclosingVariables

erasure

fieldTypeSignature

flags

flush

fullName

hasAnnotationSafeVarargs

hasAnnotationSuppressWarnings

hasClinit

hasEnclosingTypeDecl

hasPackage

hasType

hostPackage

hostType

identityConversionTo

inExplicitConstructorInvocation

innerClassesAttributeEntries

inStaticContext

involvesTypeParameters

isAbstract

isAnnotationDecl

isAnonymous

isAnonymousInNonStaticContext

isArrayDecl

isByte

isChar

isCheckedException

isDAbefore

isDeprecated

isDouble

isDUbefore

isEmpty

isException

isFinal

isFloat

isInnerType

isInnerTypeOf

isInt

isInterfaceDecl

isIterable

isLocalClass

isLong

isMemberType

isNestedType

isNull

isParameterizedType

isPrimitiveType

isPrivate

isProtected

isPublic

isRawType

isReifiable

isShort

isStatic

isStrictfp

isSupertypeOfPrimitiveType

isSupertypeOfVoidType

isSynthetic

isTopLevelType

isTypeVariable

isUnboxedPrimitive

isUncheckedConversionTo

isUncheckedException

isUnknown

isVoid

isWildcard

leIsTrue

localFields

localFieldsMap

localMethodsSignature

localMethodsSignatureMap

localTypeDecls

lookupGLBType

lookupLUBType

lookupMethod

lookupType

lookupType

lookupVariable

lookupWildcardExtends

lookupWildcardSuper

lshift

ltIsTrue

magicHeader

majorVersion

mayCatch

memberMethods

methodInvocationConversionTo

methodsNameMap

methodsSignature

methodWithArgs

minorVersion

minus

mod

mul

name

needsAccessorFor

needsEnclosing

needsSuperEnclosing

orBitwise

original

packageName

plus

primitiveClassName

rshift

sameSignature

sameStructure

size

sourceTypeDecl

stringConversion

sub

supertypeClassDeclSubstituted

supertypeGenericClassDecl

supertypeGenericClassDeclSubstituted

supertypeGenericInterfaceDecl

supertypeGenericInterfaceDeclSubstituted

supertypeGLBType

supertypeInterfaceDeclSubstituted

supertypeLUBType

supertypePrimitiveType

supertypeRawClassDecl

supertypeRawInterfaceDecl

supertypeTypeVariable

supertypeVoidType

supertypeWildcard

supertypeWildcardExtends

supertypeWildcardSuper

topLevelType

typeArgumentsOpt

typeCloneable

typeError

typeException

typeName

typeObject

typeRuntimeException

typeSerializable

typeVoid

typeWildcard

uniqueIndex

unknownType

unqualifiedLookupMethod

urshift

withinBodyThatSubclasses

withinDeprecatedAnnotation

withinSuppressWarnings

xorBitwise

Attributes inherited from AST.ASTNode

definesLabel

extractIndent

indent

isStringAdd

sourceLineNumber

unassignedEverywhere

Methods inherited from class AST.ClassDecl

accessControl

checkModifiers

Define_boolean_inExtendsOrImplements

Define_boolean_mayBeFinal

Define_boolean_withinDeprecatedAnnotation

Define_boolean_withinSuppressWarnings

Define_NameType_nameType

Define_TypeDecl_hostType

exceptionHandling

generateClassfile

hasSuperclass

interfacesIterator

interfacesMethodsIterator

nameCheck

superclass

Methods inherited from class AST.ReferenceType

branchEQ

branchNE

emitCastTo

emitLoadLocal

emitReturn

emitStoreLocal

isValidAnnotationMethodReturnType

Methods inherited from class AST.TypeDecl

add

addAccessor

addAnnotConstant

addConstant

addConstructor

addEnclosingVariables

addMemberClass

addMemberField

addMemberMethod

addNestedType

addUsedNestedType

allMethodsAbstract

boxingConversionTo

branchGE

branchGT

branchLE

branchLT

clear

commensurateWith

createAssertionsDisabled

createBoundAccess

createQualifiedAccess

createStaticClassField

createStaticClassMethod

declaredBeforeUse

declaredBeforeUse

Define_boolean_insideLoop

Define_boolean_insideSwitch

Define_boolean_inStaticContext

Define_boolean_isAnonymous

Define_boolean_isDAbefore

Define_boolean_isDest

Define_boolean_isDUbefore

Define_boolean_isLocalClass

Define_boolean_isSource

Define_boolean_mayBeAbstract

Define_boolean_mayBeNative

Define_boolean_mayBePrivate

Define_boolean_mayBeProtected

Define_boolean_mayBePublic

Define_boolean_mayBeStatic

Define_boolean_mayBeStrictfp

Define_boolean_mayBeSynchronized

Define_boolean_mayBeTransient

Define_boolean_mayBeVolatile

Define_boolean_mayUseAnnotationTarget

Define_boolean_reportUnreachable

Define_Collection_lookupConstructor

Define_Collection_lookupMethod

Define_Collection_lookupSuperConstructor

Define_SimpleSet_lookupVariable

Define_String_methodHost

Define_TypeDecl_componentType

Define_TypeDecl_enclosingInstance

Define_TypeDecl_returnType

Define_VariableScope_outerScope

emitBoxingOperation

emitDup_x1

emitDup_x2

emitDup

emitNew

emitPop

emitPushConstant

emitUnboxingOperation

fieldsIterator

findSingleVariable

getAccessor

getAccessorSource

hasField

hasMethod

hasNext

isEnumDecl

isSingleton

isSingleton

iterator

localMethodsIterator

lookupConstructor

mangledFlags

mayAccess

mayAccess

methodsIterator

nestedTypes

next

nextAnonymousIndex

ppBodyDecls

refined_TypeHierarchyCheck_TypeDecl_typeCheck

remove

substitute

substitute

substituteParameterType

substituteReturnType

transformation

usedNestedTypes

Methods inherited from class AST.ASTNode

addChild

branchTarget

checkDUeverywhere

checkEnum

checkUncheckedConversion

checkWarnings

clearLocations

cloneSubtree

collectBranches

collectEnclosingVariables

collectErrors

collectExceptions

collectFinally

createBCode

Define_Annotation_lookupAnnotation

Define_ASTNode_enclosingBlock

Define_BodyDecl_enclosingBodyDecl

Define_boolean_handlesException

Define_boolean_hasPackage

Define_boolean_inExplicitConstructorInvocation

Define_boolean_inhModifiedInScope

Define_boolean_isAnonymousDecl

Define_boolean_isCatchParam

Define_boolean_isConstructorParameter

Define_boolean_isExceptionHandlerParameter

Define_boolean_isExplicitGenericConstructorAccess

Define_boolean_isIncOrDec

Define_boolean_isMemberType

Define_boolean_isMethodParameter

Define_boolean_reachable

Define_boolean_reachableCatchClause

Define_boolean_resourcePreviouslyDeclared

Define_boolean_variableArityValid

Define_Case_bind

Define_CatchClause_catchClause

Define_ClassInstanceExpr_getClassInstanceExpr

Define_Collection_TypeDecl__caughtExceptions

Define_CompilationUnit_compilationUnit

Define_ConstructorDecl_constructorDecl

Define_ConstructorDecl_unknownConstructor

Define_ElementValue_lookupElementTypeValue

Define_Expr_nestedScope

Define_GLBType_lookupGLBType

Define_int_condition_false_label

Define_int_condition_true_label

Define_int_localNum

Define_int_resultSaveLocalNum

Define_int_variableScopeEndLabel

Define_LabeledStmt_lookupLabel

Define_LUBType_lookupLUBType

Define_MethodDecl_unknownMethod

Define_SimpleSet_allImportedTypes

Define_String_destinationPath

Define_String_hostPackage

Define_String_packageName

Define_String_typeDeclIndent

Define_TypeDecl_assignConvertedType

Define_TypeDecl_declType

Define_TypeDecl_enclosingAnnotationDecl

Define_TypeDecl_expectedType

Define_TypeDecl_lookupType

Define_TypeDecl_lookupWildcardExtends

Define_TypeDecl_lookupWildcardSuper

Define_TypeDecl_superType

Define_TypeDecl_switchType

Define_TypeDecl_typeBoolean

Define_TypeDecl_typeByte

Define_TypeDecl_typeChar

Define_TypeDecl_typeCloneable

Define_TypeDecl_typeDouble

Define_TypeDecl_typeError

Define_TypeDecl_typeException

Define_TypeDecl_typeFloat

Define_TypeDecl_typeInt

Define_TypeDecl_typeLong

Define_TypeDecl_typeNull

Define_TypeDecl_typeNullPointerException

Define_TypeDecl_typeObject

Define_TypeDecl_typeRuntimeException

Define_TypeDecl_typeSerializable

Define_TypeDecl_typeShort

Define_TypeDecl_typeString

Define_TypeDecl_typeThrowable

Define_TypeDecl_typeVoid

Define_TypeDecl_typeWildcard

Define_TypeDecl_unknownType

Define_Variable_unknownField

definiteAssignment

dumpTree

dumpTree

dumpTreeNoRewrite

dumpTreeNoRewrite

duringAnnotations

duringAnonymousClasses

duringBoundNames

duringDU

duringEnums

duringGenericTypeVariables

duringImplicitConstructor

duringLiterals

duringNameResolution

duringSyntacticClassification

duringVariableDeclarationTransformation

end

error

error

errorPrefix

extractSingleType

findFirstSourceLineNumber

flushCaches

getChild

getChildNoTransform

getIndexOfChild

getNumChild

getNumChildNoTransform

getParent

in$Circle

in$Circle

insertChild

is$Final

is$Final

isDescendantTo

location

options

putSimpleSetElement

reachedException

removeChild

removeInstanceMethods

removeInstanceVariables

replace

setChild

setEnd

setLocation

setParent

setSourceLineNumber

setStart

sourceFile

start

state

toString

transformEnumConstructors

varChildIndex

varChildIndex

warning

warningPrefix

with

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

Methods inherited from interface AST.GenericTypeDecl

fullName

original

typeName

Methods inherited from interface AST.SimpleSet

contains

isEmpty

size

Methods inherited from interface AST.VariableScope

lookupVariable

Fields inherited from AST.ClassDecl

ancestorMethods_String_values

castingConversionTo_TypeDecl_values

hasAbstract_computed

hasAbstract_value

implementedInterfaces_computed

implementedInterfaces_value

interfacesMethodsSignatureMap_computed

interfacesMethodsSignatureMap_value

isCircular_computed

isCircular_initialized

isCircular_value

isCircular_visited

isObject_computed

isObject_value

isString_computed

isString_value

memberFields_String_values

memberFieldsMap_computed

memberFieldsMap_value

memberTypes_String_values

methodsSignatureMap_computed

methodsSignatureMap_value

typeDescriptor_computed

typeDescriptor_value

unimplementedMethods_computed

unimplementedMethods_value

Fields inherited from AST.ReferenceType

bcFields_computed

bcFields_value

jvmName_computed

jvmName_value

narrowingConversionTo_TypeDecl_values

unboxed_computed

unboxed_value

Fields inherited from AST.TypeDecl

accessibleFrom_TypeDecl_values

accessibleFromExtend_TypeDecl_values

accessibleFromPackage_String_values

accessorCounter

anonymousIndex

arrayType_computed

arrayType_value

attributes_computed

attributes_value

boxed_computed

boxed_value

bytecodes_ConstantPool_values

classTypeSignature_computed

classTypeSignature_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

elementType_computed

elementType_value

enclosingVariables_computed

enclosingVariables_value

erasure_computed

erasure_value

fieldTypeSignature_computed

fieldTypeSignature_value

flags_computed

flags_value

fullName_computed

fullName_value

hasClinit_computed

hasClinit_value

IDend

IDstart

inExplicitConstructorInvocation_computed

inExplicitConstructorInvocation_value

innerClassesAttributeEntries_computed

innerClassesAttributeEntries_value

inStaticContext_computed

inStaticContext_value

involvesTypeParameters_computed

involvesTypeParameters_initialized

involvesTypeParameters_value

involvesTypeParameters_visited

isAnonymous_computed

isAnonymous_value

isCheckedException_computed

isCheckedException_value

isDAbefore_Variable_values

isDUbefore_Variable_values

isException_computed

isException_value

isIterable_computed

isIterable_value

isPublic_computed

isPublic_value

isStatic_computed

isStatic_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

methodInvocationConversionTo_TypeDecl_values

methodsNameMap_computed

methodsNameMap_value

packageName_computed

packageName_value

sameStructure_TypeDecl_values

sourceTypeDecl_computed

sourceTypeDecl_value

tokenString_ID

typeError_computed

typeError_value

typeException_computed

typeException_value

typeName_computed

typeName_value

typeObject_computed

typeObject_value

typeRuntimeException_computed

typeRuntimeException_value

uniqueIndex_computed

uniqueIndex_value

unknownType_computed

unknownType_value

unqualifiedLookupMethod_String_values

Fields inherited from AST.ASTNode

children

generatedWithCacheCycle

generatedWithCircularEnabled

generatedWithComponentCheck

in$Circle

is$Final

numChildren

parent

PRIMITIVE_PACKAGE_NAME

state

Fields inherited from beaver.Symbol

end

id

start

value

Fields inherited from interface AST.SimpleSet

emptySet

fullSet