|
|
@@ -2,12 +2,12 @@ import {JsonDeserializer} from "./JsonDeserializer.js";
|
|
|
import Graph from "../../../graph/Graph.js";
|
|
|
import Node from "../../../graph/node/Node.js";
|
|
|
import Edge from "../../../graph/edge/Edge.js";
|
|
|
-import {DZWFData} from "../../dzwf/DZWFData.js";
|
|
|
import DeserializerError from "../../../errors/DeserializerError.js";
|
|
|
+import {DzwfData} from "../../dzwf/DzwfData.js";
|
|
|
|
|
|
-export default class DzwfJsonDeserializer implements JsonDeserializer<{ dzwfData: DZWFData, graph: Graph<Node, Edge<Node>> }> {
|
|
|
- deserialize(input: string): { dzwfData: DZWFData, graph: Graph<Node, Edge<Node>> } {
|
|
|
- const json = JSON.parse(input) as DZWFData;
|
|
|
+export default class DzwfJsonDeserializer implements JsonDeserializer<{ dzwfData: DzwfData, graph: Graph<Node, Edge<Node>> }> {
|
|
|
+ deserialize(input: string): { dzwfData: DzwfData, graph: Graph<Node, Edge<Node>> } {
|
|
|
+ const json = JSON.parse(input) as DzwfData;
|
|
|
|
|
|
const nodes = json.elements.map(({ type, diagram, id }) => {
|
|
|
return new Node(diagram.position.x, diagram.position.y, 100, 100, type, id);
|