org.walkmod.javalang.ast.stmt

Class Statement

java.lang.Object

org.walkmod.javalang.ast.Node

org.walkmod.javalang.ast.stmt.Statement

All Implemented Interfaces:

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

Direct Known Subclasses:

AssertStmt, BlockStmt, BreakStmt, ContinueStmt, DoStmt, EmptyStmt, ExplicitConstructorInvocationStmt, ExpressionStmt, ForeachStmt, ForStmt, IfStmt, LabeledStmt, ReturnStmt, SwitchEntryStmt, SwitchStmt, SynchronizedStmt, ThrowStmt, TryStmt, TypeDeclarationStmt, WhileStmt

public abstract class Statement
extends Node
implements SymbolDataAware<SymbolData>

Author:

Julio Vilmar Gesser

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
Statement()
Statement(int beginLine, int beginColumn, int endLine, int endColumn)

Method Summary

Modifier and Type	Method and Description
abstract Statement	clone()
List<Node>	getChildren()
SymbolData	getSymbolData() Returns the symbol data related to a given node.
void	setSymbolData(SymbolData symbolData) Sets the symbol data from a semantic analyzer.

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

accept, accept, check, clone, clone, contains, diableConstraints, enableConstraints, equals, getBeginColumn, getBeginLine, getCommonAncestor, getConstraints, getData, getEndColumn, getEndLine, getParentNode, getPrettySource, getPrettySource, hashCode, isAncestorOf, isInEqualLocation, isNewNode, isPreviousThan, remove, removeChild, replaceChildNode, 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

Statement

public Statement()

Statement

public Statement(int beginLine,
                 int beginColumn,
                 int endLine,
                 int endColumn)

Method Detail

getSymbolData

public SymbolData getSymbolData()

Description copied from interface: SymbolDataAware

Returns the symbol data related to a given node. It is null if the node value is the null literal or does not represent any valid information. In case of statements nodes, it corresponds to the returned value, if exists.

Specified by:

getSymbolData in interface SymbolDataAware<SymbolData>

Returns:

the symbol data

setSymbolData

public void setSymbolData(SymbolData symbolData)

Description copied from interface: SymbolDataAware

Sets the symbol data from a semantic analyzer.

Specified by:

setSymbolData in interface SymbolDataAware<SymbolData>

Parameters:

symbolData - the symbol data.

clone

public abstract Statement clone()
                         throws CloneNotSupportedException

Specified by:

clone in class Node

Throws:

CloneNotSupportedException

getChildren

public List<Node> getChildren()

Specified by:

getChildren in class Node