AbstractDot

AST
node type AbstractDot

General Info

Production

AbstractDot : Access ::= Left:Expr Right:Access;

Type Hierarchy:

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

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

Direct Known Subclasses:: Dot

Description

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

Constructors

public AbstractDot()

public AbstractDot(Expr p0,
                   Access p1)

Attributes

syn Constant constant()

Overrides:constant in class Expr

Source: Declared in Java7Frontend/ConstantExpression.jrag at line 91
Aspect: ConstantExpression

syn boolean isConstant()

Overrides:isConstant in class Expr

Source: Declared in Java7Frontend/ConstantExpression.jrag at line 336
Aspect: ConstantExpression

syn Variable varDecl()

Overrides:varDecl in class Expr

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

syn boolean isDAafterFalse(Variable v)

Overrides:isDAafterFalse in class Expr

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

syn boolean isDAafter(Variable v)

Overrides:isDAafter in class Expr

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

syn boolean isDUafterTrue(Variable v)

Overrides:isDUafterTrue in class Expr

Source: Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 702
Aspect: DU

syn boolean isDUafterFalse(Variable v)

Overrides:isDUafterFalse in class Expr

Source: Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 703
Aspect: DU

syn boolean isDUafter(Variable v)

Overrides:isDUafter in class Expr

Source: Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 835
Aspect: DU

syn java.lang.String typeName()

Overrides:typeName in class Expr

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

syn boolean isTypeAccess()

Overrides:isTypeAccess in class Expr

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

syn boolean isMethodAccess()

Overrides:isMethodAccess in class Expr

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

syn boolean isFieldAccess()

Overrides:isFieldAccess in class Expr

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

syn boolean isSuperAccess()

Overrides:isSuperAccess in class Expr

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

syn boolean isThisAccess()

Overrides:isThisAccess in class Expr

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

syn boolean isPackageAccess()

Overrides:isPackageAccess in class Expr

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

syn boolean isArrayAccess()

Overrides:isArrayAccess in class Expr

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

syn boolean isClassAccess()

Overrides:isClassAccess in class Expr

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

syn boolean isSuperConstructorAccess()

Overrides:isSuperConstructorAccess in class Expr

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

syn boolean isQualified()

Overrides:isQualified in class Access

Source: Declared in Java1.4Frontend/ResolveAmbiguousNames.jrag at line 58
Aspect: QualifiedNames

syn Expr leftSide()

Source: Declared in Java1.4Frontend/ResolveAmbiguousNames.jrag at line 63
Aspect: QualifiedNames

syn Access rightSide()

Source: Declared in Java1.4Frontend/ResolveAmbiguousNames.jrag at line 64
Aspect: QualifiedNames

syn Access lastAccess()

Overrides:lastAccess in class Access

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

syn Access nextAccess()

Overrides:nextAccess in class Expr

Source: Declared in Java1.4Frontend/ResolveAmbiguousNames.jrag at line 75
Aspect: QualifiedNames

syn Expr prevExpr()

Overrides:prevExpr in class Access

Source: Declared in Java1.4Frontend/ResolveAmbiguousNames.jrag at line 77
Aspect: QualifiedNames

syn boolean hasPrevExpr()

Overrides:hasPrevExpr in class Access

Source: Declared in Java1.4Frontend/ResolveAmbiguousNames.jrag at line 88
Aspect: QualifiedNames

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.4Frontend/TypeAnalysis.jrag at line 249
Aspect: TypeAnalysis

syn boolean isVariable()

Overrides:isVariable in class Expr

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

syn boolean staticContextQualifier()

Overrides:staticContextQualifier in class Expr

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

syn boolean needsPop()

Overrides:needsPop in class Expr

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

syn boolean isVarAccessWithAccessor()

Overrides:isVarAccessWithAccessor in class Expr

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

syn boolean definesLabel()

Overrides:definesLabel in class ASTNode<ASTNode>

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

syn boolean canBeTrue()

Overrides:canBeTrue in class Expr

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

syn boolean canBeFalse()

Overrides:canBeFalse in class Expr

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

inh boolean isDUbefore(Variable v)

