jltools.ext.jl.ast
Class While_c

java.lang.Object
  |
  +--jltools.ext.jl.ast.Node_c
        |
        +--jltools.ext.jl.ast.Stmt_c
              |
              +--jltools.ext.jl.ast.While_c

All Implemented Interfaces:

java.lang.Cloneable, Copy, Node, java.io.Serializable, Stmt, While

public class While_c

extends Stmt_c

implements While

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

See Also:

Serialized Form

Inner classes inherited from class jltools.ext.jl.ast.Node_c

Node_c.StringCodeWriter

Field Summary

protected Stmt	body
protected Expr	cond

Fields inherited from class jltools.ext.jl.ast.Node_c

ext, position

Constructor Summary

While_c(Ext ext, Position pos, Expr cond, Stmt body)

Method Summary

Stmt	body() Get the body of the statement.
While	body(Stmt body) Set the body of the statement.
Expr	cond() Get the conditional of the statement.
While	cond(Expr cond) Set the conditional of the statement.
protected While_c	reconstruct(Expr cond, Stmt body) Reconstruct the statement.
java.lang.String	toString()
void	translate_(CodeWriter w, Translator tr) Write the statement to an output file.
Node	typeCheck_(TypeChecker tc) Type check the statement.
Node	visitChildren(NodeVisitor v) Visit the children of the statement.

Methods inherited from class jltools.ext.jl.ast.Node_c

buildTypes_, buildTypes, buildTypesOverride_, buildTypesOverride, copy, disambiguate_, disambiguate, disambiguateOverride_, disambiguateOverride, disambiguateTypes_, disambiguateTypes, disambiguateTypesOverride_, disambiguateTypesOverride, dump, enterScope, exceptionCheck_, exceptionCheck, exceptionCheckOverride_, exceptionCheckOverride, ext, ext, foldConstants_, foldConstants, foldConstantsOverride_, foldConstantsOverride, leaveScope, position, position, reconstructTypes_, reconstructTypes, translate, translateBlock, translateSubstmt, typeCheck, typeCheckOverride_, typeCheckOverride, visit, visitList

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface jltools.ast.Node

buildTypes_, buildTypesOverride_, copy, disambiguate_, disambiguateOverride_, disambiguateTypes_, disambiguateTypesOverride_, dump, enterScope, exceptionCheck_, exceptionCheckOverride_, ext, ext, foldConstants_, foldConstantsOverride_, leaveScope, position, position, reconstructTypes_, typeCheckOverride_, visit

Field Detail

cond

protected Expr cond

body

protected Stmt body

Constructor Detail

While_c

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

Method Detail

cond

public Expr cond()

Get the conditional of the statement.

Specified by:

cond in interface While

cond

public While cond(Expr cond)

Set the conditional of the statement.

Specified by:

cond in interface While

body

public Stmt body()

Get the body of the statement.

Specified by:

body in interface While

body

public While body(Stmt body)

Set the body of the statement.

Specified by:

body in interface While

reconstruct

protected While_c reconstruct(Expr cond,
                              Stmt body)

Reconstruct the statement.

visitChildren

public Node visitChildren(NodeVisitor v)

Visit the children of the statement.

Specified by:

visitChildren in interface Node

Overrides:

visitChildren in class Node_c

typeCheck_

public Node typeCheck_(TypeChecker tc)
                throws SemanticException

Type check the statement.

Specified by:

typeCheck_ in interface Node

Overrides:

typeCheck_ in class Node_c

toString

public java.lang.String toString()

Overrides:

toString in class Node_c

translate_

public void translate_(CodeWriter w,
                       Translator tr)

Write the statement to an output file.

Specified by:

translate_ in interface Node

Overrides:

translate_ in class Node_c

Following copied from interface: jltools.ast.Node

Parameters:

w - The code writer to which to write.

tr - The translation pass. This is not a visitor.