From 47297231d4ae68d2432c66c564f2bd190d00f17d Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Mon, 7 Oct 2024 15:10:06 +0200
Subject: [PATCH] Add missing Override annotations everywhere
---
.../editor/BMotionSelectionSynchronizer.java | 2 +-
.../gef/editor/BMotionStudioContributor.java | 1 +
.../gef/editor/BMotionStudioEditor.java | 2 ++
.../gef/editor/BMotionStudioEditorPage.java | 18 ++++++++++++++
.../gef/editor/BMotionStudioRunPage.java | 3 +++
.../gef/editor/BindingObject.java | 1 +
.../editor/CustomSortPropertySheetEntry.java | 1 +
.../gef/editor/EditorImageRegistry.java | 1 +
.../gef/editor/ImageRegistry.java | 1 +
.../gef/editor/InstallActions.java | 2 +-
.../bmotionstudio/gef/editor/InstallMenu.java | 3 ++-
.../gef/editor/StaticListenerRegistry.java | 3 +++
.../action/BMotionAbstractWizardDialog.java | 2 ++
.../editor/action/BringToBottomAction.java | 2 ++
.../action/BringToBottomStepAction.java | 2 ++
.../gef/editor/action/BringToTopAction.java | 2 ++
.../editor/action/BringToTopStepAction.java | 2 ++
.../gef/editor/action/FitImageAction.java | 2 ++
.../action/OpenSchedulerEventAction.java | 2 ++
.../gef/editor/action/PasteAction.java | 1 +
.../editor/action/RemoveObserverAction.java | 1 +
.../action/RemoveSchedulerEventAction.java | 1 +
.../gef/editor/action/RenameAction.java | 2 ++
.../gef/editor/action/RenameWizard.java | 1 +
.../editor/attribute/AbstractAttribute.java | 7 ++++++
.../gef/editor/attribute/AttributeBlocks.java | 1 +
.../editor/attribute/AttributeFillColor.java | 1 +
.../editor/attribute/AttributeFillHeight.java | 1 +
.../gef/editor/attribute/AttributeLights.java | 1 +
.../attribute/AttributeMeasureInterval.java | 1 +
.../attribute/AttributeMeasureMaxPos.java | 1 +
.../attribute/AttributeShowMeasure.java | 1 +
.../gef/editor/attribute/BAttributeAlpha.java | 1 +
.../attribute/BAttributeBackgroundColor.java | 1 +
.../BAttributeBackgroundVisible.java | 1 +
.../editor/attribute/BAttributeColumns.java | 1 +
.../attribute/BAttributeConnection.java | 1 +
.../attribute/BAttributeCoordinates.java | 1 +
.../editor/attribute/BAttributeEnabled.java | 1 +
.../gef/editor/attribute/BAttributeFont.java | 1 +
.../attribute/BAttributeForegroundColor.java | 1 +
.../editor/attribute/BAttributeHeight.java | 1 +
.../gef/editor/attribute/BAttributeID.java | 1 +
.../gef/editor/attribute/BAttributeImage.java | 2 ++
.../editor/attribute/BAttributeLineWidth.java | 1 +
.../gef/editor/attribute/BAttributeMain.java | 1 +
.../gef/editor/attribute/BAttributeMisc.java | 1 +
.../editor/attribute/BAttributeOffsetH.java | 1 +
.../editor/attribute/BAttributeOffsetV.java | 1 +
.../attribute/BAttributeOutlineAlpha.java | 2 ++
.../gef/editor/attribute/BAttributeRows.java | 1 +
.../gef/editor/attribute/BAttributeSize.java | 1 +
.../gef/editor/attribute/BAttributeText.java | 1 +
.../editor/attribute/BAttributeTextColor.java | 1 +
.../editor/attribute/BAttributeVisible.java | 1 +
.../gef/editor/attribute/BAttributeWidth.java | 1 +
.../gef/editor/attribute/BAttributeX.java | 1 +
.../gef/editor/attribute/BAttributeY.java | 1 +
.../gef/editor/command/AddCommand.java | 3 +++
.../command/BControlChangeLayoutCommand.java | 3 +++
.../editor/command/BringToBottomCommand.java | 2 ++
.../command/BringToBottomStepCommand.java | 2 ++
.../gef/editor/command/BringToTopCommand.java | 2 ++
.../editor/command/BringToTopStepCommand.java | 2 ++
.../editor/command/ChangeGuideCommand.java | 3 +++
.../command/ConnectionCreateCommand.java | 4 ++++
.../command/ConnectionDeleteCommand.java | 2 ++
.../command/ConnectionReconnectCommand.java | 3 +++
.../editor/command/CreateGuideCommand.java | 3 +++
.../editor/command/DeleteGuideCommand.java | 3 +++
.../gef/editor/command/MoveGuideCommand.java | 2 ++
.../editor/command/RemoveObserverCommand.java | 3 +++
.../command/RemoveSchedulerEventCommand.java | 3 +++
.../editor/command/ReorderPartCommand.java | 2 ++
.../editor/command/SchedulerEventCommand.java | 4 ++++
.../editor/command/SetObserverCommand.java | 4 ++++
.../gef/editor/edit/IntEditingSupport.java | 1 +
.../editor/edit/TextCellEditorLocator.java | 1 +
.../TextCellEditorWithContentProposal.java | 5 +++-
.../gef/editor/edit/TextEditManager.java | 4 ++++
.../editpolicy/BMSConnectionEditPolicy.java | 4 ++++
.../editor/editpolicy/BMSDeletePolicy.java | 2 +-
.../editpolicy/BMSResizableEditPolicy.java | 3 +++
.../editpolicy/ChangeAttributePolicy.java | 1 +
.../editpolicy/CustomDirectEditPolicy.java | 2 ++
.../editpolicy/SignalLayoutEditPolicy.java | 1 +
.../editpolicy/TableLayoutEditPolicy.java | 1 +
.../editor/eventb/MachineContentObject.java | 1 +
.../gef/editor/figure/BMSImageFigure.java | 1 +
.../gef/editor/figure/CompositeFigure.java | 2 ++
.../editor/figure/FixedConnectionAnchor.java | 5 ++++
.../gef/editor/figure/MouseClickAdapter.java | 3 +++
.../gef/editor/figure/ShapeFigure.java | 2 ++
.../gef/editor/figure/TextFigure.java | 1 +
.../StartVisualizationEditorHandler.java | 1 +
.../StartVisualizationFileHandler.java | 1 +
.../internal/BMotionFileInputValidator.java | 1 +
.../editor/internal/BMotionLabelProvider.java | 7 +++++-
.../BMotionStudioContentProvider.java | 7 +++++-
.../internal/NewBMotionProjectWizard.java | 4 +++-
.../internal/NewBMotionProjectWizardPage.java | 6 ++++-
.../internal/PerspectiveEditFactory.java | 2 +-
.../internal/PerspectiveRunFactory.java | 2 +-
.../editor/internal/ProgressBarDialog.java | 3 +++
.../internal/VisualizationProgressBar.java | 3 +++
.../library/AbstractLibraryCommand.java | 2 ++
.../gef/editor/library/AttributeTransfer.java | 2 ++
.../editor/library/LibraryImageCommand.java | 2 ++
.../gef/editor/library/LibraryPage.java | 8 +++++--
.../library/LibraryVariableCommand.java | 2 ++
.../gef/editor/library/LibraryView.java | 1 +
.../gef/editor/model/BControl.java | 1 +
.../editor/model/BMotionRulerProvider.java | 12 ++++++++++
.../gef/editor/model/Switch.java | 1 +
.../gef/editor/model/Visualization.java | 1 +
.../observer/ListenOperationByPredicate.java | 2 ++
.../observer/ListenOperationObject.java | 1 +
.../gef/editor/observer/Observer.java | 1 +
.../editor/observer/ObserverEvalObject.java | 1 +
.../gef/editor/observer/SetAttribute.java | 2 ++
.../editor/observer/SetAttributeObject.java | 1 +
.../editor/observer/SimpleValueDisplay.java | 3 +++
.../observer/SwitchChildCoordinates.java | 3 +++
.../editor/observer/SwitchCoordinates.java | 3 +++
.../gef/editor/observer/SwitchImage.java | 3 +++
.../observer/ToggleObjectCoordinates.java | 1 +
.../editor/observer/ToggleObjectImage.java | 1 +
.../observer/wizard/WizardColumnObserver.java | 1 +
.../WizardObserverCSwitchCoordinates.java | 4 ++++
...ardObserverListenOperationByPredicate.java | 7 ++++++
.../wizard/WizardObserverSetAttribute.java | 7 ++++++
.../WizardObserverSimpleValueDisplay.java | 1 +
.../WizardObserverSwitchCoordinates.java | 4 ++++
.../wizard/WizardObserverSwitchImage.java | 4 ++++
.../observer/wizard/WizardTableObserver.java | 2 ++
.../gef/editor/part/BCompositePart.java | 1 +
.../gef/editor/part/BConnectionEditPart.java | 13 ++++++++++
.../gef/editor/part/BControlTreeEditPart.java | 4 +++-
.../gef/editor/part/BMSAbstractEditPart.java | 9 +++++++
.../editor/part/BMSTreeEditPartFactory.java | 2 +-
.../gef/editor/part/TrackPart.java | 1 +
.../gef/editor/part/VisualizationPart.java | 1 +
.../editor/property/FileDialogCellEditor.java | 1 +
.../property/FilePropertyDescriptor.java | 1 +
.../editor/property/FontDialogCellEditor.java | 1 +
.../property/FontPropertyDescriptor.java | 1 +
.../gef/editor/property/ImageDialog.java | 4 +++-
.../property/ImagePropertyDescriptor.java | 1 +
.../editor/property/IntegerCellEditor.java | 24 +++++++++++++++++++
.../property/IntegerPropertyDescriptor.java | 1 +
.../gef/editor/property/SliderCellEditor.java | 11 +++++++++
.../property/SliderPropertyDescriptor.java | 1 +
.../scheduler/AnimationScriptObject.java | 1 +
.../editor/scheduler/AnimationScriptStep.java | 1 +
.../scheduler/ExecuteAnimationScript.java | 1 +
.../ExecuteOperationByPredicate.java | 2 ++
.../ExecuteOperationByPredicateMulti.java | 1 +
.../scheduler/ObserverCallBackObject.java | 1 +
.../editor/scheduler/PredicateOperation.java | 1 +
.../gef/editor/scheduler/SchedulerEvent.java | 1 +
.../gef/editor/scheduler/SchedulerWizard.java | 1 +
.../WizardExecuteOperationByPredicate.java | 2 ++
...izardExecuteOperationByPredicateMulti.java | 1 +
.../wizard/WizardExecuteScheduler.java | 1 +
.../gef/editor/util/BMotionWizardUtil.java | 3 ++-
.../src/de/prob/core/ListenerRegistry.java | 3 +++
.../de/prob/core/StaticListenerRegistry.java | 3 +++
.../command/CheckBooleanPropertyCommand.java | 2 ++
.../core/command/ClearMachineCommand.java | 2 ++
.../de/prob/core/command/ComposedCommand.java | 3 +++
.../EvaluateRawExpressionsCommand.java | 2 ++
.../core/command/EvaluationExpandCommand.java | 2 ++
.../command/EvaluationGetTopLevelCommand.java | 2 ++
.../command/EvaluationGetValuesCommand.java | 2 ++
.../EvaluationInsertFormulaCommand.java | 2 ++
.../core/command/ExecuteOperationCommand.java | 2 ++
.../command/GetCurrentStateIdCommand.java | 2 ++
.../command/GetEnabledOperationsCommand.java | 2 ++
.../core/command/GetFullTraceCommand.java | 2 ++
.../command/GetMachineObjectsCommand.java | 2 ++
.../GetOperationByPredicateCommand.java | 2 ++
.../core/command/GetPreferencesCommand.java | 2 ++
.../command/GetStateBasedErrorsCommand.java | 2 ++
.../core/command/GetStateValuesCommand.java | 2 ++
.../GetTimeoutedOperationsCommand.java | 2 ++
.../de/prob/core/command/GetTraceCommand.java | 2 ++
.../core/command/SetPreferenceCommand.java | 2 ++
.../core/command/SetPreferencesCommand.java | 2 ++
.../de/prob/core/command/SetStateCommand.java | 2 ++
.../core/command/StartAnimationCommand.java | 2 ++
.../GetAllOperationsNamesCommand.java | 2 ++
.../internal/GetOperationParameterNames.java | 2 ++
.../de/prob/core/domainobjects/History.java | 2 ++
.../core/domainobjects/HistoryBasedCache.java | 2 ++
.../core/internal/AnimationListenerProxy.java | 1 +
.../internal/ComputationListenerProxy.java | 1 +
.../core/internal/LifeCycleListenerProxy.java | 1 +
.../prob/core/langdep/EventBAnimatorPart.java | 4 ++++
.../core/prolog/TypedIdentifierGenerator.java | 8 +++++++
.../src/de/prob/core/types/BaseProbType.java | 2 ++
.../de/prob/core/types/CoupleProbType.java | 2 ++
.../de/prob/core/types/FreetypeProbType.java | 2 ++
.../de/prob/core/types/GivenSetProbType.java | 2 ++
.../de/prob/core/types/OperationProbType.java | 2 ++
.../de/prob/core/types/RecordProbType.java | 2 ++
.../de/prob/core/types/SetLikeProbType.java | 2 ++
.../eventb/translator/flow/EventTuple.java | 1 +
.../internal/LabelPositionPrinter.java | 2 ++
.../sap/commands/FindTestPathCommand.java | 2 ++
.../GenerateLocalTestcasesCommand.java | 2 ++
.../sap/commands/GenerateTestcaseCommand.java | 2 ++
.../core/internal/CounterExample.java | 1 +
de.prob.ui/src/de/prob/ui/LimitedLogView.java | 10 ++++++--
.../de/prob/ui/ProBGeneralPreferences.java | 1 +
.../de/prob/ui/StaticListenerRegistry.java | 3 +++
.../ui/errorview/ErrorContentProvider.java | 7 +++++-
.../prob/ui/errorview/ErrorLabelProvider.java | 3 ++-
.../de/prob/ui/errorview/StateErrorView.java | 2 +-
.../de/prob/ui/eventb/ClassicPreferences.java | 1 +
.../ui/eventb/CreateConfigurationHandler.java | 2 +-
.../prob/ui/eventb/ExportNewCoreHandler.java | 2 +-
.../de/prob/ui/eventb/FileInputValidator.java | 1 +
.../de/prob/ui/eventb/OpenClassicHandler.java | 2 ++
.../prob/ui/eventb/StartAnimationHandler.java | 2 ++
.../de/prob/ui/historyview/HistoryView.java | 6 ++++-
.../ui/internal/ShowProBConfigCommand.java | 2 +-
.../DoubleClickBehaviorHandler.java | 2 +-
.../ui/operationview/ExecuteEventHandler.java | 2 +-
.../operationview/ExecuteRandomHandler.java | 3 ++-
.../src/de/prob/ui/operationview/Filter.java | 1 +
.../prob/ui/operationview/FilterDialog.java | 5 ++++
.../prob/ui/operationview/FilterManager.java | 2 ++
.../ui/operationview/HistoryBackHandler.java | 2 +-
.../operationview/HistoryForwardHandler.java | 2 +-
.../de/prob/ui/operationview/NullHandler.java | 2 +-
.../OperationSelectionDialog.java | 21 +++++++++++-----
.../OperationsContentProvider.java | 3 +++
.../prob/ui/operationview/RestartHandler.java | 2 +-
.../ShowOnlyEnabledOpsHandler.java | 2 +-
.../ShowParameterDialogHandler.java | 2 +-
.../ui/services/AbstractBoolProvider.java | 3 +++
.../prob/ui/stateview/AddFormulaHandler.java | 4 +++-
.../ui/stateview/BooleanLabelProvider.java | 6 +++++
.../stateview/LoadShortestTraceHandler.java | 1 +
.../ui/stateview/ShowInHistoryHandler.java | 2 +-
.../ui/stateview/SimpleContentProvider.java | 3 ++-
.../ToggleShowDuplicatesHandler.java | 2 ++
.../prob/ui/stateview/VarContentProvider.java | 6 +++++
.../statetree/AbstractStateTreeElement.java | 1 +
.../statetree/StateTreeExpression.java | 5 ++++
.../statetree/StateTreeExpressionSection.java | 5 ++++
.../stateview/statetree/StateTreeSection.java | 5 ++++
.../statetree/StateTreeVariable.java | 5 ++++
.../de/prob/ui/ticket/ProBLogListener.java | 2 ++
254 files changed, 606 insertions(+), 44 deletions(-)
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/BMotionSelectionSynchronizer.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/BMotionSelectionSynchronizer.java
index 64ef38dc..d474320b 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/BMotionSelectionSynchronizer.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/BMotionSelectionSynchronizer.java
@@ -15,7 +15,7 @@ import org.eclipse.gef.ui.parts.TreeViewer;
import de.bmotionstudio.gef.editor.model.BControl;
public class BMotionSelectionSynchronizer extends SelectionSynchronizer {
-
+ @Override
protected EditPart convert(EditPartViewer viewer, EditPart part) {
EditPart p = super.convert(viewer, part);
if (viewer instanceof ScrollingGraphicalViewer
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/BMotionStudioContributor.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/BMotionStudioContributor.java
index 5f8d9725..512e7f5b 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/BMotionStudioContributor.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/BMotionStudioContributor.java
@@ -92,6 +92,7 @@ public class BMotionStudioContributor extends ActionBarContributor {
}
+ @Override
public void setActiveEditor(IEditorPart editor) {
if (editor instanceof BMotionStudioEditor) {
super.setActiveEditor(((BMotionStudioEditor) editor).getEditPage());
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/BMotionStudioEditor.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/BMotionStudioEditor.java
index dea2ce63..3343882e 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/BMotionStudioEditor.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/BMotionStudioEditor.java
@@ -89,6 +89,7 @@ public class BMotionStudioEditor extends MultiPageEditorPart implements
fireRunPageRemovedListener();
if (runPage != null) {
Display.getDefault().asyncExec(new Runnable() {
+ @Override
public void run() {
removePage(1);
}
@@ -245,6 +246,7 @@ public class BMotionStudioEditor extends MultiPageEditorPart implements
return this.runPage;
}
+ @Override
public void reset() {
removeRunPage();
}
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 b61e5489..c50c8231 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
@@ -172,6 +172,7 @@ public class BMotionStudioEditorPage extends GraphicalEditorWithFlyoutPalette {
/**
* @see org.eclipse.ui.IEditorPart#init(IEditorSite, IEditorInput)
**/
+ @Override
public void init(IEditorSite iSite, IEditorInput iInput)
throws PartInitException {
super.init(iSite, iInput);
@@ -183,6 +184,7 @@ public class BMotionStudioEditorPage extends GraphicalEditorWithFlyoutPalette {
/**
* @see org.eclipse.gef.ui.parts.GraphicalEditor#initializeGraphicalViewer()
**/
+ @Override
protected void initializeGraphicalViewer() {
super.initializeGraphicalViewer();
@@ -204,12 +206,14 @@ public class BMotionStudioEditorPage extends GraphicalEditorWithFlyoutPalette {
@Override
protected PaletteViewerProvider createPaletteViewerProvider() {
return new PaletteViewerProvider(getEditDomain()) {
+ @Override
protected void configurePaletteViewer(PaletteViewer viewer) {
super.configurePaletteViewer(viewer);
viewer.addDragSourceListener(new TemplateTransferDragSourceListener(
viewer));
}
+ @Override
protected void hookPaletteViewer(PaletteViewer viewer) {
super.hookPaletteViewer(viewer);
}
@@ -219,6 +223,7 @@ public class BMotionStudioEditorPage extends GraphicalEditorWithFlyoutPalette {
/**
* @see org.eclipse.ui.IEditorPart#isSaveAsAllowed()
**/
+ @Override
public boolean isSaveAsAllowed() {
return true;
}
@@ -241,6 +246,7 @@ public class BMotionStudioEditorPage extends GraphicalEditorWithFlyoutPalette {
/**
* @see org.eclipse.ui.IEditorPart#doSave(IProgressMonitor)
**/
+ @Override
public void doSave(IProgressMonitor iMonitor) {
ByteArrayOutputStream out = new ByteArrayOutputStream();
try {
@@ -257,6 +263,7 @@ public class BMotionStudioEditorPage extends GraphicalEditorWithFlyoutPalette {
}
}
+ @Override
public void dispose() {
// remove CommandStackListener
getCommandStack().removeCommandStackListener(getCommandStackListener());
@@ -271,6 +278,7 @@ public class BMotionStudioEditorPage extends GraphicalEditorWithFlyoutPalette {
/**
* @see org.eclipse.ui.IEditorPart#doSaveAs()
**/
+ @Override
public void doSaveAs() {
// Nothing to do here, this is never allowed
throw new IllegalAccessError("No way to enter this method.");
@@ -344,6 +352,7 @@ public class BMotionStudioEditorPage extends GraphicalEditorWithFlyoutPalette {
return isDirty;
}
+ @Override
@SuppressWarnings("unchecked")
public void createActions() {
@@ -480,10 +489,12 @@ public class BMotionStudioEditorPage extends GraphicalEditorWithFlyoutPalette {
}
+ @Override
protected Control getGraphicalControl() {
return rulerComp;
}
+ @Override
protected void createGraphicalViewer(Composite parent) {
rulerComp = new RulerComposite(parent, SWT.NONE);
super.createGraphicalViewer(rulerComp);
@@ -494,6 +505,7 @@ public class BMotionStudioEditorPage extends GraphicalEditorWithFlyoutPalette {
/**
* @see org.eclipse.gef.ui.parts.GraphicalEditor#configureGraphicalViewer()
**/
+ @Override
protected void configureGraphicalViewer() {
double[] zoomLevels;
@@ -598,6 +610,7 @@ public class BMotionStudioEditorPage extends GraphicalEditorWithFlyoutPalette {
* <code>CommandStack </code>changes.
*/
private CommandStackListener commandStackListener = new CommandStackListener() {
+ @Override
public void commandStackChanged(EventObject event) {
setDirty(getCommandStack().isDirty());
}
@@ -626,6 +639,7 @@ public class BMotionStudioEditorPage extends GraphicalEditorWithFlyoutPalette {
/**
* Returns the palette root.
*/
+ @Override
protected PaletteRoot getPaletteRoot() {
if (palette == null) {
palette = new EditorPaletteFactory().createPalette(visualization);
@@ -655,6 +669,7 @@ public class BMotionStudioEditorPage extends GraphicalEditorWithFlyoutPalette {
super(new TreeViewer());
}
+ @Override
public void init(IPageSite pageSite) {
super.init(pageSite);
IActionBars bars = pageSite.getActionBars();
@@ -767,6 +782,7 @@ public class BMotionStudioEditorPage extends GraphicalEditorWithFlyoutPalette {
lws.setContents(thumbnail);
disposeListener = new DisposeListener() {
+ @Override
public void widgetDisposed(DisposeEvent e) {
if (thumbnail != null) {
thumbnail.deactivate();
@@ -776,10 +792,12 @@ public class BMotionStudioEditorPage extends GraphicalEditorWithFlyoutPalette {
};
}
+ @Override
public Control getControl() {
return sash;
}
+ @Override
public void dispose() {
unhookOutlineViewer();
gridColor.dispose();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/BMotionStudioRunPage.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/BMotionStudioRunPage.java
index 9f5260c9..5d1ac871 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/BMotionStudioRunPage.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/BMotionStudioRunPage.java
@@ -55,6 +55,7 @@ public class BMotionStudioRunPage extends GraphicalEditor {
return super.getAdapter(type);
}
+ @Override
public void selectionChanged(IWorkbenchPart part, ISelection selection) {
// ignore selection changed.
}
@@ -118,6 +119,7 @@ public class BMotionStudioRunPage extends GraphicalEditor {
/**
* @see org.eclipse.gef.ui.parts.GraphicalEditor#configureGraphicalViewer()
**/
+ @Override
protected void configureGraphicalViewer() {
double[] zoomLevels;
@@ -187,6 +189,7 @@ public class BMotionStudioRunPage extends GraphicalEditor {
/**
* The run page editor should be never dirty!
*/
+ @Override
public boolean isDirty() {
return false;
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/BindingObject.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/BindingObject.java
index e4338e73..c5b8ea6d 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/BindingObject.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/BindingObject.java
@@ -55,6 +55,7 @@ public abstract class BindingObject implements Cloneable {
return propertyChangeSupport;
}
+ @Override
public BindingObject clone() throws CloneNotSupportedException {
BindingObject clone = (BindingObject) super.clone();
clone.setPropertyChangeSupport(null);
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/CustomSortPropertySheetEntry.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/CustomSortPropertySheetEntry.java
index 1e1f7028..b9438f1f 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/CustomSortPropertySheetEntry.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/CustomSortPropertySheetEntry.java
@@ -33,6 +33,7 @@ public class CustomSortPropertySheetEntry extends UndoablePropertySheetEntry {
super(stack);
}
+ @Override
protected PropertySheetEntry createChildEntry() {
return new CustomSortPropertySheetEntry(getCommandStack());
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/EditorImageRegistry.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/EditorImageRegistry.java
index dd179eed..f7823a95 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/EditorImageRegistry.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/EditorImageRegistry.java
@@ -30,6 +30,7 @@ public class EditorImageRegistry implements IBMotionStudioImageRegistry {
public static final String IMG_SPLASH = "splash";
+ @Override
public void registerImages() {
BMotionStudioImage.registerImage(IMG_ICON_ADD,
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/ImageRegistry.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/ImageRegistry.java
index 69cd14cc..663abe46 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/ImageRegistry.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/ImageRegistry.java
@@ -12,6 +12,7 @@ public class ImageRegistry implements IBMotionStudioImageRegistry {
public static final String IMG_RADIOBUTTON_CHECKED = "img_radiobutton_checked";
public static final String IMG_RADIOBUTTON_UNCHECKED = "img_radiobutton_unchecked";
+ @Override
public void registerImages() {
BMotionStudioImage.registerImage(IMG_RADIOBUTTON_CHECKED,
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/InstallActions.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/InstallActions.java
index feb25246..5f80aef1 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/InstallActions.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/InstallActions.java
@@ -17,7 +17,7 @@ import de.bmotionstudio.gef.editor.action.RenameAction;
public class InstallActions extends AbstractInstallActions implements
IInstallActions {
-
+ @Override
public void installActions(final WorkbenchPart part) {
installAction(RenameAction.ID, new RenameAction(part));
installAction(FitImageAction.ID, new FitImageAction(part));
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/InstallMenu.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/InstallMenu.java
index b2c38c70..3359554c 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/InstallMenu.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/InstallMenu.java
@@ -21,7 +21,7 @@ import de.bmotionstudio.gef.editor.action.FitImageAction;
import de.bmotionstudio.gef.editor.action.RenameAction;
public class InstallMenu implements IInstallMenu {
-
+ @Override
public void installMenu(IMenuManager menu, ActionRegistry regitry) {
IAction action;
@@ -48,6 +48,7 @@ public class InstallMenu implements IInstallMenu {
}
+ @Override
public void installBar(IActionBars bars, ActionRegistry regitry) {
// bars.setGlobalActionHandler(ActionFactory.RENAME.getId(), regitry
// .getAction(ActionFactory.RENAME.getId()));
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/StaticListenerRegistry.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/StaticListenerRegistry.java
index ed344e1d..8c4bcdba 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/StaticListenerRegistry.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/StaticListenerRegistry.java
@@ -46,18 +46,21 @@ public class StaticListenerRegistry implements ILifecycleListener,
animationListeners.remove(listener);
}
+ @Override
public void reset() {
for (final ILifecycleListener listener : lifeCycleListeners) {
listener.reset();
}
}
+ @Override
public void computedState(final State state) {
for (final IComputationListener listener : computationListeners) {
listener.computedState(state);
}
}
+ @Override
public void currentStateChanged(final State currentState,
final Operation operation) {
for (final IAnimationListener listener : animationListeners) {
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/BMotionAbstractWizardDialog.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/BMotionAbstractWizardDialog.java
index 754134f8..e2460804 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/BMotionAbstractWizardDialog.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/BMotionAbstractWizardDialog.java
@@ -79,6 +79,7 @@ public abstract class BMotionAbstractWizardDialog extends WizardDialog {
final Cursor cursor = new Cursor(parent.getDisplay(), SWT.CURSOR_HAND);
toolBar.setCursor(cursor);
toolBar.addDisposeListener(new DisposeListener() {
+ @Override
public void widgetDisposed(DisposeEvent e) {
cursor.dispose();
}
@@ -87,6 +88,7 @@ public abstract class BMotionAbstractWizardDialog extends WizardDialog {
deleteToolItem.setImage(image);
deleteToolItem.setToolTipText(deleteToolTip);
deleteToolItem.addSelectionListener(new SelectionAdapter() {
+ @Override
public void widgetSelected(SelectionEvent e) {
deletePressed();
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/BringToBottomAction.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/BringToBottomAction.java
index 390b293e..f7ab08b1 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/BringToBottomAction.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/BringToBottomAction.java
@@ -29,6 +29,7 @@ public class BringToBottomAction extends SelectionAction {
setLazyEnablementCalculation(false);
}
+ @Override
protected void init() {
setText("Bring to bottom");
setToolTipText("Bring to bottom");
@@ -60,6 +61,7 @@ public class BringToBottomAction extends SelectionAction {
return command;
}
+ @Override
public void run() {
List<BControl> modelList = new ArrayList<BControl>();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/BringToBottomStepAction.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/BringToBottomStepAction.java
index 1ab64246..1d036eab 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/BringToBottomStepAction.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/BringToBottomStepAction.java
@@ -29,6 +29,7 @@ public class BringToBottomStepAction extends SelectionAction {
setLazyEnablementCalculation(false);
}
+ @Override
protected void init() {
setText("Bring to bottom (Step)");
setToolTipText("Bring to bottom (Step)");
@@ -60,6 +61,7 @@ public class BringToBottomStepAction extends SelectionAction {
return command;
}
+ @Override
public void run() {
List<BControl> modelList = new ArrayList<BControl>();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/BringToTopAction.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/BringToTopAction.java
index 23509f94..145a621d 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/BringToTopAction.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/BringToTopAction.java
@@ -29,6 +29,7 @@ public class BringToTopAction extends SelectionAction {
setLazyEnablementCalculation(false);
}
+ @Override
protected void init() {
setText("Bring to top");
setToolTipText("Bring to top");
@@ -59,6 +60,7 @@ public class BringToTopAction extends SelectionAction {
return command;
}
+ @Override
public void run() {
List<BControl> controlList = new ArrayList<BControl>();
List<?> selectedObjects = getSelectedObjects();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/BringToTopStepAction.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/BringToTopStepAction.java
index 19da6546..b436e7dc 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/BringToTopStepAction.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/BringToTopStepAction.java
@@ -29,6 +29,7 @@ public class BringToTopStepAction extends SelectionAction {
setLazyEnablementCalculation(false);
}
+ @Override
protected void init() {
setText("Bring to top (Step)");
setToolTipText("Bring to top (Step)");
@@ -60,6 +61,7 @@ public class BringToTopStepAction extends SelectionAction {
return command;
}
+ @Override
public void run() {
List<BControl> modelList = new ArrayList<BControl>();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/FitImageAction.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/FitImageAction.java
index 04170a9a..1525d3b0 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/FitImageAction.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/FitImageAction.java
@@ -36,6 +36,7 @@ public class FitImageAction extends SelectionAction {
setLazyEnablementCalculation(false);
}
+ @Override
protected void init() {
setText("Fit size to image");
setToolTipText("Fit size to image");
@@ -74,6 +75,7 @@ public class FitImageAction extends SelectionAction {
return command;
}
+ @Override
public void run() {
List<BControl> modelList = new ArrayList<BControl>();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/OpenSchedulerEventAction.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/OpenSchedulerEventAction.java
index 2a26f413..6dd84ab5 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/OpenSchedulerEventAction.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/OpenSchedulerEventAction.java
@@ -34,6 +34,7 @@ public class OpenSchedulerEventAction extends SelectionAction {
setLazyEnablementCalculation(true);
}
+ @Override
protected void init() {
setEnabled(false);
}
@@ -43,6 +44,7 @@ public class OpenSchedulerEventAction extends SelectionAction {
return true;
}
+ @Override
public void run() {
BControl bcontrol = getControl();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/PasteAction.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/PasteAction.java
index 1619bfb3..d428b240 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/PasteAction.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/PasteAction.java
@@ -28,6 +28,7 @@ public class PasteAction extends SelectionAction {
setLazyEnablementCalculation(true);
}
+ @Override
protected void init() {
super.init();
ISharedImages sharedImages = PlatformUI.getWorkbench()
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/RemoveObserverAction.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/RemoveObserverAction.java
index c4eeeb3d..b9ed05d0 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/RemoveObserverAction.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/RemoveObserverAction.java
@@ -27,6 +27,7 @@ public class RemoveObserverAction extends WorkbenchPartAction {
return true;
}
+ @Override
public void run() {
execute(createRemoveObserverCommand());
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/RemoveSchedulerEventAction.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/RemoveSchedulerEventAction.java
index 20a2d6f5..a40042f2 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/RemoveSchedulerEventAction.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/RemoveSchedulerEventAction.java
@@ -27,6 +27,7 @@ public class RemoveSchedulerEventAction extends WorkbenchPartAction {
return true;
}
+ @Override
public void run() {
execute(createRemoveSchedulerEventCommand());
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/RenameAction.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/RenameAction.java
index 3f3fa186..f3e5ccc6 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/RenameAction.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/RenameAction.java
@@ -32,6 +32,7 @@ public class RenameAction extends SelectionAction {
setLazyEnablementCalculation(false);
}
+ @Override
protected void init() {
setText("Rename...");
setToolTipText("Rename");
@@ -71,6 +72,7 @@ public class RenameAction extends SelectionAction {
return null;
}
+ @Override
public void run() {
BControl bcontrol = getSelectedBControl();
RenameWizard wizard = new RenameWizard(bcontrol.getAttributeValue(
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/RenameWizard.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/RenameWizard.java
index aba4d4c6..b7ed249e 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/RenameWizard.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/action/RenameWizard.java
@@ -27,6 +27,7 @@ public class RenameWizard extends Wizard {
setDescription("Rename a control");
}
+ @Override
public void createControl(final Composite parent) {
Composite composite = new Composite(parent, SWT.NONE);
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/AbstractAttribute.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/AbstractAttribute.java
index e12ab5f3..45a805e4 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/AbstractAttribute.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/AbstractAttribute.java
@@ -67,6 +67,7 @@ public abstract class AbstractAttribute implements IPropertySource, Cloneable {
propertyDescriptor = preparePropertyDescriptor();
if (propertyDescriptor != null) {
propertyDescriptor.setValidator(new ICellEditorValidator() {
+ @Override
public String isValid(Object value) {
return validateValue(value, control);
}
@@ -100,10 +101,12 @@ public abstract class AbstractAttribute implements IPropertySource, Cloneable {
return group;
}
+ @Override
public Object getEditableValue() {
return this;
}
+ @Override
public IPropertyDescriptor[] getPropertyDescriptors() {
ArrayList<IPropertyDescriptor> descriptor = new ArrayList<IPropertyDescriptor>();
for (AbstractAttribute atr : getChildren().values()) {
@@ -112,6 +115,7 @@ public abstract class AbstractAttribute implements IPropertySource, Cloneable {
return descriptor.toArray(new IPropertyDescriptor[0]);
}
+ @Override
public Object getPropertyValue(Object attrID) {
AbstractAttribute atr = getChildren().get(attrID);
if (atr.hasChildren()) {
@@ -121,13 +125,16 @@ public abstract class AbstractAttribute implements IPropertySource, Cloneable {
}
}
+ @Override
public boolean isPropertySet(Object id) {
return false;
}
+ @Override
public void resetPropertyValue(Object id) {
}
+ @Override
public void setPropertyValue(Object id, Object value) {
AbstractAttribute atr = children.get(id);
atr.setValue(value);
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/AttributeBlocks.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/AttributeBlocks.java
index fc909432..e93a3556 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/AttributeBlocks.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/AttributeBlocks.java
@@ -17,6 +17,7 @@ public class AttributeBlocks extends AbstractAttribute {
super(value);
}
+ @Override
public PropertyDescriptor preparePropertyDescriptor() {
IntegerPropertyDescriptor descriptor = new IntegerPropertyDescriptor(
getID(), getName());
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/AttributeFillColor.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/AttributeFillColor.java
index 3830b106..1416ce25 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/AttributeFillColor.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/AttributeFillColor.java
@@ -17,6 +17,7 @@ public class AttributeFillColor extends AbstractAttribute {
super(value);
}
+ @Override
public PropertyDescriptor preparePropertyDescriptor() {
return new ColorPropertyDescriptor(getID(), getName());
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/AttributeFillHeight.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/AttributeFillHeight.java
index 265280e3..545d597a 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/AttributeFillHeight.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/AttributeFillHeight.java
@@ -17,6 +17,7 @@ public class AttributeFillHeight extends AbstractAttribute {
super(value);
}
+ @Override
public PropertyDescriptor preparePropertyDescriptor() {
IntegerPropertyDescriptor descriptor = new IntegerPropertyDescriptor(
getID(), getName());
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/AttributeLights.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/AttributeLights.java
index 113f8443..6d27182a 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/AttributeLights.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/AttributeLights.java
@@ -17,6 +17,7 @@ public class AttributeLights extends AbstractAttribute {
super(value);
}
+ @Override
public PropertyDescriptor preparePropertyDescriptor() {
IntegerPropertyDescriptor descriptor = new IntegerPropertyDescriptor(
getID(), getName());
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/AttributeMeasureInterval.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/AttributeMeasureInterval.java
index 52f0ec33..1034c9d3 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/AttributeMeasureInterval.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/AttributeMeasureInterval.java
@@ -17,6 +17,7 @@ public class AttributeMeasureInterval extends AbstractAttribute {
super(value);
}
+ @Override
public PropertyDescriptor preparePropertyDescriptor() {
IntegerPropertyDescriptor descriptor = new IntegerPropertyDescriptor(
getID(), getName());
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/AttributeMeasureMaxPos.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/AttributeMeasureMaxPos.java
index f25d34e2..d203e2a1 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/AttributeMeasureMaxPos.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/AttributeMeasureMaxPos.java
@@ -17,6 +17,7 @@ public class AttributeMeasureMaxPos extends AbstractAttribute {
super(value);
}
+ @Override
public PropertyDescriptor preparePropertyDescriptor() {
IntegerPropertyDescriptor descriptor = new IntegerPropertyDescriptor(
getID(), getName());
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/AttributeShowMeasure.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/AttributeShowMeasure.java
index 244c0ed5..9c5a6099 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/AttributeShowMeasure.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/AttributeShowMeasure.java
@@ -17,6 +17,7 @@ public class AttributeShowMeasure extends AbstractAttribute {
super(value);
}
+ @Override
public PropertyDescriptor preparePropertyDescriptor() {
return new CheckboxPropertyDescriptor(getID(), getName());
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeAlpha.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeAlpha.java
index ced44636..51365572 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeAlpha.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeAlpha.java
@@ -17,6 +17,7 @@ public class BAttributeAlpha extends AbstractAttribute {
super(value);
}
+ @Override
public PropertyDescriptor preparePropertyDescriptor() {
SliderPropertyDescriptor descriptor = new SliderPropertyDescriptor(
getID(), getName());
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeBackgroundColor.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeBackgroundColor.java
index 72d0ad68..718cf29e 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeBackgroundColor.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeBackgroundColor.java
@@ -18,6 +18,7 @@ public class BAttributeBackgroundColor extends AbstractAttribute {
super(value);
}
+ @Override
public PropertyDescriptor preparePropertyDescriptor() {
return new ColorPropertyDescriptor(getID(), getName());
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeBackgroundVisible.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeBackgroundVisible.java
index 2fe7e5f9..839c6821 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeBackgroundVisible.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeBackgroundVisible.java
@@ -17,6 +17,7 @@ public class BAttributeBackgroundVisible extends AbstractAttribute {
super(value);
}
+ @Override
public PropertyDescriptor preparePropertyDescriptor() {
return new CheckboxPropertyDescriptor(getID(), getName());
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeColumns.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeColumns.java
index cf152178..36644dee 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeColumns.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeColumns.java
@@ -17,6 +17,7 @@ public class BAttributeColumns extends AbstractAttribute {
super(value);
}
+ @Override
public PropertyDescriptor preparePropertyDescriptor() {
IntegerPropertyDescriptor descriptor = new IntegerPropertyDescriptor(
getID(), getName());
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeConnection.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeConnection.java
index c6c41899..e95dd70e 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeConnection.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeConnection.java
@@ -20,6 +20,7 @@ public class BAttributeConnection extends AbstractAttribute {
PropertyDescriptor descriptor = new PropertyDescriptor(getID(),
getName());
descriptor.setLabelProvider(new LabelProvider() {
+ @Override
public String getText(Object element) {
return "";
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeCoordinates.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeCoordinates.java
index 0bd35762..fc7b6243 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeCoordinates.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeCoordinates.java
@@ -23,6 +23,7 @@ public class BAttributeCoordinates extends AbstractAttribute {
PropertyDescriptor descriptor = new PropertyDescriptor(getID(),
getName());
descriptor.setLabelProvider(new LabelProvider() {
+ @Override
public String getText(Object element) {
Point point = (Point) element;
StringBuffer buf = new StringBuffer();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeEnabled.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeEnabled.java
index 90e17ef0..1219a884 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeEnabled.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeEnabled.java
@@ -17,6 +17,7 @@ public class BAttributeEnabled extends AbstractAttribute {
super(value);
}
+ @Override
public PropertyDescriptor preparePropertyDescriptor() {
return new CheckboxPropertyDescriptor(getID(), getName());
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeFont.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeFont.java
index 9f8c3d87..53058f71 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeFont.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeFont.java
@@ -16,6 +16,7 @@ public class BAttributeFont extends AbstractAttribute {
super(value);
}
+ @Override
public PropertyDescriptor preparePropertyDescriptor() {
return new FontPropertyDescriptor(getID(), getName());
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeForegroundColor.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeForegroundColor.java
index 298d82bf..b314f915 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeForegroundColor.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeForegroundColor.java
@@ -18,6 +18,7 @@ public class BAttributeForegroundColor extends AbstractAttribute {
super(value);
}
+ @Override
public PropertyDescriptor preparePropertyDescriptor() {
return new ColorPropertyDescriptor(getID(), getName());
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeHeight.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeHeight.java
index a4eec8e5..080c0033 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeHeight.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeHeight.java
@@ -17,6 +17,7 @@ public class BAttributeHeight extends AbstractAttribute {
super(value);
}
+ @Override
public PropertyDescriptor preparePropertyDescriptor() {
IntegerPropertyDescriptor descriptor = new IntegerPropertyDescriptor(
getID(), getName());
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeID.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeID.java
index 21ce6046..3ddb02dc 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeID.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeID.java
@@ -17,6 +17,7 @@ public class BAttributeID extends AbstractAttribute {
super(value);
}
+ @Override
public PropertyDescriptor preparePropertyDescriptor() {
TextPropertyDescriptor descriptor = new TextPropertyDescriptor(getID(),
getName());
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeImage.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeImage.java
index d17d58ff..de972447 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeImage.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeImage.java
@@ -20,10 +20,12 @@ public class BAttributeImage extends AbstractAttribute {
super(value);
}
+ @Override
public PropertyDescriptor preparePropertyDescriptor() {
return new ImagePropertyDescriptor(getID(), getName());
}
+ @Override
public String validateValue(Object value, BControl control) {
if (value != null) {
String fImage = value.toString();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeLineWidth.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeLineWidth.java
index 355cf986..889a6796 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeLineWidth.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeLineWidth.java
@@ -7,6 +7,7 @@ import de.bmotionstudio.gef.editor.property.IntegerPropertyDescriptor;
public class BAttributeLineWidth extends AbstractAttribute {
+ @Override
public PropertyDescriptor preparePropertyDescriptor() {
IntegerPropertyDescriptor descriptor = new IntegerPropertyDescriptor(
getID(), getName());
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeMain.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeMain.java
index 42826563..212c510c 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeMain.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeMain.java
@@ -20,6 +20,7 @@ public class BAttributeMain extends AbstractAttribute {
PropertyDescriptor descriptor = new PropertyDescriptor(getID(),
getName());
descriptor.setLabelProvider(new LabelProvider() {
+ @Override
public String getText(Object element) {
return "";
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeMisc.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeMisc.java
index cffc3cea..875c6d5b 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeMisc.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeMisc.java
@@ -20,6 +20,7 @@ public class BAttributeMisc extends AbstractAttribute {
PropertyDescriptor descriptor = new PropertyDescriptor(getID(),
getName());
descriptor.setLabelProvider(new LabelProvider() {
+ @Override
public String getText(Object element) {
return "";
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeOffsetH.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeOffsetH.java
index 89116bc2..b8f46598 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeOffsetH.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeOffsetH.java
@@ -17,6 +17,7 @@ public class BAttributeOffsetH extends AbstractAttribute {
super(value);
}
+ @Override
public PropertyDescriptor preparePropertyDescriptor() {
IntegerPropertyDescriptor descriptor = new IntegerPropertyDescriptor(
getID(), getName());
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeOffsetV.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeOffsetV.java
index 1dd63241..40fc9e50 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeOffsetV.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeOffsetV.java
@@ -17,6 +17,7 @@ public class BAttributeOffsetV extends AbstractAttribute {
super(value);
}
+ @Override
public PropertyDescriptor preparePropertyDescriptor() {
IntegerPropertyDescriptor descriptor = new IntegerPropertyDescriptor(
getID(), getName());
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeOutlineAlpha.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeOutlineAlpha.java
index dd3ce6d1..f9ddf731 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeOutlineAlpha.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeOutlineAlpha.java
@@ -17,12 +17,14 @@ public class BAttributeOutlineAlpha extends AbstractAttribute {
super(value);
}
+ @Override
public PropertyDescriptor preparePropertyDescriptor() {
SliderPropertyDescriptor descriptor = new SliderPropertyDescriptor(
getID(), getName());
return descriptor;
}
+ @Override
public String validateValue(Object value, BControl control) {
if (!(String.valueOf(value)).trim().matches("\\d*")) {
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeRows.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeRows.java
index 578a8253..db7653bd 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeRows.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeRows.java
@@ -17,6 +17,7 @@ public class BAttributeRows extends AbstractAttribute {
super(value);
}
+ @Override
public PropertyDescriptor preparePropertyDescriptor() {
IntegerPropertyDescriptor descriptor = new IntegerPropertyDescriptor(
getID(), getName());
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeSize.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeSize.java
index 3354a569..f88b629c 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeSize.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeSize.java
@@ -25,6 +25,7 @@ public class BAttributeSize extends AbstractAttribute {
PropertyDescriptor descriptor = new PropertyDescriptor(getID(),
getName());
descriptor.setLabelProvider(new LabelProvider() {
+ @Override
public String getText(Object element) {
Point point = (Point) element;
StringBuffer buf = new StringBuffer();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeText.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeText.java
index d9d0ab66..bf9a6127 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeText.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeText.java
@@ -15,6 +15,7 @@ public class BAttributeText extends AbstractAttribute {
super(value);
}
+ @Override
public PropertyDescriptor preparePropertyDescriptor() {
return new TextPropertyDescriptor(getID(), getName());
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeTextColor.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeTextColor.java
index 4e2da94c..02d8c630 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeTextColor.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeTextColor.java
@@ -18,6 +18,7 @@ public class BAttributeTextColor extends AbstractAttribute {
super(value);
}
+ @Override
public PropertyDescriptor preparePropertyDescriptor() {
return new ColorPropertyDescriptor(getID(), getName());
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeVisible.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeVisible.java
index 96961a53..3fa80477 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeVisible.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeVisible.java
@@ -17,6 +17,7 @@ public class BAttributeVisible extends AbstractAttribute {
super(value);
}
+ @Override
public PropertyDescriptor preparePropertyDescriptor() {
return new CheckboxPropertyDescriptor(getID(), getName());
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeWidth.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeWidth.java
index bcb310e7..18d6b1b0 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeWidth.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeWidth.java
@@ -17,6 +17,7 @@ public class BAttributeWidth extends AbstractAttribute {
super(value);
}
+ @Override
public PropertyDescriptor preparePropertyDescriptor() {
IntegerPropertyDescriptor descriptor = new IntegerPropertyDescriptor(
getID(), getName());
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeX.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeX.java
index 2ff72c75..cad838e7 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeX.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeX.java
@@ -17,6 +17,7 @@ public class BAttributeX extends AbstractAttribute {
super(value);
}
+ @Override
public PropertyDescriptor preparePropertyDescriptor() {
IntegerPropertyDescriptor descriptor = new IntegerPropertyDescriptor(
getID(), getName());
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeY.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeY.java
index a48a0e28..210e1b2d 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeY.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/attribute/BAttributeY.java
@@ -17,6 +17,7 @@ public class BAttributeY extends AbstractAttribute {
super(value);
}
+ @Override
public PropertyDescriptor preparePropertyDescriptor() {
IntegerPropertyDescriptor descriptor = new IntegerPropertyDescriptor(
getID(), getName());
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/AddCommand.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/AddCommand.java
index 6c1fd1e4..2c2fd5c6 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/AddCommand.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/AddCommand.java
@@ -18,6 +18,7 @@ public class AddCommand extends org.eclipse.gef.commands.Command {
super("Add Control");
}
+ @Override
public void execute() {
if (index < 0)
parent.addChild(child);
@@ -29,6 +30,7 @@ public class AddCommand extends org.eclipse.gef.commands.Command {
return parent;
}
+ @Override
public void redo() {
if (index < 0)
parent.addChild(child);
@@ -48,6 +50,7 @@ public class AddCommand extends org.eclipse.gef.commands.Command {
parent = newParent;
}
+ @Override
public void undo() {
parent.removeChild(child);
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/BControlChangeLayoutCommand.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/BControlChangeLayoutCommand.java
index 0362ff94..f9649f7f 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/BControlChangeLayoutCommand.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/BControlChangeLayoutCommand.java
@@ -16,14 +16,17 @@ public class BControlChangeLayoutCommand extends AbstractLayoutCommand {
private Rectangle newLayout;
private Rectangle oldLayout;
+ @Override
public void execute() {
control.setLayout(newLayout);
}
+ @Override
public void setConstraint(Rectangle rect) {
newLayout = rect;
}
+ @Override
public void setModel(Object model) {
control = (BControl) model;
oldLayout = control.getLayout();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/BringToBottomCommand.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/BringToBottomCommand.java
index b31565dc..8529859b 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/BringToBottomCommand.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/BringToBottomCommand.java
@@ -11,6 +11,7 @@ import de.bmotionstudio.gef.editor.model.BControlPropertyConstants;
public class BringToBottomCommand extends AbstractBringToCommand {
+ @Override
public void execute() {
for (BControl control : getControlList()) {
BControl parent = control.getParent();
@@ -23,6 +24,7 @@ public class BringToBottomCommand extends AbstractBringToCommand {
}
}
+ @Override
public void undo() {
for (BControl control : getControlList()) {
BControl parent = control.getParent();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/BringToBottomStepCommand.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/BringToBottomStepCommand.java
index 831cc487..6f4a2509 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/BringToBottomStepCommand.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/BringToBottomStepCommand.java
@@ -11,6 +11,7 @@ import de.bmotionstudio.gef.editor.model.BControlPropertyConstants;
public class BringToBottomStepCommand extends AbstractBringToCommand {
+ @Override
public void execute() {
for (BControl control : getControlList()) {
BControl parent = control.getParent();
@@ -26,6 +27,7 @@ public class BringToBottomStepCommand extends AbstractBringToCommand {
}
}
+ @Override
public void undo() {
for (BControl control : getControlList()) {
BControl parent = control.getParent();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/BringToTopCommand.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/BringToTopCommand.java
index aaee09d3..b01cad1d 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/BringToTopCommand.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/BringToTopCommand.java
@@ -11,6 +11,7 @@ import de.bmotionstudio.gef.editor.model.BControlPropertyConstants;
public class BringToTopCommand extends AbstractBringToCommand {
+ @Override
public void execute() {
for (BControl control : getControlList()) {
BControl parent = control.getParent();
@@ -24,6 +25,7 @@ public class BringToTopCommand extends AbstractBringToCommand {
}
}
+ @Override
public void undo() {
for (BControl control : getControlList()) {
BControl parent = control.getParent();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/BringToTopStepCommand.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/BringToTopStepCommand.java
index d5c2cb1f..4e8f71d2 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/BringToTopStepCommand.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/BringToTopStepCommand.java
@@ -11,6 +11,7 @@ import de.bmotionstudio.gef.editor.model.BControlPropertyConstants;
public class BringToTopStepCommand extends AbstractBringToCommand {
+ @Override
public void execute() {
for (BControl control : getControlList()) {
BControl parent = control.getParent();
@@ -26,6 +27,7 @@ public class BringToTopStepCommand extends AbstractBringToCommand {
}
}
+ @Override
public void undo() {
for (BControl control : getControlList()) {
BControl parent = control.getParent();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/ChangeGuideCommand.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/ChangeGuideCommand.java
index f131dd3a..02bf74b6 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/ChangeGuideCommand.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/ChangeGuideCommand.java
@@ -40,6 +40,7 @@ public class ChangeGuideCommand extends Command {
}
+ @Override
public void execute() {
// Cache the old values
oldGuide = horizontal ? part.getHorizontalGuide() : part
@@ -50,6 +51,7 @@ public class ChangeGuideCommand extends Command {
redo();
}
+ @Override
public void redo() {
changeGuide(oldGuide, newGuide, newAlign);
}
@@ -59,6 +61,7 @@ public class ChangeGuideCommand extends Command {
newAlign = alignment;
}
+ @Override
public void undo() {
changeGuide(newGuide, oldGuide, oldAlign);
}
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 a28d84a7..9095f38a 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,6 +67,7 @@ public class ConnectionCreateCommand extends Command {
this.source = source;
}
+ @Override
public boolean canExecute() {
// disallow source -> source connections
if (source.equals(target)) {
@@ -83,6 +84,7 @@ public class ConnectionCreateCommand extends Command {
return true;
}
+ @Override
public void execute() {
// create a new connection between source and target
connection.setSource(source);
@@ -90,6 +92,7 @@ public class ConnectionCreateCommand extends Command {
connection.reconnect();
}
+ @Override
public void redo() {
connection.reconnect();
}
@@ -109,6 +112,7 @@ public class ConnectionCreateCommand extends Command {
this.target = target;
}
+ @Override
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 7f6eb565..a1771b63 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,10 +41,12 @@ public class ConnectionDeleteCommand extends Command {
this.connection = conn;
}
+ @Override
public void execute() {
connection.disconnect();
}
+ @Override
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 28c9d0e4..ca018693 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,6 +58,7 @@ public class ConnectionReconnectCommand extends Command {
/** The original target endpoint. */
private BControl oldTarget;
+ @Override
public boolean canExecute() {
if (newSource != null) {
return checkSourceReconnection();
@@ -117,6 +118,7 @@ public class ConnectionReconnectCommand extends Command {
* Reconnect the connection to newSource (if setNewSource(...) was invoked
* before) or newTarget (if setNewTarget(...) was invoked before).
*/
+ @Override
public void execute() {
if (newSource != null) {
connection.reconnect(newSource, oldTarget);
@@ -186,6 +188,7 @@ public class ConnectionReconnectCommand extends Command {
/**
* Reconnect the connection to its original source and target endpoints.
*/
+ @Override
public void undo() {
connection.reconnect(oldSource, oldTarget);
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/CreateGuideCommand.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/CreateGuideCommand.java
index a4f452e9..75b86333 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/CreateGuideCommand.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/CreateGuideCommand.java
@@ -23,10 +23,12 @@ public class CreateGuideCommand extends Command {
this.position = position;
}
+ @Override
public boolean canUndo() {
return true;
}
+ @Override
public void execute() {
if (guide == null)
guide = new BMotionGuide(!parent.isHorizontal());
@@ -34,6 +36,7 @@ public class CreateGuideCommand extends Command {
parent.addGuide(guide);
}
+ @Override
public void undo() {
parent.removeGuide(guide);
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/DeleteGuideCommand.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/DeleteGuideCommand.java
index 4bb00016..23aecb14 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/DeleteGuideCommand.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/DeleteGuideCommand.java
@@ -27,10 +27,12 @@ public class DeleteGuideCommand extends Command {
this.parent = parent;
}
+ @Override
public boolean canUndo() {
return true;
}
+ @Override
public void execute() {
oldParts = new HashMap<BControl, Integer>(guide.getMap());
Iterator<BControl> iter = oldParts.keySet().iterator();
@@ -40,6 +42,7 @@ public class DeleteGuideCommand extends Command {
parent.removeGuide(guide);
}
+ @Override
public void undo() {
parent.addGuide(guide);
Iterator<BControl> iter = oldParts.keySet().iterator();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/MoveGuideCommand.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/MoveGuideCommand.java
index c92ac806..b217f191 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/MoveGuideCommand.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/MoveGuideCommand.java
@@ -25,6 +25,7 @@ public class MoveGuideCommand extends Command {
pDelta = positionDelta;
}
+ @Override
public void execute() {
guide.setPosition(guide.getPosition() + pDelta);
@@ -43,6 +44,7 @@ public class MoveGuideCommand extends Command {
}
+ @Override
public void undo() {
guide.setPosition(guide.getPosition() - pDelta);
Iterator<BControl> iter = guide.getParts().iterator();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/RemoveObserverCommand.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/RemoveObserverCommand.java
index c8afdf5d..9f1fdcf2 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/RemoveObserverCommand.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/RemoveObserverCommand.java
@@ -16,14 +16,17 @@ public class RemoveObserverCommand extends Command {
private BControl control;
private Observer observer;
+ @Override
public void execute() {
control.removeObserver(observer.getID());
}
+ @Override
public boolean canExecute() {
return true;
}
+ @Override
public void undo() {
control.addObserver(observer);
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/RemoveSchedulerEventCommand.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/RemoveSchedulerEventCommand.java
index 6a13866e..400c3a25 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/RemoveSchedulerEventCommand.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/RemoveSchedulerEventCommand.java
@@ -16,14 +16,17 @@ public class RemoveSchedulerEventCommand extends Command {
private BControl control;
private SchedulerEvent schedulerEvent;
+ @Override
public void execute() {
control.removeEvent(schedulerEvent.getEventID());
}
+ @Override
public boolean canExecute() {
return true;
}
+ @Override
public void undo() {
control.addEvent(schedulerEvent.getEventID(), schedulerEvent);
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/ReorderPartCommand.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/ReorderPartCommand.java
index d03fbf90..c4a636af 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/ReorderPartCommand.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/ReorderPartCommand.java
@@ -22,12 +22,14 @@ public class ReorderPartCommand extends Command {
this.newIndex = newIndex;
}
+ @Override
public void execute() {
oldIndex = parent.getChildrenArray().indexOf(child);
parent.removeChild(child);
parent.addChild(child, newIndex);
}
+ @Override
public void undo() {
parent.removeChild(child);
parent.addChild(child, oldIndex);
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/SchedulerEventCommand.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/SchedulerEventCommand.java
index 94f35894..e32dd93c 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/SchedulerEventCommand.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/SchedulerEventCommand.java
@@ -20,6 +20,7 @@ public class SchedulerEventCommand extends Command {
private SchedulerEvent clonedNewSchedulerEvent;
private BControl control;
+ @Override
public void execute() {
try {
@@ -33,10 +34,12 @@ public class SchedulerEventCommand extends Command {
}
+ @Override
public boolean canExecute() {
return true;
}
+ @Override
public void undo() {
// Remove completely new Observer
@@ -48,6 +51,7 @@ public class SchedulerEventCommand extends Command {
}
+ @Override
public void redo() {
control.addEvent(eventID, clonedNewSchedulerEvent);
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/SetObserverCommand.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/SetObserverCommand.java
index 784bba52..30326a4e 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/SetObserverCommand.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/command/SetObserverCommand.java
@@ -18,6 +18,7 @@ public class SetObserverCommand extends Command {
private Observer clonedNewObserver;
private BControl control;
+ @Override
public void execute() {
// Clone the new observer
try {
@@ -29,12 +30,14 @@ public class SetObserverCommand extends Command {
control.addObserver(newObserver);
}
+ @Override
public boolean canExecute() {
if (newObserver == null || control == null)
return false;
return true;
}
+ @Override
public void undo() {
// If we had an old observer, set the old one
if (oldObserver != null) {
@@ -45,6 +48,7 @@ public class SetObserverCommand extends Command {
}
}
+ @Override
public void redo() {
// Redo method adds the cloned observer, since the observer could be
// changed during set and redo action
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/edit/IntEditingSupport.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/edit/IntEditingSupport.java
index ba70873a..dec6ec89 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/edit/IntEditingSupport.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/edit/IntEditingSupport.java
@@ -30,6 +30,7 @@ public class IntEditingSupport extends ObservableValueEditingSupport {
this.atr = atr;
cellEditor = new TextCellEditor((Composite) tv.getControl());
cellEditor.getControl().addListener(SWT.Verify, new Listener() {
+ @Override
public void handleEvent(Event e) {
String string = e.text;
char[] chars = new char[string.length()];
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/edit/TextCellEditorLocator.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/edit/TextCellEditorLocator.java
index ff822972..e9df675b 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/edit/TextCellEditorLocator.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/edit/TextCellEditorLocator.java
@@ -20,6 +20,7 @@ public class TextCellEditorLocator implements CellEditorLocator {
setTextField(textField);
}
+ @Override
public void relocate(CellEditor celleditor) {
Text text = (Text) celleditor.getControl();
Rectangle rect = textField.getClientArea();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/edit/TextCellEditorWithContentProposal.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/edit/TextCellEditorWithContentProposal.java
index 9aed0adb..b5daaf1e 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/edit/TextCellEditorWithContentProposal.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/edit/TextCellEditorWithContentProposal.java
@@ -42,12 +42,13 @@ public class TextCellEditorWithContentProposal extends TextCellEditor {
// correctly
contentProposalAdapter
.addContentProposalListener(new IContentProposalListener2() {
-
+ @Override
public void proposalPopupClosed(
ContentProposalAdapter adapter) {
popupOpen = false;
}
+ @Override
public void proposalPopupOpened(
ContentProposalAdapter adapter) {
popupOpen = true;
@@ -64,6 +65,7 @@ public class TextCellEditorWithContentProposal extends TextCellEditor {
return contentProposalAdapter;
}
+ @Override
protected void focusLost() {
if (!popupOpen) {
// Focus lost deactivates the cell editor.
@@ -73,6 +75,7 @@ public class TextCellEditorWithContentProposal extends TextCellEditor {
}
}
+ @Override
protected boolean dependsOnExternalFocusListener() {
// Always return false;
// Otherwise, the ColumnViewerEditor will install an additional focus
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/edit/TextEditManager.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/edit/TextEditManager.java
index d26b48a3..c4047060 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/edit/TextEditManager.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/edit/TextEditManager.java
@@ -36,6 +36,7 @@ public class TextEditManager extends DirectEditManager {
private double cachedZoom = -1.0;
private Font scaledFont;
private ZoomListener zoomListener = new ZoomListener() {
+ @Override
public void zoomChanged(double newZoom) {
updateScaledFont(newZoom);
}
@@ -48,6 +49,7 @@ public class TextEditManager extends DirectEditManager {
/**
* @see org.eclipse.gef.tools.DirectEditManager#bringDown()
*/
+ @Override
protected void bringDown() {
ZoomManager zoomMgr = (ZoomManager) getEditPart().getViewer()
.getProperty(ZoomManager.class.toString());
@@ -69,6 +71,7 @@ public class TextEditManager extends DirectEditManager {
disposeScaledFont();
}
+ @Override
protected CellEditor createCellEditorOn(Composite composite) {
return new TextCellEditor(composite, SWT.NONE);
}
@@ -80,6 +83,7 @@ public class TextEditManager extends DirectEditManager {
}
}
+ @Override
protected void initCellEditor() {
// update text
IFigure figure = (IFigure) getEditPart().getFigure();
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 54d63dc1..a4cd6587 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,6 +17,7 @@ import de.bmotionstudio.gef.editor.model.BConnection;
import de.bmotionstudio.gef.editor.model.BControl;
public class BMSConnectionEditPolicy extends GraphicalNodeEditPolicy {
+ @Override
protected Command getConnectionCompleteCommand(
CreateConnectionRequest request) {
ConnectionCreateCommand cmd = null;
@@ -28,6 +29,7 @@ public class BMSConnectionEditPolicy extends GraphicalNodeEditPolicy {
return cmd;
}
+ @Override
protected Command getConnectionCreateCommand(CreateConnectionRequest request) {
ConnectionCreateCommand cmd = null;
Object newObject = request.getNewObject();
@@ -42,6 +44,7 @@ public class BMSConnectionEditPolicy extends GraphicalNodeEditPolicy {
return cmd;
}
+ @Override
protected Command getReconnectSourceCommand(ReconnectRequest request) {
ConnectionReconnectCommand cmd = null;
Object newObject = request.getConnectionEditPart().getModel();
@@ -55,6 +58,7 @@ public class BMSConnectionEditPolicy extends GraphicalNodeEditPolicy {
return cmd;
}
+ @Override
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/editpolicy/BMSDeletePolicy.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/editpolicy/BMSDeletePolicy.java
index c29e2b45..b2219b69 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/editpolicy/BMSDeletePolicy.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/editpolicy/BMSDeletePolicy.java
@@ -14,7 +14,7 @@ import de.bmotionstudio.gef.editor.command.DeleteCommand;
import de.bmotionstudio.gef.editor.model.BControl;
public class BMSDeletePolicy extends ComponentEditPolicy {
-
+ @Override
protected Command createDeleteCommand(GroupRequest deleteRequest) {
DeleteCommand command = new DeleteCommand((BControl) getHost()
.getModel(), (BControl) getHost().getParent().getModel());
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/editpolicy/BMSResizableEditPolicy.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/editpolicy/BMSResizableEditPolicy.java
index daff32a9..2b28636a 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/editpolicy/BMSResizableEditPolicy.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/editpolicy/BMSResizableEditPolicy.java
@@ -22,6 +22,7 @@ public class BMSResizableEditPolicy extends ResizableEditPolicy {
*
* @return the new feedback figure
*/
+ @Override
protected IFigure createDragSourceFeedbackFigure() {
IFigure figure = createFigure((GraphicalEditPart) getHost(), null);
figure.setBounds(getInitialFeedbackBounds());
@@ -69,6 +70,7 @@ public class BMSResizableEditPolicy extends ResizableEditPolicy {
*
* @return the feedback layer
*/
+ @Override
protected IFigure getFeedbackLayer() {
return getLayer(LayerConstants.SCALED_FEEDBACK_LAYER);
}
@@ -76,6 +78,7 @@ public class BMSResizableEditPolicy extends ResizableEditPolicy {
/**
* @see org.eclipse.gef.editpolicies.NonResizableEditPolicy#getInitialFeedbackBounds()
*/
+ @Override
protected Rectangle getInitialFeedbackBounds() {
return getHostFigure().getBounds();
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/editpolicy/ChangeAttributePolicy.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/editpolicy/ChangeAttributePolicy.java
index 73808cfd..473b343b 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/editpolicy/ChangeAttributePolicy.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/editpolicy/ChangeAttributePolicy.java
@@ -40,6 +40,7 @@ public class ChangeAttributePolicy extends AbstractEditPolicy {
return null;
}
+ @Override
public EditPart getTargetEditPart(Request request) {
if ("change attribute" == request.getType())
return getHost();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/editpolicy/CustomDirectEditPolicy.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/editpolicy/CustomDirectEditPolicy.java
index 0c496a2f..c9ed87d7 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/editpolicy/CustomDirectEditPolicy.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/editpolicy/CustomDirectEditPolicy.java
@@ -19,6 +19,7 @@ public class CustomDirectEditPolicy extends DirectEditPolicy {
/**
* @see CustomDirectEditPolicy#getDirectEditCommand(DirectEditRequest)
*/
+ @Override
protected Command getDirectEditCommand(DirectEditRequest edit) {
String labelText = (String) edit.getCellEditor().getValue();
BMSAbstractEditPart label = (BMSAbstractEditPart) getHost();
@@ -31,6 +32,7 @@ public class CustomDirectEditPolicy extends DirectEditPolicy {
/**
* @see CustomDirectEditPolicy#showCurrentEditValue(DirectEditRequest)
*/
+ @Override
protected void showCurrentEditValue(DirectEditRequest request) {
// String value = (String) request.getCellEditor().getValue();
getHostFigure().getUpdateManager().performUpdate();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/editpolicy/SignalLayoutEditPolicy.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/editpolicy/SignalLayoutEditPolicy.java
index ff781485..f7bead2b 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/editpolicy/SignalLayoutEditPolicy.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/editpolicy/SignalLayoutEditPolicy.java
@@ -224,6 +224,7 @@ public class SignalLayoutEditPolicy extends FlowLayoutEditPolicy {
/**
* @see org.eclipse.gef.editpolicies.LayoutEditPolicy#createChildEditPolicy(org.eclipse.gef.EditPart)
*/
+ @Override
protected EditPolicy createChildEditPolicy(EditPart child) {
BMSResizableEditPolicy policy = new BMSResizableEditPolicy();
policy.setResizeDirections(PositionConstants.EAST
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/editpolicy/TableLayoutEditPolicy.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/editpolicy/TableLayoutEditPolicy.java
index 4e2d6405..b8187bdf 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/editpolicy/TableLayoutEditPolicy.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/editpolicy/TableLayoutEditPolicy.java
@@ -227,6 +227,7 @@ public class TableLayoutEditPolicy extends FlowLayoutEditPolicy {
/**
* @see org.eclipse.gef.editpolicies.LayoutEditPolicy#createChildEditPolicy(org.eclipse.gef.EditPart)
*/
+ @Override
protected EditPolicy createChildEditPolicy(EditPart child) {
BMSResizableEditPolicy policy = new BMSResizableEditPolicy();
policy.setResizeDirections(PositionConstants.EAST
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/eventb/MachineContentObject.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/eventb/MachineContentObject.java
index b30211bc..4d03c821 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/eventb/MachineContentObject.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/eventb/MachineContentObject.java
@@ -28,6 +28,7 @@ public class MachineContentObject extends BindingObject {
return label;
}
+ @Override
public String toString() {
return this.label;
}
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 02e82868..5c2ac5b4 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
@@ -119,6 +119,7 @@ public class BMSImageFigure extends AbstractBMotionFigure {
}
Display.getDefault().asyncExec(new Runnable() {
+ @Override
public void run() {
// Increase the variable holding the frame
// number
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 d9bc6d71..747e192e 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
@@ -60,6 +60,7 @@ public class CompositeFigure extends AbstractBMotionFigure {
}
}
+ @Override
public void paintFigure(Graphics g) {
if (getImage() == null)
return;
@@ -120,6 +121,7 @@ public class CompositeFigure extends AbstractBMotionFigure {
*
* @see org.eclipse.draw2d.Figure#getPreferredSize(int, int)
*/
+ @Override
public Dimension getPreferredSize(int wHint, int hHint) {
if (getInsets() == NO_INSETS)
return size;
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 689350bd..6c679acc 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
@@ -31,12 +31,14 @@ public class FixedConnectionAnchor extends AbstractConnectionAnchor {
/**
* @see org.eclipse.draw2d.AbstractConnectionAnchor#ancestorMoved(IFigure)
*/
+ @Override
public void ancestorMoved(IFigure figure) {
if (figure instanceof ScalableFigure)
return;
super.ancestorMoved(figure);
}
+ @Override
public Point getLocation(Point reference) {
Rectangle r = getOwner().getBounds();
@@ -57,6 +59,7 @@ public class FixedConnectionAnchor extends AbstractConnectionAnchor {
}
+ @Override
public Point getReferencePoint() {
return getLocation(null);
}
@@ -79,6 +82,7 @@ public class FixedConnectionAnchor extends AbstractConnectionAnchor {
fireAnchorMoved();
}
+ @Override
public boolean equals(Object o) {
if (o instanceof FixedConnectionAnchor) {
FixedConnectionAnchor fa = (FixedConnectionAnchor) o;
@@ -94,6 +98,7 @@ public class FixedConnectionAnchor extends AbstractConnectionAnchor {
return false;
}
+ @Override
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/MouseClickAdapter.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/figure/MouseClickAdapter.java
index 00b0b848..587073c9 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/figure/MouseClickAdapter.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/figure/MouseClickAdapter.java
@@ -20,11 +20,13 @@ public class MouseClickAdapter extends MouseAdapter {
this.control = control;
}
+ @Override
public void mousePressed(MouseEvent e) {
control.executeEvent(AttributeConstants.EVENT_MOUSECLICK);
}
// TODO: change mouse cursor!
+ @Override
public void mouseEntered(MouseEvent e) {
if (control.getEvent(AttributeConstants.EVENT_MOUSECLICK) != null) {
if (control.getAttributeValue(AttributeConstants.ATTRIBUTE_ENABLED) != null) {
@@ -37,6 +39,7 @@ public class MouseClickAdapter extends MouseAdapter {
}
// TODO: change mouse cursor!
+ @Override
public void mouseExited(MouseEvent e) {
if (control.getEvent(AttributeConstants.EVENT_MOUSECLICK) != 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 1aa81986..efaf78de 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
@@ -252,6 +252,7 @@ public class ShapeFigure extends AbstractBMotionFigure {
/**
* @see IFigure#validate()
*/
+ @Override
public void validate() {
super.validate();
@@ -337,6 +338,7 @@ public class ShapeFigure extends AbstractBMotionFigure {
/**
* @see Figure#primTranslate(int, int)
*/
+ @Override
public void primTranslate(int dx, int dy) {
super.primTranslate(dx, dy);
switch (shape) {
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 ce3567bd..daf6e7f2 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
@@ -75,6 +75,7 @@ public class TextFigure extends AbstractBMotionFigure {
}
// TODO: CHECK STACK OVERFLOW ERROR!!!!
+ @Override
public Font getFont() {
return textFlow.getFont();
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/handler/StartVisualizationEditorHandler.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/handler/StartVisualizationEditorHandler.java
index a2063106..c6150728 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/handler/StartVisualizationEditorHandler.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/handler/StartVisualizationEditorHandler.java
@@ -28,6 +28,7 @@ public class StartVisualizationEditorHandler extends AbstractHandler implements
private VisualizationProgressBar dpb;
+ @Override
public Object execute(final ExecutionEvent event) throws ExecutionException {
if (BMotionEditorPlugin.getActiveEditor().isDirty()) {
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/handler/StartVisualizationFileHandler.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/handler/StartVisualizationFileHandler.java
index 1accf0bf..271d7eef 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/handler/StartVisualizationFileHandler.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/handler/StartVisualizationFileHandler.java
@@ -41,6 +41,7 @@ public class StartVisualizationFileHandler extends AbstractHandler implements
private VisualizationProgressBar dpb;
private BMotionStudioEditor activeEditor;
+ @Override
public Object execute(final ExecutionEvent event) throws ExecutionException {
fSelection = HandlerUtil.getCurrentSelection(event);
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/BMotionFileInputValidator.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/BMotionFileInputValidator.java
index 2f01cc79..da209d7c 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/BMotionFileInputValidator.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/BMotionFileInputValidator.java
@@ -20,6 +20,7 @@ public class BMotionFileInputValidator implements IInputValidator {
this.prj = prj;
}
+ @Override
public String isValid(String newText) {
IRodinFile rodinFile = prj.getRodinFile(newText + "."
+ BMotionEditorPlugin.FILEEXT_STUDIO);
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/BMotionLabelProvider.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/BMotionLabelProvider.java
index 925bdc09..ff15d029 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/BMotionLabelProvider.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/BMotionLabelProvider.java
@@ -13,11 +13,12 @@ import org.eclipse.swt.graphics.Image;
import de.bmotionstudio.gef.editor.BMotionStudioImage;
public class BMotionLabelProvider implements ILabelProvider {
-
+ @Override
public Image getImage(final Object element) {
return BMotionStudioImage.getImage(BMotionStudioImage.IMG_LOGO_BMOTION);
}
+ @Override
public String getText(final Object element) {
if (element instanceof BMotionStudioRodinFile)
@@ -27,18 +28,22 @@ public class BMotionLabelProvider implements ILabelProvider {
}
+ @Override
public void addListener(final ILabelProviderListener listener) {
}
+ @Override
public void dispose() {
}
+ @Override
public boolean isLabelProperty(final Object element, final String property) {
return false;
}
+ @Override
public void removeListener(final ILabelProviderListener listener) {
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/BMotionStudioContentProvider.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/BMotionStudioContentProvider.java
index ce9ebd95..fe6f9ab8 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/BMotionStudioContentProvider.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/BMotionStudioContentProvider.java
@@ -17,7 +17,7 @@ import org.eclipse.jface.viewers.Viewer;
public class BMotionStudioContentProvider implements ITreeContentProvider {
-
+ @Override
public Object[] getChildren(final Object parentElement) {
List<Object> res = new ArrayList<Object>();
@@ -49,24 +49,29 @@ public class BMotionStudioContentProvider implements ITreeContentProvider {
}
+ @Override
public Object getParent(final Object element) {
// do nothing
return null;
}
+ @Override
public boolean hasChildren(final Object element) {
return false;
}
+ @Override
public Object[] getElements(final Object inputElement) {
return getChildren(inputElement);
}
+ @Override
public void dispose() {
// do nothing
}
+ @Override
public void inputChanged(final Viewer viewer, final Object oldInput,
final Object newInput) {
// do nothing
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/NewBMotionProjectWizard.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/NewBMotionProjectWizard.java
index c43736ad..4ec79a12 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/NewBMotionProjectWizard.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/NewBMotionProjectWizard.java
@@ -53,6 +53,7 @@ public class NewBMotionProjectWizard extends Wizard implements INewWizard {
addPage(page);
}
+ @Override
public void init(final IWorkbench workbench, final IStructuredSelection sel) {
this.selection = sel;
}
@@ -67,6 +68,7 @@ public class NewBMotionProjectWizard extends Wizard implements INewWizard {
final String projectRoot = page.getProjectRoot();
final IRunnableWithProgress op = new IRunnableWithProgress() {
+ @Override
public void run(final IProgressMonitor monitor)
throws InvocationTargetException {
try {
@@ -118,7 +120,7 @@ public class NewBMotionProjectWizard extends Wizard implements INewWizard {
}
RodinCore.run(new IWorkspaceRunnable() {
-
+ @Override
public void run(final IProgressMonitor pMonitor)
throws CoreException {
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/NewBMotionProjectWizardPage.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/NewBMotionProjectWizardPage.java
index c56395b7..0e9f5602 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/NewBMotionProjectWizardPage.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/NewBMotionProjectWizardPage.java
@@ -230,6 +230,7 @@ public class NewBMotionProjectWizardPage extends WizardPage {
}
}
+ @Override
public void createControl(final Composite parent) {
final Composite container = new Composite(parent, SWT.NULL);
@@ -242,6 +243,7 @@ public class NewBMotionProjectWizardPage extends WizardPage {
setControl(container);
final ModifyListener listener = new ModifyListener() {
+ @Override
public void modifyText(final ModifyEvent e) {
validateInput();
}
@@ -330,6 +332,7 @@ public class NewBMotionProjectWizardPage extends WizardPage {
tableViewer
.addSelectionChangedListener(new ISelectionChangedListener() {
+ @Override
public void selectionChanged(SelectionChangedEvent event) {
IStructuredSelection selection = (IStructuredSelection) event
.getSelection();
@@ -345,11 +348,12 @@ public class NewBMotionProjectWizardPage extends WizardPage {
private static class MachineLabelProvider extends LabelProvider implements
ITableLabelProvider {
-
+ @Override
public Image getColumnImage(final Object element, final int columnIndex) {
return null;
}
+ @Override
public String getColumnText(final Object element, final int columnIndex) {
if (element instanceof MachineEntry) {
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/PerspectiveEditFactory.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/PerspectiveEditFactory.java
index 2603fee3..b738a447 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/PerspectiveEditFactory.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/PerspectiveEditFactory.java
@@ -13,7 +13,7 @@ import org.eclipse.ui.IPerspectiveFactory;
import de.bmotionstudio.gef.editor.library.LibraryView;
public class PerspectiveEditFactory implements IPerspectiveFactory {
-
+ @Override
public void createInitialLayout(final IPageLayout layout) {
final String editorArea = layout.getEditorArea();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/PerspectiveRunFactory.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/PerspectiveRunFactory.java
index 7586a12d..d2b275f8 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/PerspectiveRunFactory.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/PerspectiveRunFactory.java
@@ -11,7 +11,7 @@ import org.eclipse.ui.IPageLayout;
import org.eclipse.ui.IPerspectiveFactory;
public class PerspectiveRunFactory implements IPerspectiveFactory {
-
+ @Override
public void createInitialLayout(IPageLayout layout) {
String editorArea = layout.getEditorArea();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/ProgressBarDialog.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/ProgressBarDialog.java
index 6c9139ac..1541d868 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/ProgressBarDialog.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/ProgressBarDialog.java
@@ -129,6 +129,7 @@ public abstract class ProgressBarDialog extends Dialog {
cancelButton = new Button(cancelComposite, SWT.NONE);
cancelButton.addSelectionListener(new SelectionAdapter() {
+ @Override
public void widgetSelected(SelectionEvent e) {
isClosed = true;
}
@@ -191,6 +192,7 @@ public abstract class ProgressBarDialog extends Dialog {
this.max = max;
}
+ @Override
public void run() {
doBefore();
for (final int[] i = new int[] { 1 }; i[0] <= max; i[0]++) {
@@ -199,6 +201,7 @@ public abstract class ProgressBarDialog extends Dialog {
return;
}
display.syncExec(new Runnable() {
+ @Override
public void run() {
if (progressBar.isDisposed()) {
return;
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/VisualizationProgressBar.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/VisualizationProgressBar.java
index 86c28913..45e33ba6 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/VisualizationProgressBar.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/VisualizationProgressBar.java
@@ -101,6 +101,7 @@ public class VisualizationProgressBar extends ProgressBarDialog {
return "Create Visualization";
case 4:
Display.getDefault().asyncExec(new Runnable() {
+ @Override
public void run() {
createShell();
}
@@ -179,6 +180,7 @@ public class VisualizationProgressBar extends ProgressBarDialog {
if (ops.size() > 1) {
Display.getDefault().asyncExec(new Runnable() {
+ @Override
public void run() {
dialog = new SelectOperationDialog(getShell(), ops);
confirm = dialog.open();
@@ -274,6 +276,7 @@ public class VisualizationProgressBar extends ProgressBarDialog {
public void openErrorDialog(final String msg) {
Display.getDefault().asyncExec(new Runnable() {
+ @Override
public void run() {
ErrorDialog.openError(getParent(), "Error",
"Error creating visualization", new Status(
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/library/AbstractLibraryCommand.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/library/AbstractLibraryCommand.java
index e27bf036..54d1e39b 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/library/AbstractLibraryCommand.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/library/AbstractLibraryCommand.java
@@ -24,6 +24,7 @@ public abstract class AbstractLibraryCommand extends Command {
protected Object oldAttributeValue;
protected Point dropLocation;
+ @Override
public boolean canExecute() {
return true;
}
@@ -36,6 +37,7 @@ public abstract class AbstractLibraryCommand extends Command {
return this.editPart;
}
+ @Override
public void undo() {
if (attributeName != null)
getCastedModel()
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/library/AttributeTransfer.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/library/AttributeTransfer.java
index fb310824..ab27d5b3 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/library/AttributeTransfer.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/library/AttributeTransfer.java
@@ -18,6 +18,7 @@ public class AttributeTransfer extends SimpleObjectTransfer {
/**
* @see org.eclipse.swt.dnd.Transfer#getTypeIds()
*/
+ @Override
protected int[] getTypeIds() {
return new int[] { TYPEID };
}
@@ -25,6 +26,7 @@ public class AttributeTransfer extends SimpleObjectTransfer {
/**
* @see org.eclipse.swt.dnd.Transfer#getTypeNames()
*/
+ @Override
protected String[] getTypeNames() {
return new String[] { TYPE_NAME };
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/library/LibraryImageCommand.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/library/LibraryImageCommand.java
index d162f773..d8f47d2f 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/library/LibraryImageCommand.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/library/LibraryImageCommand.java
@@ -22,6 +22,7 @@ public class LibraryImageCommand extends AbstractLibraryCommand {
private BControl newImageControl;
+ @Override
public void execute() {
attributeName = AttributeConstants.ATTRIBUTE_IMAGE;
@@ -75,6 +76,7 @@ public class LibraryImageCommand extends AbstractLibraryCommand {
}
+ @Override
public void undo() {
super.undo();
getCastedModel().removeChild(newImageControl);
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/library/LibraryPage.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/library/LibraryPage.java
index 7d3752e7..cf98268f 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/library/LibraryPage.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/library/LibraryPage.java
@@ -80,6 +80,7 @@ public class LibraryPage extends Page {
previewCanvas = new Canvas(libMainContainer, SWT.BORDER);
previewCanvas.setLayout(gl);
previewCanvas.addPaintListener(new PaintListener() {
+ @Override
public void paintControl(final PaintEvent e) {
if (previewImage == null) {
e.gc.drawString("No preview...", 0, 0);
@@ -98,7 +99,7 @@ public class LibraryPage extends Page {
| SWT.V_SCROLL | SWT.MULTI);
tvLibrary.getTable().setLayoutData(gd);
tvLibrary.addSelectionChangedListener(new ISelectionChangedListener() {
-
+ @Override
public void selectionChanged(final SelectionChangedEvent event) {
IStructuredSelection selection = (IStructuredSelection) event
@@ -125,6 +126,7 @@ public class LibraryPage extends Page {
});
tvLibrary.getControl().addKeyListener(new KeyAdapter() {
+ @Override
public void keyPressed(final KeyEvent event) {
if (event.character == SWT.DEL && event.stateMask == 0
&& deleteItemAction.isEnabled()) {
@@ -173,7 +175,7 @@ public class LibraryPage extends Page {
tvLibrary.addDragSupport(DND.DROP_COPY,
new Transfer[] { AttributeTransfer.getInstance() },
new DragSourceAdapter() {
-
+ @Override
public void dragSetData(final DragSourceEvent event) {
LibraryObject object = (LibraryObject) ((StructuredSelection) tvLibrary
.getSelection()).getFirstElement();
@@ -187,6 +189,7 @@ public class LibraryPage extends Page {
event.data = new AttributeTransferObject(object);
}
+ @Override
public void dragStart(final DragSourceEvent event) {
}
@@ -228,6 +231,7 @@ public class LibraryPage extends Page {
.replace("file:", "");
File dir = new File(basePath + "/images");
File[] fileList = dir.listFiles(new FilenameFilter() {
+ @Override
public boolean accept(final File dir, final String name) {
if (name.toLowerCase().endsWith(".jpg")
|| name.toLowerCase().endsWith(".gif")
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/library/LibraryVariableCommand.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/library/LibraryVariableCommand.java
index 77653658..41803822 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/library/LibraryVariableCommand.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/library/LibraryVariableCommand.java
@@ -18,6 +18,7 @@ public class LibraryVariableCommand extends AbstractLibraryCommand {
private BControl newControl;
+ @Override
public void execute() {
attributeName = AttributeConstants.ATTRIBUTE_TEXT;
@@ -56,6 +57,7 @@ public class LibraryVariableCommand extends AbstractLibraryCommand {
}
+ @Override
public void undo() {
super.undo();
getCastedModel().removeChild(newControl);
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/library/LibraryView.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/library/LibraryView.java
index 08240a63..d7cdf576 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/library/LibraryView.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/library/LibraryView.java
@@ -64,6 +64,7 @@ public class LibraryView extends PageBookView {
return null;
}
+ @Override
public void partBroughtToTop(IWorkbenchPart part) {
partActivated(part);
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/BControl.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/BControl.java
index d83b2770..78135a37 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/BControl.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/BControl.java
@@ -589,6 +589,7 @@ public abstract class BControl implements IAdaptable, Cloneable {
getListeners().removePropertyChangeListener(listener);
}
+ @Override
public Object getAdapter(@SuppressWarnings("rawtypes") Class adapter) {
if (adapter == IPropertySource.class) {
return new BControlPropertySource(this);
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/BMotionRulerProvider.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/BMotionRulerProvider.java
index 97d10cdd..53ca6255 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/BMotionRulerProvider.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/BMotionRulerProvider.java
@@ -23,6 +23,7 @@ public class BMotionRulerProvider extends RulerProvider {
private BMotionRuler ruler;
private PropertyChangeListener rulerListener = new PropertyChangeListener() {
+ @Override
public void propertyChange(PropertyChangeEvent evt) {
if (evt.getPropertyName().equals(BMotionRuler.PROPERTY_CHILDREN)) {
BMotionGuide guide = (BMotionGuide) evt.getNewValue();
@@ -44,6 +45,7 @@ public class BMotionRulerProvider extends RulerProvider {
}
};
private PropertyChangeListener guideListener = new PropertyChangeListener() {
+ @Override
public void propertyChange(PropertyChangeEvent evt) {
if (evt.getPropertyName().equals(BMotionGuide.PROPERTY_CHILDREN)) {
for (int i = 0; i < listeners.size(); i++) {
@@ -70,22 +72,27 @@ public class BMotionRulerProvider extends RulerProvider {
}
}
+ @Override
public List<BControl> getAttachedModelObjects(Object guide) {
return new ArrayList<BControl>(((BMotionGuide) guide).getParts());
}
+ @Override
public Command getCreateGuideCommand(int position) {
return new CreateGuideCommand(ruler, position);
}
+ @Override
public Command getDeleteGuideCommand(Object guide) {
return new DeleteGuideCommand((BMotionGuide) guide, ruler);
}
+ @Override
public Command getMoveGuideCommand(Object guide, int pDelta) {
return new MoveGuideCommand((BMotionGuide) guide, pDelta);
}
+ @Override
public int[] getGuidePositions() {
List<BMotionGuide> guides = getGuides();
int[] result = new int[guides.size()];
@@ -95,22 +102,27 @@ public class BMotionRulerProvider extends RulerProvider {
return result;
}
+ @Override
public Object getRuler() {
return ruler;
}
+ @Override
public int getUnit() {
return ruler.getUnit();
}
+ @Override
public void setUnit(int newUnit) {
ruler.setUnit(newUnit);
}
+ @Override
public int getGuidePosition(Object guide) {
return ((BMotionGuide) guide).getPosition();
}
+ @Override
public List<BMotionGuide> getGuides() {
return ruler.getGuides();
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/Switch.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/Switch.java
index 983beb6f..c7b4b2c3 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/Switch.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/Switch.java
@@ -122,6 +122,7 @@ public class Switch extends BControl {
// We have to set the two tracks of the switch, since their are set to
// transient
+ @Override
protected Object readResolve() {
super.readResolve();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/Visualization.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/Visualization.java
index f3255a40..beafec9f 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/Visualization.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/model/Visualization.java
@@ -249,6 +249,7 @@ public class Visualization extends BControl {
return snapToGeometry;
}
+ @Override
public Object getAdapter(@SuppressWarnings("rawtypes") Class adapter) {
return null;
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/ListenOperationByPredicate.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/ListenOperationByPredicate.java
index e97873f7..e8ddb792 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/ListenOperationByPredicate.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/ListenOperationByPredicate.java
@@ -40,6 +40,7 @@ public class ListenOperationByPredicate extends Observer {
this.list = list;
}
+ @Override
protected Object readResolve() {
this.setAttributes = new ArrayList<String>();
return super.readResolve();
@@ -189,6 +190,7 @@ public class ListenOperationByPredicate extends Observer {
// return false;
// }
+ @Override
public Observer clone() throws CloneNotSupportedException {
ListenOperationByPredicate clone = (ListenOperationByPredicate) super
.clone();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/ListenOperationObject.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/ListenOperationObject.java
index 6a400b13..5f89f157 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/ListenOperationObject.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/ListenOperationObject.java
@@ -19,6 +19,7 @@ public class ListenOperationObject extends BindingObject implements Cloneable {
this.predicate = "";
}
+ @Override
public ListenOperationObject clone() throws CloneNotSupportedException {
return (ListenOperationObject) super.clone();
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/Observer.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/Observer.java
index 4d64076e..f0231d1e 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/Observer.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/Observer.java
@@ -57,6 +57,7 @@ public abstract class Observer extends AbstractExpressionControl implements
*
* @return the cloned observer
*/
+ @Override
public Observer clone() throws CloneNotSupportedException {
return (Observer) super.clone();
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/ObserverEvalObject.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/ObserverEvalObject.java
index fce5f5d7..2c77c939 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/ObserverEvalObject.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/ObserverEvalObject.java
@@ -62,6 +62,7 @@ public class ObserverEvalObject extends BindingObject implements Cloneable {
return eval;
}
+ @Override
public ObserverEvalObject clone() throws CloneNotSupportedException {
return (ObserverEvalObject) super.clone();
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/SetAttribute.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/SetAttribute.java
index 69163126..6b5788d8 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/SetAttribute.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/SetAttribute.java
@@ -28,6 +28,7 @@ public class SetAttribute extends Observer {
setAttributes = new ArrayList<String>();
}
+ @Override
protected Object readResolve() {
setAttributes = new ArrayList<String>();
return super.readResolve();
@@ -121,6 +122,7 @@ public class SetAttribute extends Observer {
return setAttributeObjects;
}
+ @Override
public Observer clone() throws CloneNotSupportedException {
SetAttribute clonedObserver = (SetAttribute) super.clone();
List<SetAttributeObject> list = new ArrayList<SetAttributeObject>();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/SetAttributeObject.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/SetAttributeObject.java
index 35b6cc74..1e62ac9d 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/SetAttributeObject.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/SetAttributeObject.java
@@ -17,6 +17,7 @@ public class SetAttributeObject extends ObserverEvalObject implements Cloneable
super(type, eval);
}
+ @Override
public SetAttributeObject clone() throws CloneNotSupportedException {
return (SetAttributeObject) super.clone();
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/SimpleValueDisplay.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/SimpleValueDisplay.java
index ab053bc3..5a976289 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/SimpleValueDisplay.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/SimpleValueDisplay.java
@@ -21,6 +21,7 @@ public class SimpleValueDisplay extends Observer {
private transient String orgString;
private transient boolean isOrgStringSet = false;
+ @Override
public void check(final Animation animation, final BControl bcontrol) {
// First evaluate predicate (predicate field)
@@ -56,6 +57,7 @@ public class SimpleValueDisplay extends Observer {
}
+ @Override
public ObserverWizard getWizard(final BControl bcontrol) {
return new WizardObserverSimpleValueDisplay(bcontrol, this);
}
@@ -92,6 +94,7 @@ public class SimpleValueDisplay extends Observer {
return replacementString;
}
+ @Override
public Observer clone() throws CloneNotSupportedException {
SimpleValueDisplay clonedObserver = (SimpleValueDisplay) super.clone();
clonedObserver.isOrgStringSet = false;
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/SwitchChildCoordinates.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/SwitchChildCoordinates.java
index 2708ce20..357be1db 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/SwitchChildCoordinates.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/SwitchChildCoordinates.java
@@ -23,6 +23,7 @@ public class SwitchChildCoordinates extends Observer {
toggleObjects = new ArrayList<ToggleObjectCoordinates>();
}
+ @Override
public void check(final Animation animation, final BControl control) {
// Collect evaluate predicate objects in list
@@ -99,6 +100,7 @@ public class SwitchChildCoordinates extends Observer {
}
+ @Override
public ObserverWizard getWizard(final BControl bcontrol) {
return new WizardObserverCSwitchCoordinates(bcontrol, this);
}
@@ -111,6 +113,7 @@ public class SwitchChildCoordinates extends Observer {
this.toggleObjects = list;
}
+ @Override
public Observer clone() throws CloneNotSupportedException {
SwitchChildCoordinates clonedObserver = (SwitchChildCoordinates) super
.clone();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/SwitchCoordinates.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/SwitchCoordinates.java
index f71dfca1..1c6cfb04 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/SwitchCoordinates.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/SwitchCoordinates.java
@@ -23,6 +23,7 @@ public class SwitchCoordinates extends Observer {
toggleObjects = new ArrayList<ToggleObjectCoordinates>();
}
+ @Override
public void check(final Animation animation, final BControl control) {
boolean set = false;
@@ -109,6 +110,7 @@ public class SwitchCoordinates extends Observer {
}
+ @Override
public ObserverWizard getWizard(final BControl bcontrol) {
return new WizardObserverSwitchCoordinates(bcontrol, this);
}
@@ -121,6 +123,7 @@ public class SwitchCoordinates extends Observer {
this.toggleObjects = list;
}
+ @Override
public Observer clone() throws CloneNotSupportedException {
SwitchCoordinates clonedObserver = (SwitchCoordinates) super.clone();
List<ToggleObjectCoordinates> list = new ArrayList<ToggleObjectCoordinates>();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/SwitchImage.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/SwitchImage.java
index 707251c8..575e2c28 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/SwitchImage.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/SwitchImage.java
@@ -26,6 +26,7 @@ public class SwitchImage extends Observer {
toggleObjects = new ArrayList<ToggleObjectImage>();
}
+ @Override
public void check(final Animation animation, final BControl control) {
boolean set = false;
@@ -79,6 +80,7 @@ public class SwitchImage extends Observer {
}
+ @Override
public ObserverWizard getWizard(final BControl bcontrol) {
return new WizardObserverSwitchImage(bcontrol, this);
}
@@ -91,6 +93,7 @@ public class SwitchImage extends Observer {
this.toggleObjects = list;
}
+ @Override
public Observer clone() throws CloneNotSupportedException {
SwitchImage clonedObserver = (SwitchImage) super.clone();
List<ToggleObjectImage> list = new ArrayList<ToggleObjectImage>();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/ToggleObjectCoordinates.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/ToggleObjectCoordinates.java
index 07765bdc..14a5ce13 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/ToggleObjectCoordinates.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/ToggleObjectCoordinates.java
@@ -76,6 +76,7 @@ public class ToggleObjectCoordinates extends ObserverEvalObject implements
// firePropertyChange("animate", oldValue, this.animate);
// }
+ @Override
public ToggleObjectCoordinates clone() throws CloneNotSupportedException {
return (ToggleObjectCoordinates) super.clone();
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/ToggleObjectImage.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/ToggleObjectImage.java
index 5169e967..1f7cf0b4 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/ToggleObjectImage.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/ToggleObjectImage.java
@@ -29,6 +29,7 @@ public class ToggleObjectImage extends ObserverEvalObject implements Cloneable {
firePropertyChange("image", oldValue, this.image);
}
+ @Override
public ToggleObjectImage clone() throws CloneNotSupportedException {
return (ToggleObjectImage) super.clone();
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/wizard/WizardColumnObserver.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/wizard/WizardColumnObserver.java
index 9312d519..7ef4720a 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/wizard/WizardColumnObserver.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/wizard/WizardColumnObserver.java
@@ -42,6 +42,7 @@ public class WizardColumnObserver extends ObserverWizard {
super(pageName);
}
+ @Override
public void createControl(final Composite parent) {
final DataBindingContext dbc = new DataBindingContext();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/wizard/WizardObserverCSwitchCoordinates.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/wizard/WizardObserverCSwitchCoordinates.java
index 0dc136ae..975dce46 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/wizard/WizardObserverCSwitchCoordinates.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/wizard/WizardObserverCSwitchCoordinates.java
@@ -60,6 +60,7 @@ public class WizardObserverCSwitchCoordinates extends ObserverWizard {
super(pageName, getObserver());
}
+ @Override
public void createControl(Composite parent) {
super.createControl(parent);
@@ -300,6 +301,7 @@ public class WizardObserverCSwitchCoordinates extends ObserverWizard {
return null;
}
+ @Override
public Color getBackground(final Object element, final int column) {
ToggleObjectCoordinates attributeObject = (ToggleObjectCoordinates) element;
if (attributeObject.hasError())
@@ -307,10 +309,12 @@ public class WizardObserverCSwitchCoordinates extends ObserverWizard {
return null;
}
+ @Override
public Color getForeground(final Object element, final int column) {
return null;
}
+ @Override
public Font getFont(final Object element, final int column) {
// return JFaceResources.getFontRegistry().get(
// BMotionStudioConstants.RODIN_FONT_KEY);
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/wizard/WizardObserverListenOperationByPredicate.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/wizard/WizardObserverListenOperationByPredicate.java
index 8595875b..ef405054 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/wizard/WizardObserverListenOperationByPredicate.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/wizard/WizardObserverListenOperationByPredicate.java
@@ -74,6 +74,7 @@ public class WizardObserverListenOperationByPredicate extends ObserverWizard {
super(pageName, getObserver());
}
+ @Override
public void createControl(final Composite parent) {
super.createControl(parent);
@@ -290,6 +291,7 @@ public class WizardObserverListenOperationByPredicate extends ObserverWizard {
cellEditor
.setContentProvider(new ObservableListContentProvider());
cellEditor.setLabelProvider(new LabelProvider() {
+ @Override
public String getText(Object element) {
return getBControl().getAttributes()
.get(element.toString()).getName();
@@ -312,12 +314,14 @@ public class WizardObserverListenOperationByPredicate extends ObserverWizard {
String oldValue;
+ @Override
public void focusGained(FocusEvent e) {
oldValue = ((CCombo) cellEditor
.getControl()).getText();
}
+ @Override
public void focusLost(FocusEvent e) {
if (!oldValue.equals(((CCombo) cellEditor
@@ -447,14 +451,17 @@ public class WizardObserverListenOperationByPredicate extends ObserverWizard {
return super.getColumnText(element, columnIndex);
}
+ @Override
public Color getBackground(final Object element, final int column) {
return null;
}
+ @Override
public Color getForeground(final Object element, final int column) {
return null;
}
+ @Override
public Font getFont(final Object element, final int column) {
// return JFaceResources.getFontRegistry().get(
// BMotionStudioConstants.RODIN_FONT_KEY);
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/wizard/WizardObserverSetAttribute.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/wizard/WizardObserverSetAttribute.java
index 6801af40..163e6996 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/wizard/WizardObserverSetAttribute.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/wizard/WizardObserverSetAttribute.java
@@ -75,6 +75,7 @@ public class WizardObserverSetAttribute extends ObserverWizard {
super(pageName, getObserver());
}
+ @Override
public void createControl(Composite parent) {
super.createControl(parent);
@@ -251,6 +252,7 @@ public class WizardObserverSetAttribute extends ObserverWizard {
cellEditor
.setContentProvider(new ObservableListContentProvider());
cellEditor.setLabelProvider(new LabelProvider() {
+ @Override
public String getText(Object element) {
return getBControl().getAttributes()
.get(element.toString()).getName();
@@ -273,12 +275,14 @@ public class WizardObserverSetAttribute extends ObserverWizard {
String oldValue;
+ @Override
public void focusGained(FocusEvent e) {
oldValue = ((CCombo) cellEditor
.getControl()).getText();
}
+ @Override
public void focusLost(FocusEvent e) {
if (!oldValue.equals(((CCombo) cellEditor
@@ -403,6 +407,7 @@ public class WizardObserverSetAttribute extends ObserverWizard {
return super.getColumnText(element, columnIndex);
}
+ @Override
public Color getBackground(final Object element, final int column) {
SetAttributeObject attributeObject = (SetAttributeObject) element;
if (attributeObject.hasError())
@@ -410,10 +415,12 @@ public class WizardObserverSetAttribute extends ObserverWizard {
return null;
}
+ @Override
public Color getForeground(final Object element, final int column) {
return null;
}
+ @Override
public Font getFont(final Object element, final int column) {
// return JFaceResources.getFontRegistry().get(
// BMotionStudioConstants.RODIN_FONT_KEY);
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/wizard/WizardObserverSimpleValueDisplay.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/wizard/WizardObserverSimpleValueDisplay.java
index e708b45b..3d16ff88 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/wizard/WizardObserverSimpleValueDisplay.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/wizard/WizardObserverSimpleValueDisplay.java
@@ -43,6 +43,7 @@ public class WizardObserverSimpleValueDisplay extends ObserverWizard {
super(pageName, getObserver());
}
+ @Override
public void createControl(final Composite parent) {
super.createControl(parent);
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/wizard/WizardObserverSwitchCoordinates.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/wizard/WizardObserverSwitchCoordinates.java
index 334516db..712d7a94 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/wizard/WizardObserverSwitchCoordinates.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/wizard/WizardObserverSwitchCoordinates.java
@@ -59,6 +59,7 @@ public class WizardObserverSwitchCoordinates extends ObserverWizard {
super(pageName, getObserver());
}
+ @Override
public void createControl(Composite parent) {
super.createControl(parent);
@@ -279,6 +280,7 @@ public class WizardObserverSwitchCoordinates extends ObserverWizard {
return null;
}
+ @Override
public Color getBackground(final Object element, final int column) {
ToggleObjectCoordinates attributeObject = (ToggleObjectCoordinates) element;
if (attributeObject.hasError())
@@ -286,10 +288,12 @@ public class WizardObserverSwitchCoordinates extends ObserverWizard {
return null;
}
+ @Override
public Color getForeground(final Object element, final int column) {
return null;
}
+ @Override
public Font getFont(final Object element, final int column) {
// return JFaceResources.getFontRegistry().get(
// BMotionStudioConstants.RODIN_FONT_KEY);
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/wizard/WizardObserverSwitchImage.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/wizard/WizardObserverSwitchImage.java
index 4f3f429e..f28fd513 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/wizard/WizardObserverSwitchImage.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/wizard/WizardObserverSwitchImage.java
@@ -61,6 +61,7 @@ public class WizardObserverSwitchImage extends ObserverWizard {
super(pageName, getObserver());
}
+ @Override
public void createControl(final Composite parent) {
super.createControl(parent);
@@ -266,6 +267,7 @@ public class WizardObserverSwitchImage extends ObserverWizard {
}
+ @Override
public Color getBackground(final Object element, final int column) {
ToggleObjectImage attributeObject = (ToggleObjectImage) element;
if (attributeObject.hasError())
@@ -273,10 +275,12 @@ public class WizardObserverSwitchImage extends ObserverWizard {
return null;
}
+ @Override
public Color getForeground(final Object element, final int column) {
return null;
}
+ @Override
public Font getFont(final Object element, final int column) {
// return JFaceResources.getFontRegistry().get(
// BMotionStudioConstants.RODIN_FONT_KEY);
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/wizard/WizardTableObserver.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/wizard/WizardTableObserver.java
index 74f3765b..53e8145d 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/wizard/WizardTableObserver.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/observer/wizard/WizardTableObserver.java
@@ -55,6 +55,7 @@ public class WizardTableObserver extends ObserverWizard {
super(pageName);
}
+ @Override
public void createControl(final Composite parent) {
final DataBindingContext dbc = new DataBindingContext();
@@ -137,6 +138,7 @@ public class WizardTableObserver extends ObserverWizard {
list.setItems(relationList.toArray(new String[relationList.size()]));
list.addMouseListener(new MouseAdapter() {
+ @Override
public void mouseDoubleClick(MouseEvent e) {
String[] selection = list.getSelection();
if (selection.length > 0)
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/part/BCompositePart.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/part/BCompositePart.java
index 8fb3be85..463c8aea 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/part/BCompositePart.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/part/BCompositePart.java
@@ -85,6 +85,7 @@ public class BCompositePart extends BMSAbstractEditPart {
return ((BControl) getModel()).getChildrenArray();
}
+ @Override
@SuppressWarnings({ "unchecked", "rawtypes" })
public Object getAdapter(Class adapter) {
if (adapter == SnapToHelper.class) {
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 ace0d0cf..90717ba8 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
@@ -80,6 +80,7 @@ public class BConnectionEditPart extends BMSAbstractEditPart implements
// element
installEditPolicy(EditPolicy.CONNECTION_ROLE,
new ConnectionEditPolicy() {
+ @Override
protected Command getDeleteCommand(GroupRequest request) {
return new ConnectionDeleteCommand(
(BConnection) getModel());
@@ -197,6 +198,7 @@ public class BConnectionEditPart extends BMSAbstractEditPart implements
/**
* @see AccessibleAnchorProvider#getSourceAnchorLocations()
*/
+ @Override
public List<Point> getSourceAnchorLocations() {
List<Point> list = new ArrayList<Point>();
if (getFigure() instanceof Connection) {
@@ -210,6 +212,7 @@ public class BConnectionEditPart extends BMSAbstractEditPart implements
/**
* @see AccessibleAnchorProvider#getTargetAnchorLocations()
*/
+ @Override
public List<Point> getTargetAnchorLocations() {
return getSourceAnchorLocations();
}
@@ -230,6 +233,7 @@ public class BConnectionEditPart extends BMSAbstractEditPart implements
/**
* @see org.eclipse.gef.EditPart#addNotify()
*/
+ @Override
public void addNotify() {
activateFigure();
super.addNotify();
@@ -258,6 +262,7 @@ public class BConnectionEditPart extends BMSAbstractEditPart implements
* the adapter Class
* @return the adapter
*/
+ @Override
public Object getAdapter(@SuppressWarnings("rawtypes") Class adapter) {
if (adapter == AccessibleAnchorProvider.class)
return new DefaultAccessibleAnchorProvider();
@@ -277,6 +282,7 @@ public class BConnectionEditPart extends BMSAbstractEditPart implements
/**
* @see org.eclipse.gef.EditPart#getDragTracker(Request)
*/
+ @Override
public DragTracker getDragTracker(Request req) {
return new SelectEditPartTracker(this);
}
@@ -284,6 +290,7 @@ public class BConnectionEditPart extends BMSAbstractEditPart implements
/**
* @see org.eclipse.gef.ConnectionEditPart#getSource()
*/
+ @Override
public EditPart getSource() {
return sourceEditPart;
}
@@ -291,6 +298,7 @@ public class BConnectionEditPart extends BMSAbstractEditPart implements
/**
* @see org.eclipse.gef.ConnectionEditPart#getTarget()
*/
+ @Override
public EditPart getTarget() {
return targetEditPart;
}
@@ -346,6 +354,7 @@ public class BConnectionEditPart extends BMSAbstractEditPart implements
*
* @see org.eclipse.gef.EditPart#refresh()
*/
+ @Override
public void refresh() {
refreshSourceAnchor();
refreshTargetAnchor();
@@ -374,6 +383,7 @@ public class BConnectionEditPart extends BMSAbstractEditPart implements
*
* @see org.eclipse.gef.EditPart#removeNotify()
*/
+ @Override
public void removeNotify() {
deactivateFigure();
super.removeNotify();
@@ -384,6 +394,7 @@ public class BConnectionEditPart extends BMSAbstractEditPart implements
*
* @see org.eclipse.gef.EditPart#setParent(EditPart)
*/
+ @Override
public void setParent(EditPart parent) {
boolean wasNull = getParent() == null;
boolean becomingNull = parent == null;
@@ -400,6 +411,7 @@ public class BConnectionEditPart extends BMSAbstractEditPart implements
* @param editPart
* EditPart which is the source.
*/
+ @Override
public void setSource(EditPart editPart) {
if (sourceEditPart == editPart)
return;
@@ -418,6 +430,7 @@ public class BConnectionEditPart extends BMSAbstractEditPart implements
* @param editPart
* EditPart which is the target.
*/
+ @Override
public void setTarget(EditPart editPart) {
if (targetEditPart == editPart)
return;
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/part/BControlTreeEditPart.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/part/BControlTreeEditPart.java
index 59b8248b..a62ca948 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/part/BControlTreeEditPart.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/part/BControlTreeEditPart.java
@@ -32,7 +32,7 @@ import de.bmotionstudio.gef.editor.observer.Observer;
public class BControlTreeEditPart extends BMSAbstractTreeEditPart implements
PropertyChangeListener, IObserverListener {
-
+ @Override
public void propertyChange(final PropertyChangeEvent evt) {
if (evt.getPropertyName().equals(
BControlPropertyConstants.PROPERTY_ADD_CHILD)
@@ -85,6 +85,7 @@ public class BControlTreeEditPart extends BMSAbstractTreeEditPart implements
}
+ @Override
public void activate() {
if (!isActive()) {
super.activate();
@@ -93,6 +94,7 @@ public class BControlTreeEditPart extends BMSAbstractTreeEditPart implements
}
}
+ @Override
public void deactivate() {
if (isActive()) {
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 5f2f6342..cb70c180 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
@@ -81,6 +81,7 @@ public abstract class BMSAbstractEditPart extends AbstractGraphicalEditPart
AttributeConstants.ATTRIBUTE_Y, AttributeConstants.ATTRIBUTE_WIDTH,
AttributeConstants.ATTRIBUTE_HEIGHT };
+ @Override
public void activate() {
if (!isActive()) {
super.activate();
@@ -94,6 +95,7 @@ public abstract class BMSAbstractEditPart extends AbstractGraphicalEditPart
}
}
+ @Override
public void deactivate() {
if (isActive()) {
super.deactivate();
@@ -226,6 +228,7 @@ public abstract class BMSAbstractEditPart extends AbstractGraphicalEditPart
}
}
+ @Override
public List<BControl> getModelChildren() {
return new ArrayList<BControl>();
}
@@ -278,28 +281,34 @@ public abstract class BMSAbstractEditPart extends AbstractGraphicalEditPart
return anchor;
}
+ @Override
protected List<?> getModelSourceConnections() {
return getCastedModel().getSourceConnections();
}
+ @Override
protected List<?> getModelTargetConnections() {
return getCastedModel().getTargetConnections();
}
+ @Override
public ConnectionAnchor getSourceConnectionAnchor(
ConnectionEditPart connection) {
return getConnectionAnchor();
}
+ @Override
public ConnectionAnchor getSourceConnectionAnchor(Request request) {
return getConnectionAnchor();
}
+ @Override
public ConnectionAnchor getTargetConnectionAnchor(
ConnectionEditPart connection) {
return getConnectionAnchor();
}
+ @Override
public ConnectionAnchor getTargetConnectionAnchor(Request request) {
return getConnectionAnchor();
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/part/BMSTreeEditPartFactory.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/part/BMSTreeEditPartFactory.java
index c068699f..b562cd70 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/part/BMSTreeEditPartFactory.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/part/BMSTreeEditPartFactory.java
@@ -17,7 +17,7 @@ import de.bmotionstudio.gef.editor.model.BControl;
import de.bmotionstudio.gef.editor.model.Visualization;
public class BMSTreeEditPartFactory implements EditPartFactory {
-
+ @Override
public EditPart createEditPart(EditPart context, Object model) {
BMSAbstractTreeEditPart part = null;
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/part/TrackPart.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/part/TrackPart.java
index d8c5df4e..393bebc2 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/part/TrackPart.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/part/TrackPart.java
@@ -33,6 +33,7 @@ public class TrackPart extends BConnectionEditPart {
// element
installEditPolicy(EditPolicy.CONNECTION_ROLE,
new ConnectionEditPolicy() {
+ @Override
protected Command getDeleteCommand(GroupRequest request) {
return new ConnectionDeleteCommand((Track) getModel());
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/part/VisualizationPart.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/part/VisualizationPart.java
index c0baa423..ae1ac0a2 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/part/VisualizationPart.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/part/VisualizationPart.java
@@ -82,6 +82,7 @@ public class VisualizationPart extends BMSAbstractEditPart {
}
+ @Override
@SuppressWarnings({ "unchecked", "rawtypes" })
public Object getAdapter(final Class adapter) {
if (adapter == SnapToHelper.class) {
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/property/FileDialogCellEditor.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/property/FileDialogCellEditor.java
index 785557f0..c6954d9b 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/property/FileDialogCellEditor.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/property/FileDialogCellEditor.java
@@ -29,6 +29,7 @@ public class FileDialogCellEditor extends DialogCellEditor {
/**
* @see org.eclipse.jface.viewers.DialogCellEditor#openDialogBox(Control)
*/
+ @Override
protected Object openDialogBox(Control cellEditorWindow) {
FileDialog ftDialog = new FileDialog(PlatformUI.getWorkbench()
.getActiveWorkbenchWindow().getShell());
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/property/FilePropertyDescriptor.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/property/FilePropertyDescriptor.java
index a9ba2cec..209b7464 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/property/FilePropertyDescriptor.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/property/FilePropertyDescriptor.java
@@ -27,6 +27,7 @@ public class FilePropertyDescriptor extends PropertyDescriptor {
/**
* @see org.eclipse.ui.views.properties.IPropertyDescriptor#createPropertyEditor(Composite)
*/
+ @Override
public CellEditor createPropertyEditor(Composite parent) {
CellEditor editor = new FileDialogCellEditor(parent);
if (getValidator() != null)
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/property/FontDialogCellEditor.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/property/FontDialogCellEditor.java
index 0bc590b1..59b581d0 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/property/FontDialogCellEditor.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/property/FontDialogCellEditor.java
@@ -40,6 +40,7 @@ public class FontDialogCellEditor extends DialogCellEditor {
/**
* @see org.eclipse.jface.viewers.DialogCellEditor#openDialogBox(Control)
*/
+ @Override
protected Object openDialogBox(Control cellEditorWindow) {
FontDialog ftDialog = new FontDialog(PlatformUI.getWorkbench()
.getActiveWorkbenchWindow().getShell());
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/property/FontPropertyDescriptor.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/property/FontPropertyDescriptor.java
index 74061a30..e6f6fd67 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/property/FontPropertyDescriptor.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/property/FontPropertyDescriptor.java
@@ -44,6 +44,7 @@ public class FontPropertyDescriptor extends PropertyDescriptor {
/**
* @see org.eclipse.ui.views.properties.IPropertyDescriptor#createPropertyEditor(Composite)
*/
+ @Override
public CellEditor createPropertyEditor(Composite parent) {
CellEditor editor = new FontDialogCellEditor(parent);
if (getValidator() != null)
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/property/ImageDialog.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/property/ImageDialog.java
index 09ed8db2..36be7b0b 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/property/ImageDialog.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/property/ImageDialog.java
@@ -74,6 +74,7 @@ public class ImageDialog extends Dialog {
previewCanvas = new Canvas(preContainer, SWT.BORDER);
previewCanvas.addPaintListener(new PaintListener() {
+ @Override
public void paintControl(final PaintEvent e) {
if (previewImage == null) {
e.gc.drawString("No image selected ...", 0, 0);
@@ -91,7 +92,7 @@ public class ImageDialog extends Dialog {
| SWT.V_SCROLL);
tvLibrary.getTable().setLayoutData(gd);
tvLibrary.addSelectionChangedListener(new ISelectionChangedListener() {
-
+ @Override
public void selectionChanged(final SelectionChangedEvent event) {
IStructuredSelection selection = (IStructuredSelection) event
@@ -177,6 +178,7 @@ public class ImageDialog extends Dialog {
.getLocation().toString()).replace("file:", "");
File dir = new File(basePath + "/images");
File[] fileList = dir.listFiles(new FilenameFilter() {
+ @Override
public boolean accept(final File dir, final String name) {
if (name.toLowerCase().endsWith(".jpg")
|| name.toLowerCase().endsWith(".gif")
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/property/ImagePropertyDescriptor.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/property/ImagePropertyDescriptor.java
index 011db14e..950c3e4a 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/property/ImagePropertyDescriptor.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/property/ImagePropertyDescriptor.java
@@ -27,6 +27,7 @@ public class ImagePropertyDescriptor extends PropertyDescriptor {
/**
* @see org.eclipse.ui.views.properties.IPropertyDescriptor#createPropertyEditor(Composite)
*/
+ @Override
public CellEditor createPropertyEditor(Composite parent) {
CellEditor editor = new ImageDialogCellEditor(parent);
if (getValidator() != null)
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 24b73044..e231338a 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
@@ -38,6 +38,7 @@ public class IntegerCellEditor extends CellEditor {
public IntegerCellEditor(Composite composite) {
super(composite);
setValidator(new ICellEditorValidator() {
+ @Override
public String isValid(Object object) {
if (object instanceof Integer) {
return null;
@@ -91,15 +92,18 @@ public class IntegerCellEditor extends CellEditor {
}
}
+ @Override
protected Control createControl(Composite parent) {
text = new Text(parent, getStyle());
text.addSelectionListener(new SelectionAdapter() {
+ @Override
public void widgetDefaultSelected(SelectionEvent e) {
handleDefaultSelection(e);
}
});
text.addKeyListener(new KeyAdapter() {
// hook key pressed - see PR 14201
+ @Override
public void keyPressed(KeyEvent e) {
keyReleaseOccured(e);
@@ -114,6 +118,7 @@ public class IntegerCellEditor extends CellEditor {
}
});
text.addTraverseListener(new TraverseListener() {
+ @Override
public void keyTraversed(TraverseEvent e) {
if (e.detail == SWT.TRAVERSE_ESCAPE
|| e.detail == SWT.TRAVERSE_RETURN) {
@@ -126,6 +131,7 @@ public class IntegerCellEditor extends CellEditor {
// changes
// may have occurred
text.addMouseListener(new MouseAdapter() {
+ @Override
public void mouseUp(MouseEvent e) {
checkSelection();
checkDeleteable();
@@ -133,6 +139,7 @@ public class IntegerCellEditor extends CellEditor {
}
});
text.addFocusListener(new FocusAdapter() {
+ @Override
public void focusLost(FocusEvent e) {
IntegerCellEditor.this.focusLost();
}
@@ -150,10 +157,12 @@ public class IntegerCellEditor extends CellEditor {
*
* @return the text string
*/
+ @Override
protected Object doGetValue() {
return Integer.valueOf(Integer.parseInt(text.getText()));
}
+ @Override
protected void doSetFocus() {
if (text != null) {
text.selectAll();
@@ -172,6 +181,7 @@ public class IntegerCellEditor extends CellEditor {
* @param value
* a text string (type <code>String</code>)
*/
+ @Override
protected void doSetValue(Object value) {
Assert.isTrue(text != null && (value instanceof Integer));
text.removeModifyListener(getModifyListener());
@@ -209,6 +219,7 @@ public class IntegerCellEditor extends CellEditor {
/**
* Since a text editor field is scrollable we don't set a minimumSize.
*/
+ @Override
public LayoutData getLayoutData() {
return new LayoutData();
}
@@ -219,6 +230,7 @@ public class IntegerCellEditor extends CellEditor {
private ModifyListener getModifyListener() {
if (modifyListener == null) {
modifyListener = new ModifyListener() {
+ @Override
public void modifyText(ModifyEvent e) {
editOccured(e);
}
@@ -247,6 +259,7 @@ public class IntegerCellEditor extends CellEditor {
* <code>CellEditor</code> method returns <code>true</code> if the current
* selection is not empty.
*/
+ @Override
public boolean isCopyEnabled() {
if (text == null || text.isDisposed()) {
return false;
@@ -259,6 +272,7 @@ public class IntegerCellEditor extends CellEditor {
* <code>CellEditor</code> method returns <code>true</code> if the current
* selection is not empty.
*/
+ @Override
public boolean isCutEnabled() {
if (text == null || text.isDisposed()) {
return false;
@@ -271,6 +285,7 @@ public class IntegerCellEditor extends CellEditor {
* <code>CellEditor</code> method returns <code>true</code> if there is a
* selection or if the caret is not positioned at the end of the text.
*/
+ @Override
public boolean isDeleteEnabled() {
if (text == null || text.isDisposed()) {
return false;
@@ -283,6 +298,7 @@ public class IntegerCellEditor extends CellEditor {
* The <code>TextCellEditor</code> implementation of this
* <code>CellEditor</code> method always returns <code>true</code>.
*/
+ @Override
public boolean isPasteEnabled() {
if (text == null || text.isDisposed()) {
return false;
@@ -315,6 +331,7 @@ public class IntegerCellEditor extends CellEditor {
* @return <code>true</code> if select all is possible, <code>false</code>
* otherwise
*/
+ @Override
public boolean isSelectAllEnabled() {
if (text == null || text.isDisposed()) {
return false;
@@ -335,6 +352,7 @@ public class IntegerCellEditor extends CellEditor {
* @param keyEvent
* the key event
*/
+ @Override
protected void keyReleaseOccured(KeyEvent keyEvent) {
if (keyEvent.character == '\r') { // Return key
// Enter is handled in handleDefaultSelection.
@@ -362,6 +380,7 @@ public class IntegerCellEditor extends CellEditor {
* <code>CellEditor</code> method copies the current selection to the
* clipboard.
*/
+ @Override
public void performCopy() {
text.copy();
}
@@ -371,6 +390,7 @@ public class IntegerCellEditor extends CellEditor {
* <code>CellEditor</code> method cuts the current selection to the
* clipboard.
*/
+ @Override
public void performCut() {
text.cut();
checkSelection();
@@ -383,6 +403,7 @@ public class IntegerCellEditor extends CellEditor {
* <code>CellEditor</code> method deletes the current selection or, if there
* is no selection, the character next character from the current position.
*/
+ @Override
public void performDelete() {
if (text.getSelectionCount() > 0) {
// remove the contents of the current selection
@@ -405,6 +426,7 @@ public class IntegerCellEditor extends CellEditor {
* <code>CellEditor</code> method pastes the the clipboard contents over the
* current selection.
*/
+ @Override
public void performPaste() {
text.paste();
checkSelection();
@@ -416,6 +438,7 @@ public class IntegerCellEditor extends CellEditor {
* The <code>TextCellEditor</code> implementation of this
* <code>CellEditor</code> method selects all of the current text.
*/
+ @Override
public void performSelectAll() {
text.selectAll();
checkSelection();
@@ -431,6 +454,7 @@ public class IntegerCellEditor extends CellEditor {
*
* @since 3.4
*/
+ @Override
protected boolean dependsOnExternalFocusListener() {
return getClass() != IntegerCellEditor.class;
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/property/IntegerPropertyDescriptor.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/property/IntegerPropertyDescriptor.java
index 4079b8ff..329944aa 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/property/IntegerPropertyDescriptor.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/property/IntegerPropertyDescriptor.java
@@ -16,6 +16,7 @@ public class IntegerPropertyDescriptor extends PropertyDescriptor {
super(id, displayName);
}
+ @Override
public CellEditor createPropertyEditor(Composite parent) {
CellEditor editor = new IntegerCellEditor(parent);
if (getValidator() != null) {
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 fea6f682..57fc9f27 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
@@ -47,12 +47,14 @@ public class SliderCellEditor extends CellEditor {
* Internal class for laying out the dialog.
*/
private class SliderSampleCellLayout extends Layout {
+ @Override
public void layout(Composite editor, boolean force) {
Rectangle bounds = editor.getClientArea();
slider.setBounds(30, 0, bounds.width - 30, bounds.height);
countLabel.setBounds(5, 1, 25, bounds.height);
}
+ @Override
public Point computeSize(Composite editor, int wHint, int hHint,
boolean force) {
if (wHint != SWT.DEFAULT && hHint != SWT.DEFAULT) {
@@ -125,6 +127,7 @@ public class SliderCellEditor extends CellEditor {
return result;
}
+ @Override
protected Control createControl(Composite parent) {
Font font = parent.getFont();
Color bg = parent.getBackground();
@@ -143,6 +146,7 @@ public class SliderCellEditor extends CellEditor {
slider.addFocusListener(getButtonFocusListener());
slider.addListener(SWT.Selection, new Listener() {
+ @Override
public void handleEvent(Event event) {
slider.removeFocusListener(getButtonFocusListener());
@@ -163,6 +167,7 @@ public class SliderCellEditor extends CellEditor {
});
slider.addListener(SWT.MouseUp, new Listener() {
+ @Override
public void handleEvent(Event event) {
fireApplyEditorValue();
}
@@ -177,6 +182,7 @@ public class SliderCellEditor extends CellEditor {
* Override in order to remove the button's focus listener if
* the celleditor is deactivating.
*/
+ @Override
public void deactivate() {
if (slider != null && !slider.isDisposed()) {
slider.removeFocusListener(getButtonFocusListener());
@@ -185,6 +191,7 @@ public class SliderCellEditor extends CellEditor {
super.deactivate();
}
+ @Override
protected Object doGetValue() {
return value;
}
@@ -192,6 +199,7 @@ public class SliderCellEditor extends CellEditor {
/**
* The focus is set to the cell editor's button.
*/
+ @Override
protected void doSetFocus() {
slider.setFocus(); // add a FocusListener to the button
slider.addFocusListener(getButtonFocusListener());
@@ -205,10 +213,12 @@ public class SliderCellEditor extends CellEditor {
private FocusListener getButtonFocusListener() {
if (buttonFocusListener == null) {
buttonFocusListener = new FocusListener() {
+ @Override
public void focusGained(FocusEvent e) {
// Do nothing
}
+ @Override
public void focusLost(FocusEvent e) {
SliderCellEditor.this.focusLost();
}
@@ -218,6 +228,7 @@ public class SliderCellEditor extends CellEditor {
return buttonFocusListener;
}
+ @Override
protected void doSetValue(Object value) {
this.value = value;
updateContents(value);
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/property/SliderPropertyDescriptor.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/property/SliderPropertyDescriptor.java
index a4af6f93..4433bf42 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/property/SliderPropertyDescriptor.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/property/SliderPropertyDescriptor.java
@@ -16,6 +16,7 @@ public class SliderPropertyDescriptor extends PropertyDescriptor {
super(id, displayName);
}
+ @Override
public CellEditor createPropertyEditor(Composite parent) {
CellEditor editor = new SliderCellEditor(parent);
if (getValidator() != null) {
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/AnimationScriptObject.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/AnimationScriptObject.java
index affa2870..a520ad91 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/AnimationScriptObject.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/AnimationScriptObject.java
@@ -51,6 +51,7 @@ public class AnimationScriptObject extends BindingObject implements Cloneable {
return predicate;
}
+ @Override
public AnimationScriptObject clone() throws CloneNotSupportedException {
Vector<AnimationScriptStep> tmpVector = new Vector<AnimationScriptStep>();
for (AnimationScriptStep p : getSteps()) {
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/AnimationScriptStep.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/AnimationScriptStep.java
index 4c9d39a1..51591164 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/AnimationScriptStep.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/AnimationScriptStep.java
@@ -72,6 +72,7 @@ public class AnimationScriptStep extends BindingObject implements Cloneable {
callBackList.remove(callBackObj);
}
+ @Override
public AnimationScriptStep clone() throws CloneNotSupportedException {
ArrayList<ObserverCallBackObject> tmpList = new ArrayList<ObserverCallBackObject>();
for (ObserverCallBackObject p : getCallBackList()) {
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/ExecuteAnimationScript.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/ExecuteAnimationScript.java
index dc5dd3e1..135a96be 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/ExecuteAnimationScript.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/ExecuteAnimationScript.java
@@ -101,6 +101,7 @@ public class ExecuteAnimationScript extends SchedulerEvent {
return new WizardExecuteScheduler(bcontrol, this);
}
+ @Override
public ExecuteAnimationScript clone() throws CloneNotSupportedException {
ExecuteAnimationScript nse = (ExecuteAnimationScript) super.clone();
List<AnimationScriptObject> list = new ArrayList<AnimationScriptObject>();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/ExecuteOperationByPredicate.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/ExecuteOperationByPredicate.java
index 9b192f74..e28bdf2b 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/ExecuteOperationByPredicate.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/ExecuteOperationByPredicate.java
@@ -31,6 +31,7 @@ public class ExecuteOperationByPredicate extends SchedulerEvent {
public void execute(final Animation animation, final BControl control) {
new Thread(new Runnable() {
+ @Override
public void run() {
try {
@@ -89,6 +90,7 @@ public class ExecuteOperationByPredicate extends SchedulerEvent {
return this.predicateOperation;
}
+ @Override
public ExecuteOperationByPredicate clone()
throws CloneNotSupportedException {
ExecuteOperationByPredicate nse = (ExecuteOperationByPredicate) super
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/ExecuteOperationByPredicateMulti.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/ExecuteOperationByPredicateMulti.java
index 4f41cb5b..202989fa 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/ExecuteOperationByPredicateMulti.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/ExecuteOperationByPredicateMulti.java
@@ -63,6 +63,7 @@ public class ExecuteOperationByPredicateMulti extends SchedulerEvent {
return operationList;
}
+ @Override
public ExecuteOperationByPredicateMulti clone()
throws CloneNotSupportedException {
ExecuteOperationByPredicateMulti nse = (ExecuteOperationByPredicateMulti) super
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/ObserverCallBackObject.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/ObserverCallBackObject.java
index aadd6277..3c6a97c8 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/ObserverCallBackObject.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/ObserverCallBackObject.java
@@ -43,6 +43,7 @@ public class ObserverCallBackObject extends BindingObject implements Cloneable {
firePropertyChange("observerID", oldValue, this.observerID);
}
+ @Override
public ObserverCallBackObject clone() throws CloneNotSupportedException {
ObserverCallBackObject tmpObj = (ObserverCallBackObject) super.clone();
return tmpObj;
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/PredicateOperation.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/PredicateOperation.java
index a8b27599..485d6ed9 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/PredicateOperation.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/PredicateOperation.java
@@ -69,6 +69,7 @@ public class PredicateOperation extends ObserverEvalObject implements Cloneable
return maxrandom;
}
+ @Override
public PredicateOperation clone() throws CloneNotSupportedException {
return (PredicateOperation) super.clone();
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/SchedulerEvent.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/SchedulerEvent.java
index 1b2a5edc..c7ceff51 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/SchedulerEvent.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/SchedulerEvent.java
@@ -83,6 +83,7 @@ public abstract class SchedulerEvent extends AbstractExpressionControl
*
* @return the cloned scheduler event
*/
+ @Override
public SchedulerEvent clone() throws CloneNotSupportedException {
return (SchedulerEvent) super.clone();
}
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/SchedulerWizard.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/SchedulerWizard.java
index b52aae60..17b9ca79 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/SchedulerWizard.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/SchedulerWizard.java
@@ -35,6 +35,7 @@ public abstract class SchedulerWizard extends BMotionAbstractWizard {
return this.event;
}
+ @Override
protected abstract Boolean prepareToFinish();
@Override
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/wizard/WizardExecuteOperationByPredicate.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/wizard/WizardExecuteOperationByPredicate.java
index 2cc81c49..c71064f9 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/wizard/WizardExecuteOperationByPredicate.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/wizard/WizardExecuteOperationByPredicate.java
@@ -82,6 +82,7 @@ public class WizardExecuteOperationByPredicate extends SchedulerWizard {
super(pageName);
}
+ @Override
public void createControl(final Composite parent) {
final DataBindingContext dbc = new DataBindingContext();
@@ -198,6 +199,7 @@ public class WizardExecuteOperationByPredicate extends SchedulerWizard {
.observe(((ExecuteOperationByPredicate) getScheduler()).getPredicateOperation()));
observeSelection.addValueChangeListener(new IValueChangeListener() {
+ @Override
public void handleValueChange(ValueChangeEvent event) {
Object sel = event.getObservableValue().getValue();
createRenderedOperationContainer((MachineOperation) sel);
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 5afd5784..9afe41d5 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
@@ -57,6 +57,7 @@ public class WizardExecuteOperationByPredicateMulti extends SchedulerWizard {
super(pageName);
}
+ @Override
public void createControl(final Composite parent) {
DataBindingContext dbc = new DataBindingContext();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/wizard/WizardExecuteScheduler.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/wizard/WizardExecuteScheduler.java
index c0de0d6b..6b01d29c 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/wizard/WizardExecuteScheduler.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/wizard/WizardExecuteScheduler.java
@@ -56,6 +56,7 @@ public class WizardExecuteScheduler extends SchedulerWizard {
super(pageName);
}
+ @Override
public void createControl(final Composite parent) {
DataBindingContext dbc = new DataBindingContext();
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/util/BMotionWizardUtil.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/util/BMotionWizardUtil.java
index d2c74e1d..eebeb91b 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/util/BMotionWizardUtil.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/util/BMotionWizardUtil.java
@@ -58,6 +58,7 @@ public class BMotionWizardUtil {
manager.add(new BMotionWizardAddItemAction(tableViewer, itemClass));
tableViewer.getTable().addListener(SWT.MouseDown, new Listener() {
+ @Override
public void handleEvent(Event event) {
tableViewer.setData("editElement", false);
}
@@ -65,7 +66,7 @@ public class BMotionWizardUtil {
tableViewer.getTable().addListener(SWT.MouseDoubleClick,
new Listener() {
-
+ @Override
public void handleEvent(Event event) {
tableViewer.setData("editElement", true);
diff --git a/de.prob.core/src/de/prob/core/ListenerRegistry.java b/de.prob.core/src/de/prob/core/ListenerRegistry.java
index 6c547ba1..2cebb3e6 100644
--- a/de.prob.core/src/de/prob/core/ListenerRegistry.java
+++ b/de.prob.core/src/de/prob/core/ListenerRegistry.java
@@ -46,6 +46,7 @@ public class ListenerRegistry implements ILifecycleListener,
animationListeners.remove(listener);
}
+ @Override
public void reset() {
for (final ILifecycleListener listener : lifeCycleListeners) {
try {
@@ -59,6 +60,7 @@ public class ListenerRegistry implements ILifecycleListener,
}
}
+ @Override
public void computedState(final State state) {
for (final IComputationListener listener : computationListeners) {
try {
@@ -72,6 +74,7 @@ public class ListenerRegistry implements ILifecycleListener,
}
}
+ @Override
public void currentStateChanged(final State currentState,
final Operation operation) {
for (final IAnimationListener listener : animationListeners) {
diff --git a/de.prob.core/src/de/prob/core/StaticListenerRegistry.java b/de.prob.core/src/de/prob/core/StaticListenerRegistry.java
index cd3ebe87..7f7329e0 100644
--- a/de.prob.core/src/de/prob/core/StaticListenerRegistry.java
+++ b/de.prob.core/src/de/prob/core/StaticListenerRegistry.java
@@ -51,14 +51,17 @@ public final class StaticListenerRegistry implements ILifecycleListener,
registry.unregisterAnimationListener(listener);
}
+ @Override
public void reset() {
registry.reset();
}
+ @Override
public void computedState(final State state) {
registry.computedState(state);
}
+ @Override
public void currentStateChanged(final State currentState,
final Operation operation) {
registry.currentStateChanged(currentState, operation);
diff --git a/de.prob.core/src/de/prob/core/command/CheckBooleanPropertyCommand.java b/de.prob.core/src/de/prob/core/command/CheckBooleanPropertyCommand.java
index 8756433b..ff2700cf 100644
--- a/de.prob.core/src/de/prob/core/command/CheckBooleanPropertyCommand.java
+++ b/de.prob.core/src/de/prob/core/command/CheckBooleanPropertyCommand.java
@@ -46,6 +46,7 @@ public class CheckBooleanPropertyCommand implements IComposableCommand {
// IComposableCommand
//
+ @Override
public void processResult(
final ISimplifiedROMap<String, PrologTerm> bindings)
throws CommandException {
@@ -70,6 +71,7 @@ public class CheckBooleanPropertyCommand implements IComposableCommand {
pto.closeTerm();
}
+ @Override
public void writeCommand(final IPrologTermOutput pto) {
writeCommand(pto, propertyName, stateId);
}
diff --git a/de.prob.core/src/de/prob/core/command/ClearMachineCommand.java b/de.prob.core/src/de/prob/core/command/ClearMachineCommand.java
index 74b12d91..adfb2947 100644
--- a/de.prob.core/src/de/prob/core/command/ClearMachineCommand.java
+++ b/de.prob.core/src/de/prob/core/command/ClearMachineCommand.java
@@ -20,10 +20,12 @@ public class ClearMachineCommand implements IComposableCommand {
animator.execute(new ClearMachineCommand());
}
+ @Override
public void processResult(
final ISimplifiedROMap<String, PrologTerm> bindings)
throws CommandException {}
+ @Override
public void writeCommand(final IPrologTermOutput pto) {
pto.openTerm("clear_loaded_machines").closeTerm();
}
diff --git a/de.prob.core/src/de/prob/core/command/ComposedCommand.java b/de.prob.core/src/de/prob/core/command/ComposedCommand.java
index 34c98a1f..84036f32 100644
--- a/de.prob.core/src/de/prob/core/command/ComposedCommand.java
+++ b/de.prob.core/src/de/prob/core/command/ComposedCommand.java
@@ -32,6 +32,7 @@ public class ComposedCommand implements IComposableCommand {
this.cmds = cmds.toArray(new IComposableCommand[0]);
}
+ @Override
public void processResult(
final ISimplifiedROMap<String, PrologTerm> bindings)
throws CommandException {
@@ -48,6 +49,7 @@ public class ComposedCommand implements IComposableCommand {
cmds[i].processResult(prefixMap);
}
+ @Override
public void writeCommand(final IPrologTermOutput orig)
throws CommandException {
PrologPrefixVarOutput pto = new PrologPrefixVarOutput(orig);
@@ -120,6 +122,7 @@ public class ComposedCommand implements IComposableCommand {
this.map = map;
}
+ @Override
public V get(final String key) {
return map.get(prefix == null ? key : prefix + key);
}
diff --git a/de.prob.core/src/de/prob/core/command/EvaluateRawExpressionsCommand.java b/de.prob.core/src/de/prob/core/command/EvaluateRawExpressionsCommand.java
index 34a8ce92..97c75b44 100644
--- a/de.prob.core/src/de/prob/core/command/EvaluateRawExpressionsCommand.java
+++ b/de.prob.core/src/de/prob/core/command/EvaluateRawExpressionsCommand.java
@@ -43,6 +43,7 @@ public class EvaluateRawExpressionsCommand implements IComposableCommand {
return values;
}
+ @Override
public void processResult(
final ISimplifiedROMap<String, PrologTerm> bindings)
throws CommandException {
@@ -51,6 +52,7 @@ public class EvaluateRawExpressionsCommand implements IComposableCommand {
values = PrologTerm.atomicStrings(prologTerm);
}
+ @Override
public void writeCommand(final IPrologTermOutput pout) {
pout.openTerm("evaluate_raw_expressions");
pout.printAtomOrNumber(stateId);
diff --git a/de.prob.core/src/de/prob/core/command/EvaluationExpandCommand.java b/de.prob.core/src/de/prob/core/command/EvaluationExpandCommand.java
index bd3c6a83..76f1735d 100644
--- a/de.prob.core/src/de/prob/core/command/EvaluationExpandCommand.java
+++ b/de.prob.core/src/de/prob/core/command/EvaluationExpandCommand.java
@@ -30,6 +30,7 @@ public class EvaluationExpandCommand implements IComposableCommand {
this.evaluationElement = evaluationElement;
}
+ @Override
public void processResult(
final ISimplifiedROMap<String, PrologTerm> bindings)
throws CommandException {
@@ -37,6 +38,7 @@ public class EvaluationExpandCommand implements IComposableCommand {
children = (ListPrologTerm) bindings.get(CHILDREN_VARNAME);
}
+ @Override
public void writeCommand(final IPrologTermOutput pto) {
pto.openTerm("evaluation_expand_formula");
evaluationElement.toTermOutput(pto);
diff --git a/de.prob.core/src/de/prob/core/command/EvaluationGetTopLevelCommand.java b/de.prob.core/src/de/prob/core/command/EvaluationGetTopLevelCommand.java
index 091564a4..b2c66df4 100644
--- a/de.prob.core/src/de/prob/core/command/EvaluationGetTopLevelCommand.java
+++ b/de.prob.core/src/de/prob/core/command/EvaluationGetTopLevelCommand.java
@@ -41,6 +41,7 @@ public class EvaluationGetTopLevelCommand implements IComposableCommand {
this.animator = animator;
}
+ @Override
public void processResult(
final ISimplifiedROMap<String, PrologTerm> bindings)
throws CommandException {
@@ -71,6 +72,7 @@ public class EvaluationGetTopLevelCommand implements IComposableCommand {
return top;
}
+ @Override
public void writeCommand(final IPrologTermOutput pto) {
pto.openTerm("evaluation_get_top_level");
pto.printVariable(FIRST_EXPANSION_VARNAME);
diff --git a/de.prob.core/src/de/prob/core/command/EvaluationGetValuesCommand.java b/de.prob.core/src/de/prob/core/command/EvaluationGetValuesCommand.java
index 70a97a1b..cdb11a45 100644
--- a/de.prob.core/src/de/prob/core/command/EvaluationGetValuesCommand.java
+++ b/de.prob.core/src/de/prob/core/command/EvaluationGetValuesCommand.java
@@ -155,6 +155,7 @@ public class EvaluationGetValuesCommand implements IComposableCommand {
this.elements = new ArrayList<EvaluationElement>(elements);
}
+ @Override
public void processResult(
final ISimplifiedROMap<String, PrologTerm> bindings)
throws CommandException {
@@ -209,6 +210,7 @@ public class EvaluationGetValuesCommand implements IComposableCommand {
return results;
}
+ @Override
public void writeCommand(final IPrologTermOutput pto) {
pto.openTerm(COMMAND_NAME);
pto.openList();
diff --git a/de.prob.core/src/de/prob/core/command/EvaluationInsertFormulaCommand.java b/de.prob.core/src/de/prob/core/command/EvaluationInsertFormulaCommand.java
index e9f12dd5..eab39c51 100644
--- a/de.prob.core/src/de/prob/core/command/EvaluationInsertFormulaCommand.java
+++ b/de.prob.core/src/de/prob/core/command/EvaluationInsertFormulaCommand.java
@@ -90,12 +90,14 @@ public class EvaluationInsertFormulaCommand implements IComposableCommand {
this.rawExpression = rawExpression;
}
+ @Override
public void processResult(
final ISimplifiedROMap<String, PrologTerm> bindings)
throws CommandException {
id = bindings.get(VARNAME_ID);
}
+ @Override
public void writeCommand(final IPrologTermOutput pto) {
pto.openTerm("evaluation_insert_formula");
rawExpression.toTermOutput(pto);
diff --git a/de.prob.core/src/de/prob/core/command/ExecuteOperationCommand.java b/de.prob.core/src/de/prob/core/command/ExecuteOperationCommand.java
index 9e225706..1627f7cb 100644
--- a/de.prob.core/src/de/prob/core/command/ExecuteOperationCommand.java
+++ b/de.prob.core/src/de/prob/core/command/ExecuteOperationCommand.java
@@ -58,6 +58,7 @@ public final class ExecuteOperationCommand implements IComposableCommand {
a.execute(executeOperationCommand);
}
+ @Override
public void processResult(
final ISimplifiedROMap<String, PrologTerm> bindings)
throws CommandException {
@@ -73,6 +74,7 @@ public final class ExecuteOperationCommand implements IComposableCommand {
}
}
+ @Override
public void writeCommand(final IPrologTermOutput pto) throws CommandException {
LimitedLogger.getLogger().log("execute operation", operation.getName(),
null);
diff --git a/de.prob.core/src/de/prob/core/command/GetCurrentStateIdCommand.java b/de.prob.core/src/de/prob/core/command/GetCurrentStateIdCommand.java
index fde2247d..0b99c611 100644
--- a/de.prob.core/src/de/prob/core/command/GetCurrentStateIdCommand.java
+++ b/de.prob.core/src/de/prob/core/command/GetCurrentStateIdCommand.java
@@ -51,12 +51,14 @@ public final class GetCurrentStateIdCommand implements IComposableCommand {
return currentID;
}
+ @Override
public void processResult(
final ISimplifiedROMap<String, PrologTerm> bindings)
throws CommandException {
currentID = getStateID(bindings.get("ID"));
}
+ @Override
public void writeCommand(final IPrologTermOutput pto) {
pto.openTerm("getCurrentStateID").printVariable("ID").closeTerm();
}
diff --git a/de.prob.core/src/de/prob/core/command/GetEnabledOperationsCommand.java b/de.prob.core/src/de/prob/core/command/GetEnabledOperationsCommand.java
index dd0f7283..d77a7d19 100644
--- a/de.prob.core/src/de/prob/core/command/GetEnabledOperationsCommand.java
+++ b/de.prob.core/src/de/prob/core/command/GetEnabledOperationsCommand.java
@@ -40,6 +40,7 @@ public final class GetEnabledOperationsCommand implements IComposableCommand {
// IComposableCommand
//
+ @Override
public void processResult(
final ISimplifiedROMap<String, PrologTerm> bindings) {
enabledOperations = new ArrayList<Operation>();
@@ -52,6 +53,7 @@ public final class GetEnabledOperationsCommand implements IComposableCommand {
}
}
+ @Override
public void writeCommand(final IPrologTermOutput pto) {
pto.openTerm("computeOperationsForState");
pto.printAtomOrNumber(id);
diff --git a/de.prob.core/src/de/prob/core/command/GetFullTraceCommand.java b/de.prob.core/src/de/prob/core/command/GetFullTraceCommand.java
index 0d78d2c8..30bc1645 100644
--- a/de.prob.core/src/de/prob/core/command/GetFullTraceCommand.java
+++ b/de.prob.core/src/de/prob/core/command/GetFullTraceCommand.java
@@ -58,6 +58,7 @@ public final class GetFullTraceCommand implements IComposableCommand {
return trace;
}
+ @Override
public void processResult(
final ISimplifiedROMap<String, PrologTerm> bindings)
throws CommandException {
@@ -68,6 +69,7 @@ public final class GetFullTraceCommand implements IComposableCommand {
trace = new TraceResult(operations, states);
}
+ @Override
public void writeCommand(final IPrologTermOutput pto) {
pto.openTerm("find_shortest_trace_to_current_state2");
pto.printVariable(ACTIONS_VARIABLE);
diff --git a/de.prob.core/src/de/prob/core/command/GetMachineObjectsCommand.java b/de.prob.core/src/de/prob/core/command/GetMachineObjectsCommand.java
index 13ae047c..f4256deb 100644
--- a/de.prob.core/src/de/prob/core/command/GetMachineObjectsCommand.java
+++ b/de.prob.core/src/de/prob/core/command/GetMachineObjectsCommand.java
@@ -124,6 +124,7 @@ public class GetMachineObjectsCommand implements IComposableCommand {
return term;
}
+ @Override
public void processResult(
final ISimplifiedROMap<String, PrologTerm> bindings)
throws CommandException {
@@ -139,6 +140,7 @@ public class GetMachineObjectsCommand implements IComposableCommand {
constants, variables, operations);
}
+ @Override
public void writeCommand(final IPrologTermOutput pto) {
pto.openTerm("get_machine_objects").printVariable("Sections")
.printVariable("SetElements").printVariable("Constants")
diff --git a/de.prob.core/src/de/prob/core/command/GetOperationByPredicateCommand.java b/de.prob.core/src/de/prob/core/command/GetOperationByPredicateCommand.java
index 62d7767a..733f76ff 100644
--- a/de.prob.core/src/de/prob/core/command/GetOperationByPredicateCommand.java
+++ b/de.prob.core/src/de/prob/core/command/GetOperationByPredicateCommand.java
@@ -115,6 +115,7 @@ public final class GetOperationByPredicateCommand implements IComposableCommand
*
* @see de.prob.core.command.IComposableCommand#writeCommand(de.prob.prolog.output.IPrologTermOutput)
*/
+ @Override
public void writeCommand(final IPrologTermOutput pto) {
pto.openTerm("execute_custom_operations").printAtomOrNumber(stateId)
.printAtom(name);
@@ -132,6 +133,7 @@ public final class GetOperationByPredicateCommand implements IComposableCommand
*
* @see de.prob.core.command.IComposableCommand#writeCommand(de.prob.prolog.output.IPrologTermOutput)
*/
+ @Override
public void processResult(
final ISimplifiedROMap<String, PrologTerm> bindings)
throws CommandException {
diff --git a/de.prob.core/src/de/prob/core/command/GetPreferencesCommand.java b/de.prob.core/src/de/prob/core/command/GetPreferencesCommand.java
index bdf9a11a..bc0b4f6e 100644
--- a/de.prob.core/src/de/prob/core/command/GetPreferencesCommand.java
+++ b/de.prob.core/src/de/prob/core/command/GetPreferencesCommand.java
@@ -54,6 +54,7 @@ public final class GetPreferencesCommand implements IComposableCommand {
return new ProBPreference(compoundTerm);
}
+ @Override
public void processResult(
final ISimplifiedROMap<String, PrologTerm> bindings)
throws CommandException {
@@ -66,6 +67,7 @@ public final class GetPreferencesCommand implements IComposableCommand {
}
}
+ @Override
public void writeCommand(final IPrologTermOutput pto) {
pto.openTerm("list_eclipse_preferences").printVariable(PREFS_VARIABLE)
.closeTerm();
diff --git a/de.prob.core/src/de/prob/core/command/GetStateBasedErrorsCommand.java b/de.prob.core/src/de/prob/core/command/GetStateBasedErrorsCommand.java
index fb16e1cc..02c5e686 100644
--- a/de.prob.core/src/de/prob/core/command/GetStateBasedErrorsCommand.java
+++ b/de.prob.core/src/de/prob/core/command/GetStateBasedErrorsCommand.java
@@ -44,6 +44,7 @@ public class GetStateBasedErrorsCommand implements IComposableCommand {
// ComposableCommand
//
+ @Override
public void processResult(
final ISimplifiedROMap<String, PrologTerm> bindings)
throws CommandException {
@@ -79,6 +80,7 @@ public class GetStateBasedErrorsCommand implements IComposableCommand {
this.stateErrors = errors;
}
+ @Override
public void writeCommand(final IPrologTermOutput pto) {
pto.openTerm("get_state_errors").printAtomOrNumber(stateId)
.printVariable("Errors").closeTerm();
diff --git a/de.prob.core/src/de/prob/core/command/GetStateValuesCommand.java b/de.prob.core/src/de/prob/core/command/GetStateValuesCommand.java
index 22d58e9a..24b8c9f4 100644
--- a/de.prob.core/src/de/prob/core/command/GetStateValuesCommand.java
+++ b/de.prob.core/src/de/prob/core/command/GetStateValuesCommand.java
@@ -31,6 +31,7 @@ public final class GetStateValuesCommand implements IComposableCommand {
return result;
}
+ @Override
public void processResult(
final ISimplifiedROMap<String, PrologTerm> bindings)
throws CommandException {
@@ -62,6 +63,7 @@ public final class GetStateValuesCommand implements IComposableCommand {
result = variables;
}
+ @Override
public void writeCommand(final IPrologTermOutput pto) {
pto.openTerm("getStateValues").printAtomOrNumber(stateId)
.printVariable("Bindings").closeTerm();
diff --git a/de.prob.core/src/de/prob/core/command/GetTimeoutedOperationsCommand.java b/de.prob.core/src/de/prob/core/command/GetTimeoutedOperationsCommand.java
index ec4030b6..0e05b145 100644
--- a/de.prob.core/src/de/prob/core/command/GetTimeoutedOperationsCommand.java
+++ b/de.prob.core/src/de/prob/core/command/GetTimeoutedOperationsCommand.java
@@ -18,6 +18,7 @@ public class GetTimeoutedOperationsCommand implements IComposableCommand {
this.state = state;
}
+ @Override
public void processResult(
final ISimplifiedROMap<String, PrologTerm> bindings)
throws CommandException {
@@ -32,6 +33,7 @@ public class GetTimeoutedOperationsCommand implements IComposableCommand {
}
}
+ @Override
public void writeCommand(final IPrologTermOutput pto) {
pto.openTerm("op_timeout_occurred").printAtomOrNumber(state)
.printVariable(TIMEOUT_VARIABLE).closeTerm();
diff --git a/de.prob.core/src/de/prob/core/command/GetTraceCommand.java b/de.prob.core/src/de/prob/core/command/GetTraceCommand.java
index ad61e041..af1ad822 100644
--- a/de.prob.core/src/de/prob/core/command/GetTraceCommand.java
+++ b/de.prob.core/src/de/prob/core/command/GetTraceCommand.java
@@ -57,6 +57,7 @@ public final class GetTraceCommand implements IComposableCommand {
return trace;
}
+ @Override
public void processResult(
final ISimplifiedROMap<String, PrologTerm> bindings)
throws CommandException {
@@ -82,6 +83,7 @@ public final class GetTraceCommand implements IComposableCommand {
this.trace = actions;
}
+ @Override
public void writeCommand(final IPrologTermOutput pto) {
pto.openTerm("find_shortest_trace_to_current_state")
.printVariable(TRACE_VARIABLE).closeTerm();
diff --git a/de.prob.core/src/de/prob/core/command/SetPreferenceCommand.java b/de.prob.core/src/de/prob/core/command/SetPreferenceCommand.java
index fa5103f9..828febcd 100644
--- a/de.prob.core/src/de/prob/core/command/SetPreferenceCommand.java
+++ b/de.prob.core/src/de/prob/core/command/SetPreferenceCommand.java
@@ -28,12 +28,14 @@ public final class SetPreferenceCommand implements IComposableCommand {
a.execute(command);
}
+ @Override
public void processResult(
final ISimplifiedROMap<String, PrologTerm> bindings)
throws CommandException {
// no result
}
+ @Override
public void writeCommand(final IPrologTermOutput pto) {
pto.openTerm("set_eclipse_preference").printAtom(key).printAtom(value)
.closeTerm();
diff --git a/de.prob.core/src/de/prob/core/command/SetPreferencesCommand.java b/de.prob.core/src/de/prob/core/command/SetPreferencesCommand.java
index 7ff9ee72..ebd43bfd 100644
--- a/de.prob.core/src/de/prob/core/command/SetPreferencesCommand.java
+++ b/de.prob.core/src/de/prob/core/command/SetPreferencesCommand.java
@@ -85,12 +85,14 @@ public final class SetPreferencesCommand implements IComposableCommand {
return !INVALID_PROPERTIES.contains(key);
}
+ @Override
public void processResult(
final ISimplifiedROMap<String, PrologTerm> bindings)
throws CommandException {
cmds.processResult(bindings);
}
+ @Override
public void writeCommand(final IPrologTermOutput pto) throws CommandException {
cmds.writeCommand(pto);
}
diff --git a/de.prob.core/src/de/prob/core/command/SetStateCommand.java b/de.prob.core/src/de/prob/core/command/SetStateCommand.java
index 0f4bb411..2116c98b 100644
--- a/de.prob.core/src/de/prob/core/command/SetStateCommand.java
+++ b/de.prob.core/src/de/prob/core/command/SetStateCommand.java
@@ -25,12 +25,14 @@ public final class SetStateCommand implements IComposableCommand {
a.execute(command);
}
+ @Override
public void processResult(
final ISimplifiedROMap<String, PrologTerm> bindings)
throws CommandException {
// no results, do nothing
}
+ @Override
public void writeCommand(final IPrologTermOutput pto) {
pto.openTerm("setCurrentState").printAtomOrNumber(stateId).closeTerm();
}
diff --git a/de.prob.core/src/de/prob/core/command/StartAnimationCommand.java b/de.prob.core/src/de/prob/core/command/StartAnimationCommand.java
index b6eb46ca..901350f1 100644
--- a/de.prob.core/src/de/prob/core/command/StartAnimationCommand.java
+++ b/de.prob.core/src/de/prob/core/command/StartAnimationCommand.java
@@ -13,12 +13,14 @@ public class StartAnimationCommand implements IComposableCommand {
a.execute(cmd);
}
+ @Override
public void processResult(
final ISimplifiedROMap<String, PrologTerm> bindings)
throws CommandException {
// nothing to do
}
+ @Override
public void writeCommand(final IPrologTermOutput pto) {
pto.printAtom("start_animation");
}
diff --git a/de.prob.core/src/de/prob/core/command/internal/GetAllOperationsNamesCommand.java b/de.prob.core/src/de/prob/core/command/internal/GetAllOperationsNamesCommand.java
index 145d2875..9fd519b6 100644
--- a/de.prob.core/src/de/prob/core/command/internal/GetAllOperationsNamesCommand.java
+++ b/de.prob.core/src/de/prob/core/command/internal/GetAllOperationsNamesCommand.java
@@ -16,12 +16,14 @@ public class GetAllOperationsNamesCommand implements IComposableCommand {
return term;
}
+ @Override
public void processResult(
final ISimplifiedROMap<String, PrologTerm> bindings)
throws CommandException {
term = (ListPrologTerm) bindings.get(NAMES_VARIABLE);
}
+ @Override
public void writeCommand(final IPrologTermOutput pto) {
pto.openTerm("getAllOperations").printVariable(NAMES_VARIABLE)
.closeTerm();
diff --git a/de.prob.core/src/de/prob/core/command/internal/GetOperationParameterNames.java b/de.prob.core/src/de/prob/core/command/internal/GetOperationParameterNames.java
index 2abbb077..3cdf30b3 100644
--- a/de.prob.core/src/de/prob/core/command/internal/GetOperationParameterNames.java
+++ b/de.prob.core/src/de/prob/core/command/internal/GetOperationParameterNames.java
@@ -19,6 +19,7 @@ public class GetOperationParameterNames implements IComposableCommand {
this.name = name;
}
+ @Override
public void processResult(
final ISimplifiedROMap<String, PrologTerm> bindings)
throws CommandException {
@@ -26,6 +27,7 @@ public class GetOperationParameterNames implements IComposableCommand {
.get(PARAMETER_NAMES_VARIABLE));
}
+ @Override
public void writeCommand(final IPrologTermOutput pto) {
pto.openTerm("getOperationParameterNames");
pto.printAtom(name);
diff --git a/de.prob.core/src/de/prob/core/domainobjects/History.java b/de.prob.core/src/de/prob/core/domainobjects/History.java
index fffda952..ccec0d47 100644
--- a/de.prob.core/src/de/prob/core/domainobjects/History.java
+++ b/de.prob.core/src/de/prob/core/domainobjects/History.java
@@ -38,6 +38,7 @@ public class History implements Iterable<HistoryItem>, IComputationListener {
* @
*/
+ @Override
public synchronized/* @ pure @ */Iterator<HistoryItem> iterator() {
return Collections.unmodifiableList(items).iterator();
}
@@ -187,6 +188,7 @@ public class History implements Iterable<HistoryItem>, IComputationListener {
return currentPosition;
}
+ @Override
public void computedState(final State state) {
if (isEmpty()) {
add(state, null);
diff --git a/de.prob.core/src/de/prob/core/domainobjects/HistoryBasedCache.java b/de.prob.core/src/de/prob/core/domainobjects/HistoryBasedCache.java
index 7e5e4d66..92541419 100644
--- a/de.prob.core/src/de/prob/core/domainobjects/HistoryBasedCache.java
+++ b/de.prob.core/src/de/prob/core/domainobjects/HistoryBasedCache.java
@@ -24,11 +24,13 @@ public class HistoryBasedCache<T> implements HistoryListener {
}
}
+ @Override
public void stateEntersHistory(final State state, final int position) {
final Integer counter = stateCounter.get(state);
stateCounter.put(state, counter == null ? 1 : counter + 1);
}
+ @Override
public void stateLeavesHistory(final State state, final int position) {
final Integer counter = stateCounter.get(state);
if (counter != null) {
diff --git a/de.prob.core/src/de/prob/core/internal/AnimationListenerProxy.java b/de.prob.core/src/de/prob/core/internal/AnimationListenerProxy.java
index 341150b1..f0a9e4d1 100644
--- a/de.prob.core/src/de/prob/core/internal/AnimationListenerProxy.java
+++ b/de.prob.core/src/de/prob/core/internal/AnimationListenerProxy.java
@@ -23,6 +23,7 @@ public class AnimationListenerProxy implements IAnimationListener {
this.config = config;
}
+ @Override
public void currentStateChanged(final State currentState,
final Operation operation) {
if (instance == null) {
diff --git a/de.prob.core/src/de/prob/core/internal/ComputationListenerProxy.java b/de.prob.core/src/de/prob/core/internal/ComputationListenerProxy.java
index 41ce640d..977ffd84 100644
--- a/de.prob.core/src/de/prob/core/internal/ComputationListenerProxy.java
+++ b/de.prob.core/src/de/prob/core/internal/ComputationListenerProxy.java
@@ -22,6 +22,7 @@ public class ComputationListenerProxy implements IComputationListener {
this.config = config;
}
+ @Override
public void computedState(final State state) {
if (instance == null) {
instance = init();
diff --git a/de.prob.core/src/de/prob/core/internal/LifeCycleListenerProxy.java b/de.prob.core/src/de/prob/core/internal/LifeCycleListenerProxy.java
index bdc8753f..bef078e3 100644
--- a/de.prob.core/src/de/prob/core/internal/LifeCycleListenerProxy.java
+++ b/de.prob.core/src/de/prob/core/internal/LifeCycleListenerProxy.java
@@ -21,6 +21,7 @@ public class LifeCycleListenerProxy implements ILifecycleListener {
this.config = config;
}
+ @Override
public void reset() {
if (instance == null) {
instance = init();
diff --git a/de.prob.core/src/de/prob/core/langdep/EventBAnimatorPart.java b/de.prob.core/src/de/prob/core/langdep/EventBAnimatorPart.java
index ce5c43bb..019e2678 100644
--- a/de.prob.core/src/de/prob/core/langdep/EventBAnimatorPart.java
+++ b/de.prob.core/src/de/prob/core/langdep/EventBAnimatorPart.java
@@ -60,6 +60,7 @@ public class EventBAnimatorPart implements LanguageDependendAnimationPart {
this.root = root;
}
+ @Override
public void parseExpression(final IPrologTermOutput pto,
final String expression1, final boolean wrap)
throws ProBParseException {
@@ -75,6 +76,7 @@ public class EventBAnimatorPart implements LanguageDependendAnimationPart {
toPrologTerm(pto, expr, wrap, EXPR_WRAPPER);
}
+ @Override
public void parsePredicate(final IPrologTermOutput pto,
final String predicate1, final boolean wrap)
throws ProBParseException {
@@ -150,10 +152,12 @@ public class EventBAnimatorPart implements LanguageDependendAnimationPart {
throw new ProBParseException(parseResult.getProblems().toString());
}
+ @Override
public void reload(final Animator animator) throws ProBException {
LoadEventBModelCommand.load(animator, root);
}
+ @Override
public void parseTransitionPredicate(final IPrologTermOutput pto,
final String transPredicate, final boolean wrap)
throws ProBParseException, UnsupportedOperationException {
diff --git a/de.prob.core/src/de/prob/core/prolog/TypedIdentifierGenerator.java b/de.prob.core/src/de/prob/core/prolog/TypedIdentifierGenerator.java
index 98d0c618..a446c773 100644
--- a/de.prob.core/src/de/prob/core/prolog/TypedIdentifierGenerator.java
+++ b/de.prob.core/src/de/prob/core/prolog/TypedIdentifierGenerator.java
@@ -163,6 +163,7 @@ public class TypedIdentifierGenerator {
this.type = type;
}
+ @Override
public ProbDataType handle(final CompoundPrologTerm term) {
return type;
}
@@ -170,24 +171,28 @@ public class TypedIdentifierGenerator {
}
private static class SetHandler implements Handler {
+ @Override
public ProbDataType handle(final CompoundPrologTerm term) {
return new SetProbType(extractType(term.getArgument(1)));
}
}
private static class SeqHandler implements Handler {
+ @Override
public ProbDataType handle(final CompoundPrologTerm term) {
return new SequenceDataType(extractType(term.getArgument(1)));
}
}
private static class GivenSetHandler implements Handler {
+ @Override
public ProbDataType handle(final CompoundPrologTerm term) {
return new GivenSetProbType(getString(term.getArgument(1)));
}
}
private static class CoupleHandler implements Handler {
+ @Override
public ProbDataType handle(final CompoundPrologTerm term) {
return new CoupleProbType(extractType(term.getArgument(1)),
extractType(term.getArgument(2)));
@@ -195,6 +200,7 @@ public class TypedIdentifierGenerator {
}
private static class OperationHandler implements Handler {
+ @Override
public ProbDataType handle(final CompoundPrologTerm term) {
ProbDataType[] results = createList(term.getArgument(1));
ProbDataType[] params = createList(term.getArgument(2));
@@ -203,12 +209,14 @@ public class TypedIdentifierGenerator {
}
private static class FreetypeHandler implements Handler {
+ @Override
public ProbDataType handle(final CompoundPrologTerm term) {
return new FreetypeProbType(getString(term.getArgument(1)));
}
}
private static class RecordHandler implements Handler {
+ @Override
public ProbDataType handle(final CompoundPrologTerm term) {
if (term.getArgument(1) instanceof ListPrologTerm) {
ListPrologTerm list = (ListPrologTerm) term.getArgument(1);
diff --git a/de.prob.core/src/de/prob/core/types/BaseProbType.java b/de.prob.core/src/de/prob/core/types/BaseProbType.java
index 22448a16..d88eeffb 100644
--- a/de.prob.core/src/de/prob/core/types/BaseProbType.java
+++ b/de.prob.core/src/de/prob/core/types/BaseProbType.java
@@ -30,10 +30,12 @@ public class BaseProbType extends ProbDataType {
this.type = type;
}
+ @Override
public int getOperatorPriority() {
return 1000;
}
+ @Override
public void prettyprint(final StringBuilder builder) {
builder.append(type);
}
diff --git a/de.prob.core/src/de/prob/core/types/CoupleProbType.java b/de.prob.core/src/de/prob/core/types/CoupleProbType.java
index 0f41568b..6c8d6f6d 100644
--- a/de.prob.core/src/de/prob/core/types/CoupleProbType.java
+++ b/de.prob.core/src/de/prob/core/types/CoupleProbType.java
@@ -27,10 +27,12 @@ public class CoupleProbType extends ProbDataType {
this.right = right;
}
+ @Override
public int getOperatorPriority() {
return 190;
}
+ @Override
public void prettyprint(final StringBuilder builder) {
printWithParenthesis(builder, left, getOperatorPriority());
builder.append('*');
diff --git a/de.prob.core/src/de/prob/core/types/FreetypeProbType.java b/de.prob.core/src/de/prob/core/types/FreetypeProbType.java
index fe2d3d00..3a039e2c 100644
--- a/de.prob.core/src/de/prob/core/types/FreetypeProbType.java
+++ b/de.prob.core/src/de/prob/core/types/FreetypeProbType.java
@@ -26,10 +26,12 @@ public class FreetypeProbType extends ProbDataType {
this.identifier = identifier;
}
+ @Override
public int getOperatorPriority() {
return 500;
}
+ @Override
public void prettyprint(final StringBuilder builder) {
// builder.append("freetype(");
builder.append(identifier);
diff --git a/de.prob.core/src/de/prob/core/types/GivenSetProbType.java b/de.prob.core/src/de/prob/core/types/GivenSetProbType.java
index cf8aefc4..c680cbc4 100644
--- a/de.prob.core/src/de/prob/core/types/GivenSetProbType.java
+++ b/de.prob.core/src/de/prob/core/types/GivenSetProbType.java
@@ -23,10 +23,12 @@ public class GivenSetProbType extends ProbDataType {
this.name = name;
}
+ @Override
public int getOperatorPriority() {
return 1000;
}
+ @Override
public void prettyprint(final StringBuilder builder) {
builder.append(name);
}
diff --git a/de.prob.core/src/de/prob/core/types/OperationProbType.java b/de.prob.core/src/de/prob/core/types/OperationProbType.java
index cdb6e765..b5150f49 100644
--- a/de.prob.core/src/de/prob/core/types/OperationProbType.java
+++ b/de.prob.core/src/de/prob/core/types/OperationProbType.java
@@ -44,10 +44,12 @@ public class OperationProbType extends ProbDataType {
}
}
+ @Override
public int getOperatorPriority() {
return results.length == 0 ? 500 : 150;
}
+ @Override
public void prettyprint(final StringBuilder builder) {
if (results.length > 0) {
printTypeList(builder, results);
diff --git a/de.prob.core/src/de/prob/core/types/RecordProbType.java b/de.prob.core/src/de/prob/core/types/RecordProbType.java
index 86357b70..922e82b6 100644
--- a/de.prob.core/src/de/prob/core/types/RecordProbType.java
+++ b/de.prob.core/src/de/prob/core/types/RecordProbType.java
@@ -43,10 +43,12 @@ public class RecordProbType extends ProbDataType {
throw new IllegalStateException("no null field found");
}
+ @Override
public int getOperatorPriority() {
return 500;
}
+ @Override
public void prettyprint(final StringBuilder builder) {
builder.append("struct(");
boolean first = true;
diff --git a/de.prob.core/src/de/prob/core/types/SetLikeProbType.java b/de.prob.core/src/de/prob/core/types/SetLikeProbType.java
index a45063c7..96e2bc65 100644
--- a/de.prob.core/src/de/prob/core/types/SetLikeProbType.java
+++ b/de.prob.core/src/de/prob/core/types/SetLikeProbType.java
@@ -28,10 +28,12 @@ public abstract class SetLikeProbType extends ProbDataType {
this.innerType = innerType;
}
+ @Override
public int getOperatorPriority() {
return 500;
}
+ @Override
public void prettyprint(final StringBuilder builder) {
builder.append(variant);
builder.append('(');
diff --git a/de.prob.core/src/de/prob/eventb/translator/flow/EventTuple.java b/de.prob.core/src/de/prob/eventb/translator/flow/EventTuple.java
index 23027566..9e9eecfa 100644
--- a/de.prob.core/src/de/prob/eventb/translator/flow/EventTuple.java
+++ b/de.prob.core/src/de/prob/eventb/translator/flow/EventTuple.java
@@ -23,6 +23,7 @@ public class EventTuple implements Comparable<EventTuple> {
return "(" + first.toString() + "," + second.toString() + ")";
}
+ @Override
public int compareTo(final EventTuple o) {
return this.toString().compareTo(o.toString());
}
diff --git a/de.prob.core/src/de/prob/eventb/translator/internal/LabelPositionPrinter.java b/de.prob.core/src/de/prob/eventb/translator/internal/LabelPositionPrinter.java
index 0fd5ac40..f648960b 100644
--- a/de.prob.core/src/de/prob/eventb/translator/internal/LabelPositionPrinter.java
+++ b/de.prob.core/src/de/prob/eventb/translator/internal/LabelPositionPrinter.java
@@ -78,6 +78,7 @@ public class LabelPositionPrinter implements PositionPrinter {
}
}
+ @Override
public void printPosition(final Node node) {
final NodeInfo info = nodeInfos.get(node);
if (info == null) {
@@ -103,6 +104,7 @@ public class LabelPositionPrinter implements PositionPrinter {
}
}
+ @Override
public void setPrologTermOutput(final IPrologTermOutput pout) {
this.pout = pout;
}
diff --git a/de.prob.core/src/de/prob/sap/commands/FindTestPathCommand.java b/de.prob.core/src/de/prob/sap/commands/FindTestPathCommand.java
index c6ddc772..61118c00 100644
--- a/de.prob.core/src/de/prob/sap/commands/FindTestPathCommand.java
+++ b/de.prob.core/src/de/prob/sap/commands/FindTestPathCommand.java
@@ -70,6 +70,7 @@ public class FindTestPathCommand implements IComposableCommand {
this(events, endPredicate, 0);
}
+ @Override
public void processResult(
final ISimplifiedROMap<String, PrologTerm> bindings)
throws CommandException {
@@ -104,6 +105,7 @@ public class FindTestPathCommand implements IComposableCommand {
this.trace = trace;
}
+ @Override
public void writeCommand(final IPrologTermOutput pto) {
pto.openTerm(COMMAND);
pto.openList();
diff --git a/de.prob.core/src/de/prob/sap/commands/GenerateLocalTestcasesCommand.java b/de.prob.core/src/de/prob/sap/commands/GenerateLocalTestcasesCommand.java
index e1c43110..e2bf8779 100644
--- a/de.prob.core/src/de/prob/sap/commands/GenerateLocalTestcasesCommand.java
+++ b/de.prob.core/src/de/prob/sap/commands/GenerateLocalTestcasesCommand.java
@@ -38,6 +38,7 @@ public class GenerateLocalTestcasesCommand implements IComposableCommand {
return command.result;
}
+ @Override
public void processResult(
final ISimplifiedROMap<String, PrologTerm> bindings)
throws CommandException {
@@ -47,6 +48,7 @@ public class GenerateLocalTestcasesCommand implements IComposableCommand {
}
+ @Override
public void writeCommand(final IPrologTermOutput pto) {
pto.openTerm("sap_generate_testcases").printAtom(global)
.printAtom(local).printNumber(maxNodes).printVariable("SAT")
diff --git a/de.prob.core/src/de/prob/sap/commands/GenerateTestcaseCommand.java b/de.prob.core/src/de/prob/sap/commands/GenerateTestcaseCommand.java
index 5cfa51ce..a439ccdf 100644
--- a/de.prob.core/src/de/prob/sap/commands/GenerateTestcaseCommand.java
+++ b/de.prob.core/src/de/prob/sap/commands/GenerateTestcaseCommand.java
@@ -130,6 +130,7 @@ public class GenerateTestcaseCommand implements IComposableCommand {
return predicate;
}
+ @Override
public void processResult(
final ISimplifiedROMap<String, PrologTerm> bindings)
throws CommandException {
@@ -148,6 +149,7 @@ public class GenerateTestcaseCommand implements IComposableCommand {
result = new GlobalTestcaseResult(numberOfTests, uncovered);
}
+ @Override
public void writeCommand(final IPrologTermOutput pto) {
pto.openTerm("sap_generate_testcases");
diff --git a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/CounterExample.java b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/CounterExample.java
index 56a4e023..6bb13e1c 100644
--- a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/CounterExample.java
+++ b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/CounterExample.java
@@ -88,6 +88,7 @@ class CounterExample implements ICounterExample {
doubleCheckFailed = b;
}
+ @Override
public boolean doubleCheckFailed() {
return doubleCheckFailed;
}
diff --git a/de.prob.ui/src/de/prob/ui/LimitedLogView.java b/de.prob.ui/src/de/prob/ui/LimitedLogView.java
index 5fc2a210..9667efa7 100644
--- a/de.prob.ui/src/de/prob/ui/LimitedLogView.java
+++ b/de.prob.ui/src/de/prob/ui/LimitedLogView.java
@@ -80,6 +80,7 @@ public class LimitedLogView extends ViewPart implements
logger = null;
}
+ @Override
public void newLoggingInfo() {
if (viewer != null) {
updateLoggingStart();
@@ -95,6 +96,7 @@ public class LimitedLogView extends ViewPart implements
private void asyncRefresh() {
Display.getDefault().asyncExec(new Runnable() {
+ @Override
public void run() {
viewer.refresh();
}
@@ -103,7 +105,7 @@ public class LimitedLogView extends ViewPart implements
private static class LogContentProvider implements
IStructuredContentProvider {
-
+ @Override
public Object[] getElements(Object object) {
if (object != null && object instanceof LimitedLogger) {
LimitedLogger logger = (LimitedLogger) object;
@@ -113,14 +115,17 @@ public class LimitedLogView extends ViewPart implements
}
}
+ @Override
public void dispose() {
}
+ @Override
public void inputChanged(Viewer viewer, Object arg1, Object arg2) {
}
}
private class LogViewerDoubleClick implements IDoubleClickListener {
+ @Override
public void doubleClick(DoubleClickEvent event) {
ISelection selection = event.getSelection();
if (selection != null && !selection.isEmpty()) {
@@ -134,11 +139,12 @@ public class LimitedLogView extends ViewPart implements
private class LogLabelProvider extends LabelProvider implements
ITableLabelProvider {
-
+ @Override
public Image getColumnImage(Object object, int column) {
return null;
}
+ @Override
public String getColumnText(Object object, int column) {
final String result;
if (object != null && object instanceof LogEntry) {
diff --git a/de.prob.ui/src/de/prob/ui/ProBGeneralPreferences.java b/de.prob.ui/src/de/prob/ui/ProBGeneralPreferences.java
index 7562adf1..f431178e 100644
--- a/de.prob.ui/src/de/prob/ui/ProBGeneralPreferences.java
+++ b/de.prob.ui/src/de/prob/ui/ProBGeneralPreferences.java
@@ -116,6 +116,7 @@ public class ProBGeneralPreferences extends FieldEditorPreferencePage implements
}
}
+ @Override
public void init(final IWorkbench workbench) {
}
diff --git a/de.prob.ui/src/de/prob/ui/StaticListenerRegistry.java b/de.prob.ui/src/de/prob/ui/StaticListenerRegistry.java
index aff5a162..ca25b9ba 100644
--- a/de.prob.ui/src/de/prob/ui/StaticListenerRegistry.java
+++ b/de.prob.ui/src/de/prob/ui/StaticListenerRegistry.java
@@ -42,14 +42,17 @@ public class StaticListenerRegistry implements ILifecycleListener,
registry.unregisterAnimationListener(listener);
}
+ @Override
public void reset() {
registry.reset();
}
+ @Override
public void computedState(final State state) {
registry.computedState(state);
}
+ @Override
public void currentStateChanged(final State currentState,
final Operation operation) {
registry.currentStateChanged(currentState, operation);
diff --git a/de.prob.ui/src/de/prob/ui/errorview/ErrorContentProvider.java b/de.prob.ui/src/de/prob/ui/errorview/ErrorContentProvider.java
index 566a09c7..ab9c29c1 100644
--- a/de.prob.ui/src/de/prob/ui/errorview/ErrorContentProvider.java
+++ b/de.prob.ui/src/de/prob/ui/errorview/ErrorContentProvider.java
@@ -14,7 +14,7 @@ import de.prob.ui.errorview.ShownErrors.ShownStateError;
*
*/
public class ErrorContentProvider implements ITreeContentProvider {
-
+ @Override
public Object[] getChildren(Object parent) {
ShownStateError[] errors;
if (parent != null && parent instanceof ErrorEvent) {
@@ -27,6 +27,7 @@ public class ErrorContentProvider implements ITreeContentProvider {
return errors;
}
+ @Override
public Object getParent(Object arg) {
if (arg != null) {
if (arg instanceof ShownStateError) {
@@ -39,11 +40,13 @@ public class ErrorContentProvider implements ITreeContentProvider {
return null;
}
+ @Override
public boolean hasChildren(Object parent) {
// empty nodes are not even created
return parent != null && parent instanceof ErrorEvent;
}
+ @Override
public Object[] getElements(Object object) {
ErrorEvent[] events;
if (object != null && object instanceof ShownErrors) {
@@ -55,9 +58,11 @@ public class ErrorContentProvider implements ITreeContentProvider {
return events;
}
+ @Override
public void dispose() {
}
+ @Override
public void inputChanged(Viewer arg0, Object arg1, Object arg2) {
}
diff --git a/de.prob.ui/src/de/prob/ui/errorview/ErrorLabelProvider.java b/de.prob.ui/src/de/prob/ui/errorview/ErrorLabelProvider.java
index c97ec85b..6bb04007 100644
--- a/de.prob.ui/src/de/prob/ui/errorview/ErrorLabelProvider.java
+++ b/de.prob.ui/src/de/prob/ui/errorview/ErrorLabelProvider.java
@@ -16,11 +16,12 @@ import de.prob.ui.errorview.ShownErrors.ShownStateError;
*/
public class ErrorLabelProvider extends BaseLabelProvider implements
ITableLabelProvider {
-
+ @Override
public Image getColumnImage(Object object, int column) {
return null;
}
+ @Override
public String getColumnText(Object object, int column) {
final String text;
if (column == 0) {
diff --git a/de.prob.ui/src/de/prob/ui/errorview/StateErrorView.java b/de.prob.ui/src/de/prob/ui/errorview/StateErrorView.java
index c139479a..15589985 100644
--- a/de.prob.ui/src/de/prob/ui/errorview/StateErrorView.java
+++ b/de.prob.ui/src/de/prob/ui/errorview/StateErrorView.java
@@ -70,7 +70,7 @@ public class StateErrorView extends StateBasedViewPart {
}
private class ErrorSelection implements ISelectionChangedListener {
-
+ @Override
public void selectionChanged(final SelectionChangedEvent event) {
IStructuredSelection selection = (IStructuredSelection) event
.getSelection();
diff --git a/de.prob.ui/src/de/prob/ui/eventb/ClassicPreferences.java b/de.prob.ui/src/de/prob/ui/eventb/ClassicPreferences.java
index c2daeeb5..987014e9 100644
--- a/de.prob.ui/src/de/prob/ui/eventb/ClassicPreferences.java
+++ b/de.prob.ui/src/de/prob/ui/eventb/ClassicPreferences.java
@@ -121,6 +121,7 @@ public class ClassicPreferences extends PreferencePage implements
return super.performOk();
}
+ @Override
public void init(final IWorkbench workbench) {
prefNode = Platform.getPreferencesService().getRootNode().node(
InstanceScope.SCOPE).node("prob_classic_preferences");
diff --git a/de.prob.ui/src/de/prob/ui/eventb/CreateConfigurationHandler.java b/de.prob.ui/src/de/prob/ui/eventb/CreateConfigurationHandler.java
index ece9a541..1d2f6ace 100644
--- a/de.prob.ui/src/de/prob/ui/eventb/CreateConfigurationHandler.java
+++ b/de.prob.ui/src/de/prob/ui/eventb/CreateConfigurationHandler.java
@@ -13,7 +13,7 @@ import de.prob.ui.PerspectiveFactory;
public class CreateConfigurationHandler extends AbstractHandler implements
IHandler {
-
+ @Override
public Object execute(final ExecutionEvent event) throws ExecutionException {
ISelection fSelection = HandlerUtil.getCurrentSelection(event);
diff --git a/de.prob.ui/src/de/prob/ui/eventb/ExportNewCoreHandler.java b/de.prob.ui/src/de/prob/ui/eventb/ExportNewCoreHandler.java
index 110bec4c..b1de3b76 100644
--- a/de.prob.ui/src/de/prob/ui/eventb/ExportNewCoreHandler.java
+++ b/de.prob.ui/src/de/prob/ui/eventb/ExportNewCoreHandler.java
@@ -29,7 +29,7 @@ import de.prob.eventb.translator.TranslatorFactory;
import de.prob.logging.Logger;
public class ExportNewCoreHandler extends AbstractHandler implements IHandler {
-
+ @Override
public Object execute(final ExecutionEvent event) throws ExecutionException {
final IEventBRoot root = getSelectedEventBRoot(event);
if (root != null) {
diff --git a/de.prob.ui/src/de/prob/ui/eventb/FileInputValidator.java b/de.prob.ui/src/de/prob/ui/eventb/FileInputValidator.java
index a351f9fc..32c6bc13 100644
--- a/de.prob.ui/src/de/prob/ui/eventb/FileInputValidator.java
+++ b/de.prob.ui/src/de/prob/ui/eventb/FileInputValidator.java
@@ -18,6 +18,7 @@ public class FileInputValidator implements IInputValidator {
this.prj = (IEventBProject) prj.getAdapter(IEventBProject.class);
}
+ @Override
public String isValid(final String newText) {
if (newText.equals("")) {
return "Name must not be empty.";
diff --git a/de.prob.ui/src/de/prob/ui/eventb/OpenClassicHandler.java b/de.prob.ui/src/de/prob/ui/eventb/OpenClassicHandler.java
index dc2f3e06..1e891af0 100644
--- a/de.prob.ui/src/de/prob/ui/eventb/OpenClassicHandler.java
+++ b/de.prob.ui/src/de/prob/ui/eventb/OpenClassicHandler.java
@@ -31,6 +31,7 @@ public class OpenClassicHandler extends AbstractHandler implements IHandler {
private static final String PROB_STANDALONE_NAME = "ProB Standalone";
private static final String PROB2_NAME = "ProB2-UI";
+ @Override
public Object execute(final ExecutionEvent event) throws ExecutionException {
fSelection = HandlerUtil.getCurrentSelection(event);
@@ -66,6 +67,7 @@ public class OpenClassicHandler extends AbstractHandler implements IHandler {
this.output = output;
}
+ @Override
public void run() {
try {
while (true) {
diff --git a/de.prob.ui/src/de/prob/ui/eventb/StartAnimationHandler.java b/de.prob.ui/src/de/prob/ui/eventb/StartAnimationHandler.java
index 88c9ed07..92a8b8b4 100644
--- a/de.prob.ui/src/de/prob/ui/eventb/StartAnimationHandler.java
+++ b/de.prob.ui/src/de/prob/ui/eventb/StartAnimationHandler.java
@@ -52,6 +52,7 @@ public class StartAnimationHandler extends AbstractHandler implements IHandler {
}
}
+ @Override
public void resourceChanged(final IResourceChangeEvent event) {
if (path != null) {
final IResourceDelta delta = event.getDelta();
@@ -66,6 +67,7 @@ public class StartAnimationHandler extends AbstractHandler implements IHandler {
private ISelection fSelection;
private ModificationListener listener;
+ @Override
public Object execute(final ExecutionEvent event) throws ExecutionException {
fSelection = HandlerUtil.getCurrentSelection(event);
diff --git a/de.prob.ui/src/de/prob/ui/historyview/HistoryView.java b/de.prob.ui/src/de/prob/ui/historyview/HistoryView.java
index 74eded7b..201d5a32 100644
--- a/de.prob.ui/src/de/prob/ui/historyview/HistoryView.java
+++ b/de.prob.ui/src/de/prob/ui/historyview/HistoryView.java
@@ -150,6 +150,7 @@ public class HistoryView extends StateBasedViewPart {
public void addColumns(final Collection<StaticStateElement> elements) {
final Runnable update = new Runnable() {
+ @Override
public void run() {
final Composite parent = tableViewer.getTable().getParent();
final TableColumnLayout layout = (TableColumnLayout) parent
@@ -296,14 +297,16 @@ public class HistoryView extends StateBasedViewPart {
private static class HistContentProvider implements
IStructuredContentProvider {
-
+ @Override
public Object[] getElements(final Object data) {
return data == null ? new HistViewItem[0] : (HistViewItem[]) data;
}
+ @Override
public void dispose() {
}
+ @Override
public void inputChanged(final Viewer arg0, final Object arg1,
final Object arg2) {
}
@@ -313,6 +316,7 @@ public class HistoryView extends StateBasedViewPart {
IDoubleClickListener {
private static final String EXCEPTION_MSG = "exception raised while trying to jump to state";
+ @Override
public void doubleClick(final DoubleClickEvent event) {
IStructuredSelection sel = (IStructuredSelection) event
.getSelection();
diff --git a/de.prob.ui/src/de/prob/ui/internal/ShowProBConfigCommand.java b/de.prob.ui/src/de/prob/ui/internal/ShowProBConfigCommand.java
index 8d75af40..a1924ec2 100644
--- a/de.prob.ui/src/de/prob/ui/internal/ShowProBConfigCommand.java
+++ b/de.prob.ui/src/de/prob/ui/internal/ShowProBConfigCommand.java
@@ -14,7 +14,7 @@ import org.eventb.core.IEventBRoot;
import de.prob.ui.eventb.AnimationPreferencesDialog;
public class ShowProBConfigCommand extends AbstractHandler implements IHandler {
-
+ @Override
public Object execute(final ExecutionEvent event) throws ExecutionException {
IEventBRoot selectedObject = null;
diff --git a/de.prob.ui/src/de/prob/ui/operationview/DoubleClickBehaviorHandler.java b/de.prob.ui/src/de/prob/ui/operationview/DoubleClickBehaviorHandler.java
index 4c8813d7..b23683be 100644
--- a/de.prob.ui/src/de/prob/ui/operationview/DoubleClickBehaviorHandler.java
+++ b/de.prob.ui/src/de/prob/ui/operationview/DoubleClickBehaviorHandler.java
@@ -9,7 +9,7 @@ import org.eclipse.ui.handlers.RadioState;
public class DoubleClickBehaviorHandler extends AbstractHandler implements
IHandler {
-
+ @Override
public Object execute(final ExecutionEvent event) throws ExecutionException {
if (HandlerUtil.matchesRadioState(event))
return null; // we are already in the updated state - do nothing
diff --git a/de.prob.ui/src/de/prob/ui/operationview/ExecuteEventHandler.java b/de.prob.ui/src/de/prob/ui/operationview/ExecuteEventHandler.java
index e958df33..d04469df 100644
--- a/de.prob.ui/src/de/prob/ui/operationview/ExecuteEventHandler.java
+++ b/de.prob.ui/src/de/prob/ui/operationview/ExecuteEventHandler.java
@@ -14,7 +14,7 @@ import de.prob.exceptions.ProBException;
import de.prob.logging.Logger;
public class ExecuteEventHandler extends AbstractHandler implements IHandler {
-
+ @Override
public Object execute(final ExecutionEvent event) throws ExecutionException {
long id = -1;
try {
diff --git a/de.prob.ui/src/de/prob/ui/operationview/ExecuteRandomHandler.java b/de.prob.ui/src/de/prob/ui/operationview/ExecuteRandomHandler.java
index 9961f1c3..7941d618 100644
--- a/de.prob.ui/src/de/prob/ui/operationview/ExecuteRandomHandler.java
+++ b/de.prob.ui/src/de/prob/ui/operationview/ExecuteRandomHandler.java
@@ -14,7 +14,7 @@ import de.prob.core.command.ExecuteRandomStepsCommand;
import de.prob.exceptions.ProBException;
public class ExecuteRandomHandler extends AbstractHandler implements IHandler {
-
+ @Override
public Object execute(final ExecutionEvent event) throws ExecutionException {
Shell shell = HandlerUtil.getActiveShell(event);
int steps = -1;
@@ -61,6 +61,7 @@ public class ExecuteRandomHandler extends AbstractHandler implements IHandler {
"Number of steps:", "1", new IInputValidator() {
String errormsg = "Number must be a non-negative Integer.";
+ @Override
public String isValid(final String newText) {
Integer num;
try {
diff --git a/de.prob.ui/src/de/prob/ui/operationview/Filter.java b/de.prob.ui/src/de/prob/ui/operationview/Filter.java
index 3b885837..f1e4798f 100644
--- a/de.prob.ui/src/de/prob/ui/operationview/Filter.java
+++ b/de.prob.ui/src/de/prob/ui/operationview/Filter.java
@@ -35,6 +35,7 @@ public class Filter {
return pattern;
}
+ @Override
public String toString() {
StringBuilder stringBuilder = new StringBuilder(name);
stringBuilder.append(" pattern:");
diff --git a/de.prob.ui/src/de/prob/ui/operationview/FilterDialog.java b/de.prob.ui/src/de/prob/ui/operationview/FilterDialog.java
index ebcb896d..62ddd655 100644
--- a/de.prob.ui/src/de/prob/ui/operationview/FilterDialog.java
+++ b/de.prob.ui/src/de/prob/ui/operationview/FilterDialog.java
@@ -161,10 +161,12 @@ public class FilterDialog extends Dialog implements SelectionListener {
return filters;
}
+ @Override
public void widgetDefaultSelected(final SelectionEvent e) {
}
+ @Override
public void widgetSelected(final SelectionEvent e) {
if (e.getSource() == buttonNew) {
// InputDialog inputDialog = new InputDialog(dialog, "Add New
@@ -313,18 +315,21 @@ public class FilterDialog extends Dialog implements SelectionListener {
buttonOk.setEnabled(false);
buttonCancel.addListener(SWT.Selection, new Listener() {
+ @Override
public void handleEvent(final Event event) {
pattern = null;
shell.dispose();
}
});
buttonOk.addListener(SWT.Selection, new Listener() {
+ @Override
public void handleEvent(final Event event) {
name = textName.getText();
shell.dispose();
}
});
textPattern.addListener(SWT.Modify, new Listener() {
+ @Override
public void handleEvent(final Event event) {
if (textPattern.getText().length() == 0) {
pattern = null;
diff --git a/de.prob.ui/src/de/prob/ui/operationview/FilterManager.java b/de.prob.ui/src/de/prob/ui/operationview/FilterManager.java
index 100c18c1..d7a5f65f 100644
--- a/de.prob.ui/src/de/prob/ui/operationview/FilterManager.java
+++ b/de.prob.ui/src/de/prob/ui/operationview/FilterManager.java
@@ -137,9 +137,11 @@ public class FilterManager implements SelectionListener {
listeners.remove(listener);
}
+ @Override
public void widgetDefaultSelected(final SelectionEvent e) {
}
+ @Override
public void widgetSelected(final SelectionEvent e) {
if (e.getSource() instanceof MenuItem) {
MenuItem item = (MenuItem) e.getSource();
diff --git a/de.prob.ui/src/de/prob/ui/operationview/HistoryBackHandler.java b/de.prob.ui/src/de/prob/ui/operationview/HistoryBackHandler.java
index a01908b7..6f82ccbe 100644
--- a/de.prob.ui/src/de/prob/ui/operationview/HistoryBackHandler.java
+++ b/de.prob.ui/src/de/prob/ui/operationview/HistoryBackHandler.java
@@ -11,7 +11,7 @@ import de.prob.exceptions.ProBException;
import de.prob.logging.Logger;
public class HistoryBackHandler extends AbstractHandler implements IHandler {
-
+ @Override
public Object execute(final ExecutionEvent event) throws ExecutionException {
History history = Animator.getAnimator().getHistory();
diff --git a/de.prob.ui/src/de/prob/ui/operationview/HistoryForwardHandler.java b/de.prob.ui/src/de/prob/ui/operationview/HistoryForwardHandler.java
index 04d6cf7c..a2d4a90c 100644
--- a/de.prob.ui/src/de/prob/ui/operationview/HistoryForwardHandler.java
+++ b/de.prob.ui/src/de/prob/ui/operationview/HistoryForwardHandler.java
@@ -11,7 +11,7 @@ import de.prob.exceptions.ProBException;
import de.prob.logging.Logger;
public class HistoryForwardHandler extends AbstractHandler implements IHandler {
-
+ @Override
public Object execute(final ExecutionEvent event) throws ExecutionException {
History history = Animator.getAnimator().getHistory();
Logger.assertProB("history != null", history != null);
diff --git a/de.prob.ui/src/de/prob/ui/operationview/NullHandler.java b/de.prob.ui/src/de/prob/ui/operationview/NullHandler.java
index 04358299..134249ea 100644
--- a/de.prob.ui/src/de/prob/ui/operationview/NullHandler.java
+++ b/de.prob.ui/src/de/prob/ui/operationview/NullHandler.java
@@ -6,7 +6,7 @@ import org.eclipse.core.commands.ExecutionException;
import org.eclipse.core.commands.IHandler;
public class NullHandler extends AbstractHandler implements IHandler {
-
+ @Override
public Object execute(final ExecutionEvent event) throws ExecutionException {
return null;
}
diff --git a/de.prob.ui/src/de/prob/ui/operationview/OperationSelectionDialog.java b/de.prob.ui/src/de/prob/ui/operationview/OperationSelectionDialog.java
index a3ec5a04..6ee962ab 100644
--- a/de.prob.ui/src/de/prob/ui/operationview/OperationSelectionDialog.java
+++ b/de.prob.ui/src/de/prob/ui/operationview/OperationSelectionDialog.java
@@ -188,10 +188,11 @@ public class OperationSelectionDialog extends TrayDialog {
btSwitchOperation = new Button(gpOperations, SWT.PUSH);
btSwitchOperation.setText("Show/Hide equal columns");
btSwitchOperation.addSelectionListener(new SelectionListener() {
-
+ @Override
public void widgetDefaultSelected(final SelectionEvent e) {
}
+ @Override
public void widgetSelected(final SelectionEvent e) {
hideSameArguments();
}
@@ -434,7 +435,7 @@ public class OperationSelectionDialog extends TrayDialog {
tbvOps.setLabelProvider(new OperationsLabelProvider());
tbvOps.setInput(opList);
tbvOps.addDoubleClickListener(new IDoubleClickListener() {
-
+ @Override
public void doubleClick(final DoubleClickEvent event) {
okPressed();
}
@@ -455,13 +456,14 @@ public class OperationSelectionDialog extends TrayDialog {
column.getColumn().setResizable(true);
column.getColumn().pack();
column.getColumn().addSelectionListener(new SelectionListener() {
-
+ @Override
public void widgetDefaultSelected(final SelectionEvent e) {
hiddenColumns.set(index, !hiddenColumns.get(index));
tbViewer.refresh();
packTableColumns(tbViewer);
}
+ @Override
public void widgetSelected(final SelectionEvent e) {
}
});
@@ -494,10 +496,12 @@ public class OperationSelectionDialog extends TrayDialog {
private class OperationsLabelProvider extends LabelProvider implements
ITableLabelProvider {
+ @Override
public Image getColumnImage(final Object element, final int columnIndex) {
return null;
}
+ @Override
public String getColumnText(final Object element, final int columnIndex) {
if (hiddenColumns.get(columnIndex))
return "-";
@@ -542,14 +546,16 @@ public class OperationSelectionDialog extends TrayDialog {
private static class OperationsContentProvider implements
IStructuredContentProvider {
-
+ @Override
public void dispose() {
}
+ @Override
public void inputChanged(final Viewer viewer, final Object oldInput,
final Object newInput) {
}
+ @Override
@SuppressWarnings("unchecked")
public Object[] getElements(final Object inputElement) {
final Collection<Operation> operations = (List<Operation>) inputElement;
@@ -569,7 +575,7 @@ public class OperationSelectionDialog extends TrayDialog {
private class ArgRepLabelProvider extends LabelProvider implements
ITableLabelProvider {
-
+ @Override
public Image getColumnImage(final Object element, final int columnIndex) {
if (columnIndex == 0) {
if (hiddenArguments.contains(element))
@@ -584,6 +590,7 @@ public class OperationSelectionDialog extends TrayDialog {
}
+ @Override
public String getColumnText(final Object element, final int columnIndex) {
if (columnIndex == 1) {
int index = arguments.indexOf(element);
@@ -601,14 +608,16 @@ public class OperationSelectionDialog extends TrayDialog {
* method.
*/
private class ArgRepContentProvider implements IStructuredContentProvider {
-
+ @Override
public void dispose() {
}
+ @Override
public void inputChanged(final Viewer viewer, final Object oldInput,
final Object newInput) {
}
+ @Override
@SuppressWarnings("unchecked")
public Object[] getElements(final Object inputElement) {
List<Operation> operations = (List<Operation>) inputElement;
diff --git a/de.prob.ui/src/de/prob/ui/operationview/OperationsContentProvider.java b/de.prob.ui/src/de/prob/ui/operationview/OperationsContentProvider.java
index 3396cb60..2c8eadf1 100644
--- a/de.prob.ui/src/de/prob/ui/operationview/OperationsContentProvider.java
+++ b/de.prob.ui/src/de/prob/ui/operationview/OperationsContentProvider.java
@@ -26,13 +26,16 @@ class OperationsContentProvider implements IStructuredContentProvider {
this.allOperations = allOperations;
}
+ @Override
public void dispose() {
}
+ @Override
public void inputChanged(final Viewer viewer, final Object oldInput,
final Object newInput) {
}
+ @Override
public Object[] getElements(final Object inputElement) {
List<Object> mergedOperations = new ArrayList<Object>();
diff --git a/de.prob.ui/src/de/prob/ui/operationview/RestartHandler.java b/de.prob.ui/src/de/prob/ui/operationview/RestartHandler.java
index 80de56c1..7f7ba379 100644
--- a/de.prob.ui/src/de/prob/ui/operationview/RestartHandler.java
+++ b/de.prob.ui/src/de/prob/ui/operationview/RestartHandler.java
@@ -9,7 +9,7 @@ import de.prob.core.Animator;
import de.prob.exceptions.ProBException;
public class RestartHandler extends AbstractHandler implements IHandler {
-
+ @Override
public Object execute(final ExecutionEvent event) throws ExecutionException {
Animator animator = Animator.getAnimator();
try {
diff --git a/de.prob.ui/src/de/prob/ui/operationview/ShowOnlyEnabledOpsHandler.java b/de.prob.ui/src/de/prob/ui/operationview/ShowOnlyEnabledOpsHandler.java
index 823c5f04..5e6751fc 100644
--- a/de.prob.ui/src/de/prob/ui/operationview/ShowOnlyEnabledOpsHandler.java
+++ b/de.prob.ui/src/de/prob/ui/operationview/ShowOnlyEnabledOpsHandler.java
@@ -5,7 +5,7 @@ import org.eclipse.ui.handlers.HandlerUtil;
public class ShowOnlyEnabledOpsHandler extends AbstractHandler implements
IHandler {
-
+ @Override
public Object execute(final ExecutionEvent event) throws ExecutionException {
Command command = event.getCommand();
boolean showOnlyEnabledStates = !HandlerUtil
diff --git a/de.prob.ui/src/de/prob/ui/operationview/ShowParameterDialogHandler.java b/de.prob.ui/src/de/prob/ui/operationview/ShowParameterDialogHandler.java
index ec410a7c..bf691615 100644
--- a/de.prob.ui/src/de/prob/ui/operationview/ShowParameterDialogHandler.java
+++ b/de.prob.ui/src/de/prob/ui/operationview/ShowParameterDialogHandler.java
@@ -14,7 +14,7 @@ import de.prob.exceptions.ProBException;
public class ShowParameterDialogHandler extends AbstractHandler implements
IHandler {
-
+ @Override
public Object execute(final ExecutionEvent event) throws ExecutionException {
List<Operation> s = OperationTableViewer.getInstance()
diff --git a/de.prob.ui/src/de/prob/ui/services/AbstractBoolProvider.java b/de.prob.ui/src/de/prob/ui/services/AbstractBoolProvider.java
index f18362d3..8f0fc2ec 100644
--- a/de.prob.ui/src/de/prob/ui/services/AbstractBoolProvider.java
+++ b/de.prob.ui/src/de/prob/ui/services/AbstractBoolProvider.java
@@ -18,10 +18,12 @@ public abstract class AbstractBoolProvider extends AbstractSourceProvider {
this.service = service;
}
+ @Override
public void dispose() {
}
+ @Override
public Map<String, String> getCurrentState() {
Map<String, String> currentState = new HashMap<String, String>(1);
String current = enabled ? ENABLED : DISABLED;
@@ -29,6 +31,7 @@ public abstract class AbstractBoolProvider extends AbstractSourceProvider {
return currentState;
}
+ @Override
public String[] getProvidedSourceNames() {
return new String[] { service };
}
diff --git a/de.prob.ui/src/de/prob/ui/stateview/AddFormulaHandler.java b/de.prob.ui/src/de/prob/ui/stateview/AddFormulaHandler.java
index 134bf771..69783805 100644
--- a/de.prob.ui/src/de/prob/ui/stateview/AddFormulaHandler.java
+++ b/de.prob.ui/src/de/prob/ui/stateview/AddFormulaHandler.java
@@ -23,9 +23,10 @@ import de.prob.parserbase.ProBParserBaseAdapter;
import de.prob.prolog.term.PrologTerm;
public class AddFormulaHandler extends AbstractHandler implements IHandler {
-
+ @Override
public Object execute(final ExecutionEvent event) throws ExecutionException {
final Runnable runnable = new Runnable() {
+ @Override
public void run() {
Shell shell = HandlerUtil.getActiveShell(event);
final String title = StateViewStrings.dialogTitleEnterNewFormula;
@@ -86,6 +87,7 @@ public class AddFormulaHandler extends AbstractHandler implements IHandler {
this.parser = parser;
}
+ @Override
public String isValid(final String input) {
String error = null;
if (input.trim().length() == 0) {
diff --git a/de.prob.ui/src/de/prob/ui/stateview/BooleanLabelProvider.java b/de.prob.ui/src/de/prob/ui/stateview/BooleanLabelProvider.java
index 4cd24318..429273e8 100644
--- a/de.prob.ui/src/de/prob/ui/stateview/BooleanLabelProvider.java
+++ b/de.prob.ui/src/de/prob/ui/stateview/BooleanLabelProvider.java
@@ -52,26 +52,32 @@ public class BooleanLabelProvider extends BaseLabelProvider implements
return state;
}
+ @Override
public Color getBackground(Object element) {
return backgroundColors[toState(element)];
}
+ @Override
public Color getForeground(Object element) {
return foregroundColors[toState(element)];
}
+ @Override
public Image getImage(Object element) {
return images[toState(element)];
}
+ @Override
public String getText(Object element) {
return texts[toState(element)];
}
+ @Override
public Font getFont(Object element) {
return fonts[toState(element)];
}
+ @Override
public boolean isVisible(Object element) {
return !(hideInactive && toState(element) == INACTIVE);
}
diff --git a/de.prob.ui/src/de/prob/ui/stateview/LoadShortestTraceHandler.java b/de.prob.ui/src/de/prob/ui/stateview/LoadShortestTraceHandler.java
index 298aefbd..26d82e07 100644
--- a/de.prob.ui/src/de/prob/ui/stateview/LoadShortestTraceHandler.java
+++ b/de.prob.ui/src/de/prob/ui/stateview/LoadShortestTraceHandler.java
@@ -25,6 +25,7 @@ public class LoadShortestTraceHandler extends AbstractHandler implements
animator = Animator.getAnimator();
}
+ @Override
public Object execute(final ExecutionEvent event) throws ExecutionException {
String stateId = animator.getCurrentState().getId();
diff --git a/de.prob.ui/src/de/prob/ui/stateview/ShowInHistoryHandler.java b/de.prob.ui/src/de/prob/ui/stateview/ShowInHistoryHandler.java
index e32a50cb..e798213b 100644
--- a/de.prob.ui/src/de/prob/ui/stateview/ShowInHistoryHandler.java
+++ b/de.prob.ui/src/de/prob/ui/stateview/ShowInHistoryHandler.java
@@ -30,7 +30,7 @@ import de.prob.ui.stateview.statetree.StaticStateElement;
* @author plagge
*/
public class ShowInHistoryHandler extends AbstractHandler implements IHandler {
-
+ @Override
public Object execute(final ExecutionEvent event) throws ExecutionException {
final ISelection selection = HandlerUtil
.getActiveWorkbenchWindow(event).getActivePage().getSelection();
diff --git a/de.prob.ui/src/de/prob/ui/stateview/SimpleContentProvider.java b/de.prob.ui/src/de/prob/ui/stateview/SimpleContentProvider.java
index 503be7af..73a2474e 100644
--- a/de.prob.ui/src/de/prob/ui/stateview/SimpleContentProvider.java
+++ b/de.prob.ui/src/de/prob/ui/stateview/SimpleContentProvider.java
@@ -20,10 +20,11 @@ import de.prob.ui.stateview.LabelViewer.ISimpleContentProvider;
*/
public abstract class SimpleContentProvider implements
LabelViewer.ISimpleContentProvider {
-
+ @Override
public void dispose() {
}
+ @Override
public void inputChanged(Viewer viewer, Object oldInput, Object newInput) {
}
diff --git a/de.prob.ui/src/de/prob/ui/stateview/ToggleShowDuplicatesHandler.java b/de.prob.ui/src/de/prob/ui/stateview/ToggleShowDuplicatesHandler.java
index 4501f95e..074f8455 100644
--- a/de.prob.ui/src/de/prob/ui/stateview/ToggleShowDuplicatesHandler.java
+++ b/de.prob.ui/src/de/prob/ui/stateview/ToggleShowDuplicatesHandler.java
@@ -29,6 +29,7 @@ public class ToggleShowDuplicatesHandler extends AbstractHandler implements
private static final String COMMAND_ID = "de.prob.ui.stateview.toggleShowDuplicates";
private static final String STATE_ID = "de.prob.ui.stateview.duplicateFilterState";
+ @Override
public Object execute(final ExecutionEvent event) throws ExecutionException {
final State state = event.getCommand().getState(STATE_ID);
if (state != null) {
@@ -59,6 +60,7 @@ public class ToggleShowDuplicatesHandler extends AbstractHandler implements
return !filterSet;
}
+ @Override
public void updateElement(final UIElement element,
@SuppressWarnings("rawtypes") final Map parameters) {
final State state = getCurrentState(element.getServiceLocator());
diff --git a/de.prob.ui/src/de/prob/ui/stateview/VarContentProvider.java b/de.prob.ui/src/de/prob/ui/stateview/VarContentProvider.java
index b633e150..11f2b339 100644
--- a/de.prob.ui/src/de/prob/ui/stateview/VarContentProvider.java
+++ b/de.prob.ui/src/de/prob/ui/stateview/VarContentProvider.java
@@ -26,6 +26,7 @@ class VarContentProvider implements ITreeContentProvider {
public VarContentProvider() {
}
+ @Override
public Object[] getChildren(final Object parentElement) {
StateTreeElement ste = toTreeElement(parentElement);
StaticStateElement[] children;
@@ -37,11 +38,13 @@ class VarContentProvider implements ITreeContentProvider {
return children;
}
+ @Override
public Object getParent(final Object element) {
StateTreeElement ste = toTreeElement(element);
return ste != null ? ste.getParent() : null;
}
+ @Override
public boolean hasChildren(final Object element) {
StateTreeElement ste = toTreeElement(element);
return ste != null && ste.hasChildren();
@@ -57,6 +60,7 @@ class VarContentProvider implements ITreeContentProvider {
return ste;
}
+ @Override
public Object[] getElements(final Object inputElement) {
final StateTreeElement[] elements;
if (inputElement != null && inputElement instanceof StateTreeElement[]) {
@@ -67,10 +71,12 @@ class VarContentProvider implements ITreeContentProvider {
return elements;
}
+ @Override
public void dispose() {
}
+ @Override
public void inputChanged(final Viewer viewer, final Object oldInput,
final Object newInput) {
}
diff --git a/de.prob.ui/src/de/prob/ui/stateview/statetree/AbstractStateTreeElement.java b/de.prob.ui/src/de/prob/ui/stateview/statetree/AbstractStateTreeElement.java
index 5b183e0c..71655990 100644
--- a/de.prob.ui/src/de/prob/ui/stateview/statetree/AbstractStateTreeElement.java
+++ b/de.prob.ui/src/de/prob/ui/stateview/statetree/AbstractStateTreeElement.java
@@ -15,6 +15,7 @@ public abstract class AbstractStateTreeElement implements StateTreeElement {
this.parent = parent;
}
+ @Override
public StaticStateElement getParent() {
return parent;
}
diff --git a/de.prob.ui/src/de/prob/ui/stateview/statetree/StateTreeExpression.java b/de.prob.ui/src/de/prob/ui/stateview/statetree/StateTreeExpression.java
index cca8adeb..378532e7 100644
--- a/de.prob.ui/src/de/prob/ui/stateview/statetree/StateTreeExpression.java
+++ b/de.prob.ui/src/de/prob/ui/stateview/statetree/StateTreeExpression.java
@@ -30,6 +30,7 @@ public class StateTreeExpression extends AbstractStateTreeElement {
}
+ @Override
public StaticStateElement[] getChildren() {
checkForChildren();
return children.toArray(StateTreeElement.EMPTY_ARRAY);
@@ -54,6 +55,7 @@ public class StateTreeExpression extends AbstractStateTreeElement {
}
}
+ @Override
public String getLabel() {
try {
return staticElement.getLabel();
@@ -63,11 +65,13 @@ public class StateTreeExpression extends AbstractStateTreeElement {
}
}
+ @Override
public boolean hasChildren() {
checkForChildren();
return !children.isEmpty();
}
+ @Override
public boolean hasChanged(final State current, final State last) {
final String curval, lastval;
try {
@@ -91,6 +95,7 @@ public class StateTreeExpression extends AbstractStateTreeElement {
return staticElement;
}
+ @Override
public StateDependendElement getValue(final State state) {
StateDependendElement sd;
try {
diff --git a/de.prob.ui/src/de/prob/ui/stateview/statetree/StateTreeExpressionSection.java b/de.prob.ui/src/de/prob/ui/stateview/statetree/StateTreeExpressionSection.java
index 10286c0b..4e141f6e 100644
--- a/de.prob.ui/src/de/prob/ui/stateview/statetree/StateTreeExpressionSection.java
+++ b/de.prob.ui/src/de/prob/ui/stateview/statetree/StateTreeExpressionSection.java
@@ -34,18 +34,22 @@ public class StateTreeExpressionSection extends AbstractStateTreeElement {
}
}
+ @Override
public StaticStateElement[] getChildren() {
return children.toArray(StateTreeElement.EMPTY_ARRAY);
}
+ @Override
public String getLabel() {
return label;
}
+ @Override
public boolean hasChildren() {
return !children.isEmpty();
}
+ @Override
public boolean hasChanged(State current, State last) {
return false;
}
@@ -56,6 +60,7 @@ public class StateTreeExpressionSection extends AbstractStateTreeElement {
this.children.add(child);
}
+ @Override
public StateDependendElement getValue(final State state) {
return new StateDependendElement(state, null,
EStateTreeElementProperty.NONBOOLEAN);
diff --git a/de.prob.ui/src/de/prob/ui/stateview/statetree/StateTreeSection.java b/de.prob.ui/src/de/prob/ui/stateview/statetree/StateTreeSection.java
index c86dfbb8..b04ec939 100644
--- a/de.prob.ui/src/de/prob/ui/stateview/statetree/StateTreeSection.java
+++ b/de.prob.ui/src/de/prob/ui/stateview/statetree/StateTreeSection.java
@@ -35,14 +35,17 @@ public class StateTreeSection extends AbstractStateTreeElement {
this.isMainSectionOfVariable = isMainSectionOfVariable;
}
+ @Override
public StaticStateElement[] getChildren() {
return children.toArray(StateTreeVariable.EMPTY_ARRAY);
}
+ @Override
public String getLabel() {
return section;
}
+ @Override
public boolean hasChildren() {
return !children.isEmpty();
}
@@ -51,6 +54,7 @@ public class StateTreeSection extends AbstractStateTreeElement {
return isMainSectionOfVariable;
}
+ @Override
public boolean hasChanged(final State current, final State last) {
for (final StateTreeElement child : children) {
if (child.hasChanged(current, last))
@@ -59,6 +63,7 @@ public class StateTreeSection extends AbstractStateTreeElement {
return false;
}
+ @Override
public StateDependendElement getValue(final State state) {
return new StateDependendElement(state, null,
hasChildren() ? EStateTreeElementProperty.NONBOOLEAN
diff --git a/de.prob.ui/src/de/prob/ui/stateview/statetree/StateTreeVariable.java b/de.prob.ui/src/de/prob/ui/stateview/statetree/StateTreeVariable.java
index d83d76b0..3a2e9df3 100644
--- a/de.prob.ui/src/de/prob/ui/stateview/statetree/StateTreeVariable.java
+++ b/de.prob.ui/src/de/prob/ui/stateview/statetree/StateTreeVariable.java
@@ -26,14 +26,17 @@ public class StateTreeVariable extends AbstractStateTreeElement {
this.isInMainSection = isInMainSection;
}
+ @Override
public StaticStateElement[] getChildren() {
return StateTreeElement.EMPTY_ARRAY;
}
+ @Override
public String getLabel() {
return name;
}
+ @Override
public boolean hasChildren() {
return false;
}
@@ -42,6 +45,7 @@ public class StateTreeVariable extends AbstractStateTreeElement {
return isInMainSection;
}
+ @Override
public boolean hasChanged(final State current, final State last) {
final String curVal = getValueOfVar(current);
final String lastVal = getValueOfVar(last);
@@ -59,6 +63,7 @@ public class StateTreeVariable extends AbstractStateTreeElement {
return result;
}
+ @Override
public StateDependendElement getValue(final State state) {
final Variable variable = state.getValues().get(name);
final StateDependendElement element;
diff --git a/de.prob.ui/src/de/prob/ui/ticket/ProBLogListener.java b/de.prob.ui/src/de/prob/ui/ticket/ProBLogListener.java
index 44f5b482..e178cc70 100644
--- a/de.prob.ui/src/de/prob/ui/ticket/ProBLogListener.java
+++ b/de.prob.ui/src/de/prob/ui/ticket/ProBLogListener.java
@@ -18,6 +18,7 @@ public final class ProBLogListener implements ILogListener {
public ProBLogListener() {
}
+ @Override
public void logging(final IStatus status, final String plugin) {
if (display == null || display.isDisposed()) {
return;
@@ -25,6 +26,7 @@ public final class ProBLogListener implements ILogListener {
if (status.getSeverity() == IStatus.ERROR || status.getSeverity() == IStatus.WARNING) {
display.asyncExec(new Runnable() {
+ @Override
public void run() {
String title = (status.getSeverity() == IStatus.ERROR) ? "An Error occured"
: "Warning";
--
GitLab