org.extendj.ast
node type UnknownType

General Info

Production

UnknownType : ClassDecl;

Type Hierarchy:

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

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/java4/grammar/Java.ast at line 47

Member Filters

API level:

high-level

low-level

internal-level

Aspect:

TypeWideningAndIdentity

NumericPromotion

TypeAnalysis

AccessControl

ConstantPoolNames

GenericBoundCheck

StrictSubtype

GenericsSubtype

TypeScopePropagation

Constructors

public UnknownType()

Source

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

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

Source

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

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

Source

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

Attributes

@ASTNodeAnnotation.Attribute
syn boolean accessibleFromPackage(java.lang.String packageName)

Overrides:accessibleFromPackage in class TypeDecl

Source

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

Aspect

AccessControl

@ASTNodeAnnotation.Attribute
syn org.extendj.ast.SimpleSet asSet()

Overrides:asSet in class TypeDecl

Returns:

a set containing this type, unless this is the unknown type in which case an empty set is returned

Source

Declared in /home/jesper/git/extendj/java4/frontend/LookupType.jrag at line 300

Aspect

TypeScopePropagation

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

Overrides:memberTypes in class ClassDecl

Source

Declared in /home/jesper/git/extendj/java4/frontend/LookupType.jrag at line 619

Aspect

TypeScopePropagation

@ASTNodeAnnotation.Attribute
syn boolean isReferenceType()

Overrides:isReferenceType in class ReferenceType

Source

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

Aspect

TypeAnalysis

@ASTNodeAnnotation.Attribute
syn boolean isPrimitiveType()

Overrides:isPrimitiveType in class TypeDecl

Source

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

Aspect

TypeAnalysis

@ASTNodeAnnotation.Attribute
syn boolean isNumericType()

Overrides:isNumericType in class ReferenceType

Source

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

Aspect

TypeAnalysis

@ASTNodeAnnotation.Attribute
syn boolean isIntegralType()

Overrides:isIntegralType in class ReferenceType

Source

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

Aspect

TypeAnalysis

@ASTNodeAnnotation.Attribute
syn boolean isBoolean()

Overrides:isBoolean in class ReferenceType

Source

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

Aspect

TypeAnalysis

@ASTNodeAnnotation.Attribute
syn boolean isInt()

Overrides:isInt in class TypeDecl

Source

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

Aspect

TypeAnalysis

@ASTNodeAnnotation.Attribute
syn boolean isUnknown()

Overrides:isUnknown in class TypeDecl

Source

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

Aspect

TypeAnalysis

@ASTNodeAnnotation.Attribute
syn boolean instanceOf(TypeDecl type)

Overrides:instanceOf in class ClassDecl

Source

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

Aspect

TypeWideningAndIdentity

@ASTNodeAnnotation.Attribute
syn boolean isSupertypeOfClassDecl(ClassDecl type)

Overrides:isSupertypeOfClassDecl in class ClassDecl

Source

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

Aspect

TypeWideningAndIdentity

@ASTNodeAnnotation.Attribute
syn boolean isSupertypeOfInterfaceDecl(InterfaceDecl type)

Overrides:isSupertypeOfInterfaceDecl in class ClassDecl

Source

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

Aspect

TypeWideningAndIdentity

@ASTNodeAnnotation.Attribute
syn boolean isSupertypeOfArrayDecl(ArrayDecl type)

Overrides:isSupertypeOfArrayDecl in class ClassDecl

Source

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

Aspect

TypeWideningAndIdentity

@ASTNodeAnnotation.Attribute
syn boolean isSupertypeOfPrimitiveType(PrimitiveType type)

Overrides:isSupertypeOfPrimitiveType in class TypeDecl

Source

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

Aspect

TypeWideningAndIdentity

@ASTNodeAnnotation.Attribute
syn boolean isSupertypeOfNullType(NullType type)

Overrides:isSupertypeOfNullType in class ReferenceType

Source

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

Aspect

TypeWideningAndIdentity

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

Overrides:typeDescriptor in class ClassDecl

Source

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

Aspect

ConstantPoolNames

@ASTNodeAnnotation.Attribute
syn TypeDecl unaryNumericPromotion()

Overrides:unaryNumericPromotion in class ReferenceType

Source

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

