From acdfc3ebcbe05d7ec0e388297bd6af35f2d8a92e Mon Sep 17 00:00:00 2001
From: Moemoea Fierin <moemoea.fierin@epita.fr>
Date: Mon, 14 Oct 2019 13:15:38 +0200
Subject: [PATCH] [ZOOM] Issue #31: FaultTreeDiagram missing override
---
.../java/ui/ftd/FaultTreeDiagramPanel.java | 30 +++++++++++++------
.../java/ui/ftd/FaultTreeDiagramToolbar.java | 6 ++--
2 files changed, 25 insertions(+), 11 deletions(-)
diff --git a/src/main/java/ui/ftd/FaultTreeDiagramPanel.java b/src/main/java/ui/ftd/FaultTreeDiagramPanel.java
index c9e1393320..76add2313c 100644
--- a/src/main/java/ui/ftd/FaultTreeDiagramPanel.java
+++ b/src/main/java/ui/ftd/FaultTreeDiagramPanel.java
@@ -66,42 +66,53 @@ public class FaultTreeDiagramPanel extends TDiagramPanel implements TDPWithAttri
public FaultTreeDiagramPanel(MainGUI mgui, TToolBar _ttb) {
super(mgui, _ttb);
}
-
+
+ @Override
public boolean actionOnDoubleClick(TGComponent tgc) {
return true;
}
+ @Override
public boolean actionOnAdd(TGComponent tgc) {
return false;
}
+
+ @Override
public boolean actionOnValueChanged(TGComponent tgc) {
return false;
}
-
+
+ @Override
public boolean actionOnRemove(TGComponent tgc) {
return false;
}
-
+
+ @Override
public String getXMLHead() {
return "<FaultTreeDiagramPanel name=\"" + name + "\"" + sizeParam() + zoomParam() + " >";
}
-
+
+ @Override
public String getXMLTail() {
return "</FaultTreeDiagramPanel>";
}
-
+
+ @Override
public String getXMLSelectedHead() {
return "<FaultTreeDiagramPanelCopy name=\"" + name + "\" xSel=\"" + xSel + "\" ySel=\"" + ySel + "\" widthSel=\"" + widthSel + "\" heightSel=\"" + heightSel + "\" >";
}
-
+
+ @Override
public String getXMLSelectedTail() {
return "</FaultTreeDiagramPanelCopy>";
}
-
+
+ @Override
public String getXMLCloneHead() {
return "<FaultTreeDiagramPanelCopy name=\"" + name + "\" xSel=\"" + 0 + "\" ySel=\"" + 0 + "\" widthSel=\"" + 0 + "\" heightSel=\"" + 0 + "\" >";
}
-
+
+ @Override
public String getXMLCloneTail() {
return "</FaultTreeDiagramPanelCopy>";
}
@@ -130,7 +141,8 @@ public class FaultTreeDiagramPanel extends TDiagramPanel implements TDPWithAttri
return list;
}
-
+
+ @Override
public boolean hasAutoConnect() {
return false;
}
diff --git a/src/main/java/ui/ftd/FaultTreeDiagramToolbar.java b/src/main/java/ui/ftd/FaultTreeDiagramToolbar.java
index 40eaa5118a..ab71a6f9c2 100644
--- a/src/main/java/ui/ftd/FaultTreeDiagramToolbar.java
+++ b/src/main/java/ui/ftd/FaultTreeDiagramToolbar.java
@@ -63,7 +63,8 @@ public class FaultTreeDiagramToolbar extends TToolBar {
super(_mgui);
}
-
+
+ @Override
protected void setActive(boolean b) {
mgui.actions[TGUIAction.ACT_ZOOM_MORE].setEnabled(b);
mgui.actions[TGUIAction.ACT_ZOOM_LESS].setEnabled(b);
@@ -91,7 +92,8 @@ public class FaultTreeDiagramToolbar extends TToolBar {
mgui.actions[TGUIAction.ACT_MODEL_CHECKING].setEnabled(b);
}
-
+
+ @Override
protected void setButtons() {
JButton button;
--
GitLab