de.uka.ilkd.key.java.expression.literal

Class AbstractIntegerLiteral

java.lang.Object

de.uka.ilkd.key.java.JavaSourceElement

de.uka.ilkd.key.java.JavaProgramElement

de.uka.ilkd.key.java.expression.Literal

de.uka.ilkd.key.java.expression.literal.AbstractIntegerLiteral

All Implemented Interfaces:

Expression, ModelElement, ProgramElement, SourceElement, TerminalProgramElement, SVSubstitute

Direct Known Subclasses:

CharLiteral, IntLiteral, LongLiteral

public abstract class AbstractIntegerLiteral
extends Literal

This class is a superclass for integer literals (Int, Long, Char). It provides a getValue() method to receive the actual value of the literal as well as getValueString() to get a String representation. Subclasses of this class perform range checks at creation time. This means once a literal is created it is certainly valid.

Author:

Wolfram Pfeifer

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AbstractIntegerLiteral() Empty default constructor.
protected	AbstractIntegerLiteral(ExtList children) Constructor for Recoder2KeY transformation.

Method Summary

Modifier and Type	Method and Description
protected int	computeHashCode()
boolean	equals(java.lang.Object o)
boolean	equalsModRenaming(SourceElement o, NameAbstractionTable nat) commented in interface SourceElement.
Name	getLDTName()
abstract long	getValue()
abstract java.lang.String	getValueString()
static boolean	representsDecLiteral(java.lang.String literalStr) Checks if the prefix of the given String indicates a decimal literal.
java.lang.String	toString() toString

Methods inherited from class de.uka.ilkd.key.java.expression.Literal

getKeYJavaType, getKeYJavaType, match

Methods inherited from class de.uka.ilkd.key.java.JavaProgramElement

getComments, hashCode, prettyPrint, prettyPrintMain, reuseSignature

Methods inherited from class de.uka.ilkd.key.java.JavaSourceElement

getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getParentClass, getPositionInfo, getRelativePosition, getStartPosition, setParentClass, toSource, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface de.uka.ilkd.key.java.ProgramElement

getComments

Methods inherited from interface de.uka.ilkd.key.java.SourceElement

getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getPositionInfo, getRelativePosition, getStartPosition, prettyPrint, visit

Constructor Detail

AbstractIntegerLiteral

protected AbstractIntegerLiteral()

Empty default constructor.

AbstractIntegerLiteral

protected AbstractIntegerLiteral(ExtList children)

Constructor for Recoder2KeY transformation.

Parameters:

children - the children of this AST element as KeY classes, may contain: Comments

Method Detail

getValue

public abstract long getValue()

Returns:

the actual value of the literal as a long

getValueString

public abstract java.lang.String getValueString()

Returns:

the actual value of the literal converted to a decimal String. If the literal represents a negative value, the first character is a '-' sign.

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class JavaProgramElement

equalsModRenaming

public boolean equalsModRenaming(SourceElement o,
                                 NameAbstractionTable nat)

Description copied from class: JavaProgramElement

commented in interface SourceElement. The default equals method compares two elements by testing if they have the same type and calling the default equals method.

Specified by:

equalsModRenaming in interface SourceElement

Overrides:

equalsModRenaming in class JavaProgramElement

toString

public java.lang.String toString()

Description copied from class: JavaSourceElement

toString

Overrides:

toString in class JavaSourceElement

computeHashCode

protected int computeHashCode()

Overrides:

computeHashCode in class JavaProgramElement

getLDTName

public Name getLDTName()

Specified by:

getLDTName in class Literal

representsDecLiteral

public static boolean representsDecLiteral(java.lang.String literalStr)

Checks if the prefix of the given String indicates a decimal literal. This method does not check if the literal is actually valid, it just checks the prefix indicating the base of the literal. The base prefix is found even if the String contains a preceding sign ('+' or '-').

Parameters:

literalStr - the given String to check

Returns:

true iff the String represents a decimal literal, which means it does neither have a hexadecimal ("0x"), binary ("0b"), nor octal ("0") prefix. Note that the literal "0" is decimal too.