fix checkstyle errors

DecwLK · Jan 15, 2024 · 09052af · 09052af
1 parent f5ffb49
commit 09052af
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 10 deletions.
diff --git a/src/main/java/org/gecko/view/inspector/element/container/InspectorContractItem.java b/src/main/java/org/gecko/view/inspector/element/container/InspectorContractItem.java
@@ -18,11 +18,11 @@
 
 public class InspectorContractItem extends VBox implements InspectorElement<VBox> {
     /**
-     * Constructor for the State contract item
+     * Constructor for the State contract item.
      *
-     * @param actionManager
-     * @param stateViewModel
-     * @param contractViewModel
+     * @param actionManager     Action manager
+     * @param stateViewModel    State view model
+     * @param contractViewModel Contract view model
      */
     public InspectorContractItem(ActionManager actionManager, StateViewModel stateViewModel, ContractViewModel contractViewModel) {
         // Contract fields:
@@ -51,11 +51,11 @@ public InspectorContractItem(ActionManager actionManager, StateViewModel stateVi
     }
 
     /**
-     * Constructor for the Region contract item
+     * Constructor for the Region contract item.
      *
-     * @param actionManager
-     * @param contractViewModel
-     * @param invariant
+     * @param actionManager     Action manager
+     * @param contractViewModel Contract view model
+     * @param invariant         Invariant
      */
     public InspectorContractItem(ActionManager actionManager, ContractViewModel contractViewModel, StringProperty invariant) {
         HBox contractPreCondition = new HBox();

diff --git a/src/main/java/org/gecko/viewmodel/GeckoViewModel.java b/src/main/java/org/gecko/viewmodel/GeckoViewModel.java
@@ -35,8 +35,8 @@ public GeckoViewModel(GeckoModel geckoModel) {
 
     public void switchEditor(SystemViewModel nextSystemViewModel, boolean isAutomatonEditor) {
         openedEditorsProperty.stream()
-                             .filter(editorViewModel -> (editorViewModel.getCurrentSystem() == nextSystemViewModel &&
-                                 editorViewModel.isAutomatonEditor() == isAutomatonEditor))
+                             .filter(editorViewModel -> (editorViewModel.getCurrentSystem() == nextSystemViewModel
+                                 && editorViewModel.isAutomatonEditor() == isAutomatonEditor))
                              .findFirst()
                              .ifPresentOrElse(currentEditorProperty::setValue, () -> {
                                  EditorViewModel editorViewModel = viewModelFactory.createEditorViewModel(nextSystemViewModel, isAutomatonEditor);