polyglot.ast

Class ArrayAccessAssign_c

java.lang.Object

polyglot.ast.Node_c

polyglot.ast.Term_c

polyglot.ast.Expr_c

polyglot.ast.Assign_c

polyglot.ast.ArrayAccessAssign_c

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, ArrayAccessAssign, Assign, Expr, ExprOps, Node, NodeOps, Prefix, Receiver, Term, TermOps, Typed, Copy<Node>

public class ArrayAccessAssign_c
extends Assign_c
implements ArrayAccessAssign

A ArrayAccessAssign_c represents a Java assignment expression to an array element. For instance, A[3] = e. The class of the Expr returned by ArrayAccessAssign_c.left()is guaranteed to be an ArrayAccess.

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface polyglot.ast.Assign

Assign.Operator

Nested classes/interfaces inherited from interface polyglot.util.Copy

Copy.Util

Nested classes/interfaces inherited from interface polyglot.ast.Term

Term.Instance

Field Summary

Fields inherited from class polyglot.ast.Assign_c

left, op, right

Fields inherited from class polyglot.ast.Expr_c

type

Fields inherited from class polyglot.ast.Term_c

exceptions, reachable

Fields inherited from class polyglot.ast.Node_c

del, error, ext, position

Fields inherited from interface polyglot.ast.Assign

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

Fields inherited from interface polyglot.ast.Term

ENTRY, EXIT

Constructor Summary

Constructors

Constructor and Description
ArrayAccessAssign_c(Position pos, ArrayAccess left, Assign.Operator op, Expr right)
ArrayAccessAssign_c(Position pos, ArrayAccess left, Assign.Operator op, Expr right, Ext ext)

Method Summary

Methods

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.
ArrayAccess	left() Left child (target) of the assignment.
Assign	left(Expr left) Set the left child (target) of the assignment.
java.util.List<Type>	throwTypes(TypeSystem ts) List of Types of exceptions that might get thrown.

Methods inherited from class polyglot.ast.Assign_c

acceptCFG, childExpectedType, copy, dump, left, operator, operator, operator, precedence, prettyPrint, reconstruct, right, right, right, throwsArithmeticException, toString, typeCheck, visitChildren

Methods inherited from class polyglot.ast.Expr_c

booleanValue, buildTypes, byteValue, charValue, constantValue, constantValue, constantValueSet, constantValueSet, doubleValue, extRewrite, floatValue, intValue, isConstant, isConstant, isTypeChecked, lastLang, longValue, printSubExpr, printSubExpr, shortValue, stringValue, type, type, type

Methods inherited from class polyglot.ast.Term_c

exceptionCheck, exceptions, exceptions, exceptions, listChild, reachable, reachable, reachable

Methods inherited from class polyglot.ast.Node_c

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface polyglot.ast.Assign

operator, operator, right, right, throwsArithmeticException

Methods inherited from interface polyglot.ast.Expr

constantValue, constantValueSet, isConstant, precedence, printSubExpr, printSubExpr, type

Methods inherited from interface polyglot.ast.Node

del, del, dump, error, error, ext, ext, ext, ext, isDisambiguated, isTypeChecked, position, position, visit, visitEdge

Methods inherited from interface polyglot.ast.NodeOps

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, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList

Methods inherited from interface polyglot.util.Copy

copy

Methods inherited from interface polyglot.ast.Typed

type

Methods inherited from interface polyglot.ast.Term

exceptions, exceptions, reachable, reachable

Constructor Detail

ArrayAccessAssign_c

public ArrayAccessAssign_c(Position pos,
                   ArrayAccess left,
                   Assign.Operator op,
                   Expr right)

ArrayAccessAssign_c

public ArrayAccessAssign_c(Position pos,
                   ArrayAccess left,
                   Assign.Operator op,
                   Expr right,
                   Ext ext)

Method Detail

left

public ArrayAccess left()

Description copied from interface: Assign

Left child (target) of the assignment. The target must be a Variable, but this is not enforced statically to keep Polyglot backward compatible.

Specified by:

left in interface ArrayAccessAssign

Specified by:

left in interface Assign

Overrides:

left in class Assign_c

left

public Assign left(Expr left)

Description copied from interface: Assign

Set the left child (target) of the assignment. The target must be a Variable, but this is not enforced statically to keep Polyglot backward compatible.

Specified by:

left in interface Assign

Overrides:

left in class Assign_c

firstChild

public Term firstChild()

Description copied from interface: TermOps

Return the first direct subterm performed when evaluating this term. If this term has no subterms, this should return null. This method is similar to the deprecated entry(), but it should *not* recursively drill down to the innermost subterm. The direct child visited first in this term's dataflow should be returned.

Specified by:

firstChild in interface TermOps

Specified by:

firstChild in class Assign_c

acceptCFGAssign

protected void acceptCFGAssign(CFGBuilder<?> v)

Description copied from class: Assign_c

Construct a CFG for this assignment when the assignment operator is ASSIGN (i.e., the normal, simple assignment =).

Specified by:

acceptCFGAssign in class Assign_c

acceptCFGOpAssign

protected void acceptCFGOpAssign(CFGBuilder<?> v)

Description copied from class: Assign_c

Construct a CFG for this assignment when the assignment operator is of the form op= for some operation op.

Specified by:

acceptCFGOpAssign in class Assign_c

throwTypes

public java.util.List<Type> throwTypes(TypeSystem ts)

Description copied from interface: NodeOps

List of Types of exceptions that might get thrown. The result is not necessarily correct until after type checking.

Specified by:

throwTypes in interface NodeOps

Overrides:

throwTypes in class Assign_c