LUBType

AST
node type LUBType

General Info

Production

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

Type Hierarchy:

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

All Implemented Interfaces:: SimpleSet, VariableScope, java.lang.Cloneable, java.lang.Iterable<ASTNode>, java.util.Iterator

Nested classes/interfaces inherited from interface AST.SimpleSet

SimpleSet.SimpleSetImpl

Description

Source: Declared in Java1.5Frontend/Generics.ast at line 46

Constructors

public LUBType()

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

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

Attributes

syn TypeDecl lub()

Source: Declared in Java1.5Frontend/GenericMethodsInference.jrag at line 650
Aspect: GenericMethodsInference

syn java.lang.String typeName()

Overrides:typeName in class TypeDecl

Source: Declared in Java1.5Frontend/Generics.jrag at line 1434
Aspect: LookupParTypeDecl

syn boolean subtype(TypeDecl type)

Overrides:subtype in class TypeDecl

Source: Declared in Java1.5Frontend/GenericsSubtype.jrag at line 346
Aspect: GenericsSubtype

syn boolean supertypeClassDecl(ClassDecl type)

Overrides:supertypeClassDecl in class TypeDecl

Source: Declared in Java1.5Frontend/GenericsSubtype.jrag at line 421
Aspect: GenericsSubtype

syn boolean supertypeInterfaceDecl(InterfaceDecl type)

Overrides:supertypeInterfaceDecl in class TypeDecl

Source: Declared in Java1.5Frontend/GenericsSubtype.jrag at line 437
Aspect: GenericsSubtype

syn boolean supertypeGLBType(GLBType type)

Overrides:supertypeGLBType in class TypeDecl

Source: Declared in Java1.5Frontend/GenericsSubtype.jrag at line 366
Aspect: GenericsSubtype

Methods

public void flushCache()

Overrides:flushCache in class ReferenceType

public void flushCollectionCache()

Overrides:flushCollectionCache in class ReferenceType

public LUBType clone()
              throws java.lang.CloneNotSupportedException

Overrides:clone in class ReferenceType

Throws:: java.lang.CloneNotSupportedException

public LUBType copy()

Overrides:copy in class ASTNode<ASTNode>

public LUBType 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 ASTNode<ASTNode>

Returns:: dangling copy of the subtree at this node

public static java.util.HashSet EC(java.util.ArrayList list)

Source: Declared in Java1.5Frontend/GenericMethodsInference.jrag at line 668
Aspect: GenericMethodsInference

public static java.util.HashSet MEC(java.util.ArrayList list)

The minimal erased candidate set for Tj is MEC = {V | V in EC, forall W != V in EC, not W <: V}

Returns:: minimal erased candidate set for Tj
Source: Declared in Java1.5Frontend/GenericMethodsInference.jrag at line 690
Aspect: GenericMethodsInference

public static java.util.HashSet Inv(TypeDecl G,
                                    java.util.ArrayList Us)

relevant invocations of G, Inv(G) Inv(G) = {V | 1 <= i <= k, V in ST(Ui), V = G<...>}

Returns:: set of relevant invocations of G, Inv(G)
Source: Declared in Java1.5Frontend/GenericMethodsInference.jrag at line 714
Aspect: GenericMethodsInference

public TypeDecl lci(java.util.HashSet set,
                    TypeDecl G)

Returns:: least containing invocation (lci)
Source: Declared in Java1.5Frontend/GenericMethodsInference.jrag at line 730
Aspect: GenericMethodsInference

public TypeDecl lcta(TypeDecl X,
                     TypeDecl Y)

least containing type arguments

Source: Declared in Java1.5Frontend/GenericMethodsInference.jrag at line 751
Aspect: GenericMethodsInference

public TypeDecl lub(TypeDecl X,
                    TypeDecl Y)

Source: Declared in Java1.5Frontend/GenericMethodsInference.jrag at line 793
Aspect: GenericMethodsInference

public TypeDecl lub(java.util.ArrayList list)

Source: Declared in Java1.5Frontend/GenericMethodsInference.jrag at line 800
Aspect: GenericMethodsInference

public static java.util.HashSet EST(TypeDecl t)

Source: Declared in Java1.5Frontend/GenericMethodsInference.jrag at line 805
Aspect: GenericMethodsInference

public static java.util.HashSet ST(TypeDecl t)

Returns:: supertype set of T
Source: Declared in Java1.5Frontend/GenericMethodsInference.jrag at line 820
Aspect: GenericMethodsInference

public static void addSupertypes(java.util.HashSet set,
                                 TypeDecl t)

Source: Declared in Java1.5Frontend/GenericMethodsInference.jrag at line 826
Aspect: GenericMethodsInference

public java.util.HashSet implementedInterfaces()

