polyglot.ast

Class Expr_c

java.lang.Object

polyglot.ast.Node_c

polyglot.ast.Term_c

polyglot.ast.Expr_c

All Implemented Interfaces:

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

Direct Known Subclasses:

AmbExpr_c, ArrayAccess_c, ArrayInit_c, Assign_c, Binary_c, Call_c, Cast_c, Conditional_c, Field_c, Instanceof_c, Lit_c, Local_c, New_c, NewArray_c, Special_c, Unary_c

public abstract class Expr_c
extends Term_c
implements Expr, ExprOps

An Expr represents any Java expression. All expressions must be subtypes of Expr.

See Also:

Serialized Form

Nested Class Summary

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

Modifier and Type	Field and Description
protected Type	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

Constructors

Constructor and Description
Expr_c(Position pos) Deprecated.
Expr_c(Position pos, Ext ext)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	booleanValue(Lang lang)
Node	buildTypes(TypeBuilder tb) Collects classes, methods, and fields from the AST rooted at this node and constructs type objects for these.
byte	byteValue(Lang lang)
char	charValue(Lang lang)
java.lang.Object	constantValue() Deprecated.
java.lang.Object	constantValue(Lang lang) Return the constant value of the expression, if any.
boolean	constantValueSet() Deprecated.
boolean	constantValueSet(Lang lang) Return true iff the compiler has determined whether this expression has a constant value.
double	doubleValue(Lang lang)
void	dump(CodeWriter w) Dump the AST node for debugging purposes.
Node	extRewrite(ExtensionRewriter rw) Rewrite the AST for the compilation in this language.
float	floatValue(Lang lang)
int	intValue(Lang lang)
boolean	isConstant() Deprecated.
boolean	isConstant(Lang lang) Return whether the expression evaluates to a constant.
boolean	isTypeChecked()
protected Lang	lastLang() Deprecated.
long	longValue(Lang lang)
Precedence	precedence() Get the precedence of the expression.
void	printSubExpr(Expr expr, boolean associative, CodeWriter w, PrettyPrinter pp) Correctly parenthesize the subexpression expr based on its precedence and the precedence of this expression.
void	printSubExpr(Expr expr, CodeWriter w, PrettyPrinter pp) Correctly parenthesize the subexpression expr based on its precedence and the precedence of this expression.
short	shortValue(Lang lang)
java.lang.String	stringValue(Lang lang)
Type	type() Get the type of the expression.
protected <N extends Expr_c> N	type(N n, Type type)
Expr	type(Type type) Return an equivalent expression, but with the type type.

Methods inherited from class polyglot.ast.Term_c

acceptCFG, exceptionCheck, exceptions, exceptions, exceptions, firstChild, listChild, reachable, reachable, reachable

Methods inherited from class polyglot.ast.Node_c

addDecls, buildTypesEnter, checkConstants, childExpectedType, copy, 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, prettyPrint, print, printBlock, printSubStmt, throwTypes, toString, translate, typeCheck, typeCheckEnter, typeCheckOverride, visit, visitChild, visitChildren, 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.Node

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

Methods inherited from interface polyglot.ast.NodeOps

addDecls, buildTypesEnter, checkConstants, childExpectedType, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, extRewriteEnter, lang, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList

Methods inherited from interface polyglot.util.Copy

copy

Methods inherited from interface polyglot.ast.Term

exceptions, exceptions, reachable, reachable

Field Detail

type

protected Type type

Constructor Detail

Expr_c

@Deprecated
public Expr_c(Position pos)

Deprecated.

Expr_c

public Expr_c(Position pos,
      Ext ext)

Method Detail

type

public Type type()

Get the type of the expression. This may return an UnknownType before type-checking, but should return the correct type after type-checking.

Specified by:

type in interface Typed

type

public Expr type(Type type)

Description copied from interface: Expr

Return an equivalent expression, but with the type type.

Specified by:

type in interface Expr

type

protected <N extends Expr_c> N type(N n,
                        Type type)

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 Node_c

precedence

public Precedence precedence()

Description copied from interface: Expr

Get the precedence of the expression.

Specified by:

precedence in interface Expr

lastLang

@Deprecated
protected Lang lastLang()

Deprecated.

constantValueSet

@Deprecated
public boolean constantValueSet()

Deprecated.

Description copied from interface: Expr

Return true iff the compiler has determined whether this expression has a constant value. The value returned by isConstant() is valid only if constantValueSet() is true.

Specified by:

constantValueSet in interface Expr

isConstant

@Deprecated
public boolean isConstant()

Deprecated.

Description copied from interface: Expr

Return whether the expression evaluates to a constant. Requires that disambiguation has been done, and that constantValueSet() is true.

Specified by:

isConstant in interface Expr

constantValue

@Deprecated
public java.lang.Object constantValue()

Deprecated.

Description copied from interface: Expr

Return the constant value of the expression, if any. Requires that isConstant() is true.

Specified by:

constantValue in interface Expr

constantValueSet

public boolean constantValueSet(Lang lang)

Description copied from interface: ExprOps

Return true iff the compiler has determined whether this expression has a constant value. The value returned by isConstant() is valid only if constantValueSet() is true.

Specified by:

constantValueSet in interface ExprOps

isConstant

public boolean isConstant(Lang lang)

Description copied from interface: ExprOps

Return whether the expression evaluates to a constant. Requires that disambiguation has been done, and that constantValueSet() is true.

Specified by:

isConstant in interface ExprOps

constantValue

public java.lang.Object constantValue(Lang lang)

Description copied from interface: ExprOps

Return the constant value of the expression, if any. Requires that isConstant() is true.

Specified by:

constantValue in interface ExprOps

stringValue

public java.lang.String stringValue(Lang lang)

booleanValue

public boolean booleanValue(Lang lang)

byteValue

public byte byteValue(Lang lang)

shortValue

public short shortValue(Lang lang)

charValue

public char charValue(Lang lang)

intValue

public int intValue(Lang lang)

longValue

public long longValue(Lang lang)

floatValue

public float floatValue(Lang lang)

doubleValue

public double doubleValue(Lang lang)

isTypeChecked

public boolean isTypeChecked()

Specified by:

isTypeChecked in interface Node

Overrides:

isTypeChecked in class Node_c

Returns:

true if all the type information for the node (but not necessarily for the node's children) has been computed.

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 Node_c

Parameters:

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

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 Term_c

Parameters:

rw - The visitor.

Throws:

SemanticException

printSubExpr

public void printSubExpr(Expr expr,
                CodeWriter w,
                PrettyPrinter pp)

Description copied from interface: Expr

Correctly parenthesize the subexpression expr based on its precedence and the precedence of this expression. If the sub-expression has the same precedence as this expression we do not parenthesize. This is equivalent to printSubexpr(expr, true, w, pp)

Specified by:

printSubExpr in interface Expr

Parameters:

expr - The subexpression.

w - The output writer.

pp - The pretty printer.

printSubExpr

public void printSubExpr(Expr expr,
                boolean associative,
                CodeWriter w,
                PrettyPrinter pp)

Description copied from interface: Expr

Correctly parenthesize the subexpression expr based on its precedence and the precedence of this expression. If the sub-expression has the same precedence as this expression, we parenthesize if the sub-expression does not associate. For example, we parenthesize the right subexpression of a left-associative operator.

Specified by:

printSubExpr in interface Expr

Parameters:

expr - The subexpression.

associative - Whether expr is the left (right) child of a left- (right-) associative operator.

w - The output writer.

pp - The pretty printer.