From bb1891666e7abccbf1d4369a79714725477d8a74 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Tue, 16 May 2023 13:41:03 +0200
Subject: [PATCH] Remove useless "non-Javadoc" comments
---
.../gef/editor/BMotionEditorPlugin.java | 14 -------
.../gef/editor/BMotionStudioEditorPage.java | 5 ---
.../command/ConnectionCreateCommand.java | 20 ---------
.../command/ConnectionDeleteCommand.java | 10 -----
.../command/ConnectionReconnectCommand.java | 5 ---
.../gef/editor/edit/TextEditorWindow.java | 10 -----
.../editpolicy/BMSConnectionEditPolicy.java | 27 ------------
.../gef/editor/figure/BMSImageFigure.java | 5 ---
.../gef/editor/figure/ButtonFigure.java | 5 ---
.../gef/editor/figure/CompositeFigure.java | 5 ---
.../editor/figure/FixedConnectionAnchor.java | 10 -----
.../gef/editor/figure/RadioButtonFigure.java | 5 ---
.../gef/editor/figure/ShapeFigure.java | 5 ---
.../gef/editor/figure/SignalFigure.java | 10 -----
.../gef/editor/figure/TextFigure.java | 5 ---
.../gef/editor/figure/TextfieldFigure.java | 5 ---
.../gef/editor/model/BRadioButton.java | 5 ---
.../editor/model/service/BButtonService.java | 13 ------
.../model/service/BCheckboxService.java | 13 ------
.../model/service/BCompositeService.java | 13 ------
.../editor/model/service/BImageService.java | 13 ------
.../model/service/BRadioButtonService.java | 13 ------
.../model/service/BRectangleService.java | 13 ------
.../editor/model/service/BTextService.java | 13 ------
.../model/service/BTextfieldService.java | 13 ------
.../editor/model/service/SignalService.java | 13 ------
.../gef/editor/part/BConnectionEditPart.java | 5 ---
.../gef/editor/part/BMSAbstractEditPart.java | 42 -------------------
.../editor/property/IntegerCellEditor.java | 6 ---
.../gef/editor/property/SliderCellEditor.java | 18 ++------
...izardExecuteOperationByPredicateMulti.java | 11 -----
.../src/de/prob/core/tests/Activator.java | 8 ----
.../prob/core/internal/ServerConnection.java | 5 ---
.../internal/EventBMachineTranslator.java | 5 ---
.../disprover/ui/DisproverActivator.java | 14 -------
.../src/de/prob/symbolic/Activator.java | 14 -------
36 files changed, 4 insertions(+), 392 deletions(-)
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/BMotionEditorPlugin.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/BMotionEditorPlugin.java
index 6a07a8b6..b3a006c6 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/BMotionEditorPlugin.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/BMotionEditorPlugin.java
@@ -59,13 +59,6 @@ public class BMotionEditorPlugin extends AbstractUIPlugin {
public BMotionEditorPlugin() {
}
- /*
- * (non-Javadoc)
- *
- * @see
- * org.eclipse.ui.plugin.AbstractUIPlugin#start(org.osgi.framework.BundleContext
- * )
- */
@Override
public void start(final BundleContext context) throws Exception {
super.start(context);
@@ -73,13 +66,6 @@ public class BMotionEditorPlugin extends AbstractUIPlugin {
initExtensionClasses();
}
- /*
- * (non-Javadoc)
- *
- * @see
- * org.eclipse.ui.plugin.AbstractUIPlugin#stop(org.osgi.framework.BundleContext
- * )
- */
@Override
public void stop(final BundleContext context) throws Exception {
plugin = null;
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/BMotionStudioEditorPage.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/BMotionStudioEditorPage.java
index cf3da374..b61e5489 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/BMotionStudioEditorPage.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/BMotionStudioEditorPage.java
@@ -257,11 +257,6 @@ public class BMotionStudioEditorPage extends GraphicalEditorWithFlyoutPalette {
}
}
- /*
- * (non-Javadoc)
- *
- * @see org.eclipse.ui.IWorkbenchPart#dispose()
- */
public void dispose() {
// remove CommandStackListener
getCommandStack().removeCommandStackListener(getCommandStackListener());
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/ConnectionCreateCommand.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/ConnectionCreateCommand.java
index f6da85e9..a28d84a7 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/ConnectionCreateCommand.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/ConnectionCreateCommand.java
@@ -67,11 +67,6 @@ public class ConnectionCreateCommand extends Command {
this.source = source;
}
- /*
- * (non-Javadoc)
- *
- * @see org.eclipse.gef.commands.Command#canExecute()
- */
public boolean canExecute() {
// disallow source -> source connections
if (source.equals(target)) {
@@ -88,11 +83,6 @@ public class ConnectionCreateCommand extends Command {
return true;
}
- /*
- * (non-Javadoc)
- *
- * @see org.eclipse.gef.commands.Command#execute()
- */
public void execute() {
// create a new connection between source and target
connection.setSource(source);
@@ -100,11 +90,6 @@ public class ConnectionCreateCommand extends Command {
connection.reconnect();
}
- /*
- * (non-Javadoc)
- *
- * @see org.eclipse.gef.commands.Command#redo()
- */
public void redo() {
connection.reconnect();
}
@@ -124,11 +109,6 @@ public class ConnectionCreateCommand extends Command {
this.target = target;
}
- /*
- * (non-Javadoc)
- *
- * @see org.eclipse.gef.commands.Command#undo()
- */
public void undo() {
connection.disconnect();
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/ConnectionDeleteCommand.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/ConnectionDeleteCommand.java
index f995098c..7f6eb565 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/ConnectionDeleteCommand.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/ConnectionDeleteCommand.java
@@ -41,20 +41,10 @@ public class ConnectionDeleteCommand extends Command {
this.connection = conn;
}
- /*
- * (non-Javadoc)
- *
- * @see org.eclipse.gef.commands.Command#execute()
- */
public void execute() {
connection.disconnect();
}
- /*
- * (non-Javadoc)
- *
- * @see org.eclipse.gef.commands.Command#undo()
- */
public void undo() {
connection.reconnect();
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/ConnectionReconnectCommand.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/ConnectionReconnectCommand.java
index eaef6eab..28c9d0e4 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/ConnectionReconnectCommand.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/ConnectionReconnectCommand.java
@@ -58,11 +58,6 @@ public class ConnectionReconnectCommand extends Command {
/** The original target endpoint. */
private BControl oldTarget;
- /*
- * (non-Javadoc)
- *
- * @see org.eclipse.gef.commands.Command#canExecute()
- */
public boolean canExecute() {
if (newSource != null) {
return checkSourceReconnection();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/edit/TextEditorWindow.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/edit/TextEditorWindow.java
index 9d735cf1..c004179b 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/edit/TextEditorWindow.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/edit/TextEditorWindow.java
@@ -75,22 +75,12 @@ public class TextEditorWindow extends Window {
super.configureShell(newShell);
}
- /*
- * (non-Javadoc)
- *
- * @see org.eclipse.jface.window.Window#setReturnCode(int)
- */
@Override
protected void setReturnCode(int code) {
result.setReturncode(code);
super.setReturnCode(code);
}
- /*
- * (non-Javadoc)
- *
- * @see org.eclipse.jface.window.Window#close()
- */
@Override
public boolean close() {
result.setValue(text.getText());
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/editpolicy/BMSConnectionEditPolicy.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/editpolicy/BMSConnectionEditPolicy.java
index 392a2d1e..54d63dc1 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/editpolicy/BMSConnectionEditPolicy.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/editpolicy/BMSConnectionEditPolicy.java
@@ -17,14 +17,6 @@ import de.bmotionstudio.gef.editor.model.BConnection;
import de.bmotionstudio.gef.editor.model.BControl;
public class BMSConnectionEditPolicy extends GraphicalNodeEditPolicy {
-
- /*
- * (non-Javadoc)
- *
- * @see org.eclipse.gef.editpolicies.GraphicalNodeEditPolicy#
- * getConnectionCompleteCommand
- * (org.eclipse.gef.requests.CreateConnectionRequest)
- */
protected Command getConnectionCompleteCommand(
CreateConnectionRequest request) {
ConnectionCreateCommand cmd = null;
@@ -36,13 +28,6 @@ public class BMSConnectionEditPolicy extends GraphicalNodeEditPolicy {
return cmd;
}
- /*
- * (non-Javadoc)
- *
- * @see org.eclipse.gef.editpolicies.GraphicalNodeEditPolicy#
- * getConnectionCreateCommand
- * (org.eclipse.gef.requests.CreateConnectionRequest)
- */
protected Command getConnectionCreateCommand(CreateConnectionRequest request) {
ConnectionCreateCommand cmd = null;
Object newObject = request.getNewObject();
@@ -57,12 +42,6 @@ public class BMSConnectionEditPolicy extends GraphicalNodeEditPolicy {
return cmd;
}
- /*
- * (non-Javadoc)
- *
- * @see org.eclipse.gef.editpolicies.GraphicalNodeEditPolicy#
- * getReconnectSourceCommand (org.eclipse.gef.requests.ReconnectRequest)
- */
protected Command getReconnectSourceCommand(ReconnectRequest request) {
ConnectionReconnectCommand cmd = null;
Object newObject = request.getConnectionEditPart().getModel();
@@ -76,12 +55,6 @@ public class BMSConnectionEditPolicy extends GraphicalNodeEditPolicy {
return cmd;
}
- /*
- * (non-Javadoc)
- *
- * @see org.eclipse.gef.editpolicies.GraphicalNodeEditPolicy#
- * getReconnectTargetCommand (org.eclipse.gef.requests.ReconnectRequest)
- */
protected Command getReconnectTargetCommand(ReconnectRequest request) {
ConnectionReconnectCommand cmd = null;
Object newObject = request.getConnectionEditPart().getModel();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/figure/BMSImageFigure.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/figure/BMSImageFigure.java
index c3036532..02e82868 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/figure/BMSImageFigure.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/figure/BMSImageFigure.java
@@ -77,11 +77,6 @@ public class BMSImageFigure extends AbstractBMotionFigure {
}
- /*
- * (non-Javadoc)
- *
- * @see de.bmotionstudio.gef.editor.figure.IBMotionFigure#deactivateFigure()
- */
@Override
public void deactivateFigure() {
if (currentGIFThread != null)
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/figure/ButtonFigure.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/figure/ButtonFigure.java
index 1f7602a7..642f077b 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/figure/ButtonFigure.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/figure/ButtonFigure.java
@@ -53,11 +53,6 @@ public class ButtonFigure extends AbstractBMotionFigure {
repaint();
}
- /*
- * (non-Javadoc)
- *
- * @see de.bmotionstudio.gef.editor.figure.IBMotionFigure#deactivateFigure()
- */
@Override
public void deactivateFigure() {
if (backgroundColor != null)
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/figure/CompositeFigure.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/figure/CompositeFigure.java
index 6f6414e7..d9bc6d71 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/figure/CompositeFigure.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/figure/CompositeFigure.java
@@ -131,11 +131,6 @@ public class CompositeFigure extends AbstractBMotionFigure {
getParent().setConstraint(this, rect);
}
- /*
- * (non-Javadoc)
- *
- * @see de.bmotionstudio.gef.editor.figure.IBMotionFigure#deactivateFigure()
- */
@Override
public void deactivateFigure() {
if (layerImage != null)
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/figure/FixedConnectionAnchor.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/figure/FixedConnectionAnchor.java
index 6f386d96..689350bd 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/figure/FixedConnectionAnchor.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/figure/FixedConnectionAnchor.java
@@ -79,11 +79,6 @@ public class FixedConnectionAnchor extends AbstractConnectionAnchor {
fireAnchorMoved();
}
- /*
- * (non-Javadoc)
- *
- * @see java.lang.Object#equals(java.lang.Object)
- */
public boolean equals(Object o) {
if (o instanceof FixedConnectionAnchor) {
FixedConnectionAnchor fa = (FixedConnectionAnchor) o;
@@ -99,11 +94,6 @@ public class FixedConnectionAnchor extends AbstractConnectionAnchor {
return false;
}
- /*
- * (non-Javadoc)
- *
- * @see java.lang.Object#hashCode()
- */
public int hashCode() {
return ((this.leftToRight ? 31 : 0) + (this.topDown ? 37 : 0)
+ this.offsetH * 43 + this.offsetV * 47)
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/figure/RadioButtonFigure.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/figure/RadioButtonFigure.java
index bbd022db..dedfe350 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/figure/RadioButtonFigure.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/figure/RadioButtonFigure.java
@@ -52,11 +52,6 @@ public class RadioButtonFigure extends AbstractBMotionFigure {
repaint();
}
- /*
- * (non-Javadoc)
- *
- * @see de.bmotionstudio.gef.editor.figure.IBMotionFigure#deactivateFigure()
- */
@Override
public void deactivateFigure() {
if (foregroundColor != null)
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/figure/ShapeFigure.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/figure/ShapeFigure.java
index 09b6881c..1aa81986 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/figure/ShapeFigure.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/figure/ShapeFigure.java
@@ -412,11 +412,6 @@ public class ShapeFigure extends AbstractBMotionFigure {
repaint();
}
- /*
- * (non-Javadoc)
- *
- * @see de.bmotionstudio.gef.editor.figure.IBMotionFigure#deactivateFigure()
- */
@Override
public void deactivateFigure() {
if (img != null)
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/figure/SignalFigure.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/figure/SignalFigure.java
index e17cccfb..6017a254 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/figure/SignalFigure.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/figure/SignalFigure.java
@@ -100,20 +100,10 @@ public class SignalFigure extends AbstractBMotionFigure {
add(panel);
}
- /*
- * (non-Javadoc)
- *
- * @see de.bmotionstudio.gef.editor.figure.IBMotionFigure#deactivateFigure()
- */
@Override
public void deactivateFigure() {
}
- /*
- * (non-Javadoc)
- *
- * @see de.bmotionstudio.gef.editor.figure.IBMotionFigure#activateFigure()
- */
@Override
public void activateFigure() {
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/figure/TextFigure.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/figure/TextFigure.java
index 0c8a51e2..ce3567bd 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/figure/TextFigure.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/figure/TextFigure.java
@@ -83,11 +83,6 @@ public class TextFigure extends AbstractBMotionFigure {
getParent().setConstraint(this, rect);
}
- /*
- * (non-Javadoc)
- *
- * @see de.bmotionstudio.gef.editor.figure.IBMotionFigure#deactivateFigure()
- */
@Override
public void deactivateFigure() {
if (foregroundColor != null)
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/figure/TextfieldFigure.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/figure/TextfieldFigure.java
index fe656bee..0b99d5cc 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/figure/TextfieldFigure.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/figure/TextfieldFigure.java
@@ -49,11 +49,6 @@ public class TextfieldFigure extends AbstractBMotionFigure {
return lb.getText();
}
- /*
- * (non-Javadoc)
- *
- * @see de.bmotionstudio.gef.editor.figure.IBMotionFigure#deactivateFigure()
- */
@Override
public void deactivateFigure() {
if (foregroundColor != null)
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/BRadioButton.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/BRadioButton.java
index 299cdadb..0c5e80c4 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/BRadioButton.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/BRadioButton.java
@@ -35,11 +35,6 @@ public class BRadioButton extends BControl {
super(visualization);
}
- /*
- * (non-Javadoc)
- *
- * @see de.bmotionstudio.gef.editor.model.BControl#getType()
- */
@Override
public String getType() {
return TYPE;
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/service/BButtonService.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/service/BButtonService.java
index c44553a3..721abebb 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/service/BButtonService.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/service/BButtonService.java
@@ -20,24 +20,11 @@ import de.bmotionstudio.gef.editor.part.BButtonPart;
*/
public class BButtonService extends AbstractBControlService implements
IBControlService {
-
- /*
- * (non-Javadoc)
- *
- * @see
- * de.bmotionstudio.gef.editor.IBControlService#createControl(de.bmotionstudio
- * .gef.editor.model.Visualization)
- */
@Override
public BControl createControl(Visualization visualization) {
return new BButton(visualization);
}
- /*
- * (non-Javadoc)
- *
- * @see de.bmotionstudio.gef.editor.IBControlService#createEditPart()
- */
@Override
public BMSAbstractEditPart createEditPart() {
return new BButtonPart();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/service/BCheckboxService.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/service/BCheckboxService.java
index 3d42eff0..fdd30ab1 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/service/BCheckboxService.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/service/BCheckboxService.java
@@ -20,24 +20,11 @@ import de.bmotionstudio.gef.editor.part.BCheckboxPart;
*/
public class BCheckboxService extends AbstractBControlService implements
IBControlService {
-
- /*
- * (non-Javadoc)
- *
- * @see
- * de.bmotionstudio.gef.editor.IBControlService#createControl(de.bmotionstudio
- * .gef.editor.model.Visualization)
- */
@Override
public BControl createControl(Visualization visualization) {
return new BCheckbox(visualization);
}
- /*
- * (non-Javadoc)
- *
- * @see de.bmotionstudio.gef.editor.IBControlService#createEditPart()
- */
@Override
public BMSAbstractEditPart createEditPart() {
return new BCheckboxPart();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/service/BCompositeService.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/service/BCompositeService.java
index fedf8787..ffc05d79 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/service/BCompositeService.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/service/BCompositeService.java
@@ -20,24 +20,11 @@ import de.bmotionstudio.gef.editor.part.BCompositePart;
*/
public class BCompositeService extends AbstractBControlService implements
IBControlService {
-
- /*
- * (non-Javadoc)
- *
- * @see
- * de.bmotionstudio.gef.editor.IBControlService#createControl(de.bmotionstudio
- * .gef.editor.model.Visualization)
- */
@Override
public BControl createControl(Visualization visualization) {
return new BComposite(visualization);
}
- /*
- * (non-Javadoc)
- *
- * @see de.bmotionstudio.gef.editor.IBControlService#createEditPart()
- */
@Override
public BMSAbstractEditPart createEditPart() {
return new BCompositePart();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/service/BImageService.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/service/BImageService.java
index 3fcb660d..52c80fe2 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/service/BImageService.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/service/BImageService.java
@@ -20,24 +20,11 @@ import de.bmotionstudio.gef.editor.part.BImagePart;
*/
public class BImageService extends AbstractBControlService implements
IBControlService {
-
- /*
- * (non-Javadoc)
- *
- * @see
- * de.bmotionstudio.gef.editor.IBControlService#createControl(de.bmotionstudio
- * .gef.editor.model.Visualization)
- */
@Override
public BControl createControl(Visualization visualization) {
return new BImage(visualization);
}
- /*
- * (non-Javadoc)
- *
- * @see de.bmotionstudio.gef.editor.IBControlService#createEditPart()
- */
@Override
public BMSAbstractEditPart createEditPart() {
return new BImagePart();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/service/BRadioButtonService.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/service/BRadioButtonService.java
index 8627292d..3bf84859 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/service/BRadioButtonService.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/service/BRadioButtonService.java
@@ -20,24 +20,11 @@ import de.bmotionstudio.gef.editor.part.BRadioButtonPart;
*/
public class BRadioButtonService extends AbstractBControlService implements
IBControlService {
-
- /*
- * (non-Javadoc)
- *
- * @see
- * de.bmotionstudio.gef.editor.IBControlService#createControl(de.bmotionstudio
- * .gef.editor.model.Visualization)
- */
@Override
public BControl createControl(Visualization visualization) {
return new BRadioButton(visualization);
}
- /*
- * (non-Javadoc)
- *
- * @see de.bmotionstudio.gef.editor.IBControlService#createEditPart()
- */
@Override
public BMSAbstractEditPart createEditPart() {
return new BRadioButtonPart();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/service/BRectangleService.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/service/BRectangleService.java
index b3e5da0f..dbc13bea 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/service/BRectangleService.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/service/BRectangleService.java
@@ -20,24 +20,11 @@ import de.bmotionstudio.gef.editor.part.BShapePart;
*/
public class BRectangleService extends AbstractBControlService implements
IBControlService {
-
- /*
- * (non-Javadoc)
- *
- * @see
- * de.bmotionstudio.gef.editor.IBControlService#createControl(de.bmotionstudio
- * .gef.editor.model.Visualization)
- */
@Override
public BControl createControl(Visualization visualization) {
return new BShape(visualization);
}
- /*
- * (non-Javadoc)
- *
- * @see de.bmotionstudio.gef.editor.IBControlService#createEditPart()
- */
@Override
public BMSAbstractEditPart createEditPart() {
return new BShapePart();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/service/BTextService.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/service/BTextService.java
index 4d96c05d..180c940a 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/service/BTextService.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/service/BTextService.java
@@ -20,24 +20,11 @@ import de.bmotionstudio.gef.editor.part.BTextPart;
*/
public class BTextService extends AbstractBControlService implements
IBControlService {
-
- /*
- * (non-Javadoc)
- *
- * @see
- * de.bmotionstudio.gef.editor.IBControlService#createControl(de.bmotionstudio
- * .gef.editor.model.Visualization)
- */
@Override
public BControl createControl(Visualization visualization) {
return new BText(visualization);
}
- /*
- * (non-Javadoc)
- *
- * @see de.bmotionstudio.gef.editor.IBControlService#createEditPart()
- */
@Override
public BMSAbstractEditPart createEditPart() {
return new BTextPart();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/service/BTextfieldService.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/service/BTextfieldService.java
index 6c8f632c..59b58161 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/service/BTextfieldService.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/service/BTextfieldService.java
@@ -20,24 +20,11 @@ import de.bmotionstudio.gef.editor.part.BTextfieldPart;
*/
public class BTextfieldService extends AbstractBControlService implements
IBControlService {
-
- /*
- * (non-Javadoc)
- *
- * @see
- * de.bmotionstudio.gef.editor.IBControlService#createControl(de.bmotionstudio
- * .gef.editor.model.Visualization)
- */
@Override
public BControl createControl(Visualization visualization) {
return new BTextfield(visualization);
}
- /*
- * (non-Javadoc)
- *
- * @see de.bmotionstudio.gef.editor.IBControlService#createEditPart()
- */
@Override
public BMSAbstractEditPart createEditPart() {
return new BTextfieldPart();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/service/SignalService.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/service/SignalService.java
index 660a4427..864a21a9 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/service/SignalService.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/service/SignalService.java
@@ -19,24 +19,11 @@ import de.bmotionstudio.gef.editor.part.SignalPart;
*/
public class SignalService extends AbstractBControlService implements
IBControlService {
-
- /*
- * (non-Javadoc)
- *
- * @see
- * de.bmotionstudio.gef.editor.IBControlService#createControl(de.bmotionstudio
- * .gef.editor.model.Visualization)
- */
@Override
public BControl createControl(Visualization visualization) {
return new Signal(visualization);
}
- /*
- * (non-Javadoc)
- *
- * @see de.bmotionstudio.gef.editor.IBControlService#createEditPart()
- */
@Override
public BMSAbstractEditPart createEditPart() {
return new SignalPart();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/part/BConnectionEditPart.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/part/BConnectionEditPart.java
index ce6a2e0f..ace0d0cf 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/part/BConnectionEditPart.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/part/BConnectionEditPart.java
@@ -63,11 +63,6 @@ public class BConnectionEditPart extends BMSAbstractEditPart implements
public static final ConnectionAnchor DEFAULT_TARGET_ANCHOR = new XYAnchor(
new Point(100, 100));
- /*
- * (non-Javadoc)
- *
- * @see de.bmotionstudio.gef.editor.part.AppAbstractEditPart#deactivate()
- */
@Override
public void deactivate() {
super.deactivate();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/part/BMSAbstractEditPart.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/part/BMSAbstractEditPart.java
index 3f35e653..5f2f6342 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/part/BMSAbstractEditPart.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/part/BMSAbstractEditPart.java
@@ -278,70 +278,28 @@ public abstract class BMSAbstractEditPart extends AbstractGraphicalEditPart
return anchor;
}
- /*
- * (non-Javadoc)
- *
- * @see
- * org.eclipse.gef.editparts.AbstractGraphicalEditPart#getModelSourceConnections
- * ()
- */
protected List<?> getModelSourceConnections() {
return getCastedModel().getSourceConnections();
}
- /*
- * (non-Javadoc)
- *
- * @see
- * org.eclipse.gef.editparts.AbstractGraphicalEditPart#getModelTargetConnections
- * ()
- */
protected List<?> getModelTargetConnections() {
return getCastedModel().getTargetConnections();
}
- /*
- * (non-Javadoc)
- *
- * @see
- * org.eclipse.gef.NodeEditPart#getSourceConnectionAnchor(org.eclipse.gef
- * .ConnectionEditPart)
- */
public ConnectionAnchor getSourceConnectionAnchor(
ConnectionEditPart connection) {
return getConnectionAnchor();
}
- /*
- * (non-Javadoc)
- *
- * @see
- * org.eclipse.gef.NodeEditPart#getSourceConnectionAnchor(org.eclipse.gef
- * .Request)
- */
public ConnectionAnchor getSourceConnectionAnchor(Request request) {
return getConnectionAnchor();
}
- /*
- * (non-Javadoc)
- *
- * @see
- * org.eclipse.gef.NodeEditPart#getTargetConnectionAnchor(org.eclipse.gef
- * .ConnectionEditPart)
- */
public ConnectionAnchor getTargetConnectionAnchor(
ConnectionEditPart connection) {
return getConnectionAnchor();
}
- /*
- * (non-Javadoc)
- *
- * @see
- * org.eclipse.gef.NodeEditPart#getTargetConnectionAnchor(org.eclipse.gef
- * .Request)
- */
public ConnectionAnchor getTargetConnectionAnchor(Request request) {
return getConnectionAnchor();
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/property/IntegerCellEditor.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/property/IntegerCellEditor.java
index 26850379..24b73044 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/property/IntegerCellEditor.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/property/IntegerCellEditor.java
@@ -91,9 +91,6 @@ public class IntegerCellEditor extends CellEditor {
}
}
- /*
- * (non-Javadoc) Method declared on CellEditor.
- */
protected Control createControl(Composite parent) {
text = new Text(parent, getStyle());
text.addSelectionListener(new SelectionAdapter() {
@@ -157,9 +154,6 @@ public class IntegerCellEditor extends CellEditor {
return Integer.valueOf(Integer.parseInt(text.getText()));
}
- /*
- * (non-Javadoc) Method declared on CellEditor.
- */
protected void doSetFocus() {
if (text != null) {
text.selectAll();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/property/SliderCellEditor.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/property/SliderCellEditor.java
index 7472b795..fea6f682 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/property/SliderCellEditor.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/property/SliderCellEditor.java
@@ -125,9 +125,6 @@ public class SliderCellEditor extends CellEditor {
return result;
}
- /*
- * (non-Javadoc) Method declared on CellEditor.
- */
protected Control createControl(Composite parent) {
Font font = parent.getFont();
Color bg = parent.getBackground();
@@ -176,8 +173,8 @@ public class SliderCellEditor extends CellEditor {
return editor;
}
- /*
- * (non-Javadoc) Override in order to remove the button's focus listener if
+ /**
+ * Override in order to remove the button's focus listener if
* the celleditor is deactivating.
*/
public void deactivate() {
@@ -188,16 +185,12 @@ public class SliderCellEditor extends CellEditor {
super.deactivate();
}
- /*
- * (non-Javadoc) Method declared on CellEditor.
- */
protected Object doGetValue() {
return value;
}
- /*
- * (non-Javadoc) Method declared on CellEditor. The focus is set to the cell
- * editor's button.
+ /**
+ * The focus is set to the cell editor's button.
*/
protected void doSetFocus() {
slider.setFocus(); // add a FocusListener to the button
@@ -225,9 +218,6 @@ public class SliderCellEditor extends CellEditor {
return buttonFocusListener;
}
- /*
- * (non-Javadoc) Method declared on CellEditor.
- */
protected void doSetValue(Object value) {
this.value = value;
updateContents(value);
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/wizard/WizardExecuteOperationByPredicateMulti.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/wizard/WizardExecuteOperationByPredicateMulti.java
index 09f2f88f..332fd422 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/wizard/WizardExecuteOperationByPredicateMulti.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/wizard/WizardExecuteOperationByPredicateMulti.java
@@ -150,12 +150,6 @@ public class WizardExecuteOperationByPredicateMulti extends SchedulerWizard {
addPage(new MultiPage("MultiPage"));
}
- /*
- * (non-Javadoc)
- *
- * @see
- * de.bmotionstudio.gef.editor.scheduler.SchedulerWizard#prepareToFinish()
- */
@Override
protected Boolean prepareToFinish() {
if (((ExecuteOperationByPredicateMulti) getScheduler())
@@ -177,11 +171,6 @@ public class WizardExecuteOperationByPredicateMulti extends SchedulerWizard {
return true;
}
- /*
- * (non-Javadoc)
- *
- * @see de.bmotionstudio.gef.editor.scheduler.SchedulerWizard#getSize()
- */
@Override
public Point getSize() {
return new Point(700, 500);
diff --git a/de.prob.core.tests/src/de/prob/core/tests/Activator.java b/de.prob.core.tests/src/de/prob/core/tests/Activator.java
index 9c48634f..4730fcf2 100644
--- a/de.prob.core.tests/src/de/prob/core/tests/Activator.java
+++ b/de.prob.core.tests/src/de/prob/core/tests/Activator.java
@@ -20,19 +20,11 @@ public class Activator extends AbstractUIPlugin {
public Activator() {
}
- /*
- * (non-Javadoc)
- * @see org.eclipse.ui.plugin.AbstractUIPlugin#start(org.osgi.framework.BundleContext)
- */
public void start(BundleContext context) throws Exception {
super.start(context);
plugin = this;
}
- /*
- * (non-Javadoc)
- * @see org.eclipse.ui.plugin.AbstractUIPlugin#stop(org.osgi.framework.BundleContext)
- */
public void stop(BundleContext context) throws Exception {
plugin = null;
super.stop(context);
diff --git a/de.prob.core/src/de/prob/core/internal/ServerConnection.java b/de.prob.core/src/de/prob/core/internal/ServerConnection.java
index 67bbd193..a593d273 100644
--- a/de.prob.core/src/de/prob/core/internal/ServerConnection.java
+++ b/de.prob.core/src/de/prob/core/internal/ServerConnection.java
@@ -41,11 +41,6 @@ public class ServerConnection implements IServerConnection {
cli = new CliStarter(file);
}
- /*
- * (non-Javadoc)
- *
- * @see de.prob.core.IServerConnection#getLastCommand()
- */
public String getLastCommand() {
return lastCommand;
}
diff --git a/de.prob.core/src/de/prob/eventb/translator/internal/EventBMachineTranslator.java b/de.prob.core/src/de/prob/eventb/translator/internal/EventBMachineTranslator.java
index 8995a4a1..dce4c969 100644
--- a/de.prob.core/src/de/prob/eventb/translator/internal/EventBMachineTranslator.java
+++ b/de.prob.core/src/de/prob/eventb/translator/internal/EventBMachineTranslator.java
@@ -26,11 +26,6 @@ public final class EventBMachineTranslator extends EventBTranslator {
private final ISCMachineRoot machine;
- /*
- * (non-Javadoc)
- *
- * @see de.prob.core.translator.ITranslator#getPrologTerm()
- */
// public String getPrologTerm() {
// return term;
// }
diff --git a/de.prob.eventb.disprover.ui/src/de/prob/eventb/disprover/ui/DisproverActivator.java b/de.prob.eventb.disprover.ui/src/de/prob/eventb/disprover/ui/DisproverActivator.java
index 8f18b5c8..63f081a8 100644
--- a/de.prob.eventb.disprover.ui/src/de/prob/eventb/disprover/ui/DisproverActivator.java
+++ b/de.prob.eventb.disprover.ui/src/de/prob/eventb/disprover/ui/DisproverActivator.java
@@ -17,26 +17,12 @@ public class DisproverActivator extends AbstractUIPlugin {
public DisproverActivator() {
}
- /*
- * (non-Javadoc)
- *
- * @see
- * org.eclipse.ui.plugin.AbstractUIPlugin#start(org.osgi.framework.BundleContext
- * )
- */
@Override
public void start(BundleContext context) throws Exception {
super.start(context);
plugin = this;
}
- /*
- * (non-Javadoc)
- *
- * @see
- * org.eclipse.ui.plugin.AbstractUIPlugin#stop(org.osgi.framework.BundleContext
- * )
- */
@Override
public void stop(BundleContext context) throws Exception {
plugin = null;
diff --git a/de.prob.symbolic/src/de/prob/symbolic/Activator.java b/de.prob.symbolic/src/de/prob/symbolic/Activator.java
index c5cb4469..3ea45104 100644
--- a/de.prob.symbolic/src/de/prob/symbolic/Activator.java
+++ b/de.prob.symbolic/src/de/prob/symbolic/Activator.java
@@ -27,13 +27,6 @@ public class Activator extends AbstractUIPlugin {
public Activator() {
}
- /*
- * (non-Javadoc)
- *
- * @see
- * org.eclipse.ui.plugin.AbstractUIPlugin#start(org.osgi.framework.BundleContext
- * )
- */
@Override
public void start(BundleContext context) throws Exception {
super.start(context);
@@ -43,13 +36,6 @@ public class Activator extends AbstractUIPlugin {
}
- /*
- * (non-Javadoc)
- *
- * @see
- * org.eclipse.ui.plugin.AbstractUIPlugin#stop(org.osgi.framework.BundleContext
- * )
- */
@Override
public void stop(BundleContext context) throws Exception {
plugin = null;
--
GitLab