MethodAccess

AST
node type MethodAccess

General Info

Production

MethodAccess : Access ::= <ID:String> Arg:Expr*;

Type Hierarchy:

java.lang.Object
  beaver.Symbol
      AST.ASTNode<ASTNode>
          AST.Expr
              AST.Access
                  AST.MethodAccess

All Implemented Interfaces:: java.lang.Cloneable, java.lang.Iterable<ASTNode>

Direct Known Subclasses:: BoundMethodAccess, ParMethodAccess

Description

Source: Declared in Java1.4Frontend/java.ast at line 20

Constructors

public MethodAccess(java.lang.String name,
                    List args,
                    int start,
                    int end)

Source: Declared in Java1.4Frontend/NodeConstructors.jrag at line 56
Aspect: NodeConstructors

public MethodAccess()

public MethodAccess(java.lang.String p0,
                    List<Expr> p1)

public MethodAccess(beaver.Symbol p0,
                    List<Expr> p1)

Attributes

syn boolean computeDAbefore(int i,
                        Variable v)

Source: Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 410
Aspect: DA

syn boolean isDAafter(Variable v)

Overrides:isDAafter in class Expr

Source: Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 235
Aspect: DA

syn boolean isDAafterFalse(Variable v)

Overrides:isDAafterFalse in class Expr

Source: Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 333
Aspect: DA

syn java.util.Collection exceptionCollection()

Source: Declared in Java1.4Frontend/ExceptionHandling.jrag at line 65
Aspect: ExceptionHandling

syn MethodDecl singleCandidateDecl()

Source: Declared in Java1.4Frontend/LookupMethod.jrag at line 66
Aspect: LookupMethod

syn SimpleSet decls()

Source: Declared in Java1.4Frontend/LookupMethod.jrag at line 96
Aspect: LookupMethod

syn MethodDecl decl()

Source: Declared in Java1.4Frontend/LookupMethod.jrag at line 103
Aspect: LookupMethod

syn boolean accessible(MethodDecl m)

Source: Declared in Java1.4Frontend/LookupMethod.jrag at line 170
Aspect: MethodDecl

syn boolean validArgs()

Source: Declared in Java1.4Frontend/NameCheck.jrag at line 65
Aspect: NameCheck

syn java.lang.String dumpString()

Overrides:dumpString in class ASTNode<ASTNode>

Source: Declared in Java1.4Frontend/PrettyPrint.jadd at line 800
Aspect: PrettyPrint

syn java.lang.String name()

Source: Declared in Java1.4Frontend/QualifiedNames.jrag at line 18
Aspect: Names

syn boolean isMethodAccess()

Overrides:isMethodAccess in class Expr

Source: Declared in Java1.4Frontend/ResolveAmbiguousNames.jrag at line 17
Aspect: AccessTypes

syn NameType predNameType()

Overrides:predNameType in class Access

Source: Declared in Java1.4Frontend/SyntacticClassification.jrag at line 56
Aspect: SyntacticClassification

syn TypeDecl type()

Overrides:type in class Access

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

syn boolean requiresAccessor()

Source: Declared in Java1.4Backend/InnerClasses.jrag at line 385
Aspect: InnerClasses

syn boolean applicableBySubtyping(MethodDecl m)

Source: Declared in Java1.5Frontend/MethodSignature.jrag at line 181
Aspect: MethodSignature15

syn boolean applicableByMethodInvocationConversion(MethodDecl m)

Source: Declared in Java1.5Frontend/MethodSignature.jrag at line 201
Aspect: MethodSignature15

syn boolean applicableVariableArity(MethodDecl m)

Source: Declared in Java1.5Frontend/MethodSignature.jrag at line 221
Aspect: MethodSignature15

syn boolean potentiallyApplicable(MethodDecl m)

Source: Declared in Java1.5Frontend/MethodSignature.jrag at line 262
Aspect: MethodSignature15

syn int arity()

Source: Declared in Java1.5Frontend/MethodSignature.jrag at line 285
Aspect: MethodSignature15

syn java.util.ArrayList typeArguments(MethodDecl m)

Source: Declared in Java1.5Frontend/MethodSignature.jrag at line 287
Aspect: MethodSignature15

syn boolean invokesVariableArityAsArray()

Source: Declared in Java1.5Frontend/VariableArityParameters.jrag at line 40
Aspect: VariableArityParameters

inh boolean handlesException(TypeDecl exceptionType)

Source: Declared in Java1.4Frontend/ExceptionHandling.jrag at line 43
Aspect: ExceptionHandling

inh MethodDecl unknownMethod()

Source: Declared in Java1.4Frontend/LookupMethod.jrag at line 15
Aspect: LookupMethod

inh boolean inExplicitConstructorInvocation()

Overrides:inExplicitConstructorInvocation in class Access

Source: Declared in Java1.4Frontend/TypeHierarchyCheck.jrag at line 123
Aspect: TypeHierarchyCheck

inh TypeDecl typeObject()

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