Aspect

NumericPromotion

@ASTNodeAnnotation.Attribute
syn TypeDecl binaryNumericPromotion(TypeDecl type)

Overrides:binaryNumericPromotion in class ReferenceType

Source

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

Aspect

NumericPromotion

@ASTNodeAnnotation.Attribute
syn boolean withinBounds(TypeDecl bound,
                                                 org.extendj.ast.Parameterization par)

Overrides:withinBounds in class TypeDecl

Parameters:

bound - the bounded type variable

par - a parameterization of the type for which the type variable occurs in the type parameter list

Returns:

true if this type is within the bounds of the parameter type

Source

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

Aspect

GenericBoundCheck

@ASTNodeAnnotation.Attribute
syn boolean supertypeClassDecl(ClassDecl type)

Overrides:supertypeClassDecl in class ClassDecl

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 ClassDecl

Source

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

Aspect

GenericsSubtype

@ASTNodeAnnotation.Attribute
syn boolean supertypeArrayDecl(ArrayDecl type)

Overrides:supertypeArrayDecl in class ClassDecl

Source

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

Aspect

GenericsSubtype

@ASTNodeAnnotation.Attribute
syn boolean supertypePrimitiveType(PrimitiveType type)

Overrides:supertypePrimitiveType in class TypeDecl

Source

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

Aspect

GenericsSubtype

@ASTNodeAnnotation.Attribute
syn boolean supertypeNullType(NullType type)

Overrides:supertypeNullType in class ReferenceType

Source

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

Aspect

GenericsSubtype

@ASTNodeAnnotation.Attribute
syn boolean strictSupertypeClassDecl(ClassDecl type)

Overrides:strictSupertypeClassDecl in class ClassDecl

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 ClassDecl

Source

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

Aspect

StrictSubtype

@ASTNodeAnnotation.Attribute
syn boolean strictSupertypeArrayDecl(ArrayDecl type)

Overrides:strictSupertypeArrayDecl in class ClassDecl

Source

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

Aspect

StrictSubtype

@ASTNodeAnnotation.Attribute
syn boolean strictSupertypePrimitiveType(PrimitiveType type)

Overrides:strictSupertypePrimitiveType in class TypeDecl

Source

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

Aspect

StrictSubtype

@ASTNodeAnnotation.Attribute
syn boolean strictSupertypeNullType(NullType type)

Overrides:strictSupertypeNullType in class ReferenceType

Source

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

Aspect

StrictSubtype

Methods

public void init$Children()

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

Overrides:init$Children in class ClassDecl

Source

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

protected int numChildren()

Overrides:numChildren in class ClassDecl

Source

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

public boolean mayHaveRewrite()

Overrides:mayHaveRewrite in class ClassDecl

Source

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

public void flushAttrCache()

Overrides:flushAttrCache in class ClassDecl

Source

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

public void flushCollectionCache()

Overrides:flushCollectionCache in class ClassDecl

Source

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

public void flushRewriteCache()

Overrides:flushRewriteCache in class ClassDecl

Source

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

public UnknownType clone()
                  throws java.lang.CloneNotSupportedException

Overrides:clone in class ClassDecl

Throws:

java.lang.CloneNotSupportedException

Source

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

public UnknownType copy()

Overrides:copy in class ClassDecl

Source

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

@Deprecated
public UnknownType 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.

Overrides:fullCopy in class ClassDecl

Returns:

dangling copy of the subtree at this node

Source

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

public UnknownType treeCopyNoTransform()

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

Overrides:treeCopyNoTransform in class ClassDecl

Returns:

dangling copy of the subtree at this node

Source

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

public UnknownType 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.

Overrides:treeCopy in class ClassDecl

Returns:

dangling copy of the subtree at this node

Source

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

protected boolean is$Equal(ASTNode node)

Overrides:is$Equal in class ClassDecl

Source

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

public void setModifiers(Modifiers node)

Replaces the Modifiers child.

Overrides:setModifiers in class ClassDecl

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 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

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 ClassDecl

Returns:

The value for the lexeme ID.

public void setSuperClassOpt(Opt<Access> opt)

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

Overrides:setSuperClassOpt in class ClassDecl

Parameters:

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

public void setSuperClass(Access node)

