de.rwth.i2.attestor.io.jsonImport

Class JsonToIndexedHC

java.lang.Object

de.rwth.i2.attestor.main.scene.SceneObject

de.rwth.i2.attestor.io.jsonImport.JsonToIndexedHC

public class JsonToIndexedHC
extends SceneObject

for the index symbols we assume the following: IndexVariable: "()" AbstractIndexSymbol: "_LABEL" (starts with underscore) BottomSymbol: "Z" (starts with upper case letter) normal Symbol: "s" (starts with lower case)

Author:

Hannah

Constructor Summary

Constructors

Constructor and Description
JsonToIndexedHC(SceneObject sceneObject)

Method Summary

Modifier and Type	Method and Description
HeapConfiguration	jsonToHC(org.json.JSONObject obj, Consumer<String> addSelectorLabelFunction)

Methods inherited from class de.rwth.i2.attestor.main.scene.SceneObject

scene

Methods inherited from class java.lang.Object

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

Constructor Detail

JsonToIndexedHC

public JsonToIndexedHC(SceneObject sceneObject)

Method Detail

jsonToHC

public HeapConfiguration jsonToHC(org.json.JSONObject obj,
                                  Consumer<String> addSelectorLabelFunction)