jltools.ext.jl.ast
Class Throw_c

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

All Implemented Interfaces:

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

public class Throw_c

extends Stmt_c

implements Throw

A Throw is an immutable representation of a throw statement. Such a statement contains a single Expr which evaluates to the object being thrown.

See Also:

Serialized Form

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

Node_c.StringCodeWriter

Field Summary

protected Expr

expr

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

ext, position

Constructor Summary

Throw_c(Ext ext, Position pos, Expr expr)

Method Summary

Node	exceptionCheck_(ExceptionChecker ec) Check exceptions thrown by the statement.
Expr	expr() Get the expression to throw.
Throw	expr(Expr expr) Set the expression to throw.
protected Throw_c	reconstruct(Expr expr) 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, 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, exceptionCheckOverride_, ext, ext, foldConstants_, foldConstantsOverride_, leaveScope, position, position, reconstructTypes_, typeCheckOverride_, visit

Field Detail

expr

protected Expr expr

Constructor Detail

Throw_c

public Throw_c(Ext ext,
               Position pos,
               Expr expr)

Method Detail

expr

public Expr expr()

Get the expression to throw.

Specified by:

expr in interface Throw

expr

public Throw expr(Expr expr)

Set the expression to throw.

Specified by:

expr in interface Throw

reconstruct

protected Throw_c reconstruct(Expr expr)

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

exceptionCheck_

public Node exceptionCheck_(ExceptionChecker ec)
                     throws SemanticException

Check exceptions thrown by the statement.

Specified by:

exceptionCheck_ in interface Node

Overrides:

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