Overrides:isDUbefore in class Expr

Source: Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 697
Aspect: DU

Methods

public void flushCache()

Overrides:flushCache in class Access

public void flushCollectionCache()

Overrides:flushCollectionCache in class Access

public AbstractDot clone()
                  throws java.lang.CloneNotSupportedException

Overrides:clone in class Access

Throws:: java.lang.CloneNotSupportedException

public AbstractDot copy()

Overrides:copy in class ASTNode<ASTNode>

public AbstractDot 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 void toString(java.lang.StringBuffer s)

Overrides:toString in class ASTNode<ASTNode>

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

public Access extractLast()

Source: Declared in Java1.4Frontend/ResolveAmbiguousNames.jrag at line 135
Aspect: QualifiedNames

public void replaceLast(Access access)

Source: Declared in Java1.4Frontend/ResolveAmbiguousNames.jrag at line 138
Aspect: QualifiedNames

public void emitStore(CodeGeneration gen)

Overrides:emitStore in class Expr

Source: Declared in Java1.4Backend/CodeGeneration.jrag at line 697
Aspect: CodeGeneration

public void createAssignSimpleLoadDest(CodeGeneration gen)

Overrides:createAssignSimpleLoadDest in class Expr

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

public void createPushAssignmentResult(CodeGeneration gen)

Description copied from class: Exprduplicate top value on stack and store below destination element

Overrides:createPushAssignmentResult in class Expr

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

public void createAssignLoadDest(CodeGeneration gen)

Overrides:createAssignLoadDest in class Expr

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

public void createBCode(CodeGeneration gen)

Overrides:createBCode in class ASTNode<ASTNode>

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

public void emitEvalBranch(CodeGeneration gen)

Overrides:emitEvalBranch in class Expr

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

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 setLeft(Expr node)

Replaces the Left child.

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

public Expr getLeft()

Retrieves the Left child.

Returns:: The current node used as the Left child.

public Expr getLeftNoTransform()

Retrieves the Left child.

This method does not invoke AST transformations.

Returns:: The current node used as the Left child.

public void setRight(Access node)

Replaces the Right child.

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

public Access getRight()

Retrieves the Right child.

Returns:: The current node used as the Right child.

public Access getRightNoTransform()

Retrieves the Right child.

This method does not invoke AST transformations.

Returns:: The current node used as the Right child.

public boolean isDAafterTrue(Variable v)

public boolean Define_boolean_isDest(ASTNode caller,
                                     ASTNode child)

Overrides:Define_boolean_isDest in class ASTNode<ASTNode>

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

public boolean Define_boolean_isSource(ASTNode caller,
                                       ASTNode child)

Overrides:Define_boolean_isSource in class ASTNode<ASTNode>

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

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 353

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

Overrides:Define_boolean_isDUbefore in class ASTNode<ASTNode>

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

public java.util.Collection Define_Collection_lookupConstructor(ASTNode caller,
                                                                ASTNode child)

Overrides:Define_Collection_lookupConstructor in class ASTNode<ASTNode>

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

public java.util.Collection Define_Collection_lookupSuperConstructor(ASTNode caller,
                                                                     ASTNode child)

Overrides:Define_Collection_lookupSuperConstructor in class ASTNode<ASTNode>

Source: Declared in Java1.4Frontend/LookupConstructor.jrag at line 25

public Expr Define_Expr_nestedScope(ASTNode caller,
                                    ASTNode child)

Overrides:Define_Expr_nestedScope in class ASTNode<ASTNode>

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

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 64

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 82

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 429

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 139

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 59

public TypeDecl Define_TypeDecl_enclosingInstance(ASTNode caller,
                                                  ASTNode child)

Overrides:Define_TypeDecl_enclosingInstance in class ASTNode<ASTNode>

Source: Declared in Java1.4Frontend/TypeCheck.jrag at line 516

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 13

public ASTNode rewriteTo()

Overrides:rewriteTo in class Access

Fields

protected java.util.Map isDAafter_Variable_values

protected java.util.Map isDUafter_Variable_values

protected boolean type_computed

protected TypeDecl type_value

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

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