polyglot.ast
Class Field_c

java.lang.Object
  polyglot.ast.Node_c
      polyglot.ast.Term_c
          polyglot.ast.Expr_c
              polyglot.ast.Field_c

All Implemented Interfaces:

java.lang.Cloneable, Expr, Field, JL, NamedVariable, Node, NodeOps, Prefix, Receiver, Term, Typed, Variable, Copy

public class Field_c
extends Expr_c
implements Field

A Field is an immutable representation of a Java field access. It consists of field name and may also have either a Type or an Expr containing the field being accessed.

Field Summary

protected FieldInstance	fi
protected Id	name
protected Receiver	target
protected boolean	targetImplicit

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.Term

ENTRY, EXIT

Constructor Summary

Field_c(Position pos, Receiver target, Id name)

Method Summary

java.util.List	acceptCFG(CFGBuilder v, java.util.List succs) Visit this term in evaluation order.
Node	buildTypes(TypeBuilder tb) Collects classes, methods, and fields from the AST rooted at this node and constructs type objects for these.
protected void	checkConsistency(Context c) Check the consistency of the implicit target inserted by the compiler by asserting that the FieldInstance in the Context for this field's name is the same as the FieldInstance we assigned to this field.
Node	checkConstants(ConstantChecker cc) Check if the node is a compile-time constant.
Type	childExpectedType(Expr child, AscriptionVisitor av) Get the expected type of a child expression of this.
java.lang.Object	constantValue() Returns the constant value of the expression, if any.
boolean	constantValueSet()
Node	copy(NodeFactory nf) Produce a copy of this node using the given NodeFactory.
void	dump(CodeWriter w) Dump the AST node for debugging purposes.
FieldInstance	fieldInstance() Get the field instance of the field.
Field	fieldInstance(FieldInstance fi) Set the field instance of the field.
Term	firstChild() Return the first direct subterm performed when evaluating this term.
Flags	flags() Return the access flags of the variable.
Id	id() Get the name of the field.
Field	id(Id name) Set the name of the field.
boolean	isConstant() Return whether the expression evaluates to a constant.
boolean	isTargetImplicit() Returns whether the target of this field is implicit, that is if the target is either "this" or a classname, and the source code did not explicitly provide a target.
java.lang.String	name() Get the name of the field.
Field	name(java.lang.String name) Set the name of the field.
Precedence	precedence() Get the precedence of the field.
void	prettyPrint(CodeWriter w, PrettyPrinter tr) Write the field to an output file.
protected Field_c	reconstruct(Receiver target, Id name) Reconstruct the field.
Receiver	target() Get the target of the field.
Field	target(Receiver target) Set the target of the field.
Field	targetImplicit(boolean implicit) Set whether the target of the field is implicit.
java.util.List	throwTypes(TypeSystem ts) List of Types of exceptions that might get thrown.
java.lang.String	toString()
Node	typeCheck(TypeChecker tc) Type check the field.
VarInstance	varInstance() Get the field instance of the field.
Node	visitChildren(NodeVisitor v) Visit the children of the field.

Methods inherited from class polyglot.ast.Expr_c

booleanValue, byteValue, charValue, doubleValue, floatValue, intValue, 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, 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.Expr

printSubExpr, printSubExpr, type

Methods inherited from interface polyglot.ast.Node

del, del, 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, buildTypesEnter, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, prettyPrint, prettyPrint, translate, typeCheckEnter, typeCheckOverride

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

Field Detail

target

protected Receiver target

name

protected Id name

fi

protected FieldInstance fi

targetImplicit

protected boolean targetImplicit

Constructor Detail

Field_c

public Field_c(Position pos,
               Receiver target,
               Id name)

Method Detail

precedence

public Precedence precedence()

Get the precedence of the field.

Specified by:

precedence in interface Expr

Overrides:

precedence in class Expr_c

target

public Receiver target()

Get the target of the field.

Specified by:

target in interface Field

target

public Field target(Receiver target)

Set the target of the field.

Specified by:

target in interface Field

id

public Id id()

Get the name of the field.

Specified by:

id in interface Field

id

public Field id(Id name)

Set the name of the field.

Specified by:

id in interface Field

name

public java.lang.String name()

Get the name of the field.

Specified by:

name in interface Field

Specified by:

name in interface NamedVariable

name

public Field name(java.lang.String name)

Set the name of the field.

Specified by:

name in interface Field

flags

public Flags flags()

Return the access flags of the variable.

Specified by:

flags in interface NamedVariable

Specified by:

flags in interface Variable

varInstance

public VarInstance varInstance()

Get the field instance of the field.

Specified by:

varInstance in interface NamedVariable

