|
@@ -201,7 +201,6 @@ public class StoreController {
|
|
if (u instanceof CpsUpperNode) {
|
|
if (u instanceof CpsUpperNode) {
|
|
for (AbstractCpsObject adjacent : ((CpsUpperNode) u).getNodes()) {
|
|
for (AbstractCpsObject adjacent : ((CpsUpperNode) u).getNodes()) {
|
|
queue.enqueue(adjacent);
|
|
queue.enqueue(adjacent);
|
|
-
|
|
|
|
}
|
|
}
|
|
|
|
|
|
edgeToJson(EDGETYPE.NODE, file, u.getID(), ((CpsUpperNode) u).getNodeEdges());
|
|
edgeToJson(EDGETYPE.NODE, file, u.getID(), ((CpsUpperNode) u).getNodeEdges());
|
|
@@ -316,6 +315,7 @@ public class StoreController {
|
|
temp.add("ID", new JsonPrimitive(id));
|
|
temp.add("ID", new JsonPrimitive(id));
|
|
if (edge.getA().getConnections().contains(edge) && edge.getA().getConnections().contains(edge))
|
|
if (edge.getA().getConnections().contains(edge) && edge.getA().getConnections().contains(edge))
|
|
b = true;
|
|
b = true;
|
|
|
|
+ temp.add("connection", new JsonPrimitive(b));
|
|
k = "NODEEDGE" + getNumerator(NUMTYPE.NODEEDGE);
|
|
k = "NODEEDGE" + getNumerator(NUMTYPE.NODEEDGE);
|
|
break;
|
|
break;
|
|
case OLD:
|
|
case OLD:
|