de.rwth.i2.attestor.io.jsonImport

Class JsonToHeapConfiguration

java.lang.Object

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

de.rwth.i2.attestor.io.jsonImport.JsonToHeapConfiguration

public class JsonToHeapConfiguration
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
JsonToHeapConfiguration(SceneObject sceneObject, HeapConfigurationRenaming renaming)

Method Summary

Modifier and Type	Method and Description
HeapConfiguration	parse(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

JsonToHeapConfiguration

public JsonToHeapConfiguration(SceneObject sceneObject,
                               HeapConfigurationRenaming renaming)

Method Detail

parse

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