public final class RealLiteral extends Literal implements KeYRecoderExtension
ProgramElement.TreeStructure
SourceElement.Position
Modifier and Type | Field and Description |
---|---|
private static long |
serialVersionUID |
private String |
value |
expressionParent
comments
factory
STRUCTURAL_EQUALITY, STRUCTURAL_HASH_CODE
Constructor and Description |
---|
RealLiteral() |
RealLiteral(BigDecimal value) |
RealLiteral(ExtList el) |
RealLiteral(int value) |
RealLiteral(String value) |
Modifier and Type | Method and Description |
---|---|
void |
accept(SourceVisitor arg0) |
Expression |
deepClone() |
boolean |
equals(Object o) |
Object |
getEquivalentJavaType() |
String |
getValue() |
int |
hashCode() |
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 String value
public RealLiteral(int value)
public RealLiteral(String value)
public RealLiteral(BigDecimal value)
public RealLiteral()
public RealLiteral(ExtList el)
public 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 String getValue()