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

Class RealLiteral

java.lang.Object

recoder.java.JavaSourceElement

recoder.java.JavaProgramElement

recoder.java.expression.Literal

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

All Implemented Interfaces:

KeYRecoderExtension, java.io.Serializable, java.lang.Cloneable, Expression, ProgramElement, SourceElement, TerminalProgramElement, ModelElement

public final class RealLiteral
extends Literal
implements KeYRecoderExtension

Literal for JML \real type;

Author:

bruns

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface recoder.java.ProgramElement

ProgramElement.TreeStructure

Nested classes/interfaces inherited from interface recoder.java.SourceElement

SourceElement.Position

Field Summary

Fields

Modifier and Type	Field and Description
private static long	serialVersionUID
private java.lang.String	value

Fields inherited from class recoder.java.expression.Literal

expressionParent

Fields inherited from class recoder.java.JavaProgramElement

comments

Fields inherited from class recoder.java.JavaSourceElement

factory

Fields inherited from interface recoder.java.ProgramElement

STRUCTURAL_EQUALITY, STRUCTURAL_HASH_CODE

Constructor Summary

Constructors

Constructor and Description
RealLiteral()
RealLiteral(java.math.BigDecimal value)
RealLiteral(ExtList el)
RealLiteral(int value)
RealLiteral(java.lang.String value)

Method Summary

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()

Methods inherited from class recoder.java.expression.Literal

getASTParent, getExpressionContainer, setExpressionContainer

Methods inherited from class recoder.java.JavaProgramElement

getComments, setComments, validate

Methods inherited from class recoder.java.JavaSourceElement

getEndPosition, getFactory, getFirstElement, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource

Methods inherited from class java.lang.Object

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

Methods inherited from interface recoder.java.ProgramElement

getComments, setComments

Methods inherited from interface recoder.java.SourceElement

getEndPosition, getFactory, getFirstElement, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource

Methods inherited from interface recoder.ModelElement

validate

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

value

private java.lang.String value

Constructor Detail

RealLiteral

public RealLiteral(int value)

RealLiteral

public RealLiteral(java.lang.String value)

RealLiteral

public RealLiteral(java.math.BigDecimal value)

RealLiteral

public RealLiteral()

RealLiteral

public RealLiteral(ExtList el)

Method Detail

getEquivalentJavaType

public java.lang.Object getEquivalentJavaType()

Specified by:

getEquivalentJavaType in class Literal

deepClone

public Expression deepClone()

Specified by:

deepClone in interface Expression

Specified by:

deepClone in interface SourceElement

accept

public void accept(SourceVisitor arg0)

Specified by:

accept in interface SourceElement

getValue

public java.lang.String getValue()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object