edu.uiowa.cs.clc.kind2.results

Class SubNode

java.lang.Object

edu.uiowa.cs.clc.kind2.results.SubNode

public class SubNode
extends java.lang.Object

This class stores the input, output, and local streams for the current component.

Constructor Summary

Constructors

Constructor and Description
SubNode(CounterExample counterExample, com.google.gson.JsonElement jsonElement)

Method Summary

Modifier and Type	Method and Description
java.lang.String	getBlockType()
java.lang.String	getJson()
Result	getKind2Result()
java.lang.String	getName()
java.util.List<Stream>	getStreams()
java.util.List<SubNode>	getSubNodes()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

SubNode

public SubNode(CounterExample counterExample,
               com.google.gson.JsonElement jsonElement)

Method Detail

getName

public java.lang.String getName()

Returns:

the name of the current component.

getKind2Result

public Result getKind2Result()

Returns:

the associated kind2 result.

getStreams

public java.util.List<Stream> getStreams()

Returns:

the streams for this component.

getSubNodes

public java.util.List<SubNode> getSubNodes()

Returns:

the streams of the subcomponents

getBlockType

public java.lang.String getBlockType()

Returns:

the type of the current component

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getJson

public java.lang.String getJson()

Returns:

Kind2 json output for this object.