org.walkmod.javalang.ast.body

Class EmptyTypeDeclaration

java.lang.Object

org.walkmod.javalang.ast.Node

org.walkmod.javalang.ast.body.BodyDeclaration

org.walkmod.javalang.ast.body.TypeDeclaration

org.walkmod.javalang.ast.body.EmptyTypeDeclaration

All Implemented Interfaces:

Serializable, Cloneable, ScopeAware, SymbolDataAware<SymbolData>, SymbolDefinition, org.walkmod.merger.IdentificableNode, org.walkmod.merger.Mergeable<TypeDeclaration>, org.walkmod.modelchecker.ConstrainedElement

public final class EmptyTypeDeclaration
extends TypeDeclaration

Author:

Julio Vilmar Gesser

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
EmptyTypeDeclaration()
EmptyTypeDeclaration(int beginLine, int beginColumn, int endLine, int endColumn, JavadocComment javaDoc)
EmptyTypeDeclaration(JavadocComment javaDoc)

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.
EmptyTypeDeclaration	clone()

Methods inherited from class org.walkmod.javalang.ast.body.TypeDeclaration

addBodyReference, addUsage, getBodyReferences, getChildren, getIdentityComparator, getMembers, getMethodDefinitions, getModifiers, getName, getScopeLevel, getSymbolData, getSymbolName, getTypeDefinitions, getUsages, getVariableDefinitions, merge, removeChild, replaceChildNode, setBodyReferences, setMembers, setModifiers, setName, setScopeLevel, setSymbolData, setUsages

Methods inherited from class org.walkmod.javalang.ast.body.BodyDeclaration

getAnnotations, getJavaDoc, merge, setAnnotations, setJavaDoc

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

EmptyTypeDeclaration

public EmptyTypeDeclaration()

EmptyTypeDeclaration

public EmptyTypeDeclaration(JavadocComment javaDoc)

EmptyTypeDeclaration

public EmptyTypeDeclaration(int beginLine,
                            int beginColumn,
                            int endLine,
                            int endColumn,
                            JavadocComment javaDoc)

Method Detail

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

clone

public EmptyTypeDeclaration clone()
                           throws CloneNotSupportedException

Specified by:

clone in class Node

Throws:

CloneNotSupportedException