|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object polyglot.ast.Node_c polyglot.ast.Term_c polyglot.ast.Expr_c polyglot.ast.Assign_c polyglot.ast.ArrayAccessAssign_c jif.ast.JifArrayAccessAssign_c
public class JifArrayAccessAssign_c
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
.
Nested Class Summary |
---|
Nested classes/interfaces inherited from interface polyglot.ast.Assign |
---|
polyglot.ast.Assign.Operator |
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 | |
---|---|
JifArrayAccessAssign_c(polyglot.util.Position pos,
polyglot.ast.ArrayAccess left,
polyglot.ast.Assign.Operator op,
polyglot.ast.Expr right)
|
Method Summary | |
---|---|
boolean |
throwsArrayStoreException()
Since Jif's type system makes arrays invariant on the base type, no array store exceptions can be thrown. |
Methods inherited from class polyglot.ast.ArrayAccessAssign_c |
---|
acceptCFGAssign, acceptCFGOpAssign, firstChild, left, throwTypes |
Methods inherited from class polyglot.ast.Assign_c |
---|
acceptCFG, childExpectedType, copy, dump, left, operator, operator, precedence, prettyPrint, reconstruct, right, right, throwsArithmeticException, toString, typeCheck, visitChildren |
Methods inherited from class polyglot.ast.Expr_c |
---|
booleanValue, buildTypes, byteValue, charValue, constantValue, constantValueSet, doubleValue, floatValue, intValue, isConstant, isTypeChecked, longValue, printSubExpr, printSubExpr, shortValue, stringValue, type, type |
Methods inherited from class polyglot.ast.Term_c |
---|
exceptionCheck, exceptions, exceptions, listChild, reachable, reachable |
Methods inherited from class polyglot.ast.Node_c |
---|
addDecls, buildTypesEnter, checkConstants, copy, copy, del, del, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, enterChildScope, enterScope, error, error, exceptionCheckEnter, ext, ext, ext, ext, init, isDisambiguated, node, position, position, 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 |
---|
left, 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 |
---|
childExpectedType, del, del, dump, error, error, ext, ext, ext, ext, isDisambiguated, isTypeChecked, position, position, visit, visitChild, visitEdge, visitList |
Methods inherited from interface polyglot.ast.JL |
---|
init, node |
Methods inherited from interface polyglot.ast.NodeOps |
---|
addDecls, buildTypes, buildTypesEnter, checkConstants, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, prettyPrint, prettyPrint, prettyPrint, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChildren |
Methods inherited from interface polyglot.util.Copy |
---|
copy |
Methods inherited from interface polyglot.ast.Typed |
---|
type |
Methods inherited from interface polyglot.ast.Term |
---|
acceptCFG, exceptions, exceptions, reachable, reachable |
Constructor Detail |
---|
public JifArrayAccessAssign_c(polyglot.util.Position pos, polyglot.ast.ArrayAccess left, polyglot.ast.Assign.Operator op, polyglot.ast.Expr right)
Method Detail |
---|
public boolean throwsArrayStoreException()
throwsArrayStoreException
in interface polyglot.ast.ArrayAccessAssign
throwsArrayStoreException
in class polyglot.ast.ArrayAccessAssign_c
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |