org.walkmod.javalang.ast.type

Class Type

java.lang.Object

org.walkmod.javalang.ast.Node

org.walkmod.javalang.ast.type.Type

All Implemented Interfaces:

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

Direct Known Subclasses:

ClassOrInterfaceType, IntersectionType, PrimitiveType, ReferenceType, VoidType, WildcardType

public abstract class Type
extends Node
implements SymbolDataAware<SymbolData>, SymbolReference

Author:

Julio Vilmar Gesser

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
Type()
Type(int beginLine, int beginColumn, int endLine, int endColumn)
Type(int beginLine, int beginColumn, int endLine, int endColumn, List<AnnotationExpr> annotations)
Type(List<AnnotationExpr> annotation)

Method Summary

Modifier and Type	Method and Description
abstract Type	clone()
List<AnnotationExpr>	getAnnotations()
List<Node>	getChildren()
Map<String,List<SymbolDefinition>>	getMethodDefinitions() Gets the available methods
SymbolData	getSymbolData() Returns the symbol data related to a given node.
SymbolDefinition	getSymbolDefinition()
Map<String,SymbolDefinition>	getTypeDefinitions() Gets the available variables
Map<String,SymbolDefinition>	getVariableDefinitions() Gets the available variables
boolean	replaceChildNode(Node oldChild, Node newChild)
void	setAnnotations(List<AnnotationExpr> annotations)
void	setSymbolData(SymbolData symbolData) Sets the symbol data from a semantic analyzer.
void	setSymbolDefinition(SymbolDefinition symbolDefinition)

Methods inherited from class org.walkmod.javalang.ast.Node

accept, accept, check, clone, clone, contains, diableConstraints, enableConstraints, equals, getBeginColumn, getBeginLine, getCommonAncestor, getConstraints, getData, getEndColumn, getEndLine, getParentNode, getPrettySource, getPrettySource, hashCode, isAncestorOf, isInEqualLocation, isNewNode, isPreviousThan, remove, removeChild, 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

Type

public Type()

Type

public Type(List<AnnotationExpr> annotation)

Type

public Type(int beginLine,
            int beginColumn,
            int endLine,
            int endColumn)

Type

public Type(int beginLine,
            int beginColumn,
            int endLine,
            int endColumn,
            List<AnnotationExpr> annotations)

Method Detail

getChildren

public List<Node> getChildren()

Specified by:

getChildren in class Node

getAnnotations

public List<AnnotationExpr> getAnnotations()

setAnnotations

public void setAnnotations(List<AnnotationExpr> annotations)

getSymbolData

public SymbolData getSymbolData()

Description copied from interface: SymbolDataAware

Returns the symbol data related to a given node. It is null if the node value is the null literal or does not represent any valid information. In case of statements nodes, it corresponds to the returned value, if exists.

Specified by:

getSymbolData in interface SymbolDataAware<SymbolData>

Returns:

the symbol data

setSymbolData

public void setSymbolData(SymbolData symbolData)

Description copied from interface: SymbolDataAware

Sets the symbol data from a semantic analyzer.

Specified by:

setSymbolData in interface SymbolDataAware<SymbolData>

Parameters:

symbolData - the symbol data.

getSymbolDefinition

public SymbolDefinition getSymbolDefinition()

Specified by:

getSymbolDefinition in interface SymbolReference

setSymbolDefinition

public void setSymbolDefinition(SymbolDefinition symbolDefinition)

Specified by:

setSymbolDefinition in interface SymbolReference

replaceChildNode

public boolean replaceChildNode(Node oldChild,
                                Node newChild)

Specified by:

replaceChildNode in class Node

clone

public abstract Type clone()
                    throws CloneNotSupportedException

Specified by:

clone in class Node

Throws:

CloneNotSupportedException

getVariableDefinitions

public Map<String,SymbolDefinition> getVariableDefinitions()

Description copied from interface: ScopeAware

Gets the available variables

Specified by:

getVariableDefinitions in interface ScopeAware

Returns:

the available variables

getMethodDefinitions

public Map<String,List<SymbolDefinition>> getMethodDefinitions()

Description copied from interface: ScopeAware

Gets the available methods

Specified by:

getMethodDefinitions in interface ScopeAware

Returns:

the available variables

getTypeDefinitions

public Map<String,SymbolDefinition> getTypeDefinitions()

Description copied from interface: ScopeAware

Gets the available variables

Specified by:

getTypeDefinitions in interface ScopeAware

Returns:

the available variables