edu.uiowa.cs.clc.kind2.results

Class EnumValue

java.lang.Object

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

edu.uiowa.cs.clc.kind2.results.EnumValue

public class EnumValue
extends Value

The value of kind2 enum.

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
java.lang.String	getName()
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

EnumValue

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

Method Detail

getName

public java.lang.String getName()

toString

public java.lang.String toString()

Specified by:

toString in class Value