edu.uiowa.cs.clc.kind2.results

Class ModelElementSet

java.lang.Object

edu.uiowa.cs.clc.kind2.results.ModelElementSet

public class ModelElementSet
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ModelElementSet(PostAnalysis analysis, com.google.gson.JsonElement jsonElement)

Method Summary

Modifier and Type	Method and Description
java.lang.String	getClassField()
java.lang.String	getJson()
com.google.gson.JsonElement	getJsonElement()
java.util.List<Node>	getNodes()
PostAnalysis	getPostAnalysis()
java.lang.String	getRuntimeUnit()
double	getRuntimeValue()
int	getSize()

Methods inherited from class java.lang.Object

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

Constructor Detail

ModelElementSet

public ModelElementSet(PostAnalysis analysis,
                       com.google.gson.JsonElement jsonElement)

Method Detail

getJson

public java.lang.String getJson()

Returns:

Kind2 json output for this object

getJsonElement

public com.google.gson.JsonElement getJsonElement()

getClassField

public java.lang.String getClassField()

Returns:

the class of the core

getSize

public int getSize()

Returns:

the size of the core

getRuntimeUnit

public java.lang.String getRuntimeUnit()

Returns:

the time unit of runtime value

getRuntimeValue

public double getRuntimeValue()

Returns:

the runtime value

getNodes

public java.util.List<Node> getNodes()

Returns:

the list of nodes with at least one model element in the core

getPostAnalysis

public PostAnalysis getPostAnalysis()

Returns:

the associated post analysis.