polyglot.ast

Class Loop_c

java.lang.Object

polyglot.ast.Node_c

polyglot.ast.Term_c

polyglot.ast.Stmt_c

polyglot.ast.Loop_c

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, CompoundStmt, Loop, LoopOps, Node, NodeOps, Stmt, Term, TermOps, Copy<Node>

Direct Known Subclasses:

Do_c, ExtendedFor_c, For_c, Loop.Instance, While_c

public abstract class Loop_c
extends Stmt_c
implements Loop, LoopOps

An immutable representation of a loop statement. It contains a statement to be executed and an expression to be tested indicating whether to reexecute the statement.

See Also:

Serialized Form

Nested Class Summary

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

Loop.Instance

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

Copy.Util

Field Summary

Fields

Modifier and Type	Field and Description
protected Stmt	body
protected Expr	cond

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
Loop_c(Position pos, Expr cond, Stmt body)
Loop_c(Position pos, Expr cond, Stmt body, Ext ext)

Method Summary

Methods

Modifier and Type	Method and Description
Stmt	body() Loop body.
protected <N extends Loop_c> N	body(N n, Stmt body)
Loop	body(Stmt body) Set the loop body.
Expr	cond() Loop condition.
Loop	cond(Expr cond) Set the loop condition.
protected <N extends Loop_c> N	cond(N n, Expr cond)
boolean	condIsConstant(JLang lang) Returns true of cond() evaluates to a constant.
boolean	condIsConstantFalse(JLang lang) Returns true if cond() is a constant that evaluates to false.
boolean	condIsConstantTrue(JLang lang) Returns true if cond() is a constant that evaluates to true.
protected <N extends Loop_c> N	reconstruct(N n, Expr cond, Stmt body) Reconstruct the statement.

Methods inherited from class polyglot.ast.Term_c

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

Methods inherited from class polyglot.ast.Node_c

addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, copy, copyIfNeeded, del, del, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, dump, enterChildScope, enterScope, error, error, error, exceptionCheckEnter, ext, ext, ext, ext, extRewriteEnter, isDisambiguated, isTypeChecked, 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.Term

exceptions, exceptions, reachable, reachable

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

Methods inherited from interface polyglot.util.Copy

copy

Methods inherited from interface polyglot.ast.LoopOps

continueTarget

Field Detail

cond

protected Expr cond

body

protected Stmt body

Constructor Detail

Loop_c

public Loop_c(Position pos,
      Expr cond,
      Stmt body)

Loop_c

public Loop_c(Position pos,
      Expr cond,
      Stmt body,
      Ext ext)

Method Detail

cond

public Expr cond()

Description copied from interface: Loop

Loop condition.

Specified by:

cond in interface Loop

cond

public Loop cond(Expr cond)

Description copied from interface: Loop

Set the loop condition.

Specified by:

cond in interface Loop

cond

protected <N extends Loop_c> N cond(N n,
                        Expr cond)

condIsConstant

public boolean condIsConstant(JLang lang)

Description copied from interface: LoopOps

Returns true of cond() evaluates to a constant.

Specified by:

condIsConstant in interface LoopOps

condIsConstantTrue

public boolean condIsConstantTrue(JLang lang)

Description copied from interface: LoopOps

Returns true if cond() is a constant that evaluates to true.

Specified by:

condIsConstantTrue in interface LoopOps

condIsConstantFalse

public boolean condIsConstantFalse(JLang lang)

Description copied from interface: LoopOps

Returns true if cond() is a constant that evaluates to false.

Specified by:

condIsConstantFalse in interface LoopOps

body

public Stmt body()

Description copied from interface: Loop

Loop body.

Specified by:

body in interface Loop

body

public Loop body(Stmt body)

Description copied from interface: Loop

Set the loop body.

Specified by:

body in interface Loop

body

protected <N extends Loop_c> N body(N n,
                        Stmt body)

reconstruct

protected <N extends Loop_c> N reconstruct(N n,
                               Expr cond,
                               Stmt body)

Reconstruct the statement.