Replaces the (optional) SuperClass child.

Overrides:setSuperClass in class ClassDecl

Parameters:

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

public boolean hasSuperClass()

Check whether the optional SuperClass child exists.

Overrides:hasSuperClass in class ClassDecl

Returns:

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

public Access getSuperClass()

Retrieves the (optional) SuperClass child.

Overrides:getSuperClass in class ClassDecl

Returns:

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

@ASTNodeAnnotation.OptChild(name="SuperClass")
public Opt<Access> getSuperClassOpt()

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

Overrides:getSuperClassOpt in class ClassDecl

Returns:

The optional node for child the SuperClass child.

public Opt<Access> getSuperClassOptNoTransform()

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

This method does not invoke AST transformations.

Overrides:getSuperClassOptNoTransform in class ClassDecl

Returns:

The optional node for child SuperClass.

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 boolean hasImplements()

Check whether the Implements list has any children.

Overrides:hasImplements in class ClassDecl

Returns:

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

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.

@ASTNodeAnnotation.ListChild(name="Implements")
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 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 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 boolean hasBodyDecl()

Check whether the BodyDecl list has any children.

Overrides:hasBodyDecl in class ClassDecl

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

@ASTNodeAnnotation.ListChild(name="BodyDecl")
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 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 void setImplicitConstructor(ConstructorDecl node)

Replaces the (optional) ImplicitConstructor child.

Overrides:setImplicitConstructor in class ClassDecl

Parameters:

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

public boolean hasImplicitConstructor()

Check whether the optional ImplicitConstructor child exists.

Overrides:hasImplicitConstructor in class ClassDecl

Returns:

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

public ConstructorDecl getImplicitConstructor()

Retrieves the (optional) ImplicitConstructor child.

Overrides:getImplicitConstructor in class ClassDecl

Returns:

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

public Opt<ConstructorDecl> getImplicitConstructorOptNoTransform()

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

This method does not invoke AST transformations.

Overrides:getImplicitConstructorOptNoTransform in class ClassDecl

Returns:

The optional node for child ImplicitConstructor.

protected int getImplicitConstructorOptChildPosition()

Retrieves the child position of the optional child ImplicitConstructor.

Overrides:getImplicitConstructorOptChildPosition in class ClassDecl

Returns:

The the child position of the optional child ImplicitConstructor.

@ASTNodeAnnotation.Attribute
public boolean subtype(TypeDecl type)

@ASTNodeAnnotation.Attribute
public boolean strictSubtype(TypeDecl type)

public ASTNode rewriteTo()

Overrides:rewriteTo in class ClassDecl

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 java.util.Map accessibleFromPackage_String_values

protected java.util.Map memberTypes_String_values

protected java.util.Map instanceOf_TypeDecl_values

protected boolean typeDescriptor_computed

protected java.lang.String typeDescriptor_value

protected java.util.Map subtype_TypeDecl_values

protected java.util.Map strictSubtype_TypeDecl_values

public static final org.extendj.ast.SimpleSet emptySet

public static final org.extendj.ast.SimpleSet fullSet

Inherited Members

Attributes inherited from org.extendj.ast.ClassDecl

add

ancestorMethods

annotation

arrayTypeDescriptor

bcMethods

bridgeCandidates

cast

castingConversionTo

classSignature

constructors

eqIsTrue

erasedAncestorMethodsMap

getImplicitConstructorOpt

hasAbstract

hasExplicitConstructor

hasModifiers

hasOverridingMethodInSuper

implementedInterfaces

interfacesMethodsSignature

isClassDecl

isInnerClass

isObject

isReifiable

isString

lineNumber

lookupSuperConstructor

memberFields

memberFieldsMap

methodsSignatureMap

needsImplicitConstructor

needsSignatureAttribute

questionColon

superEnclosing

unimplementedMethods

Attributes inherited from org.extendj.ast.ReferenceType

arrayLoad

arrayStore

bcFields

isPrimitive

isValidAnnotationMethodReturnType

jvmName

narrowingConversionTo

referenceClassFieldName

stringPromotion

typeBoolean

typeByte

typeChar

typeDouble

typeFloat

typeInt

typeLong

typeShort

unboxed

unboxingConversionTo

variableSize

wideningConversionTo

