spotless & NPE

Author: wadoon

key.core/src/main/java/de/uka/ilkd/key/pp/SequentPrintFilter.java

@@ -82,6 +82,10 @@ public ImmutableList<SequentPrintFilterEntry> getFilteredSucc() {
      * entries.
      */
     protected void filterIdentity() {
+        if(originalSequent==null) {
+            return;
+        }
+
         antec = ImmutableSLList.nil();
         Iterator<SequentFormula> it = originalSequent.antecedent().iterator();
         while (it.hasNext()) {

key.ui/src/main/java/de/uka/ilkd/key/core/KeYMediator.java

@@ -16,6 +16,7 @@
 import de.uka.ilkd.key.control.ProofControl;
 import de.uka.ilkd.key.gui.GUIListener;
 import de.uka.ilkd.key.gui.UserActionListener;
+import de.uka.ilkd.key.gui.actions.MainWindowAction;
 import de.uka.ilkd.key.gui.actions.useractions.UserAction;
 import de.uka.ilkd.key.gui.notification.events.NotificationEvent;
 import de.uka.ilkd.key.gui.notification.events.ProofClosedNotificationEvent;
@@ -719,7 +720,7 @@ public void enableWhenProofLoaded(final Action a) {
         addKeYSelectionListener(new KeYSelectionListener() {
             @Override
             public void selectedProofChanged(KeYSelectionEvent<Proof> e) {
-                a.setEnabled(e.getSource().getSelectedProof() != null);
+                a.setEnabled(e.source().getSelectedProof() != null);
             }
         });
     }
@@ -735,7 +736,7 @@ public void enableWhenProofLoaded(final javax.swing.AbstractButton a) {
 
             @Override
             public void selectedProofChanged(KeYSelectionEvent<Proof> e) {
-                a.setEnabled(e.getSource().getSelectedProof() != null);
+                a.setEnabled(e.source().getSelectedProof() != null);
             }
         });
     }

key.ui/src/main/java/de/uka/ilkd/key/core/KeYSelectionEvent.java

@@ -6,52 +6,20 @@
 
 /**
  * An event that indicates that the users focused node or proof has changed
+ *
+ * @param source            the source of this event
+ * @param previousSelection the previously selected item
+ * @param currentSelection  the previously selected item
  */
-
-public class KeYSelectionEvent<Sel> {
-
-    /** the source of this event */
-    private final KeYSelectionModel source;
-
-    /** the previously selected item */
-    private final Sel previousSelection;
-
-    /**
-     * creates a new SelectedNodeEvent
-     *
-     * @param source the SelectedNodeModel where the event had its origin
-     * @param previousSelection the previous selected item
-     */
-    public KeYSelectionEvent(KeYSelectionModel source, Sel previousSelection) {
-        this.source = source;
-        this.previousSelection = previousSelection;
-    }
-
-    /**
-     * creates a new SelectedNodeEvent
-     *
-     * @param source the SelectedNodeModel where the event had its origin
-     */
-    public KeYSelectionEvent(KeYSelectionModel source) {
-        this(source, null);
-    }
-
-
+public record KeYSelectionEvent<Sel>(
+        KeYSelectionModel source, Sel previousSelection, Sel currentSelection) {
     /**
      * returns the KeYSelectionModel that caused this event
      *
      * @return the KeYSelectionModel that caused this event
      */
-    public KeYSelectionModel getSource() {
+    @Override
+    public KeYSelectionModel source() {
         return source;
     }
-
-    /**
-     * returns the previous selected item
-     *
-     * @return the previous selected item
-     */
-    public Sel getPreviousSelection() {
-        return previousSelection;
-    }
 }

key.ui/src/main/java/de/uka/ilkd/key/core/KeYSelectionListener.java

@@ -9,12 +9,7 @@
 
 /**
  * The KeYSelectionListener is notified if the proof or the node the user works with has changed.
- *
- * @deprecated weigl: Please use switch to the {@link java.beans.PropertyChangeListener} interface
- *             of
- *             {@link KeYSelectionModel}.
  */
-@Deprecated
 public interface KeYSelectionListener {
 
     /**