org.walkmod.javalang.ast.expr

Class Expression

java.lang.Object

org.walkmod.javalang.ast.Node

org.walkmod.javalang.ast.expr.Expression

All Implemented Interfaces:

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

Direct Known Subclasses:

AnnotationExpr, ArrayAccessExpr, ArrayCreationExpr, ArrayInitializerExpr, AssignExpr, BinaryExpr, CastExpr, ClassExpr, ConditionalExpr, EnclosedExpr, FieldAccessExpr, InstanceOfExpr, LambdaExpr, LiteralExpr, MethodCallExpr, MethodReferenceExpr, NameExpr, ObjectCreationExpr, SuperExpr, ThisExpr, TypeExpr, UnaryExpr, VariableDeclarationExpr

public abstract class Expression
extends Node
implements SymbolDataAware<SymbolData>

Author:

Julio Vilmar Gesser

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
Expression()
Expression(int beginLine, int beginColumn, int endLine, int endColumn)

Method Summary

Modifier and Type	Method and Description
abstract Expression	clone()
List<Node>	getChildren()
SymbolData	getSymbolData() Returns the symbol data related to a given node.
void	setSymbolData(SymbolData symbolData) Sets the symbol data from a semantic analyzer.

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, replaceChildNode, 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

Expression

public Expression()

Expression

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

Method Detail

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.

clone

public abstract Expression clone()
                          throws CloneNotSupportedException

Specified by:

clone in class Node

Throws:

CloneNotSupportedException

getChildren

public List<Node> getChildren()

Specified by:

getChildren in class Node