Ver código fonte

Merge remote-tracking branch 'origin/Matthias'

Jan Enders 8 anos atrás
pai
commit
16c49c3dcd

+ 6 - 0
scopviz/src/main/java/de/tu_darmstadt/informatik/tk/scopviz/graphs/MappingGraphManager.java

@@ -330,6 +330,12 @@ public class MappingGraphManager extends GraphManager implements EdgeCreatedList
 		if (fromNode.hasEdgeBetween(to))
 			return false;
 
+		for (Edge e : fromNode.getEdgeSet()) {
+			Boolean mapped = e.getAttribute("mapping");
+			if (mapped != null && mapped)
+				return false;
+		}
+
 		String fromParent = fromNode.getAttribute(ATTRIBUTE_KEY_MAPPING_PARENT);
 		String toParent = toNode.getAttribute(ATTRIBUTE_KEY_MAPPING_PARENT);