ClipboardController.java 16 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415
  1. package holeg.ui.controller;
  2. import com.google.gson.*;
  3. import holeg.model.*;
  4. import holeg.ui.controller.SaveController.EDGETYPE;
  5. import holeg.ui.controller.SaveController.GRAPHTYPE;
  6. import holeg.ui.controller.SaveController.NUMTYPE;
  7. import holeg.ui.controller.SaveController.TYPE;
  8. import holeg.ui.model.GuiSettings;
  9. import holeg.ui.model.Model;
  10. import holeg.utility.Vector2Float;
  11. import holeg.utility.Vector2Int;
  12. import java.awt.*;
  13. import java.awt.datatransfer.*;
  14. import java.io.IOException;
  15. import java.util.*;
  16. import java.util.List;
  17. import java.util.stream.Collectors;
  18. public class ClipboardController {
  19. private Model model;
  20. private SaveController store;
  21. private LoadController load;
  22. private CanvasController cvsC;
  23. private NodeController uppC;
  24. private JsonParser parser;
  25. private Clipboard clipboard;
  26. private HashMap<Integer, Integer> objIDMap;
  27. private HashMap<Integer, Integer> eleIDMap;
  28. private String sav;
  29. private Point point;
  30. private SimulationManager simManager;
  31. ClipboardController(Model model, SaveController store, LoadController load, CanvasController cvs,
  32. NodeController uppC, SimulationManager simManager) {
  33. this.model = model;
  34. this.store = store;
  35. this.load = load;
  36. this.cvsC = cvs;
  37. this.uppC = uppC;
  38. this.clipboard = Toolkit.getDefaultToolkit().getSystemClipboard();
  39. this.simManager = simManager;
  40. parser = new JsonParser();
  41. }
  42. /**
  43. * Copy marked Objects into Clipboard in Json Format
  44. */
  45. public void copy(GroupNode upperNode) {
  46. JsonObject file = new JsonObject();
  47. ArrayDeque<AbstractCanvasObject> queue = new ArrayDeque<>();
  48. AbstractCanvasObject u = null;
  49. store.initNumeration();
  50. file.add("SAV", new JsonPrimitive((upperNode == null ? "CVS" : "" + upperNode.getId())));
  51. Vector2Int pos = uppC.calculatePos(GuiSettings.getSelectedObjects());
  52. file.add("CENTER", GuiSettings.gson.toJsonTree(pos, Vector2Int.class));
  53. for (AbstractCanvasObject abs : GuiSettings.getSelectedObjects()) {
  54. queue.add(abs);
  55. }
  56. while (!queue.isEmpty()) {
  57. u = queue.pop();
  58. String key = "CVSOBJECT" + store.getNumerator(NUMTYPE.OBJECT);
  59. file.add(key, GuiSettings.gson.toJsonTree(u, AbstractCanvasObject.class));
  60. edgeToJson(EDGETYPE.CONNECTION, file, u.getId(), new ArrayList<>());
  61. if (u instanceof HolonObject)
  62. store.elementsToJson(TYPE.CANVAS, file, u);
  63. if (u instanceof HolonSwitch sw)
  64. if (sw.getGraphPoints().size() != 0)
  65. store.unitgraphToJson(GRAPHTYPE.SWITCH, file, u.getId(), ((HolonSwitch) u).getGraphPoints());
  66. if (u instanceof GroupNode groupnode) {
  67. for (AbstractCanvasObject adjacent : groupnode.getObjectsInThisLayer().toList()) {
  68. queue.add(adjacent);
  69. }
  70. }
  71. }
  72. if (upperNode == null)
  73. edgeToJson(EDGETYPE.LAYER, file, 0, model.getEdgesOnCanvas());
  74. StringSelection selection = new StringSelection(GuiSettings.gson.toJson(file));
  75. clipboard.setContents(selection, selection);
  76. }
  77. /**
  78. * Paste the Copied JsonTree into Canvas
  79. */
  80. void paste(GroupNode upperNode, Point p)
  81. throws UnsupportedFlavorException, IOException, JsonParseException {
  82. if (p == null)
  83. return;
  84. JsonObject json;
  85. Transferable content = clipboard.getContents(null);
  86. if (content != null && content.isDataFlavorSupported(DataFlavor.stringFlavor)
  87. && !content.isDataFlavorSupported(DataFlavor.allHtmlFlavor)) {
  88. String str = (String) content.getTransferData(DataFlavor.stringFlavor);
  89. if (parser.parse(str).isJsonObject())
  90. json = (JsonObject) parser.parse(str);
  91. else
  92. throw new JsonParseException("Unknown Clipboard Information");
  93. } else
  94. return;
  95. List<String> keys = load.getKeys(json);
  96. List<String> edges = keys.stream().filter(key -> key.contains("EDGE"))
  97. .collect(Collectors.toCollection(ArrayList::new));
  98. HashMap<Integer, AbstractCanvasObject> objDispatch = new HashMap<>();
  99. HashMap<Integer, HolonElement> eleDispatch = new HashMap<>();
  100. GuiSettings.getSelectedObjects().clear();
  101. objIDMap = new HashMap<>();
  102. eleIDMap = new HashMap<>();
  103. sav = json.get("SAV").getAsString();
  104. Vector2Int old = GuiSettings.gson.getAdapter(Vector2Int.class).fromJsonTree(json.get("CENTER"));
  105. point = new Point(old.getX() - p.x, old.getY() - p.y);
  106. forwardObjects(keys, json, objDispatch, eleDispatch, upperNode);
  107. // for selecting Cps
  108. getObjectsInDepth();
  109. forwardEdges(edges, json, objDispatch, upperNode);
  110. this.simManager.calculateStateForTimeStep(model.getCurrentIteration(), true);
  111. }
  112. /**
  113. * Cuts the marked Objects out of Canvas and saves them into the Clipboard
  114. */
  115. void cut(GroupNode upperNode) {
  116. copy(upperNode);
  117. for (AbstractCanvasObject abs : GuiSettings.getSelectedObjects()) {
  118. if (upperNode == null)
  119. cvsC.deleteObjectOnCanvas(abs);
  120. else
  121. uppC.deleteObjectInGroupNode(abs, upperNode);
  122. if (abs instanceof GroupNode groupnode)
  123. cvsC.deleteAllObjectsInGroupNode(groupnode);
  124. }
  125. GuiSettings.getSelectedObjects().clear();
  126. this.simManager.calculateStateForTimeStep(model.getCurrentIteration(), true);
  127. }
  128. private void forwardEdges(List<String> keys, JsonObject json, HashMap<Integer, AbstractCanvasObject> objDispatch,
  129. GroupNode upperNode) {
  130. List<String> conn = new ArrayList<>();
  131. for (String edge : keys) {
  132. if (edge.contains("LAYEREDGE"))
  133. loadEdge(EDGETYPE.LAYER, json.get(edge), objDispatch, upperNode);
  134. if (edge.contains("CONNEDGE"))
  135. conn.add(edge);
  136. if (edge.contains("NODEEDGE"))
  137. loadEdge(EDGETYPE.NODE, json.get(edge), objDispatch, null);
  138. if (edge.contains("OLDEDGE"))
  139. loadEdge(EDGETYPE.OLD, json.get(edge), objDispatch, null);
  140. }
  141. for (String edge : conn) {
  142. loadEdge(EDGETYPE.CONNECTION, json.get(edge), objDispatch, null);
  143. }
  144. }
  145. private void forwardObjects(List<String> keys, JsonObject json, HashMap<Integer, AbstractCanvasObject> objDispatch,
  146. HashMap<Integer, HolonElement> eleDispatch, GroupNode upperNode) {
  147. for (String key : keys) {
  148. if (key.contains("CVSOBJECT"))
  149. loadCanvasObject(json.get(key), objDispatch, upperNode);
  150. if (key.contains("CVSELEMENT"))
  151. loadCanvasElements(json.get(key), objDispatch, eleDispatch);
  152. if (key.contains("SWUNITGRAPH"))
  153. loadUnitGraph(GRAPHTYPE.SWITCH, json.get(key), objDispatch, null);
  154. if (key.contains("ELEUNITGRAPH"))
  155. loadUnitGraph(GRAPHTYPE.ELEMENT, json.get(key), null, eleDispatch);
  156. if (key.contains("ELETESTUNITGRAPH"))
  157. loadUnitGraph(GRAPHTYPE.TESTELEMENT, json.get(key), null, eleDispatch);
  158. }
  159. }
  160. private void loadCanvasObject(JsonElement jsonElement, HashMap<Integer, AbstractCanvasObject> objDispatch,
  161. GroupNode upperNode) {
  162. AbstractCanvasObject temp = GuiSettings.gson.fromJson(jsonElement.getAsJsonObject(), AbstractCanvasObject.class);
  163. temp.initForReflection();
  164. objIDMapper(temp);
  165. updatePosition(temp, upperNode);
  166. // if its stored before on the canvas just put it there
  167. if (temp.getSav().equals(sav)) {
  168. if (upperNode == null)
  169. cvsC.addObject(temp, false);
  170. else
  171. uppC.addObjectInGroupNode(temp, upperNode, false);
  172. // mark the Pasted Objects
  173. GuiSettings.getSelectedObjects().add(temp);
  174. } else {
  175. // else look up the table and put it into the right Uppernode
  176. GroupNode temp2 = (GroupNode) objDispatch.get(objIDMap.get(Integer.parseInt(temp.getSav())));
  177. if(temp2!=null)
  178. uppC.addObjectInGroupNode(temp, temp2, false);
  179. else{
  180. /**
  181. * if corresponding Uppernode doesn't exist:
  182. * Add it to the current Canvas/UpperNode
  183. */
  184. if (upperNode == null)
  185. cvsC.addObject(temp, false);
  186. else
  187. uppC.addObjectInGroupNode(temp, upperNode, false);
  188. }
  189. }
  190. objDispatch.put(temp.getId(), temp);
  191. }
  192. private void loadCanvasElements(JsonElement jsonElement, HashMap<Integer, AbstractCanvasObject> objDispatch,
  193. HashMap<Integer, HolonElement> eleDispatch) {
  194. JsonObject object = jsonElement.getAsJsonObject();
  195. HolonElement ele = GuiSettings.gson.fromJson(object.get("properties"), HolonElement.class);
  196. load.initElements(ele);
  197. eleIDMapper(ele);
  198. // id which Object it was stored before
  199. int stored = objIDMap.get(object.get("ID").getAsInt());
  200. // lookup that object
  201. HolonObject obj = (HolonObject) objDispatch.get(stored);
  202. // add it
  203. obj.addElement(ele);
  204. // store element also inside a table
  205. eleDispatch.put(ele.getId(), ele);
  206. }
  207. private void loadUnitGraph(GRAPHTYPE type, JsonElement jsonElement, HashMap<Integer, AbstractCanvasObject> objDispatch,
  208. HashMap<Integer, HolonElement> eleDispatch) {
  209. JsonObject object = jsonElement.getAsJsonObject();
  210. List<String> keys = load.getKeys(object);
  211. String p;
  212. int mid;
  213. int sav = 0;
  214. LinkedList<Vector2Float> graphpointTEST = new LinkedList<>();
  215. for (String k : keys) {
  216. if (!k.equals("ID")) {
  217. p = object.get(k).getAsString();
  218. mid = p.indexOf(':');
  219. float x1 = Float.parseFloat(p.substring(0, mid));
  220. float y1 = Float.parseFloat(p.substring(mid + 1, p.length()));
  221. graphpointTEST.add(new Vector2Float(x1, y1));
  222. } else
  223. // else its an ID
  224. sav = object.get(k).getAsInt();
  225. }
  226. switch (type) {
  227. case SWITCH:
  228. sav = objIDMap.get(sav);
  229. HolonSwitch sw = (HolonSwitch) objDispatch.get(sav);
  230. sw.setGraphPoints(graphpointTEST);
  231. sw.sampleGraph();
  232. break;
  233. case ELEMENT:
  234. break;
  235. case TESTELEMENT:
  236. sav = eleIDMap.get(sav);
  237. HolonElement ele1 = eleDispatch.get(sav);
  238. ele1.setGraphPoints(graphpointTEST);
  239. ele1.sampleGraph();
  240. break;
  241. default:
  242. break;
  243. }
  244. }
  245. /**
  246. * loads an edge from json
  247. */
  248. private void loadEdge(EDGETYPE type, JsonElement jsonElement, HashMap<Integer, AbstractCanvasObject> objDispatch,
  249. GroupNode upperNode) {
  250. JsonObject object = jsonElement.getAsJsonObject();
  251. Edge temp = GuiSettings.gson.fromJson(object.get("properties"), Edge.class);
  252. load.initCpsEdge(temp);
  253. // look for A and B inside the Table
  254. temp.setA(objDispatch.get(objIDMap.get(object.get("A").getAsInt())));
  255. temp.setB(objDispatch.get(objIDMap.get(object.get("B").getAsInt())));
  256. switch (type) {
  257. case LAYER:
  258. // if in canvas add it into the canvas but delete connection before
  259. model.getEdgesOnCanvas().add(temp);
  260. break;
  261. case CONNECTION:
  262. break;
  263. default:
  264. break;
  265. }
  266. }
  267. /**
  268. * Modified Method from LoadController. Slightly different
  269. */
  270. private void edgeToJson(EDGETYPE type, JsonObject file, int id, ArrayList<Edge> arr) {
  271. String k = null;
  272. boolean b = false;
  273. JsonObject temp = new JsonObject();
  274. for (Edge edge : arr) {
  275. if (GuiSettings.getClipboardObjects().contains(edge.getA())
  276. && GuiSettings.getClipboardObjects().contains(edge.getB())) {
  277. // add properties and only the ids from a and b
  278. temp.add("properties", GuiSettings.gson.toJsonTree(edge));
  279. temp.add("A", new JsonPrimitive(edge.getA().getId()));
  280. temp.add("B", new JsonPrimitive(edge.getB().getId()));
  281. // Key and occasionally the id of Uppernode
  282. switch (type) {
  283. case LAYER:
  284. temp.add("ID", new JsonPrimitive(id));
  285. k = "LAYEREDGE" + store.getNumerator(NUMTYPE.EDGE);
  286. break;
  287. case CONNECTION:
  288. k = "CONNEDGE" + store.getNumerator(NUMTYPE.CONNECTION);
  289. break;
  290. case NODE:
  291. temp.add("ID", new JsonPrimitive(id));
  292. k = "NODEEDGE" + store.getNumerator(NUMTYPE.NODEEDGE);
  293. break;
  294. case OLD:
  295. temp.add("ID", new JsonPrimitive(id));
  296. k = "OLDEDGE" + store.getNumerator(NUMTYPE.OLDEDGE);
  297. break;
  298. default:
  299. break;
  300. }
  301. temp.add("connection", new JsonPrimitive(b));
  302. file.add(k, GuiSettings.gson.toJsonTree(temp));
  303. temp = new JsonObject();
  304. }
  305. }
  306. }
  307. /**
  308. * Adds all Objects in Depth into Clipboardobjects preemptive when objects are selected
  309. */
  310. void getObjectsInDepth() {
  311. GuiSettings.getClipboardObjects().clear();
  312. for (AbstractCanvasObject obj : GuiSettings.getSelectedObjects()) {
  313. GuiSettings.getClipboardObjects().add(obj);
  314. if (obj instanceof GroupNode groupnode) {
  315. groupnode.getAllObjectsRecursive().forEach(object -> GuiSettings.getClipboardObjects().add(object));
  316. }
  317. }
  318. }
  319. /**
  320. * Map the Copied Object ID into a new One
  321. */
  322. private void objIDMapper(AbstractCanvasObject temp) {
  323. int id = temp.getId();
  324. // oldID -> currentID
  325. objIDMap.put(id, temp.getId());
  326. }
  327. /**
  328. * Map the Copied Element ID into a new One
  329. */
  330. private void eleIDMapper(HolonElement temp) {
  331. int id = temp.getId();
  332. // oldID -> currentID
  333. eleIDMap.put(id, temp.getId());
  334. }
  335. private void updatePosition(AbstractCanvasObject temp, GroupNode upperNode) {
  336. int x = temp.getPosition().getX() - point.x;
  337. int y = temp.getPosition().getY() - point.y;
  338. if (y < 0)
  339. y = 0 + GuiSettings.getPictureScaleDiv2() + 1;
  340. if (upperNode != null) {
  341. if (x < GuiSettings.getPictureScaleDiv2() + 1)
  342. x = GuiSettings.getPictureScaleDiv2() + 1;
  343. } else if (x < 0)
  344. x = 0 + GuiSettings.getPictureScaleDiv2() + 1;
  345. if (x > GuiSettings.canvasSize.getX())
  346. x = GuiSettings.canvasSize.getX() - GuiSettings.getPictureScaleDiv2() - 1;
  347. if (y > GuiSettings.canvasSize.getY())
  348. y = GuiSettings.canvasSize.getY() - GuiSettings.getPictureScaleDiv2() - 1;
  349. temp.setPosition(new Vector2Int(x, y));
  350. }
  351. }