edu.uiowa.cs.clc.kind2.results

Class BoolValue

java.lang.Object

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

edu.uiowa.cs.clc.kind2.results.BoolValue

public class BoolValue
extends Value

This class stores the boolean value of kind2 bool type.

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
boolean	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

BoolValue

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

Method Detail

getValue

public boolean getValue()

toString

public java.lang.String toString()

Specified by:

toString in class Value