org.walkmod.javalang.ast.stmt

Class TryStmt

java.lang.Object

org.walkmod.javalang.ast.Node

org.walkmod.javalang.ast.stmt.Statement

org.walkmod.javalang.ast.stmt.TryStmt

All Implemented Interfaces:

Serializable, Cloneable, SymbolDataAware<SymbolData>, org.walkmod.modelchecker.ConstrainedElement

public final class TryStmt
extends Statement

Author:

Julio Vilmar Gesser

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
TryStmt()
TryStmt(BlockStmt tryBlock, List<CatchClause> catchs, BlockStmt finallyBlock)
TryStmt(int beginLine, int beginColumn, int endLine, int endColumn, List<VariableDeclarationExpr> resources, BlockStmt tryBlock, List<CatchClause> catchs, BlockStmt finallyBlock)

Method Summary

Modifier and Type	Method and Description
<R,A> R	accept(GenericVisitor<R,A> v, A arg) Accept method for visitor support.
<A> void	accept(VoidVisitor<A> v, A arg) Accept method for visitor support.
TryStmt	clone()
List<CatchClause>	getCatchs()
List<Node>	getChildren()
BlockStmt	getFinallyBlock()
List<VariableDeclarationExpr>	getResources()
BlockStmt	getTryBlock()
boolean	removeChild(Node child)
boolean	replaceChildNode(Node oldChild, Node newChild)
void	setCatchs(List<CatchClause> catchs)
void	setFinallyBlock(BlockStmt finallyBlock)
void	setResources(List<VariableDeclarationExpr> resources)
void	setTryBlock(BlockStmt tryBlock)

Methods inherited from class org.walkmod.javalang.ast.stmt.Statement

getSymbolData, setSymbolData

Methods inherited from class org.walkmod.javalang.ast.Node

check, clone, clone, contains, diableConstraints, enableConstraints, equals, getBeginColumn, getBeginLine, getCommonAncestor, getConstraints, getData, getEndColumn, getEndLine, getParentNode, getPrettySource, getPrettySource, hashCode, isAncestorOf, isInEqualLocation, isNewNode, isPreviousThan, remove, replaceChildNodeInList, setAsParentNodeOf, setAsParentNodeOf, setBeginColumn, setBeginLine, setConstraints, setData, setEndColumn, setEndLine, toString, updateReferences

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

TryStmt

public TryStmt()

TryStmt

public TryStmt(BlockStmt tryBlock,
               List<CatchClause> catchs,
               BlockStmt finallyBlock)

TryStmt

public TryStmt(int beginLine,
               int beginColumn,
               int endLine,
               int endColumn,
               List<VariableDeclarationExpr> resources,
               BlockStmt tryBlock,
               List<CatchClause> catchs,
               BlockStmt finallyBlock)

Method Detail

removeChild

public boolean removeChild(Node child)

Specified by:

removeChild in class Node

getChildren

public List<Node> getChildren()

Overrides:

getChildren in class Statement

accept

public <R,A> R accept(GenericVisitor<R,A> v,
                      A arg)

Description copied from class: Node

Accept method for visitor support.

Specified by:

accept in class Node

Type Parameters:

R - the type the return value of the visitor

A - the type the argument passed for the visitor

Parameters:

v - the visitor implementation

arg - any value relevant for the visitor

Returns:

the result of the visit

accept

public <A> void accept(VoidVisitor<A> v,
                       A arg)

Description copied from class: Node

Accept method for visitor support.

Specified by:

accept in class Node

Type Parameters:

A - the type the argument passed for the visitor

Parameters:

v - the visitor implementation

arg - any value relevant for the visitor

getCatchs

public List<CatchClause> getCatchs()

getFinallyBlock

public BlockStmt getFinallyBlock()

getTryBlock

public BlockStmt getTryBlock()

getResources

public List<VariableDeclarationExpr> getResources()

setCatchs

public void setCatchs(List<CatchClause> catchs)

setFinallyBlock

public void setFinallyBlock(BlockStmt finallyBlock)

setTryBlock

public void setTryBlock(BlockStmt tryBlock)

setResources

public void setResources(List<VariableDeclarationExpr> resources)

replaceChildNode

public boolean replaceChildNode(Node oldChild,
                                Node newChild)

Specified by:

replaceChildNode in class Node

clone

public TryStmt clone()
              throws CloneNotSupportedException

Specified by:

clone in class Statement

Throws:

CloneNotSupportedException