ClipboardController.java 17 KB

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