edu.uiowa.cs.clc.kind2.results

Class SubRangeValue

java.lang.Object

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

edu.uiowa.cs.clc.kind2.results.IntValue

edu.uiowa.cs.clc.kind2.results.SubRangeValue

public class SubRangeValue
extends IntValue

value for a kind2 subrange.

Constructor Summary

Constructors

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

Method Summary

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

getValue, 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

SubRangeValue

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