polyglot.ast

Class FieldAssign_c

java.lang.Object

polyglot.ast.Node_c

polyglot.ast.Term_c

polyglot.ast.Expr_c

polyglot.ast.Assign_c

polyglot.ast.FieldAssign_c

All Implemented Interfaces:

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

public class FieldAssign_c
extends Assign_c
implements FieldAssign

A FieldAssign represents a Java assignment expression to a field. For instance, this.x = e. The class of the Expr returned by FieldAssign_c.left()is guaranteed to be a Field.

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
FieldAssign_c(Position pos, Field left, Assign.Operator op, Expr right)
FieldAssign_c(Position pos, Field 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.
Node	extRewrite(ExtensionRewriter rw) Rewrite the AST for the compilation in this language.
NodeVisitor	extRewriteEnter(ExtensionRewriter rw) Rewrite the AST for the compilation in this language.
Term	firstChild() Return the first direct subterm performed when evaluating this term.
Field	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, 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, 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, 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

FieldAssign_c

public FieldAssign_c(Position pos,
             Field left,
             Assign.Operator op,
             Expr right)

FieldAssign_c

public FieldAssign_c(Position pos,
             Field left,
             Assign.Operator op,
             Expr right,
             Ext ext)

Method Detail

left

public Field 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 Assign

Specified by:

left in interface FieldAssign

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

extRewriteEnter

public NodeVisitor extRewriteEnter(ExtensionRewriter rw)
                            throws SemanticException

Description copied from interface: NodeOps

Rewrite the AST for the compilation in this language. This method is called by the enter() method of the visitor. The method should perform work that should be done before visiting the children of the node. The method may return this or a new copy of the node on which visitChildren() and leave() will be invoked.

Specified by:

extRewriteEnter in interface NodeOps

Overrides:

extRewriteEnter in class Node_c

Parameters:

rw - The visitor.

Throws:

SemanticException

extRewrite

public Node extRewrite(ExtensionRewriter rw)
                throws SemanticException

Description copied from interface: NodeOps

Rewrite the AST for the compilation in this language. This method is called by the leave() method of the visitor. The method should perform work that should be done after visiting the children of the node. The method may return this or a new copy of the node which will be installed as a child of the node's parent.

Specified by:

extRewrite in interface NodeOps

Overrides:

extRewrite in class Expr_c

Parameters:

rw - The visitor.

Throws:

SemanticException