org.walkmod.javalang.ast

Class PackageDeclaration

java.lang.Object

org.walkmod.javalang.ast.Node

org.walkmod.javalang.ast.PackageDeclaration

All Implemented Interfaces:

Serializable, Cloneable, org.walkmod.modelchecker.ConstrainedElement

public final class PackageDeclaration
extends Node

This class represents the package declaration. The package declaration is optional for the CompilationUnit.

The PackageDeclaration is constructed following the syntax:

PackageDeclaration

::=

( AnnotationExpr )* "package" NameExpr ) ";"

Author:

Julio Vilmar Gesser

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
PackageDeclaration()
PackageDeclaration(int beginLine, int beginColumn, int endLine, int endColumn, List<AnnotationExpr> annotations, NameExpr name)
PackageDeclaration(List<AnnotationExpr> annotations, NameExpr name)
PackageDeclaration(NameExpr name)

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.
PackageDeclaration	clone()
List<AnnotationExpr>	getAnnotations() Retrieves the list of annotations declared before the package declaration.
List<Node>	getChildren()
NameExpr	getName() Return the name of the package.
boolean	removeChild(Node child)
boolean	replaceChildNode(Node oldChild, Node newChild)
void	setAnnotations(List<AnnotationExpr> annotations)
void	setName(NameExpr name) Sets the name of this package declaration.

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

PackageDeclaration

public PackageDeclaration()

PackageDeclaration

public PackageDeclaration(NameExpr name)

PackageDeclaration

public PackageDeclaration(List<AnnotationExpr> annotations,
                          NameExpr name)

PackageDeclaration

public PackageDeclaration(int beginLine,
                          int beginColumn,
                          int endLine,
                          int endColumn,
                          List<AnnotationExpr> annotations,
                          NameExpr name)

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

getAnnotations

public List<AnnotationExpr> getAnnotations()

Retrieves the list of annotations declared before the package declaration. Return null if there are no annotations.

Returns:

list of annotations or null

getName

public NameExpr getName()

Return the name of the package.

Returns:

the name of the package

setAnnotations

public void setAnnotations(List<AnnotationExpr> annotations)

Parameters:

annotations - the annotations to set

setName

public void setName(NameExpr name)

Sets the name of this package declaration.

Parameters:

name - the name to set

replaceChildNode

public boolean replaceChildNode(Node oldChild,
                                Node newChild)

Specified by:

replaceChildNode in class Node

clone

public PackageDeclaration clone()
                         throws CloneNotSupportedException

Specified by:

clone in class Node

Throws:

CloneNotSupportedException