Overrides:implementedInterfaces in class TypeDecl

Source: Declared in Java1.5Frontend/Generics.jrag at line 1444
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 ReferenceType

protected int numChildren()

Overrides:numChildren in class ReferenceType

public boolean mayHaveRewrite()

Overrides:mayHaveRewrite in class ReferenceType

public void setModifiers(Modifiers node)

Replaces the Modifiers child.

Overrides:setModifiers in class ReferenceType

Parameters:: node - The new node to replace the Modifiers child.

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

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

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

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.

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 ASTNode rewriteTo()

Overrides:rewriteTo in class ReferenceType

Fields

protected boolean lub_computed

protected TypeDecl lub_value

protected java.util.Map subtype_TypeDecl_values

Inherited Members

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

Methods inherited from interface AST.SimpleSet

contains

isEmpty

size

Methods inherited from interface AST.VariableScope

lookupVariable

Fields inherited from AST.ReferenceType

narrowingConversionTo_TypeDecl_values

unboxed_computed

unboxed_value

Fields inherited from AST.TypeDecl

accessibleFrom_TypeDecl_values

accessibleFromExtend_TypeDecl_values

accessibleFromPackage_String_values

accessorCounter

ancestorMethods_String_values

bytecodes_ConstantPool_values

castingConversionTo_TypeDecl_values

classSignature_computed

classSignature_value

classTypeSignature_computed

classTypeSignature_value

clinit_attributes_computed

clinit_attributes_value

componentType_computed

componentType_value

constantPool_computed

constantPool_value

constantPoolName_computed

constantPoolName_value

constructors_computed

constructors_value

containedIn_TypeDecl_values

createEnumArray_TypeDecl_values

createEnumIndex_EnumConstant_values

createEnumMethod_TypeDecl_values

destinationPath_computed

destinationPath_value

enclosingVariables_computed

enclosingVariables_value

erasure_computed

erasure_value

fieldTypeSignature_computed

fieldTypeSignature_value

implementedInterfaces_computed

implementedInterfaces_value

inExplicitConstructorInvocation_computed

inExplicitConstructorInvocation_value

innerClassesAttributeEntries_computed

innerClassesAttributeEntries_value

instanceOf_TypeDecl_values

inStaticContext_computed

inStaticContext_value

involvesTypeParameters_computed

involvesTypeParameters_initialized

involvesTypeParameters_value

involvesTypeParameters_visited

isAnonymous_computed

isAnonymous_value

isCheckedException_computed

isCheckedException_value

isCircular_computed

isCircular_initialized

isCircular_value

isCircular_visited

isDAbefore_Variable_values

isDUbefore_Variable_values

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

memberFields_String_values

memberFieldsMap_computed

memberFieldsMap_value

memberTypes_String_values

methodInvocationConversionTo_TypeDecl_values

methodsNameMap_computed

methodsNameMap_value

methodsSignatureMap_computed

methodsSignatureMap_value

needsSignatureAttribute_computed

needsSignatureAttribute_value

packageName_computed

packageName_value

sameStructure_TypeDecl_values

sourceTypeDecl_computed

sourceTypeDecl_value

tokenString_ID

typeDescriptor_computed

typeDescriptor_value

typeError_computed

typeError_value

typeException_computed

typeRuntimeException_computed

typeRuntimeException_value

unimplementedMethods_computed

unimplementedMethods_value

unqualifiedLookupMethod_String_values

usesTypeVariable_computed

usesTypeVariable_initialized

usesTypeVariable_value

usesTypeVariable_visited

Fields inherited from AST.ASTNode

children

generatedWithCacheCycle

generatedWithCircularEnabled

generatedWithComponentCheck

PRIMITIVE_PACKAGE_NAME

state

Fields inherited from beaver.Symbol

end

start

value

Fields inherited from interface AST.SimpleSet

emptySet

fullSet

AST node type LUBType

General Info

Nested classes/interfaces inherited from interface AST.SimpleSet

Description

Member Filters

Constructors

Attributes

Methods

Fields

Inherited Members

Attributes inherited from AST.ReferenceType

Attributes inherited from AST.TypeDecl

Attributes inherited from AST.ASTNode

Methods inherited from class AST.ReferenceType

Methods inherited from class AST.TypeDecl

Methods inherited from class AST.ASTNode

Methods inherited from class beaver.Symbol

Methods inherited from class java.lang.Object

Methods inherited from interface AST.SimpleSet

Methods inherited from interface AST.VariableScope

Fields inherited from AST.ReferenceType

Fields inherited from AST.TypeDecl

Fields inherited from AST.ASTNode

Fields inherited from beaver.Symbol

Fields inherited from interface AST.SimpleSet

AST
node type LUBType