Attributes inherited from org.extendj.ast.TypeDecl

accessibleFrom

accessibleFromExtend

andBitwise

arrayPrimitiveTypeDescriptor

arrayType

assignableToInt

assignConversionTo

asWildcardExtends

asWildcardSuper

attributes

bitNot

boundOf

boundOfWildcard

boundOfWildcardExtends

boundOfWildcardSuper

boxed

boxingConversionTo

bytecodes

classTypeSignature

classTypeSignatureContents

clinit_attributes

commensurateWith

compilationUnit

componentType

constantPool

constantPoolName

contains

createEnumArray

createEnumIndex

createEnumMethod

destinationPath

dimension

div

docComment

elementType

enclosedBy

encloses

enclosing

enclosingBlock

enclosingBodyDecl

enclosingInstance

enclosingType

enclosingVariables

erasure

fieldTypeSignature

flags

flush

fullName

hasAnnotationSafeVarargs

hasAnnotationSuppressWarnings

hasClinit

hasDocComment

hasEnclosingTypeDecl

hasPackage

hasType

hostPackage

hostType

identityConversionTo

inExplicitConstructorInvocation

innerClassesAttributeEntries

inStaticContext

interfacesMethodsSignatureMap

isAbstract

isAnnotationDecl

isAnonymous

isAnonymousInNonStaticContext

isArrayDecl

isByte

isChar

isCheckedException

isDAbefore

isDeprecated

isDouble

isDUbefore

isEmpty

isEnumDecl

isException

isFinal

isFloat

isFunctionalInterface

isGenericType

isInnerType

isInnerTypeOf

isInterfaceDecl

isIterable

isLocalClass

isLong

isMemberType

isNestedType

isNull

isParameterizedType

isPrivate

isProtected

isPublic

isRawType

isShort

isStatic

isStrictfp

isSupertypeOfVoidType

isSynthetic

isTopLevelType

isType

isTypeVariable

isUnboxedPrimitive

isUncheckedConversionTo

isUncheckedException

isVoid

isWildcard

leIsTrue

localFields

localFieldsMap

localLookupType

localMethodsSignature

localMethodsSignatureMap

localTypeDecls

lookupGLBType

lookupLUBType

lookupMethod

lookupType

lookupType

lookupVariable

lookupWildcardExtends

lookupWildcardSuper

lshift

ltIsTrue

magicHeader

majorVersion

mayCatch

memberMethods

methodInvocationConversionTo

methodsNameMap

methodsSignature

methodWithArgs

minorVersion

minus

mod

modifiedInScope

mul

name

needsAccessorFor

needsEnclosing

needsSuperEnclosing

orBitwise

original

packageName

plus

primitiveClassName

rshift

sameSignature

size

sourceTypeDecl

strictSupertypeClassDeclSubstituted

strictSupertypeGenericClassDecl

strictSupertypeGenericClassDeclSubstituted

strictSupertypeGenericInterfaceDecl

strictSupertypeGenericInterfaceDeclSubstituted

strictSupertypeGLBType

strictSupertypeInterfaceDeclSubstituted

strictSupertypeLUBType

strictSupertypeParClassDecl

strictSupertypeParInterfaceDecl

strictSupertypeRawClassDecl

strictSupertypeRawInterfaceDecl

strictSupertypeTypeVariable

strictSupertypeVoidType

strictSupertypeWildcard

strictSupertypeWildcardExtends

strictSupertypeWildcardSuper

stringConversion

sub

supertypeClassDeclSubstituted

supertypeGenericClassDecl

supertypeGenericClassDeclSubstituted

supertypeGenericInterfaceDecl

supertypeGenericInterfaceDeclSubstituted

supertypeGLBType

supertypeInterfaceDeclSubstituted

supertypeLUBType

supertypeParClassDecl

supertypeParInterfaceDecl

supertypeRawClassDecl

supertypeRawInterfaceDecl

supertypeTypeVariable

supertypeVoidType

supertypeWildcard

supertypeWildcardExtends

supertypeWildcardSuper

topLevelType

typeArgumentsOpt

typeCloneable

typeError

typeException

typeName

typeObject

typeRuntimeException

typeSerializable

typeVoid

typeWildcard

uniqueIndex

uniqueName

