ParExpr

AST
node type ParExpr

General Info

Production

ParExpr : PrimaryExpr ::= Expr;

Type Hierarchy:

java.lang.Object
  beaver.Symbol
      AST.ASTNode<ASTNode>
          AST.Expr
              AST.PrimaryExpr
                  AST.ParExpr

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

Description

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

Constructors

public ParExpr()

public ParExpr(Expr p0)

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 235
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 694
Aspect: DU

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 TypeDecl type()

Specified by:type in class Expr

Source: Declared in Java1.4Frontend/TypeAnalysis.jrag at line 309
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

Methods

public void flushCache()

Overrides:flushCache in class PrimaryExpr

public void flushCollectionCache()

Overrides:flushCollectionCache in class PrimaryExpr

public ParExpr clone()
              throws java.lang.CloneNotSupportedException

Overrides:clone in class PrimaryExpr

Throws:: java.lang.CloneNotSupportedException

public ParExpr copy()

Overrides:copy in class ASTNode<ASTNode>

public ParExpr 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 321
Aspect: PrettyPrint

public void typeCheck()

Overrides:typeCheck in class ASTNode<ASTNode>

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

public void emitEvalBranch(CodeGeneration gen)

Overrides:emitEvalBranch in class Expr

Source: Declared in Java1.4Backend/CreateBCode.jrag at line 1082
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 PrimaryExpr

protected int numChildren()

Overrides:numChildren in class PrimaryExpr

public boolean mayHaveRewrite()

Overrides:mayHaveRewrite in class PrimaryExpr

public void setExpr(Expr node)

Replaces the Expr child.

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

public Expr getExpr()

Retrieves the Expr child.

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

public Expr getExprNoTransform()

Retrieves the Expr child.

This method does not invoke AST transformations.

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

public boolean isDAafterTrue(Variable v)

public ASTNode rewriteTo()

Overrides:rewriteTo in class PrimaryExpr

Fields

protected boolean type_computed

protected TypeDecl type_value

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