public class LocalAssign_c extends Assign_c implements LocalAssign
LocalAssign
represents a Java assignment expression
to a local variable. For instance, x = e
.
The class of the Expr
returned by
LocalAssign_c.left()
is guaranteed to be an Local
.Assign.Operator
Term.Instance
exceptions, reachable
ADD_ASSIGN, ASSIGN, BIT_AND_ASSIGN, BIT_OR_ASSIGN, BIT_XOR_ASSIGN, DIV_ASSIGN, MOD_ASSIGN, MUL_ASSIGN, SHL_ASSIGN, SHR_ASSIGN, SUB_ASSIGN, USHR_ASSIGN
Constructor and Description |
---|
LocalAssign_c(Position pos,
Local left,
Assign.Operator op,
Expr right) |
LocalAssign_c(Position pos,
Local left,
Assign.Operator op,
Expr right,
Ext ext) |
Modifier and Type | Method and Description |
---|---|
protected void |
acceptCFGAssign(CFGBuilder<?> v)
Construct a CFG for this assignment when the assignment operator
is ASSIGN (i.e., the normal, simple assignment =).
|
protected void |
acceptCFGOpAssign(CFGBuilder<?> v)
Construct a CFG for this assignment when the assignment operator
is of the form op= for some operation op.
|
Term |
firstChild()
Return the first direct subterm performed when evaluating this term.
|
Local |
left()
Left child (target) of the assignment.
|
Assign |
left(Expr left)
Set the left child (target) of the assignment.
|
acceptCFG, childExpectedType, copy, dump, left, operator, operator, operator, precedence, prettyPrint, reconstruct, right, right, right, throwsArithmeticException, throwTypes, toString, typeCheck, visitChildren
booleanValue, buildTypes, byteValue, charValue, constantValue, constantValue, constantValueSet, constantValueSet, doubleValue, extRewrite, floatValue, intValue, isConstant, isConstant, isTypeChecked, lastLang, longValue, printSubExpr, printSubExpr, shortValue, stringValue, type, type, type
exceptionCheck, exceptions, exceptions, exceptions, listChild, reachable, reachable, reachable
addDecls, buildTypesEnter, checkConstants, copy, copy, copyIfNeeded, del, del, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, error, error, error, exceptionCheckEnter, ext, ext, ext, ext, extRewriteEnter, isDisambiguated, lang, position, position, position, prettyPrint, prettyPrint, prettyPrint, prettyPrint, print, printBlock, printSubStmt, translate, typeCheckEnter, typeCheckOverride, visit, visitChild, visitEdge, visitList
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
operator, operator, right, right, throwsArithmeticException
constantValue, constantValueSet, isConstant, precedence, printSubExpr, printSubExpr, type
del, del, dump, error, error, ext, ext, ext, ext, isDisambiguated, isTypeChecked, position, position, visit, visitEdge
addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, extRewrite, extRewriteEnter, lang, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList
exceptions, exceptions, reachable, reachable
public LocalAssign_c(Position pos, Local left, Assign.Operator op, Expr right)
public LocalAssign_c(Position pos, Local left, Assign.Operator op, Expr right, Ext ext)
public Local left()
Assign
public Assign left(Expr left)
Assign
public Term firstChild()
TermOps
firstChild
in interface TermOps
firstChild
in class Assign_c
protected void acceptCFGAssign(CFGBuilder<?> v)
Assign_c
acceptCFGAssign
in class Assign_c
protected void acceptCFGOpAssign(CFGBuilder<?> v)
Assign_c
acceptCFGOpAssign
in class Assign_c