org.walkmod.javalang.ast.body

Class MultiTypeParameter

java.lang.Object

org.walkmod.javalang.ast.Node

org.walkmod.javalang.ast.body.BaseParameter

org.walkmod.javalang.ast.body.MultiTypeParameter

All Implemented Interfaces:

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

public class MultiTypeParameter
extends BaseParameter

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
MultiTypeParameter()
MultiTypeParameter(int beginLine, int beginColumn, int endLine, int endColumn, int modifiers, List<AnnotationExpr> annotations, List<Type> types, VariableDeclaratorId id)
MultiTypeParameter(int modifiers, List<AnnotationExpr> annotations, List<Type> types, 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.
MultiTypeParameter	clone()
List<Node>	getChildren()
List<Type>	getTypes()
boolean	removeChild(Node child)
void	setTypes(List<Type> types)

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

MultiTypeParameter

public MultiTypeParameter()

MultiTypeParameter

public MultiTypeParameter(int modifiers,
                          List<AnnotationExpr> annotations,
                          List<Type> types,
                          VariableDeclaratorId id)

MultiTypeParameter

public MultiTypeParameter(int beginLine,
                          int beginColumn,
                          int endLine,
                          int endColumn,
                          int modifiers,
                          List<AnnotationExpr> annotations,
                          List<Type> types,
                          VariableDeclaratorId id)

Method Detail

getChildren

public List<Node> getChildren()

Overrides:

getChildren in class BaseParameter

removeChild

public boolean removeChild(Node child)

Overrides:

removeChild 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

getTypes

public List<Type> getTypes()

setTypes

public void setTypes(List<Type> types)

clone

public MultiTypeParameter clone()
                         throws CloneNotSupportedException

Specified by:

clone in class Node

Throws:

CloneNotSupportedException