|
@@ -374,10 +374,9 @@ public class GUI {
|
|
|
JScrollPane scrollPane = getScrollPaneFromTabbedPane();
|
|
|
Component canvasOrUpperNodeCanvas = scrollPane.getViewport().getComponent(0);
|
|
|
|
|
|
- if (canvasOrUpperNodeCanvas instanceof GroupNodeCanvas) {
|
|
|
- GroupNodeCanvas uNC = (GroupNodeCanvas) canvasOrUpperNodeCanvas;
|
|
|
- controller.addSelectedObjects(uNC.getGroupNode().getNodes());
|
|
|
- uNC.repaint();
|
|
|
+ if (canvasOrUpperNodeCanvas instanceof GroupNodeCanvas groupNodeCanvas) {
|
|
|
+ controller.addSelectedObjects(groupNodeCanvas.getGroupNode().getNodes());
|
|
|
+ groupNodeCanvas.repaint();
|
|
|
// or Canvas?
|
|
|
} else if (canvasOrUpperNodeCanvas instanceof Canvas) {
|
|
|
controller.addSelectedObjects(model.getObjectsOnCanvas());
|
|
@@ -406,27 +405,26 @@ public class GUI {
|
|
|
// complete re-evaluation of the net)
|
|
|
boolean wasProducerDeleted = true;
|
|
|
|
|
|
- if (canvasOrUpperNodeCanvas instanceof GroupNodeCanvas) {
|
|
|
- GroupNodeCanvas uNC = (GroupNodeCanvas) canvasOrUpperNodeCanvas;
|
|
|
+ if (canvasOrUpperNodeCanvas instanceof GroupNodeCanvas groupNodeCanvas) {
|
|
|
for (AbstractCanvasObject cps : model.getSelectedObjects()) {
|
|
|
- if (uNC.getGroupNode().getNodes().contains(cps)) {
|
|
|
- controller.delObjUpperNode(cps, uNC.getGroupNode());
|
|
|
+ if (groupNodeCanvas.getGroupNode().getNodes().contains(cps)) {
|
|
|
+ controller.delObjUpperNode(cps, groupNodeCanvas.getGroupNode());
|
|
|
unc.setToolTip(false);
|
|
|
|
|
|
// remove UpperNodeTab if UpperNode deleted
|
|
|
removeUpperNodeTab(cps);
|
|
|
}
|
|
|
}
|
|
|
- uNC.repaint();
|
|
|
+ groupNodeCanvas.repaint();
|
|
|
controller.clearSelection();
|
|
|
|
|
|
// or Canvas?
|
|
|
- } else if (canvasOrUpperNodeCanvas instanceof Canvas) {
|
|
|
+ } else if (canvasOrUpperNodeCanvas instanceof Canvas canvasPanel) {
|
|
|
// Edge Deleting
|
|
|
Edge edgeHighlight = model.getSelectedEdge();
|
|
|
if (edgeHighlight != null) {
|
|
|
controller.removeEdgesOnCanvas(edgeHighlight);
|
|
|
- ((Canvas) canvasOrUpperNodeCanvas).edgeHighlight = null;
|
|
|
+ canvasPanel.edgeHighlight = null;
|
|
|
}
|
|
|
canvas.setToolTip(false);
|
|
|
for (AbstractCanvasObject cps : model.getSelectedObjects()) {
|
|
@@ -474,8 +472,8 @@ public class GUI {
|
|
|
System.out.println("heiCopy - control C");
|
|
|
JScrollPane scrollPane = getScrollPaneFromTabbedPane();
|
|
|
if (!model.getSelectedObjects().isEmpty()) {
|
|
|
- if (scrollPane.getViewport().getComponent(0) instanceof GroupNodeCanvas)
|
|
|
- controller.copy(((GroupNodeCanvas) scrollPane.getViewport().getComponent(0)).getGroupNode());
|
|
|
+ if (scrollPane.getViewport().getComponent(0) instanceof GroupNodeCanvas groupNodeCanvas)
|
|
|
+ controller.copy(groupNodeCanvas.getGroupNode());
|
|
|
else
|
|
|
controller.copy(null);
|
|
|
if (!model.getClipboradObjects().isEmpty()) {
|
|
@@ -505,9 +503,9 @@ public class GUI {
|
|
|
JScrollPane scrollPane = getScrollPaneFromTabbedPane();
|
|
|
Component canvasOrUpperNodeCanvas = scrollPane.getViewport().getComponent(0);
|
|
|
|
|
|
- if (tabTemp != null && canvasOrUpperNodeCanvas instanceof GroupNodeCanvas) {
|
|
|
+ if (tabTemp != null && canvasOrUpperNodeCanvas instanceof GroupNodeCanvas groupNodeCanvas) {
|
|
|
|
|
|
- controller.paste(((GroupNodeCanvas) canvasOrUpperNodeCanvas).getGroupNode(),
|
|
|
+ controller.paste(groupNodeCanvas.getGroupNode(),
|
|
|
canvasOrUpperNodeCanvas.getMousePosition());
|
|
|
controller.calculateStateAndVisualForCurrentTimeStep();
|
|
|
scrollPane.getViewport().getComponent(0).repaint();
|
|
@@ -535,8 +533,8 @@ public class GUI {
|
|
|
chooseTabTemp();
|
|
|
JScrollPane scrollPane = getScrollPaneFromTabbedPane();
|
|
|
if (!model.getSelectedObjects().isEmpty()) {
|
|
|
- if (scrollPane.getViewport().getComponent(0) instanceof GroupNodeCanvas) {
|
|
|
- controller.cut(((GroupNodeCanvas) scrollPane.getViewport().getComponent(0)).getGroupNode());
|
|
|
+ if (scrollPane.getViewport().getComponent(0) instanceof GroupNodeCanvas groupNodeCanvas) {
|
|
|
+ controller.cut(groupNodeCanvas.getGroupNode());
|
|
|
controller.calculateStateAndVisualForCurrentTimeStep();
|
|
|
scrollPane.getViewport().getComponent(0).repaint();
|
|
|
} else {
|
|
@@ -639,8 +637,8 @@ public class GUI {
|
|
|
controller.calculateStateAndVisualForCurrentTimeStep();
|
|
|
// Update UpperNodes
|
|
|
Component canvasOrUpperNodeCanvas = getScrollPaneFromTabbedPane().getViewport().getComponent(0);
|
|
|
- if (canvasOrUpperNodeCanvas != null && canvasOrUpperNodeCanvas instanceof GroupNodeCanvas) {
|
|
|
- ((GroupNodeCanvas) canvasOrUpperNodeCanvas).repaint();
|
|
|
+ if (canvasOrUpperNodeCanvas != null && canvasOrUpperNodeCanvas instanceof GroupNodeCanvas groupNodeCanvas) {
|
|
|
+ groupNodeCanvas.repaint();
|
|
|
}
|
|
|
});
|
|
|
|
|
@@ -654,8 +652,8 @@ public class GUI {
|
|
|
controller.calculateStateAndVisualForCurrentTimeStep();
|
|
|
// Update UpperNodes
|
|
|
Component canvasOrUpperNodeCanvas = getScrollPaneFromTabbedPane().getViewport().getComponent(0);
|
|
|
- if (canvasOrUpperNodeCanvas != null && canvasOrUpperNodeCanvas instanceof GroupNodeCanvas) {
|
|
|
- ((GroupNodeCanvas) canvasOrUpperNodeCanvas).repaint();
|
|
|
+ if (canvasOrUpperNodeCanvas != null && canvasOrUpperNodeCanvas instanceof GroupNodeCanvas groupNodeCanvas) {
|
|
|
+ groupNodeCanvas.repaint();
|
|
|
}
|
|
|
});
|
|
|
|
|
@@ -687,8 +685,8 @@ public class GUI {
|
|
|
JScrollPane spane = getScrollPaneFromTabbedPane();
|
|
|
if (spane != null) {
|
|
|
Component canvasOrUpperNodeCanvas = spane.getViewport().getComponent(0);
|
|
|
- if (canvasOrUpperNodeCanvas != null && canvasOrUpperNodeCanvas instanceof GroupNodeCanvas) {
|
|
|
- ((GroupNodeCanvas) canvasOrUpperNodeCanvas).repaint();
|
|
|
+ if (canvasOrUpperNodeCanvas != null && canvasOrUpperNodeCanvas instanceof GroupNodeCanvas groupNodeCanvas) {
|
|
|
+ groupNodeCanvas.repaint();
|
|
|
}
|
|
|
}
|
|
|
});
|
|
@@ -704,13 +702,12 @@ public class GUI {
|
|
|
BackgroundPopUp backgroundDialog = new BackgroundPopUp(model, controller, canvas, null, holegJFrame);
|
|
|
backgroundDialog.setDefaultCloseOperation(JDialog.DISPOSE_ON_CLOSE);
|
|
|
backgroundDialog.setVisible(true);
|
|
|
- } else if (scrollPane.getViewport().getComponent(0) instanceof GroupNodeCanvas) {
|
|
|
- GroupNodeCanvas uNodeCanvas = (GroupNodeCanvas) (scrollPane.getViewport().getComponent(0));
|
|
|
+ } else if (scrollPane.getViewport().getComponent(0) instanceof GroupNodeCanvas groupNodeCanvas) {
|
|
|
BackgroundPopUp backgroundDialog = new BackgroundPopUp(model, controller, null,
|
|
|
- uNodeCanvas.getGroupNode(), holegJFrame);
|
|
|
+ groupNodeCanvas.getGroupNode(), holegJFrame);
|
|
|
backgroundDialog.setDefaultCloseOperation(JDialog.DISPOSE_ON_CLOSE);
|
|
|
backgroundDialog.setVisible(true);
|
|
|
- uNodeCanvas.repaint();
|
|
|
+ groupNodeCanvas.repaint();
|
|
|
}
|
|
|
});
|
|
|
|
|
@@ -850,8 +847,7 @@ public class GUI {
|
|
|
/**
|
|
|
* check for replacements on the canvas
|
|
|
*/
|
|
|
- if (canvasOrUpperNodeCanvas instanceof GroupNodeCanvas) {
|
|
|
- GroupNodeCanvas unc = (GroupNodeCanvas) canvasOrUpperNodeCanvas;
|
|
|
+ if (canvasOrUpperNodeCanvas instanceof GroupNodeCanvas groupNodeCanvas) {
|
|
|
if (unc.getMousePosition() == null)
|
|
|
return;
|
|
|
int x = (int) unc.getMousePosition().getX() + 16;
|
|
@@ -860,7 +856,7 @@ public class GUI {
|
|
|
/**
|
|
|
* check for replacement
|
|
|
*/
|
|
|
- unc.checkForReplacement(x, y);
|
|
|
+ groupNodeCanvas.checkForReplacement(x, y);
|
|
|
|
|
|
/**
|
|
|
* repaint
|
|
@@ -901,46 +897,45 @@ public class GUI {
|
|
|
JScrollPane scrollPane = getScrollPaneFromTabbedPane();
|
|
|
Component canvasOrUpperNodeCanvas = scrollPane.getViewport().getComponent(0);
|
|
|
|
|
|
- if (canvasOrUpperNodeCanvas instanceof GroupNodeCanvas) {
|
|
|
- GroupNodeCanvas unc = (GroupNodeCanvas) canvasOrUpperNodeCanvas;
|
|
|
- int x = (int) unc.getMousePosition().getX() + 16;
|
|
|
- int y = (int) unc.getMousePosition().getY() + 16;
|
|
|
+ if (canvasOrUpperNodeCanvas instanceof GroupNodeCanvas groupNodeCanvas) {
|
|
|
+ int x = (int) groupNodeCanvas.getMousePosition().getX() + 16;
|
|
|
+ int y = (int) groupNodeCanvas.getMousePosition().getY() + 16;
|
|
|
|
|
|
AbstractCanvasObject h = null;
|
|
|
- if (tempCps instanceof HolonObject) {
|
|
|
- h = new HolonObject((HolonObject) tempCps);
|
|
|
+ if (tempCps instanceof HolonObject hO) {
|
|
|
+ h = new HolonObject(hO);
|
|
|
}
|
|
|
- if (tempCps instanceof HolonSwitch) {
|
|
|
- h = new HolonSwitch(tempCps);
|
|
|
+ if (tempCps instanceof HolonSwitch sw) {
|
|
|
+ h = new HolonSwitch(sw);
|
|
|
}
|
|
|
h.setPosition(x, y);
|
|
|
|
|
|
/**
|
|
|
* close UpperNodeTabs of replaced UpperNode
|
|
|
*/
|
|
|
- if (unc.mayBeReplaced != null && unc.mayBeReplaced instanceof GroupNode) {
|
|
|
- unc.closeUpperNodeTab(unc.mayBeReplaced.getId());
|
|
|
+ if (groupNodeCanvas.mayBeReplaced != null && groupNodeCanvas.mayBeReplaced instanceof GroupNode) {
|
|
|
+ groupNodeCanvas.closeUpperNodeTab(groupNodeCanvas.mayBeReplaced.getId());
|
|
|
}
|
|
|
- controller.addObjUpperNode(h, unc.getGroupNode());
|
|
|
+ controller.addObjUpperNode(h, groupNodeCanvas.getGroupNode());
|
|
|
|
|
|
/**
|
|
|
* object would be replaced
|
|
|
*/
|
|
|
- unc.mayBeReplaced = null;
|
|
|
- unc.invalidate();
|
|
|
+ groupNodeCanvas.mayBeReplaced = null;
|
|
|
+ groupNodeCanvas.invalidate();
|
|
|
controller.calculateStateAndVisualForCurrentTimeStep();
|
|
|
- unc.repaint();
|
|
|
- unc.setXY((int) canvas.getMousePosition().getX(), (int) canvas.getMousePosition().getY());
|
|
|
+ groupNodeCanvas.repaint();
|
|
|
+ groupNodeCanvas.setXY((int) canvas.getMousePosition().getX(), (int) canvas.getMousePosition().getY());
|
|
|
} else {
|
|
|
int x = (int) canvas.getMousePosition().getX() + 16;
|
|
|
int y = (int) canvas.getMousePosition().getY() + 16;
|
|
|
|
|
|
AbstractCanvasObject h = null;
|
|
|
- if (tempCps instanceof HolonObject) {
|
|
|
- h = new HolonObject((HolonObject) tempCps);
|
|
|
+ if (tempCps instanceof HolonObject hO) {
|
|
|
+ h = new HolonObject(hO);
|
|
|
}
|
|
|
- if (tempCps instanceof HolonSwitch) {
|
|
|
- h = new HolonSwitch(tempCps);
|
|
|
+ if (tempCps instanceof HolonSwitch sw) {
|
|
|
+ h = new HolonSwitch(sw);
|
|
|
}
|
|
|
|
|
|
h.setPosition(x, y);
|
|
@@ -1531,13 +1526,13 @@ public class GUI {
|
|
|
chooseTabTemp();
|
|
|
|
|
|
JScrollPane scrollPane = getScrollPaneFromTabbedPane();
|
|
|
- if (scrollPane.getViewport().getComponent(0) instanceof Canvas) {
|
|
|
+ if (scrollPane.getViewport().getComponent(0) instanceof Canvas canvasPanel) {
|
|
|
unc = new GroupNodeCanvas(model, controller, unitGraph, node, "",
|
|
|
- scrollPane.getViewport().getComponent(0));
|
|
|
+ canvasPanel);
|
|
|
|
|
|
- } else {
|
|
|
+ } else if(scrollPane.getViewport().getComponent(0) instanceof GroupNodeCanvas groupNodeCanvas) {
|
|
|
unc = new GroupNodeCanvas(model, controller, unitGraph, node,
|
|
|
- ((GroupNodeCanvas) scrollPane.getViewport().getComponent(0)).getParentPath() + " -> ",
|
|
|
+ groupNodeCanvas.getParentPath() + " -> ",
|
|
|
scrollPane.getViewport().getComponent(0));
|
|
|
}
|
|
|
|
|
@@ -1582,9 +1577,9 @@ public class GUI {
|
|
|
continue;
|
|
|
}
|
|
|
Component pane = ((JScrollPane) c).getViewport().getComponent(0);
|
|
|
- if (pane instanceof GroupNodeCanvas) {
|
|
|
- temp = model.getHashcodeMap().get(((GroupNodeCanvas) pane).hashCode());
|
|
|
- ((GroupNodeCanvas) pane).setGroupNode((GroupNode) temp);
|
|
|
+ if (pane instanceof GroupNodeCanvas groupNodeCanvas) {
|
|
|
+ temp = model.getHashcodeMap().get(groupNodeCanvas.hashCode());
|
|
|
+ groupNodeCanvas.setGroupNode((GroupNode) temp);
|
|
|
}
|
|
|
}
|
|
|
}
|
|
@@ -1633,13 +1628,13 @@ public class GUI {
|
|
|
}
|
|
|
if (upperLevelSelectedComponent instanceof JTabbedPane) {
|
|
|
Component nextLevel = ((JTabbedPane) upperLevelSelectedComponent).getSelectedComponent();
|
|
|
- if (nextLevel instanceof JPanel)
|
|
|
- return (JScrollPane) ((JPanel) nextLevel).getComponent(0);
|
|
|
+ if (nextLevel instanceof JPanel panel)
|
|
|
+ return (JScrollPane) panel.getComponent(0);
|
|
|
else
|
|
|
return (JScrollPane) nextLevel;
|
|
|
|
|
|
- } else if (upperLevelSelectedComponent instanceof JScrollPane) {
|
|
|
- return (JScrollPane) upperLevelSelectedComponent;
|
|
|
+ } else if (upperLevelSelectedComponent instanceof JScrollPane scrollPane) {
|
|
|
+ return scrollPane;
|
|
|
} else {
|
|
|
return null;
|
|
|
}
|