inh boolean withinSuppressWarnings(java.lang.String s)

Overrides:withinSuppressWarnings in class Access

Source: Declared in Java7Frontend/SuppressWarnings.jrag at line 18
Aspect: SuppressWarnings

Methods

public void flushCache()

Overrides:flushCache in class Access

public void flushCollectionCache()

Overrides:flushCollectionCache in class Access

public MethodAccess clone()
                   throws java.lang.CloneNotSupportedException

Overrides:clone in class Access

Throws:: java.lang.CloneNotSupportedException

public MethodAccess copy()

Overrides:copy in class ASTNode<ASTNode>

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

protected void collectExceptions(java.util.Collection c,
                                 ASTNode target)

Overrides:collectExceptions in class ASTNode<ASTNode>

Source: Declared in Java1.4Frontend/AnonymousClasses.jrag at line 215
Aspect: AnonymousClasses

public void exceptionHandling()

Overrides:exceptionHandling in class ASTNode<ASTNode>

Source: Declared in Java1.4Frontend/ExceptionHandling.jrag at line 57
Aspect: ExceptionHandling

protected boolean reachedException(TypeDecl catchType)

Overrides:reachedException in class ASTNode<ASTNode>

Source: Declared in Java1.4Frontend/ExceptionHandling.jrag at line 253
Aspect: ExceptionHandling

public boolean applicable(MethodDecl decl)

Source: Declared in Java1.4Frontend/LookupMethod.jrag at line 158
Aspect: MethodDecl

public void toString(java.lang.StringBuffer s)

Overrides:toString in class ASTNode<ASTNode>

Source: Declared in Java1.4Frontend/PrettyPrint.jadd at line 457
Aspect: PrettyPrint

public void nameCheck()

Overrides:nameCheck in class ASTNode<ASTNode>

Source: Declared in Java1.4Frontend/TypeHierarchyCheck.jrag at line 23
Aspect: TypeHierarchyCheck

protected void createLoadQualifier(CodeGeneration gen)

Source: Declared in Java1.4Backend/CreateBCode.jrag at line 548
Aspect: CreateBCode

public TypeDecl superAccessorTarget()

Source: Declared in Java1.4Backend/InnerClasses.jrag at line 113
Aspect: InnerClasses

public void refined_Transformations_MethodAccess_transformation()

Source: Declared in Java1.4Backend/Transformations.jrag at line 69
Aspect: Transformations

public void checkModifiers()

Source: Declared in Java1.5Frontend/Annotations.jrag at line 336
Aspect: Annotations

public java.util.Collection computeConstraints(GenericMethodDecl decl)

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

protected SimpleSet potentiallyApplicable(java.util.Collection candidates)

Source: Declared in Java1.5Frontend/MethodSignature.jrag at line 23
Aspect: MethodSignature15

protected SimpleSet applicableBySubtyping(SimpleSet potentiallyApplicable)

Source: Declared in Java1.5Frontend/MethodSignature.jrag at line 38
Aspect: MethodSignature15

protected SimpleSet applicableByMethodInvocationConversion(SimpleSet potentiallyApplicable,
                                                           SimpleSet maxSpecific)

Source: Declared in Java1.5Frontend/MethodSignature.jrag at line 48
Aspect: MethodSignature15

protected SimpleSet applicableVariableArity(SimpleSet potentiallyApplicable,
                                            SimpleSet maxSpecific)

Source: Declared in Java1.5Frontend/MethodSignature.jrag at line 59
Aspect: MethodSignature15

public void checkWarnings()

Description copied from class: ASTNodeChecking of the SafeVarargs annotation is only needed for method declarations.

Overrides:checkWarnings in class ASTNode<ASTNode>

Source: Declared in Java7Frontend/SafeVarargs.jrag at line 73
Aspect: SafeVarargs

public void init$Children()

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

Overrides:init$Children in class Access

protected int numChildren()

Overrides:numChildren in class Access

public boolean mayHaveRewrite()

Overrides:mayHaveRewrite in class Access

public void setID(java.lang.String value)

Replaces the lexeme ID.

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.

public java.lang.String getID()

Retrieves the value for the lexeme ID.

Returns:: The value for the lexeme ID.

public void setArgList(List<Expr> list)

Replaces the Arg list.

Parameters:: list - The new list node to be used as the Arg list.

public int getNumArg()

Retrieves the number of children in the Arg list.

Returns:: Number of children in the Arg list.

public int getNumArgNoTransform()

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

Returns:: Number of children in the Arg list.

public Expr getArg(int i)

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

Parameters:: i - Index of the element to return.
Returns:: The element at position i in the Arg list.

public void addArg(Expr node)

Append an element to the Arg list.

Parameters:: node - The element to append to the Arg list.

public void addArgNoTransform(Expr node)

public void setArg(Expr node,
                   int i)

Replaces the Arg 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<Expr> getArgs()

Retrieves the Arg list.

Returns:: The node representing the Arg list.

