keine doppelten knotennamen in einem graphen

src/View/NodeView.java

@@ -3,11 +3,8 @@ package View;
 import java.awt.Color;
 import java.awt.Component;
 import java.awt.Graphics;
-import java.awt.Insets;
 
 import javax.swing.*;
-import javax.swing.border.EmptyBorder;
-import javax.swing.border.EtchedBorder;
 
 import Model.LayeredGraphNode;
 

src/inputReader/Reader.java

@@ -65,7 +65,11 @@ public class Reader {
 			}
 		}
 		if( node.has( "name" ) )
+		{
+		    if( parent != null && parent.findNodeByName( node.getString( "name" ) ) != null )
+		        throw new JSONException( "Node " + node.getString( "name" ) + " is already known" );
 			newNode.setName( node.getString( "name" ) );
+		}
         if( node.has( "width" ) )
             newNode.setWidth( node.getInt( "width" ) );
         if( node.has( "height" ) )

test.graph

@@ -1 +1 @@
-{"layers": [[{"name": "n1","width":10,"height":10,"x":0,"y":0},{"name":"n2","width":10,"height":10,"x":20,"y":0}],[{"name":"n3","width":10,"height":10,"x":0,"y":20},{"layers": [[{"name": "n1","width":10,"height":10,"x":0,"y":0},{"name":"n2","width":10,"height":10,"x":20,"y":0}],[{"name":"n3","width":10,"height":10,"x":0,"y":20}]],"edges":[{"source":"n1","target":"n3",},{"source":"n2","target":"n3"}],"name":"n0","x":20,"y":20,"width":10,"height":10}]],"edges":[{"source":"n1","target":"n3",},{"source":"n2","target":"n3"}],"name":"n0"}
+{"layers": [[{"name": "n1","width":10,"height":10,"x":0,"y":0},{"name":"n2","width":10,"height":10,"x":20,"y":0}],[{"name":"n3","width":10,"height":10,"x":0,"y":20},{"layers": [[{"name": "n1","width":10,"height":10,"x":0,"y":0},{"name":"n2","width":10,"height":10,"x":20,"y":0}],[{"name":"n3","width":10,"height":10,"x":0,"y":20}]],"edges":[{"source":"n1","target":"n3"},{"source":"n2","target":"n3"}],"name":"n0","x":20,"y":20,"width":10,"height":10}]],"edges":[{"source":"n1","target":"n3"},{"source":"n2","target":"n3"}],"name":"n0"}