jltools.ext.jl.ast
Class Do_c

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

All Implemented Interfaces:

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

public class Do_c

extends Stmt_c

implements Do

A immutable representation of a Java language do 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

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

Method Summary

Stmt	body() Get the body of the statement.
Do	body(Stmt body) Set the body of the statement.
Expr	cond() Get the conditional of the statement.
Do	cond(Expr cond) Set the conditional of the statement.
protected Do_c	reconstruct(Stmt body, Expr cond) 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

body

protected Stmt body

cond

protected Expr cond

Constructor Detail

Do_c

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

Method Detail

body

public Stmt body()

Get the body of the statement.

Specified by:

body in interface Do

body

public Do body(Stmt body)

Set the body of the statement.

Specified by:

body in interface Do

cond

public Expr cond()

Get the conditional of the statement.

Specified by:

cond in interface Do

cond

public Do cond(Expr cond)

Set the conditional of the statement.

Specified by:

cond in interface Do

reconstruct

protected Do_c reconstruct(Stmt body,
                           Expr cond)

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.