public List<Expr> getArgsNoTransform()

Retrieves the Arg list.

This method does not invoke AST transformations.

Returns:: The node representing the Arg list.

public List<Expr> getArgList()

Retrieves the Arg list.

Returns:: The node representing the Arg list.

public List<Expr> getArgListNoTransform()

Retrieves the Arg list.

This method does not invoke AST transformations.

Returns:: The node representing the Arg list.

protected SimpleSet maxSpecific(java.util.Collection candidates)

Source: Declared in Java1.5Frontend/MethodSignature.jrag at line 11
Aspect: MethodSignature15

public void typeCheck()

Overrides:typeCheck in class ASTNode<ASTNode>

Source: Declared in Java1.5Frontend/MethodSignature.jrag at line 331
Aspect: MethodSignature15

public void createBCode(CodeGeneration gen)

Overrides:createBCode in class ASTNode<ASTNode>

Source: Declared in Java1.5Backend/GenericsCodegen.jrag at line 112
Aspect: GenericsCodegen

protected TypeDecl refined_GenericsCodegen_MethodAccess_methodQualifierType()

Source: Declared in Java1.5Backend/GenericsCodegen.jrag at line 148
Aspect: GenericsCodegen

public void transformation()

Overrides:transformation in class ASTNode<ASTNode>

Source: Declared in Java1.5Backend/VariableArityParametersCodegen.jrag at line 16
Aspect: VariableArityParametersCodegen

protected TypeDecl methodQualifierType()

Source: Declared in Java1.5Backend/StaticImportsCodegen.jrag at line 18
Aspect: StaticImportsCodegen

public boolean isDAafterTrue(Variable v)

public boolean Define_boolean_isDAbefore(ASTNode caller,
                                         ASTNode child,
                                         Variable v)

Overrides:Define_boolean_isDAbefore in class ASTNode<ASTNode>

Source: Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 409

public java.util.Collection Define_Collection_lookupMethod(ASTNode caller,
                                                           ASTNode child,
                                                           java.lang.String name)

Overrides:Define_Collection_lookupMethod in class ASTNode<ASTNode>

Source: Declared in Java1.4Frontend/LookupMethod.jrag at line 28

public boolean Define_boolean_hasPackage(ASTNode caller,
                                         ASTNode child,
                                         java.lang.String packageName)

Overrides:Define_boolean_hasPackage in class ASTNode<ASTNode>

Source: Declared in Java1.4Frontend/LookupType.jrag at line 87

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

Overrides:Define_SimpleSet_lookupType in class ASTNode<ASTNode>

Source: Declared in Java1.4Frontend/LookupType.jrag at line 253

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

Overrides:Define_SimpleSet_lookupVariable in class ASTNode<ASTNode>

Source: Declared in Java1.4Frontend/LookupVariable.jrag at line 132

public NameType Define_NameType_nameType(ASTNode caller,
                                         ASTNode child)

Overrides:Define_NameType_nameType in class ASTNode<ASTNode>

Source: Declared in Java1.4Frontend/SyntacticClassification.jrag at line 120

public java.lang.String Define_String_methodHost(ASTNode caller,
                                                 ASTNode child)

Overrides:Define_String_methodHost in class ASTNode<ASTNode>

Source: Declared in Java1.4Frontend/TypeHierarchyCheck.jrag at line 17

public TypeDecl Define_TypeDecl_assignConvertedType(ASTNode caller,
                                                    ASTNode child)

Overrides:Define_TypeDecl_assignConvertedType in class ASTNode<ASTNode>

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

public ASTNode rewriteTo()

Overrides:rewriteTo in class Access

Fields

protected java.lang.String tokenString_ID

public int IDstart

public int IDend

protected java.util.Map computeDAbefore_int_Variable_values

protected boolean exceptionCollection_computed

protected java.util.Collection exceptionCollection_value

protected boolean decls_computed

protected SimpleSet decls_value

protected boolean decl_computed

protected MethodDecl decl_value

protected boolean type_computed

protected TypeDecl type_value

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

Fields inherited from AST.Access

Fields inherited from AST.Expr

Fields inherited from AST.ASTNode

children

generatedWithCacheCycle

generatedWithCircularEnabled

generatedWithComponentCheck

PRIMITIVE_PACKAGE_NAME

state

Fields inherited from beaver.Symbol

end

start

value

AST node type MethodAccess

General Info

Description

Member Filters

Constructors

Attributes

Methods

Fields

Inherited Members

Attributes inherited from AST.Access

Attributes inherited from AST.Expr

Attributes inherited from AST.ASTNode

Methods inherited from class AST.Access

Methods inherited from class AST.Expr

Methods inherited from class AST.ASTNode

Methods inherited from class beaver.Symbol

Methods inherited from class java.lang.Object

Fields inherited from AST.Access

Fields inherited from AST.Expr

Fields inherited from AST.ASTNode

Fields inherited from beaver.Symbol

AST
node type MethodAccess