org.walkmod.javalang.ast.type

Class PrimitiveType

java.lang.Object

org.walkmod.javalang.ast.Node

org.walkmod.javalang.ast.type.Type

org.walkmod.javalang.ast.type.PrimitiveType

All Implemented Interfaces:

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

public final class PrimitiveType
extends Type

Author:

Julio Vilmar Gesser

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	PrimitiveType.Primitive

Constructor Summary

Constructors

Constructor and Description
PrimitiveType()
PrimitiveType(int beginLine, int beginColumn, int endLine, int endColumn, PrimitiveType.Primitive type)
PrimitiveType(int beginLine, int beginColumn, int endLine, int endColumn, PrimitiveType.Primitive type, List<AnnotationExpr> annotations)
PrimitiveType(PrimitiveType.Primitive type)

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.
PrimitiveType	clone()
PrimitiveType.Primitive	getType()
boolean	removeChild(Node child)
boolean	replaceChildNode(Node oldChild, Node newChild)
void	setType(PrimitiveType.Primitive type)

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

getAnnotations, getChildren, 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

PrimitiveType

public PrimitiveType()

PrimitiveType

public PrimitiveType(PrimitiveType.Primitive type)

PrimitiveType

public PrimitiveType(int beginLine,
                     int beginColumn,
                     int endLine,
                     int endColumn,
                     PrimitiveType.Primitive type)

PrimitiveType

public PrimitiveType(int beginLine,
                     int beginColumn,
                     int endLine,
                     int endColumn,
                     PrimitiveType.Primitive type,
                     List<AnnotationExpr> annotations)

Method Detail

removeChild

public boolean removeChild(Node child)

Specified by:

removeChild 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

getType

public PrimitiveType.Primitive getType()

setType

public void setType(PrimitiveType.Primitive type)

replaceChildNode

public boolean replaceChildNode(Node oldChild,
                                Node newChild)

Overrides:

replaceChildNode in class Type

clone

public PrimitiveType clone()
                    throws CloneNotSupportedException

Specified by:

clone in class Type

Throws:

CloneNotSupportedException