org.walkmod.javalang.ast.stmt

Class CatchClause

java.lang.Object

org.walkmod.javalang.ast.Node

org.walkmod.javalang.ast.stmt.CatchClause

All Implemented Interfaces:

Serializable, Cloneable, org.walkmod.modelchecker.ConstrainedElement

public final class CatchClause
extends Node

Author:

Julio Vilmar Gesser

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
CatchClause()
CatchClause(int beginLine, int beginColumn, int endLine, int endColumn, int exceptModifier, List<AnnotationExpr> exceptAnnotations, List<Type> exceptTypes, VariableDeclaratorId exceptId, BlockStmt catchBlock)
CatchClause(int exceptModifier, List<AnnotationExpr> exceptAnnotations, List<Type> exceptTypes, VariableDeclaratorId exceptId, BlockStmt catchBlock)
CatchClause(MultiTypeParameter except, BlockStmt catchBlock)

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.
CatchClause	clone()
BlockStmt	getCatchBlock()
List<Node>	getChildren()
MultiTypeParameter	getExcept()
boolean	removeChild(Node child)
boolean	replaceChildNode(Node oldChild, Node newChild)
void	setCatchBlock(BlockStmt catchBlock)
void	setExcept(MultiTypeParameter except)

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

CatchClause

public CatchClause()

CatchClause

public CatchClause(MultiTypeParameter except,
                   BlockStmt catchBlock)

CatchClause

public CatchClause(int exceptModifier,
                   List<AnnotationExpr> exceptAnnotations,
                   List<Type> exceptTypes,
                   VariableDeclaratorId exceptId,
                   BlockStmt catchBlock)

CatchClause

public CatchClause(int beginLine,
                   int beginColumn,
                   int endLine,
                   int endColumn,
                   int exceptModifier,
                   List<AnnotationExpr> exceptAnnotations,
                   List<Type> exceptTypes,
                   VariableDeclaratorId exceptId,
                   BlockStmt catchBlock)

Method Detail

removeChild

public boolean removeChild(Node child)

Specified by:

removeChild in class Node

getChildren

public List<Node> getChildren()

Specified by:

getChildren in class Node

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

getCatchBlock

public BlockStmt getCatchBlock()

getExcept

public MultiTypeParameter getExcept()

setCatchBlock

public void setCatchBlock(BlockStmt catchBlock)

setExcept

public void setExcept(MultiTypeParameter except)

replaceChildNode

public boolean replaceChildNode(Node oldChild,
                                Node newChild)

Specified by:

replaceChildNode in class Node

clone

public CatchClause clone()
                  throws CloneNotSupportedException

Specified by:

clone in class Node

Throws:

CloneNotSupportedException