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.OperatorTerm.Instanceexceptions, reachableADD_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, visitChildrenbooleanValue, buildTypes, byteValue, charValue, constantValue, constantValue, constantValueSet, constantValueSet, doubleValue, extRewrite, floatValue, intValue, isConstant, isConstant, isTypeChecked, lastLang, longValue, printSubExpr, printSubExpr, shortValue, stringValue, type, type, typeexceptionCheck, exceptions, exceptions, exceptions, listChild, reachable, reachable, reachableaddDecls, 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, visitListclone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitoperator, operator, right, right, throwsArithmeticExceptionconstantValue, constantValueSet, isConstant, precedence, printSubExpr, printSubExpr, typedel, del, dump, error, error, ext, ext, ext, ext, isDisambiguated, isTypeChecked, position, position, visit, visitEdgeaddDecls, 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, visitListexceptions, exceptions, reachable, reachablepublic 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()
Assignpublic Assign left(Expr left)
Assignpublic Term firstChild()
TermOpsfirstChild in interface TermOpsfirstChild in class Assign_cprotected void acceptCFGAssign(CFGBuilder<?> v)
Assign_cacceptCFGAssign in class Assign_cprotected void acceptCFGOpAssign(CFGBuilder<?> v)
Assign_cacceptCFGOpAssign in class Assign_c