public final class RealLiteral extends Literal implements KeYRecoderExtension
ProgramElement.TreeStructure
SourceElement.Position
Modifier and Type | Field and Description |
---|---|
private static long |
serialVersionUID |
private java.lang.String |
value |
expressionParent
comments
factory
STRUCTURAL_EQUALITY, STRUCTURAL_HASH_CODE
Constructor and Description |
---|
RealLiteral() |
RealLiteral(java.math.BigDecimal value) |
RealLiteral(ExtList el) |
RealLiteral(int value) |
RealLiteral(java.lang.String value) |
Modifier and Type | Method and Description |
---|---|
void |
accept(SourceVisitor arg0) |
Expression |
deepClone() |
boolean |
equals(java.lang.Object o) |
java.lang.Object |
getEquivalentJavaType() |
java.lang.String |
getValue() |
int |
hashCode() |
java.lang.String |
toString() |
getASTParent, getExpressionContainer, setExpressionContainer
getComments, setComments, validate
getEndPosition, getFactory, getFirstElement, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getComments, setComments
getEndPosition, getFactory, getFirstElement, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource
validate
private static final long serialVersionUID
private java.lang.String value
public RealLiteral(int value)
public RealLiteral(java.lang.String value)
public RealLiteral(java.math.BigDecimal value)
public RealLiteral()
public RealLiteral(ExtList el)
public java.lang.Object getEquivalentJavaType()
getEquivalentJavaType
in class Literal
public Expression deepClone()
deepClone
in interface Expression
deepClone
in interface SourceElement
public void accept(SourceVisitor arg0)
accept
in interface SourceElement
public java.lang.String getValue()
public java.lang.String toString()
toString
in class java.lang.Object
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object