Revize 9ce2a2ce

Load diagram bug fix

sources/src/main/java/cz/zcu/kiv/offscreen/api/Graph.java

@@ -21 +21 @@
 
     private List<Group> groups;
     private List<SideBar> sideBar;
-    private int highlightedVertex;
-    private int highlightedEdge;
+    private String highlightedVertex; // group-ID, vertex-ID
+    private String highlightedEdge;
 
     private Logger logger = Logger.getLogger(Graph.class);
 
@@ -77 +77 @@
         return sideBar;
     }
 
-    public int getHighlightedVertex() {
+    public String getHighlightedVertex() {
         return highlightedVertex;
     }
 
-    public int getHighlightedEdge() {
+    public String getHighlightedEdge() {
         return highlightedEdge;
     }
 }

sources/src/main/java/cz/zcu/kiv/offscreen/graph/GraphState.java

@@ -11 +11 @@
 
     private List<Group> groups = new ArrayList<>();
     private List<SideBar> sideBar = new ArrayList<>();
-    private int highlightedVertex;
-    private int highlightedEdge;
+    private String highlightedVertex;
+    private String highlightedEdge;
 
 
     public List<Group> getGroups() {
@@ -23 +23 @@
         return sideBar;
     }
 
-    public int getHighlightedVertex() {
+    public String getHighlightedVertex() {
         return highlightedVertex;
     }
 
-    public int getHighlightedEdge() {
+    public String getHighlightedEdge() {
         return highlightedEdge;
     }
 
@@ -47 +47 @@
         this.sideBar.addAll(collection);
     }
 
-    public void setHighlightedVertex(int highlightedVertex) {
+    public void setHighlightedVertex(String highlightedVertex) {
         this.highlightedVertex = highlightedVertex;
     }
 
-    public void setHighlightedEdge(int highlightedEdge) {
+    public void setHighlightedEdge(String highlightedEdge) {
         this.highlightedEdge = highlightedEdge;
     }
 }

sources/src/main/webapp/js/graphLoader.js

@@ -24 +24 @@
 
         var highlightedNodeId;
         var highlightedNodeType;
-        if (app.utils.isDefined(data.highlightedVertex)) {
+        if (app.utils.isDefined(data.highlightedVertex) && data.highlightedVertex.length > 0) {
             var highlightedNodeAttr = data.highlightedVertex.split("-");
             if (highlightedNodeAttr.length === 2) {
                 highlightedNodeType = highlightedNodeAttr[0];
                 highlightedNodeId = parseInt(highlightedNodeAttr[1], 10);
             }
         }
-		var highlightedEdgeId = parseInt(data.highlightedEdge, 10);
+        if (app.utils.isDefined(data.highlightedEdge) && data.highlightedEdge.length > 0) {
+            var highlightedEdgeId = parseInt(data.highlightedEdge, 10);
+        }
 
         var highlightedNode = undefined;
         var highlightedEdge = undefined;