org.walkmod.javalang.ast.type

Class WildcardType

java.lang.Object

org.walkmod.javalang.ast.Node

org.walkmod.javalang.ast.type.Type

org.walkmod.javalang.ast.type.WildcardType

All Implemented Interfaces:

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

public final class WildcardType
extends Type

Author:

Julio Vilmar Gesser

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
WildcardType()
WildcardType(int beginLine, int beginColumn, int endLine, int endColumn, ReferenceType ext, ReferenceType sup)
WildcardType(int beginLine, int beginColumn, int endLine, int endColumn, ReferenceType ext, ReferenceType sup, List<AnnotationExpr> annotations)
WildcardType(ReferenceType ext)
WildcardType(ReferenceType ext, ReferenceType sup)

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.
WildcardType	clone()
List<Node>	getChildren()
ReferenceType	getExtends()
ReferenceType	getSuper()
boolean	removeChild(Node child)
boolean	replaceChildNode(Node oldChild, Node newChild)
void	setExtends(ReferenceType ext)
void	setSuper(ReferenceType sup)

Methods inherited from class org.walkmod.javalang.ast.type.Type

getAnnotations, getMethodDefinitions, getSymbolData, getSymbolDefinition, getTypeDefinitions, getVariableDefinitions, setAnnotations, setSymbolData, setSymbolDefinition

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

WildcardType

public WildcardType()

WildcardType

public WildcardType(ReferenceType ext)

WildcardType

public WildcardType(ReferenceType ext,
                    ReferenceType sup)

WildcardType

public WildcardType(int beginLine,
                    int beginColumn,
                    int endLine,
                    int endColumn,
                    ReferenceType ext,
                    ReferenceType sup)

WildcardType

public WildcardType(int beginLine,
                    int beginColumn,
                    int endLine,
                    int endColumn,
                    ReferenceType ext,
                    ReferenceType sup,
                    List<AnnotationExpr> annotations)

Method Detail

removeChild

public boolean removeChild(Node child)

Specified by:

removeChild in class Node

getChildren

public List<Node> getChildren()

Overrides:

getChildren in class Type

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

getExtends

public ReferenceType getExtends()

getSuper

public ReferenceType getSuper()

setExtends

public void setExtends(ReferenceType ext)

setSuper

public void setSuper(ReferenceType sup)

replaceChildNode

public boolean replaceChildNode(Node oldChild,
                                Node newChild)

Overrides:

replaceChildNode in class Type

clone

public WildcardType clone()
                   throws CloneNotSupportedException

Specified by:

clone in class Type

Throws:

CloneNotSupportedException