org.walkmod.javalang.ast.body

Class BodyDeclaration

java.lang.Object

org.walkmod.javalang.ast.Node

org.walkmod.javalang.ast.body.BodyDeclaration

All Implemented Interfaces:

Serializable, Cloneable, ScopeAware, org.walkmod.modelchecker.ConstrainedElement

Direct Known Subclasses:

AnnotationMemberDeclaration, ConstructorDeclaration, EmptyMemberDeclaration, EnumConstantDeclaration, FieldDeclaration, InitializerDeclaration, MethodDeclaration, TypeDeclaration

public abstract class BodyDeclaration
extends Node
implements ScopeAware

Author:

Julio Vilmar Gesser

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
BodyDeclaration()
BodyDeclaration(int beginLine, int beginColumn, int endLine, int endColumn, List<AnnotationExpr> annotations, JavadocComment javaDoc)
BodyDeclaration(List<AnnotationExpr> annotations, JavadocComment javaDoc)

Method Summary

Modifier and Type	Method and Description
List<AnnotationExpr>	getAnnotations()
List<Node>	getChildren()
JavadocComment	getJavaDoc()
Map<String,List<SymbolDefinition>>	getMethodDefinitions() Gets the available methods
Map<String,SymbolDefinition>	getTypeDefinitions() Gets the available variables
Map<String,SymbolDefinition>	getVariableDefinitions() Gets the available variables
void	merge(BodyDeclaration remoteBodyDeclaration, org.walkmod.merger.MergeEngine configuration)
boolean	removeChild(Node child)
boolean	replaceChildNode(Node oldChild, Node newChild)
void	setAnnotations(List<AnnotationExpr> annotations)
void	setJavaDoc(JavadocComment javaDoc)

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

accept, accept, check, clone, 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

BodyDeclaration

public BodyDeclaration()

BodyDeclaration

public BodyDeclaration(List<AnnotationExpr> annotations,
                       JavadocComment javaDoc)

BodyDeclaration

public BodyDeclaration(int beginLine,
                       int beginColumn,
                       int endLine,
                       int endColumn,
                       List<AnnotationExpr> annotations,
                       JavadocComment javaDoc)

Method Detail

getChildren

public List<Node> getChildren()

Specified by:

getChildren in class Node

removeChild

public boolean removeChild(Node child)

Specified by:

removeChild in class Node

getJavaDoc

public final JavadocComment getJavaDoc()

getAnnotations

public final List<AnnotationExpr> getAnnotations()

setJavaDoc

public final void setJavaDoc(JavadocComment javaDoc)

setAnnotations

public final void setAnnotations(List<AnnotationExpr> annotations)

merge

public void merge(BodyDeclaration remoteBodyDeclaration,
                  org.walkmod.merger.MergeEngine configuration)

replaceChildNode

public boolean replaceChildNode(Node oldChild,
                                Node newChild)

Specified by:

replaceChildNode in class Node

getVariableDefinitions

public Map<String,SymbolDefinition> getVariableDefinitions()

Description copied from interface: ScopeAware

Gets the available variables

Specified by:

getVariableDefinitions in interface ScopeAware

Returns:

the available variables

getMethodDefinitions

public Map<String,List<SymbolDefinition>> getMethodDefinitions()

Description copied from interface: ScopeAware

Gets the available methods

Specified by:

getMethodDefinitions in interface ScopeAware

Returns:

the available variables

getTypeDefinitions

public Map<String,SymbolDefinition> getTypeDefinitions()

Description copied from interface: ScopeAware

Gets the available variables

Specified by:

getTypeDefinitions in interface ScopeAware

Returns:

the available variables