AssignExpr

AST
node type AssignExpr

General Info

Production

AssignExpr : Expr ::= Dest:Expr Source:Expr;

Type Hierarchy:

java.lang.Object
  beaver.Symbol
      AST.ASTNode<ASTNode>
          AST.Expr
              AST.AssignExpr

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

Direct Known Subclasses:: AssignAdditiveExpr, AssignBitwiseExpr, AssignMultiplicativeExpr, AssignShiftExpr, AssignSimpleExpr

Description

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

Constructors

public AssignExpr()

public AssignExpr(Expr p0,
                  Expr p1)

Attributes

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 boolean isDUafter(Variable v)

Overrides:isDUafter in class Expr

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

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 java.lang.String printOp()

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

syn TypeDecl type()

Specified by:type in class Expr

Source: Declared in Java1.4Frontend/TypeAnalysis.jrag at line 298
Aspect: TypeAnalysis

syn TypeDecl sourceType()

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

syn boolean needsPop()

Overrides:needsPop in class Expr

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

syn boolean modifiedInScope(Variable var)

Overrides:modifiedInScope in class Expr

Source: Declared in Java7Frontend/PreciseRethrow.jrag at line 111
Aspect: PreciseRethrow

Methods

public void flushCache()

Overrides:flushCache in class Expr

public void flushCollectionCache()

Overrides:flushCollectionCache in class Expr

public AssignExpr clone()
                 throws java.lang.CloneNotSupportedException

Overrides:clone in class Expr

Throws:: java.lang.CloneNotSupportedException

protected boolean checkDUeverywhere(Variable v)

Overrides:checkDUeverywhere in class ASTNode<ASTNode>

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

public static Stmt asStmt(Expr left,
                          Expr right)

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

public void toString(java.lang.StringBuffer s)

Overrides:toString in class ASTNode<ASTNode>

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

public void typeCheck()

Overrides:typeCheck in class ASTNode<ASTNode>

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

public void emitShiftExpr(CodeGeneration gen)

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

public void createAssignOp(CodeGeneration gen,
                           TypeDecl type)

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

protected int numChildren()

Overrides:numChildren in class Expr

public boolean mayHaveRewrite()

Overrides:mayHaveRewrite in class Expr

public void setDest(Expr node)

Replaces the Dest child.

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

public Expr getDest()

Retrieves the Dest child.

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

public Expr getDestNoTransform()

Retrieves the Dest child.

This method does not invoke AST transformations.

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

public void setSource(Expr node)

Replaces the Source child.

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

public Expr getSource()

Retrieves the Source child.

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

public Expr getSourceNoTransform()

Retrieves the Source child.

This method does not invoke AST transformations.

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

public void createBCode(CodeGeneration gen)

Overrides:createBCode in class ASTNode<ASTNode>

Source: Declared in Java1.5Backend/AutoBoxingCodegen.jrag at line 307
Aspect: AutoBoxingCodegen

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 19

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 29

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 392

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 828

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 99

public ASTNode rewriteTo()

Overrides:rewriteTo in class Expr

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 AssignExpr