edu.uiowa.cs.clc.kind2.results

Class ArrayValue

java.lang.Object

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

edu.uiowa.cs.clc.kind2.results.ArrayValue

public class ArrayValue
extends Value

This class stores the value of kind2 array type.

Constructor Summary

Constructors

Constructor and Description
ArrayValue(StepValue kind2StepValue, Type kind2Type, com.google.gson.JsonElement jsonElement, java.util.List<Value> values)

Method Summary

Modifier and Type	Method and Description
java.util.List<Value>	getValues()
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

ArrayValue

public ArrayValue(StepValue kind2StepValue,
                  Type kind2Type,
                  com.google.gson.JsonElement jsonElement,
                  java.util.List<Value> values)

Method Detail

getValues

public java.util.List<Value> getValues()

toString

public java.lang.String toString()

Specified by:

toString in class Value