edu.uiowa.cs.clc.kind2.results

Class PostAnalysis

java.lang.Object

edu.uiowa.cs.clc.kind2.results.PostAnalysis

public class PostAnalysis
extends java.lang.Object

PostAnalysis in Kind 2 TODO: Convert this class to an abstract class, and add customized classes for each post-analysis

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
void	addModelElementSet(ModelElementSet modelElementSet)
Analysis	getAnalysis()
java.lang.String	getJson()
java.util.List<ModelElementSet>	getModelElements()
java.lang.String	getName()

Methods inherited from class java.lang.Object

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

Constructor Detail

PostAnalysis

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

Method Detail

addModelElementSet

public void addModelElementSet(ModelElementSet modelElementSet)

getJson

public java.lang.String getJson()

Returns:

Kind2 json output for this object.

getName

public java.lang.String getName()

Returns:

the name of the Kind 2 post-analysis

getAnalysis

public Analysis getAnalysis()

Returns:

the associated kind2 analysis.

getModelElements

public java.util.List<ModelElementSet> getModelElements()

Returns:

the model elements computed in the post-analysis