org.walkmod.javalang.ast.body

Class Parameter

java.lang.Object

org.walkmod.javalang.ast.Node

org.walkmod.javalang.ast.body.BaseParameter

org.walkmod.javalang.ast.body.Parameter

All Implemented Interfaces:

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

public final class Parameter
extends BaseParameter
implements Refactorizable

Author:

Julio Vilmar Gesser

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
Parameter()
Parameter(int beginLine, int beginColumn, int endLine, int endColumn, int modifiers, List<AnnotationExpr> annotations, Type type, boolean isVarArgs, VariableDeclaratorId id)
Parameter(int modifiers, Type type, VariableDeclaratorId id)
Parameter(Type type, VariableDeclaratorId id)

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.
Parameter	clone()
List<Node>	getChildren()
Type	getType()
boolean	isVarArgs()
boolean	removeChild(Node child)
boolean	rename(String newName) Renames the element and all their usages if the newName has no conflicts.
void	setType(Type type)
void	setVarArgs(boolean isVarArgs)

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

addBodyReference, addUsage, getAnnotations, getBodyReferences, getId, getMethodDefinitions, getModifiers, getScopeLevel, getSymbolData, getSymbolName, getTypeDefinitions, getUsages, getVariableDefinitions, replaceChildNode, setAnnotations, setBodyReferences, setId, setModifiers, setScopeLevel, setSymbolData, setUsages

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

Parameter

public Parameter()

Parameter

public Parameter(Type type,
                 VariableDeclaratorId id)

Parameter

public Parameter(int modifiers,
                 Type type,
                 VariableDeclaratorId id)

Parameter

public Parameter(int beginLine,
                 int beginColumn,
                 int endLine,
                 int endColumn,
                 int modifiers,
                 List<AnnotationExpr> annotations,
                 Type type,
                 boolean isVarArgs,
                 VariableDeclaratorId id)

Method Detail

removeChild

public boolean removeChild(Node child)

Overrides:

removeChild in class BaseParameter

getChildren

public List<Node> getChildren()

Overrides:

getChildren in class BaseParameter

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

getType

public Type getType()

isVarArgs

public boolean isVarArgs()

setType

public void setType(Type type)

setVarArgs

public void setVarArgs(boolean isVarArgs)

rename

public boolean rename(String newName)

Description copied from interface: Refactorizable

Renames the element and all their usages if the newName has no conflicts.

Specified by:

rename in interface Refactorizable

Parameters:

newName - new name to set

Returns:

if the rename has been applied successfully.

clone

public Parameter clone()
                throws CloneNotSupportedException

Specified by:

clone in class Node

Throws:

CloneNotSupportedException