public class RealLiteral extends Literal
Modifier and Type | Field and Description |
---|---|
protected java.lang.String |
value
Textual representation of the value.
|
Constructor and Description |
---|
RealLiteral()
Double literal.
|
RealLiteral(java.math.BigDecimal value) |
RealLiteral(double value) |
RealLiteral(ExtList children) |
RealLiteral(ExtList children,
java.lang.String value) |
RealLiteral(int value) |
RealLiteral(java.lang.String value)
Double literal.
|
Modifier and Type | Method and Description |
---|---|
int |
computeHashCode() |
boolean |
equalsModRenaming(SourceElement o,
NameAbstractionTable nat)
tests if equals
|
KeYJavaType |
getKeYJavaType(Services javaServ)
retrieves the literal's type
|
Name |
getLDTName() |
java.lang.String |
getValue()
Get value.
|
void |
prettyPrint(PrettyPrinter p)
Pretty printing the source element.
|
void |
visit(Visitor v)
calls the corresponding method of a visitor in order to
perform some action/transformation on this element
|
getKeYJavaType, match
equals, getComments, hashCode, prettyPrintMain, reuseSignature
getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getParentClass, getPositionInfo, getRelativePosition, getStartPosition, setParentClass, toSource, toString, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getComments
getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getPositionInfo, getRelativePosition, getStartPosition
public RealLiteral()
public RealLiteral(int value)
public RealLiteral(double value)
public RealLiteral(java.math.BigDecimal value)
public RealLiteral(ExtList children, java.lang.String value)
public RealLiteral(ExtList children)
public RealLiteral(java.lang.String value)
value
- a string.public boolean equalsModRenaming(SourceElement o, NameAbstractionTable nat)
equalsModRenaming
in interface SourceElement
equalsModRenaming
in class JavaProgramElement
public int computeHashCode()
computeHashCode
in class JavaProgramElement
public java.lang.String getValue()
public void visit(Visitor v)
v
- the Visitorpublic void prettyPrint(PrettyPrinter p) throws java.io.IOException
JavaSourceElement
prettyPrint
in interface SourceElement
prettyPrint
in class JavaProgramElement
p
- a pretty printer.java.io.IOException
- occasionally thrown.public KeYJavaType getKeYJavaType(Services javaServ)
Literal
getKeYJavaType
in class Literal
javaServ
- the Services offering access to the Java modelpublic Name getLDTName()
getLDTName
in class Literal