org.walkmod.javalang.ast.expr

Class IntegerLiteralExpr

java.lang.Object

org.walkmod.javalang.ast.Node

org.walkmod.javalang.ast.expr.Expression

org.walkmod.javalang.ast.expr.LiteralExpr

org.walkmod.javalang.ast.expr.StringLiteralExpr

org.walkmod.javalang.ast.expr.IntegerLiteralExpr

All Implemented Interfaces:

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

Direct Known Subclasses:

IntegerLiteralMinValueExpr

public class IntegerLiteralExpr
extends StringLiteralExpr

Author:

Julio Vilmar Gesser

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected static String	MIN_VALUE

Fields inherited from class org.walkmod.javalang.ast.expr.StringLiteralExpr

value

Constructor Summary

Constructors

Constructor and Description
IntegerLiteralExpr()
IntegerLiteralExpr(int beginLine, int beginColumn, int endLine, int endColumn, String value)
IntegerLiteralExpr(String value)

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.
IntegerLiteralExpr	clone()
boolean	isMinValue()

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

getValue, replaceChildNode, setValue

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

removeChild

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

getChildren, getSymbolData, setSymbolData

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

Field Detail

MIN_VALUE

protected static final String MIN_VALUE

See Also:

Constant Field Values

Constructor Detail

IntegerLiteralExpr

public IntegerLiteralExpr()

IntegerLiteralExpr

public IntegerLiteralExpr(String value)

IntegerLiteralExpr

public IntegerLiteralExpr(int beginLine,
                          int beginColumn,
                          int endLine,
                          int endColumn,
                          String value)

Method Detail

accept

public <R,A> R accept(GenericVisitor<R,A> v,
                      A arg)

Description copied from class: Node

Accept method for visitor support.

Overrides:

accept in class StringLiteralExpr

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.

Overrides:

accept in class StringLiteralExpr

Type Parameters:

A - the type the argument passed for the visitor

Parameters:

v - the visitor implementation

arg - any value relevant for the visitor

isMinValue

public final boolean isMinValue()

clone

public IntegerLiteralExpr clone()
                         throws CloneNotSupportedException

Overrides:

clone in class StringLiteralExpr

Throws:

CloneNotSupportedException