public abstract class AbstractIntegerLiteral extends Literal
Modifier | Constructor and Description |
---|---|
protected |
AbstractIntegerLiteral()
Empty default constructor.
|
protected |
AbstractIntegerLiteral(ExtList children)
Constructor for Recoder2KeY transformation.
|
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
|
getKeYJavaType, getKeYJavaType, match
getComments, hashCode, prettyPrint, prettyPrintMain, reuseSignature
getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getParentClass, getPositionInfo, getRelativePosition, getStartPosition, setParentClass, toSource, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getComments
getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getPositionInfo, getRelativePosition, getStartPosition, prettyPrint, visit
protected AbstractIntegerLiteral()
protected AbstractIntegerLiteral(ExtList children)
children
- the children of this AST element as KeY classes, may contain: Commentspublic abstract long getValue()
public abstract java.lang.String getValueString()
public boolean equals(java.lang.Object o)
equals
in class JavaProgramElement
public boolean equalsModRenaming(SourceElement o, NameAbstractionTable nat)
JavaProgramElement
equalsModRenaming
in interface SourceElement
equalsModRenaming
in class JavaProgramElement
public java.lang.String toString()
JavaSourceElement
toString
in class JavaSourceElement
protected int computeHashCode()
computeHashCode
in class JavaProgramElement
public Name getLDTName()
getLDTName
in class Literal
public static boolean representsDecLiteral(java.lang.String literalStr)
literalStr
- the given String to check