unknownType

unqualifiedLookupMethod

urshift

withinBodyThatSubclasses

withinDeprecatedAnnotation

withinSuppressWarnings

xorBitwise

Attributes inherited from org.extendj.ast.ASTNode

isStringAdd

program

sourceLineNumber

usesTypeVariable

Methods inherited from class org.extendj.ast.ClassDecl

accessControl

canDefine_enclosingType

canDefine_hostType

canDefine_inExtendsOrImplements

canDefine_lookupType

canDefine_mayBeFinal

canDefine_nameType

canDefine_withinDeprecatedAnnotation

canDefine_withinSuppressWarnings

checkModifiers

collectErrors

Define_enclosingType

Define_hostType

Define_inExtendsOrImplements

Define_lookupType

Define_mayBeFinal

Define_nameType

Define_withinDeprecatedAnnotation

Define_withinSuppressWarnings

generateClassfile

hasSuperclass

interfacesIterator

isCircular

makeGeneric

nameCheck

prettyPrint

refined_TypeHierarchyCheck_ClassDecl_nameCheck

refined_TypeHierarchyCheck_ClassDecl_typeCheck

substitutedClassDecl

superclass

transformation

typeCheck

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_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_lookupVariable

canDefine_mayBeAbstract

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

clear

containedIn

createAssertionsDisabled

createBoundAccess

createQualifiedAccess

createStaticClassField

createStaticClassMethod

declaredBeforeUse

declaredBeforeUse

Define_componentType

Define_enclosingInstance

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_lookupVariable

Define_mayBeAbstract

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

getAccessor

getAccessorSource

hasField

hasMethod

hasNext

interfacesMethodsIterator

involvesTypeParameters

isSingleton

isSingleton

iterator

localMethodsIterator

lookupConstructor

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

sameStructure

strictContainedIn

substitute

substitute

substituteParameterType

substituteReturnType

usesTypeVariable

Methods inherited from class org.extendj.ast.ASTNode

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_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

checkDUeverywhere

checkUncheckedConversion

checkWarnings

clearLocations

collect_contributors_BlockLambdaBody_lambdaReturns

collectBranches

collectEnclosingVariables

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_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

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.ClassDecl

ancestorMethods_String_values

castingConversionTo_TypeDecl_values

classSignature_computed

classSignature_value

constructors_computed

constructors_value

erasedAncestorMethodsMap_computed

erasedAncestorMethodsMap_value

getImplicitConstructorOpt_computed

getImplicitConstructorOpt_value

hasAbstract_computed

hasAbstract_value

hasOverridingMethodInSuper_MethodDecl_values

implementedInterfaces_computed

implementedInterfaces_value

isCircular_computed

isCircular_initialized

isCircular_value

isCircular_visited

isObject_computed

isObject_value

isString_computed

isString_value

memberFields_String_values

memberFieldsMap_computed

memberFieldsMap_value

methodsSignatureMap_computed

methodsSignatureMap_value

needsSignatureAttribute_computed

needsSignatureAttribute_value

unimplementedMethods_computed

unimplementedMethods_value

Fields inherited from org.extendj.ast.ReferenceType

bcFields_computed

bcFields_value

jvmName_computed

jvmName_value

narrowingConversionTo_TypeDecl_values

unboxed_computed

unboxed_value

Fields inherited from org.extendj.ast.TypeDecl

accessibleFrom_TypeDecl_values

accessibleFromExtend_TypeDecl_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

constantPoolName_computed

constantPoolName_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

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

interfacesMethodsSignatureMap_computed

interfacesMethodsSignatureMap_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

isFunctionalInterface_computed

isFunctionalInterface_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

needsEnclosing_computed

needsEnclosing_value

needsSuperEnclosing_computed

needsSuperEnclosing_value

nestedTypes

packageName_computed

packageName_value

sameStructure_TypeDecl_values

sourceTypeDecl_computed

sourceTypeDecl_value

strictContainedIn_TypeDecl_values

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

uniqueName_computed

uniqueName_value

unknownType_computed

unknownType_value

unqualifiedLookupMethod_String_values

usedNestedTypes

usesTypeVariable_computed

usesTypeVariable_initialized

usesTypeVariable_value

usesTypeVariable_visited

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