fieldInstance

public FieldInstance fieldInstance()

Get the field instance of the field.

Specified by:

fieldInstance in interface Field

fieldInstance

public Field fieldInstance(FieldInstance fi)

Set the field instance of the field.

Specified by:

fieldInstance in interface Field

isTargetImplicit

public boolean isTargetImplicit()

Description copied from interface: Field

Returns whether the target of this field is implicit, that is if the target is either "this" or a classname, and the source code did not explicitly provide a target.

Specified by:

isTargetImplicit in interface Field

targetImplicit

public Field targetImplicit(boolean implicit)

Description copied from interface: Field

Set whether the target of the field is implicit.

Specified by:

targetImplicit in interface Field

reconstruct

protected Field_c reconstruct(Receiver target,
                              Id name)

Reconstruct the field.

visitChildren

public Node visitChildren(NodeVisitor v)

Visit the children of the field.

Specified by:

visitChildren in interface NodeOps

Overrides:

visitChildren in class Node_c

Parameters:

v - The visitor that will traverse/rewrite the AST.

Returns:

A new AST if a change was made, or this.

buildTypes

public Node buildTypes(TypeBuilder tb)
                throws SemanticException

Description copied from interface: NodeOps

Collects classes, methods, and fields from the AST rooted at this node and constructs type objects for these. These type objects may be ambiguous. Inserts classes into the TypeSystem. 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:

buildTypes in interface NodeOps

Overrides:

buildTypes in class Expr_c

Parameters:

tb - The visitor which adds new type objects to the TypeSystem.

Throws:

SemanticException

typeCheck

public Node typeCheck(TypeChecker tc)
               throws SemanticException

Type check the field.

Specified by:

typeCheck in interface NodeOps

Overrides:

typeCheck in class Node_c

Parameters:

tc - The type checking visitor.

Throws:

SemanticException

checkConstants

public Node checkConstants(ConstantChecker cc)
                    throws SemanticException

Description copied from interface: NodeOps

Check if the node is a compile-time constant. 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:

checkConstants in interface NodeOps

Overrides:

checkConstants in class Node_c

Parameters:

cc - The constant checking visitor.

Throws:

SemanticException

childExpectedType

public Type childExpectedType(Expr child,
                              AscriptionVisitor av)

Description copied from interface: Node

Get the expected type of a child expression of this. The expected type is determined by the context in that the child occurs (e.g., for x = e, the expected type of e is the declared type of x. The expected type should impose the least constraints on the child's type that are allowed by the parent node.

Specified by:

childExpectedType in interface Node

Overrides:

childExpectedType in class Node_c

Parameters:

child - A child expression of this node.

av - An ascription visitor.

Returns:

The expected type of child.

prettyPrint

public void prettyPrint(CodeWriter w,
                        PrettyPrinter tr)

Write the field to an output file.

Specified by:

prettyPrint in interface NodeOps

Overrides:

prettyPrint in class Node_c

Parameters:

w - The code writer to which to write.

tr - The pretty printer. This is not a visitor.

dump

public void dump(CodeWriter w)

Description copied from interface: Node

Dump the AST node for debugging purposes.

Specified by:

dump in interface Node

Overrides:

dump in class Expr_c

firstChild

public Term firstChild()

Description copied from interface: Term

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 Term

acceptCFG

public java.util.List acceptCFG(CFGBuilder v,
                                java.util.List succs)

Description copied from class: Term_c

Visit this term in evaluation order.

Specified by:

acceptCFG in interface Term

Specified by:

acceptCFG in class Term_c

toString

public java.lang.String toString()

Overrides:

toString in class Node_c

throwTypes

public java.util.List 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 Node_c

constantValueSet

public boolean constantValueSet()

Specified by:

constantValueSet in interface Expr

Overrides:

constantValueSet in class Expr_c

isConstant

public boolean isConstant()

Description copied from interface: Expr

Return whether the expression evaluates to a constant. This is not valid until after disambiguation.

Specified by:

isConstant in interface Expr

Overrides:

isConstant in class Expr_c

constantValue

public java.lang.Object constantValue()

Description copied from interface: Expr

Returns the constant value of the expression, if any.

Specified by:

constantValue in interface Expr

Overrides:

constantValue in class Expr_c

checkConsistency

protected void checkConsistency(Context c)

Check the consistency of the implicit target inserted by the compiler by asserting that the FieldInstance in the Context for this field's name is the same as the FieldInstance we assigned to this field.

copy

public Node copy(NodeFactory nf)

Description copied from interface: NodeOps

Produce a copy of this node using the given NodeFactory.

Specified by:

copy in interface NodeOps

Overrides:

copy in class Node_c