edu.uiowa.cs.clc.kind2.results

Class RealValue

java.lang.Object

edu.uiowa.cs.clc.kind2.results.Value

edu.uiowa.cs.clc.kind2.results.RealValue

public class RealValue
extends Value

The value of kind2 rational number.

Constructor Summary

Constructors

Constructor and Description
RealValue(StepValue kind2StepValue, Type kind2Type, com.google.gson.JsonElement jsonElement)

Method Summary

Modifier and Type	Method and Description
java.math.BigDecimal	getValue()
java.lang.String	toString()

Methods inherited from class edu.uiowa.cs.clc.kind2.results.Value

getJson, getKind2Result, getKind2StepValue, getKind2Type, getKind2Value

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

RealValue

public RealValue(StepValue kind2StepValue,
                 Type kind2Type,
                 com.google.gson.JsonElement jsonElement)

Method Detail

getValue

public java.math.BigDecimal getValue()

Returns:

the value of the rational number.

toString

public java.lang.String toString()

Specified by:

toString in class Value