|
@@ -1,7 +1,5 @@
|
|
package ui.controller;
|
|
package ui.controller;
|
|
|
|
|
|
-import java.io.BufferedReader;
|
|
|
|
-import java.io.File;
|
|
|
|
import java.io.FileReader;
|
|
import java.io.FileReader;
|
|
import java.io.FileWriter;
|
|
import java.io.FileWriter;
|
|
import java.io.IOException;
|
|
import java.io.IOException;
|
|
@@ -53,6 +51,7 @@ public class LoadStoreController {
|
|
writeObjects(json);
|
|
writeObjects(json);
|
|
writeElements(json);
|
|
writeElements(json);
|
|
writeEdges(json);
|
|
writeEdges(json);
|
|
|
|
+
|
|
|
|
|
|
FileWriter writer = new FileWriter(path);
|
|
FileWriter writer = new FileWriter(path);
|
|
writer.write(json.toJSONString());
|
|
writer.write(json.toJSONString());
|
|
@@ -163,6 +162,14 @@ public class LoadStoreController {
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
+
|
|
|
|
+ /**
|
|
|
|
+ * Writes all Graph Points into JSONObject
|
|
|
|
+ * @param json
|
|
|
|
+ */
|
|
|
|
+ public void writeGraph(JSONObject json) {
|
|
|
|
+
|
|
|
|
+ }
|
|
|
|
|
|
/**
|
|
/**
|
|
* write all Edges into a JSONObject
|
|
* write all Edges into a JSONObject
|