Canvas.java 16 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417
  1. package holeg.ui.view.canvas;
  2. import holeg.model.AbstractCanvasObject;
  3. import holeg.model.Edge;
  4. import holeg.model.GroupNode;
  5. import holeg.model.HolonObject;
  6. import holeg.model.HolonSwitch;
  7. import holeg.model.Node;
  8. import holeg.ui.controller.Control;
  9. import holeg.ui.model.GuiSettings;
  10. import holeg.ui.view.dialog.CreateTemplatePopUp;
  11. import holeg.utility.math.vector.Geometry;
  12. import holeg.utility.math.vector.Vec2f;
  13. import holeg.utility.math.vector.Vec2i;
  14. import java.awt.Color;
  15. import java.awt.Dimension;
  16. import java.awt.Graphics2D;
  17. import java.awt.Rectangle;
  18. import java.awt.event.MouseEvent;
  19. import java.awt.event.MouseListener;
  20. import java.awt.event.MouseMotionListener;
  21. import java.util.HashSet;
  22. import java.util.Optional;
  23. import java.util.Set;
  24. import java.util.logging.Logger;
  25. import javax.swing.JFrame;
  26. import javax.swing.JMenuItem;
  27. import javax.swing.JPanel;
  28. import javax.swing.JPopupMenu;
  29. import javax.swing.SwingUtilities;
  30. public class Canvas extends JPanel {
  31. private static final Logger log = Logger.getLogger(Canvas.class.getName());
  32. private final Control control;
  33. private final CanvasMouseListener canvasMouseListener = new CanvasMouseListener();
  34. private final JPopupMenu componentPopupMenu = new JPopupMenu();
  35. private final JMenuItem groupMenu = new JMenuItem("Group");
  36. private final JMenuItem ungroupMenu = new JMenuItem("Ungroup");
  37. private final JMenuItem deleteMenu = new JMenuItem("Delete");
  38. private final JMenuItem templateMenu = new JMenuItem("Template");
  39. private GroupNode groupNode;
  40. private boolean enabled = true;
  41. public Canvas(Control control, GroupNode groupNode) {
  42. this.control = control;
  43. this.groupNode = groupNode;
  44. control.OnGuiSetEnabled.addListener(this::setCanvasEnabled);
  45. control.OnSelectionChanged.addListener(this::repaint);
  46. control.OnCanvasUpdate.addListener(this::repaint);
  47. this.setBackground(Color.WHITE);
  48. this.setPreferredSize(
  49. new Dimension(GuiSettings.canvasSize.getX(), GuiSettings.canvasSize.getY()));
  50. this.addMouseListener(canvasMouseListener);
  51. this.addMouseMotionListener(canvasMouseListener);
  52. initPopupMenu();
  53. }
  54. public static Rectangle getBoundsOfObject(AbstractCanvasObject obj) {
  55. int pictureScale = GuiSettings.getPictureScale();
  56. int pictureScaleDiv2 = GuiSettings.getPictureScaleDiv2();
  57. Vec2i pos = obj.getPosition();
  58. return new Rectangle(pos.getX() - pictureScaleDiv2, pos.getY() - pictureScaleDiv2, pictureScale,
  59. pictureScale);
  60. }
  61. public static Vec2i boundsToCanvas(Vec2i pos) {
  62. Vec2i position = new Vec2i(pos);
  63. position.clampX(GuiSettings.getPictureScaleDiv2(),
  64. GuiSettings.canvasSize.getX() - GuiSettings.getPictureScaleDiv2());
  65. position.clampY(GuiSettings.getPictureScaleDiv2(),
  66. GuiSettings.canvasSize.getY() - GuiSettings.getPictureScaleDiv2());
  67. return position;
  68. }
  69. private void initPopupMenu() {
  70. componentPopupMenu.add(deleteMenu);
  71. componentPopupMenu.addSeparator();
  72. componentPopupMenu.add(groupMenu);
  73. componentPopupMenu.add(ungroupMenu);
  74. componentPopupMenu.addSeparator();
  75. componentPopupMenu.add(templateMenu);
  76. deleteMenu.addActionListener(clicked -> {
  77. control.deleteCanvasObjects(GuiSettings.getSelectedObjects());
  78. control.clearSelection();
  79. });
  80. groupMenu.addActionListener(clicked -> control.group());
  81. ungroupMenu.addActionListener(clicked -> control.ungroup());
  82. templateMenu.addActionListener(
  83. clicked -> GuiSettings.getSelectedObjects().stream().findAny().ifPresent(obj -> {
  84. HolonObject hObject = (HolonObject) obj;
  85. new CreateTemplatePopUp(hObject, (JFrame) SwingUtilities.getWindowAncestor(this),
  86. control);
  87. }));
  88. }
  89. private void setCanvasEnabled(boolean state) {
  90. enabled = state;
  91. }
  92. public GroupNode getGroupNode() {
  93. return this.groupNode;
  94. }
  95. public void setGroupNode(GroupNode groupNode) {
  96. this.groupNode = groupNode;
  97. }
  98. @Override
  99. public void paintComponent(java.awt.Graphics g) {
  100. super.paintComponent(g);
  101. Graphics2D g2d = Rendering.initGraphics2D(g);
  102. g2d.setColor(Color.gray);
  103. g2d.fillRect(0, 0, getWidth(), getHeight());
  104. g2d.setColor(Color.white);
  105. g2d.fillRect(0, 0, GuiSettings.canvasSize.getX(), GuiSettings.canvasSize.getY());
  106. Rendering.drawSelection(g2d);
  107. paintEdges(g2d);
  108. groupNode.getHolonObjects().forEach(hO -> Rendering.drawHolonObject(g2d, hO));
  109. groupNode.getSwitches().forEach(hS -> Rendering.drawSwitchObject(g2d, hS));
  110. groupNode.getGroupNodes().forEach(groupNode -> Rendering.drawGroupNode(g2d, groupNode));
  111. groupNode.getNodes().forEach(node -> Rendering.drawNode(g2d, node));
  112. switch (canvasMouseListener.state) {
  113. case BoxSelection -> Rendering.drawSelectionBox(g2d,
  114. canvasMouseListener.getRectangleOfSelectionBox());
  115. case EdgeCreation -> Rendering.drawNewEdgeLine(g2d,
  116. canvasMouseListener.selectedOnPressed.getPosition(), canvasMouseListener.lastPosition);
  117. }
  118. if (canvasMouseListener.canBeReplaced) {
  119. Rendering.drawReplacementSymbol(g2d, canvasMouseListener.selectedOnPressed);
  120. }
  121. }
  122. private void paintEdges(Graphics2D g2d) {
  123. control.getModel().getEdgesOnCanvas().forEach(edge -> {
  124. if (edge.getA().getGroupNode().isEmpty() || edge.getB().getGroupNode().isEmpty()) {
  125. return;
  126. }
  127. boolean aInside = edge.getA().getGroupNode().get() == groupNode;
  128. boolean bInside = edge.getB().getGroupNode().get() == groupNode;
  129. //both
  130. if (aInside && bInside) {
  131. Rendering.drawEdge(g2d, edge, edge.getA(), edge.getB());
  132. } else if (aInside) {
  133. SearchObjectIfParentOfGroupNode(edge.getB()).ifPresentOrElse(
  134. alternative -> Rendering.drawEdge(g2d, edge, edge.getA(), alternative),
  135. () -> Rendering.drawExternConnection(g2d, edge.getA()));
  136. } else if (bInside) {
  137. SearchObjectIfParentOfGroupNode(edge.getA()).ifPresentOrElse(
  138. alternative -> Rendering.drawEdge(g2d, edge, alternative, edge.getB()),
  139. () -> Rendering.drawExternConnection(g2d, edge.getB()));
  140. } else {
  141. Optional<AbstractCanvasObject> alternativeA = SearchObjectIfParentOfGroupNode(edge.getA());
  142. Optional<AbstractCanvasObject> alternativeB = SearchObjectIfParentOfGroupNode(edge.getB());
  143. if (alternativeA.isPresent() && alternativeB.isPresent() && !alternativeA.equals(
  144. alternativeB)) {
  145. Rendering.drawEdge(g2d, edge, alternativeA.get(), alternativeB.get());
  146. }
  147. }
  148. //none
  149. });
  150. }
  151. private Optional<AbstractCanvasObject> SearchObjectIfParentOfGroupNode(
  152. AbstractCanvasObject current) {
  153. while (current.getGroupNode().isPresent()) {
  154. if (current.getGroupNode().get() == this.groupNode) {
  155. return Optional.of(current);
  156. }
  157. current = current.getGroupNode().get();
  158. }
  159. return Optional.empty();
  160. }
  161. private Optional<AbstractCanvasObject> getObjectAtPosition(Vec2i pos) {
  162. return groupNode.getObjectsInThisLayer().filter(obj ->
  163. getBoundsOfObject(obj).contains(pos.getX(), pos.getY())
  164. ).findAny();
  165. }
  166. /**
  167. * Microsoft Windows10 selection & dragging behavior
  168. */
  169. private class CanvasMouseListener implements MouseListener, MouseMotionListener {
  170. private Vec2i lastPosition = new Vec2i();
  171. private Vec2i pressedPosition = new Vec2i();
  172. private Set<AbstractCanvasObject> selectionBeforeBoxSelection = new HashSet<>();
  173. private State state = State.None;
  174. private AbstractCanvasObject selectedOnPressed = null;
  175. private boolean canBeReplaced = false;
  176. @Override
  177. public void mousePressed(MouseEvent e) {
  178. if (!enabled) {
  179. return;
  180. }
  181. log.finest(state.toString());
  182. Vec2i pos = new Vec2i(e.getPoint());
  183. getObjectAtPosition(pos).ifPresentOrElse(obj -> {
  184. if (!e.isControlDown() && !GuiSettings.getSelectedObjects().contains(obj)) {
  185. GuiSettings.getSelectedObjects().clear();
  186. }
  187. state = State.Selection;
  188. GuiSettings.getSelectedObjects().add(obj);
  189. selectedOnPressed = obj;
  190. }, () -> {
  191. if (!e.isControlDown()) {
  192. GuiSettings.getSelectedObjects().clear();
  193. }
  194. state = State.BoxSelection;
  195. selectionBeforeBoxSelection = Set.copyOf(GuiSettings.getSelectedObjects());
  196. });
  197. control.OnSelectionChanged.broadcast();
  198. lastPosition = pressedPosition = pos;
  199. }
  200. @Override
  201. public void mouseDragged(MouseEvent e) {
  202. if (!enabled) {
  203. return;
  204. }
  205. log.finest(state.toString());
  206. Vec2i actualPos = new Vec2i(e.getPoint());
  207. switch (state) {
  208. case Selection -> {
  209. // Not handle to small mouse dragging
  210. if (!(pressedPosition.getSquaredDistance(actualPos)
  211. > GuiSettings.dragThresholdDistance)) {
  212. return;
  213. }
  214. if (SwingUtilities.isLeftMouseButton(e)) {
  215. state = State.ObjectDragging;
  216. } else if (SwingUtilities.isRightMouseButton(e)
  217. && !(selectedOnPressed instanceof GroupNode)) {
  218. state = State.EdgeCreation;
  219. }
  220. }
  221. case BoxSelection -> {
  222. Rectangle selectionBox = getRectangleOfSelectionBox();
  223. groupNode.getObjectsInThisLayer().forEach(obj -> {
  224. Rectangle bounds = getBoundsOfObject(obj);
  225. if (selectionBox.intersects(bounds) ^ selectionBeforeBoxSelection.contains(obj)) {
  226. GuiSettings.getSelectedObjects().add(obj);
  227. } else {
  228. GuiSettings.getSelectedObjects().remove(obj);
  229. }
  230. });
  231. repaint();
  232. }
  233. case ObjectDragging -> {
  234. Vec2i delta = actualPos.subtract(lastPosition);
  235. GuiSettings.getSelectedObjects()
  236. .forEach(obj -> obj.setPosition(boundsToCanvas(obj.getPosition().add(delta))));
  237. canBeReplaced = checkForReplacement(actualPos).isPresent();
  238. repaint();
  239. }
  240. case EdgeCreation -> repaint();
  241. }
  242. lastPosition = actualPos;
  243. }
  244. private Optional<AbstractCanvasObject> checkForReplacement(Vec2i pos) {
  245. return groupNode.getObjectsInThisLayer().filter(obj -> obj != selectedOnPressed &&
  246. getBoundsOfObject(obj).contains(pos.getX(), pos.getY())
  247. ).findAny();
  248. }
  249. @Override
  250. public void mouseReleased(MouseEvent e) {
  251. if (!enabled) {
  252. return;
  253. }
  254. log.info(state.toString());
  255. switch (state) {
  256. case None -> {
  257. if (SwingUtilities.isRightMouseButton(e)) {
  258. preparePopupMenu();
  259. componentPopupMenu.show(Canvas.this, e.getX(), e.getY());
  260. } else {
  261. if (GuiSettings.getSelectedObjects().contains(selectedOnPressed)) {
  262. control.removeObjectFromSelection(selectedOnPressed);
  263. } else {
  264. control.addObjectToSelection(selectedOnPressed);
  265. }
  266. }
  267. }
  268. case Selection, BoxSelection -> {
  269. control.OnSelectionChanged.broadcast();
  270. if (SwingUtilities.isRightMouseButton(e)) {
  271. preparePopupMenu();
  272. componentPopupMenu.show(Canvas.this, e.getX(), e.getY());
  273. }
  274. }
  275. case EdgeCreation -> getObjectAtPosition(lastPosition).ifPresentOrElse(obj -> {
  276. boolean isGroupNode = obj instanceof GroupNode;
  277. if (!isGroupNode) {
  278. control.addEdgeOnCanvasOrRemoveExisting(
  279. new Edge(selectedOnPressed, obj, GuiSettings.maxCapacityForNewCreatedEdges));
  280. }
  281. }, () -> {
  282. Node node = new Node("Node");
  283. groupNode.add(node);
  284. final float splitDetectionDistance = 15f;
  285. Geometry.Circle detectionCircle = new Geometry.Circle(new Vec2f(lastPosition),
  286. splitDetectionDistance);
  287. node.setPosition(new Vec2i(boundsToCanvas(lastPosition)));
  288. for (Edge edge : control.getModel().getEdgesOnCanvas()) {
  289. if (edge.getA().getGroupNode().isEmpty() || edge.getB().getGroupNode().isEmpty() ||
  290. edge.getA().getGroupNode().get() != groupNode
  291. || edge.getB().getGroupNode().get() != groupNode) {
  292. continue;
  293. }
  294. Optional<Vec2f> pos = Geometry.getProjectionOnSegmentIfInRange(
  295. new Geometry.Line(new Vec2f(edge.getA().getPosition())
  296. , new Vec2f(edge.getB().getPosition())), detectionCircle);
  297. if (pos.isPresent()) {
  298. Vec2f position = pos.get();
  299. node.setPosition(new Vec2i((int) position.getX(), (int) position.getY()));
  300. splitEdge(edge, node);
  301. break;
  302. }
  303. }
  304. control.addEdgeOnCanvas(
  305. new Edge(selectedOnPressed, node, GuiSettings.maxCapacityForNewCreatedEdges));
  306. control.calculateStateForCurrentIteration();
  307. });
  308. case ObjectDragging -> checkForReplacement(new Vec2i(e.getPoint())).ifPresent(
  309. obj -> control.replaceCanvasObject(obj, selectedOnPressed));
  310. }
  311. canBeReplaced = false;
  312. state = State.None;
  313. repaint();
  314. }
  315. private void preparePopupMenu() {
  316. int count = GuiSettings.getSelectedObjects().size();
  317. boolean isAGroupNodeSelected = GuiSettings.getSelectedObjects().stream()
  318. .anyMatch(obj -> obj instanceof GroupNode);
  319. switch (count) {
  320. case 0 -> {
  321. groupMenu.setEnabled(false);
  322. ungroupMenu.setEnabled(false);
  323. deleteMenu.setEnabled(false);
  324. templateMenu.setEnabled(false);
  325. }
  326. case 1 -> {
  327. deleteMenu.setEnabled(true);
  328. boolean isSelectedObjectAHolonObject = GuiSettings.getSelectedObjects().stream()
  329. .anyMatch(obj -> obj instanceof HolonObject);
  330. templateMenu.setEnabled(isSelectedObjectAHolonObject);
  331. groupMenu.setEnabled(true);
  332. ungroupMenu.setEnabled(isAGroupNodeSelected);
  333. }
  334. default -> {
  335. deleteMenu.setEnabled(true);
  336. templateMenu.setEnabled(false);
  337. groupMenu.setEnabled(true);
  338. ungroupMenu.setEnabled(isAGroupNodeSelected);
  339. }
  340. }
  341. }
  342. @Override
  343. public void mouseClicked(MouseEvent e) {
  344. boolean doubleLeftClick = e.getClickCount() % 2 == 0 && SwingUtilities.isLeftMouseButton(e);
  345. if (doubleLeftClick) {
  346. log.finest(state.toString());
  347. getObjectAtPosition(new Vec2i(e.getPoint())).ifPresent(obj -> {
  348. if (obj instanceof HolonSwitch sw) {
  349. sw.setMode(HolonSwitch.SwitchMode.Manual);
  350. sw.flipManualState();
  351. control.calculateStateForCurrentIteration();
  352. } else if (obj instanceof GroupNode gNode) {
  353. control.showGroupNode(gNode);
  354. }
  355. });
  356. }
  357. }
  358. Rectangle getRectangleOfSelectionBox() {
  359. return Geometry.createRectangleFromCorners(lastPosition, pressedPosition);
  360. }
  361. public void splitEdge(Edge edge, Node node) {
  362. AbstractCanvasObject end = edge.getB();
  363. edge.setB(node);
  364. Edge additional = new Edge(node, end, edge.maxCapacity);
  365. control.getModel().addEdgeOnCanvas(additional);
  366. }
  367. @Override
  368. public void mouseEntered(MouseEvent e) {
  369. }
  370. @Override
  371. public void mouseExited(MouseEvent e) {
  372. }
  373. @Override
  374. public void mouseMoved(MouseEvent e) {
  375. }
  376. private enum State {
  377. None, BoxSelection, EdgeCreation, ObjectDragging, Selection
  378. }
  379. }
  380. }