org.walkmod.javalang.ast.expr

Class LiteralExpr

java.lang.Object

org.walkmod.javalang.ast.Node

org.walkmod.javalang.ast.expr.Expression

org.walkmod.javalang.ast.expr.LiteralExpr

All Implemented Interfaces:

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

Direct Known Subclasses:

BooleanLiteralExpr, NullLiteralExpr, StringLiteralExpr

public abstract class LiteralExpr
extends Expression

Author:

Julio Vilmar Gesser

See Also:

Serialized Form

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
abstract LiteralExpr	clone()
boolean	removeChild(Node child)

Methods inherited from class org.walkmod.javalang.ast.expr.Expression

getChildren, getSymbolData, setSymbolData

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

LiteralExpr

public LiteralExpr()

LiteralExpr

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

Method Detail

clone

public abstract LiteralExpr clone()
                           throws CloneNotSupportedException

Specified by:

clone in class Expression

Throws:

CloneNotSupportedException

removeChild

public boolean removeChild(Node child)

Specified by:

removeChild in class Node