edu.uiowa.cs.clc.kind2.results

Class Node

java.lang.Object

edu.uiowa.cs.clc.kind2.results.Node

public class Node
extends java.lang.Object

This class groups model elements belonging to the same node in a model element set

Constructor Summary

Constructors

Constructor and Description
Node(ModelElementSet modelElementSet, com.google.gson.JsonElement jsonElement)

Method Summary

Modifier and Type	Method and Description
java.util.List<Element>	getElements()
java.lang.String	getJson() Kind2 json output for this object.
ModelElementSet	getModelElementSet()
java.lang.String	getName()

Methods inherited from class java.lang.Object

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

Constructor Detail

Node

public Node(ModelElementSet modelElementSet,
            com.google.gson.JsonElement jsonElement)

Method Detail

getJson

public java.lang.String getJson()

Kind2 json output for this object.

getName

public java.lang.String getName()

Returns:

the name of the name

getModelElementSet

public ModelElementSet getModelElementSet()

Returns:

the model element set to which this class belongs to

getElements

public java.util.List<Element> getElements()

Returns:

list of model elements which belongs to this node