Graph Editor: make sure the edge have valid source & destination

019c136e · Jérome Perrin · Ioannis Papagiannopoulos · 924e1bd8 · 019c136e
Commit 019c136e authored Dec 01, 2014 by Jérome Perrin Committed by Ioannis Papagiannopoulos Dec 18, 2014
Hide whitespace changes
Inline Side-by-side

Showing with 8 additions and 0 deletions

dream/platform/src/jsplumb/jsplumb.js dream/platform/src/jsplumb/jsplumb.js +8 -0

No files found.
--- a/dream/platform/src/jsplumb/jsplumb.js
+++ b/dream/platform/src/jsplumb/jsplumb.js
@@ -416,6 +416,14 @@
      }]];
    }

+    if (gadget.props.data.graph.node[edge_data.source] === undefined) {
+      throw new Error("Edge Source " + edge_data.source + " does not exist");
+    }
+    if (gadget.props.data.graph.node[edge_data.source] === undefined) {
+      throw new Error("Edge Destination " + edge_data.source
+        + " does not exist");
+    }
+
    // If an edge has this data:
    // { _class: 'Edge', 
    //   source: 'N1',