Enforce formatting pipeline

.github/workflows/main.yml

@@ -33,6 +33,8 @@ jobs:
           maven-version: 3.9.6
       - name: Build and Verify
         run: mvn clean verify
+      - name: Check formatting
+        run: mvn spotless:check
       - name: Publish Nightly Update Site
         if: github.event_name != 'release' && github.ref == 'refs/heads/main' && github.repository_owner == 'DataFlowAnalysis'
         uses: peaceiris/actions-gh-pages@v4

bundles/org.dataflowanalysis.converter/src/org/dataflowanalysis/converter/BehaviorConverter.java

@@ -163,8 +163,8 @@ private Term createTerm(String token) {
 
     private String termToString(Term term, boolean isNested) {
         if (term instanceof LabelReference labelReference) {
-        	Label label = labelReference.getLabel();
-            return ((LabelType)label.eContainer()).getEntityName() + "." + label.getEntityName();
+            Label label = labelReference.getLabel();
+            return ((LabelType) label.eContainer()).getEntityName() + "." + label.getEntityName();
         } else if (term instanceof TRUE) {
             return "TRUE";
         } else if (term instanceof AND and) {

bundles/org.dataflowanalysis.converter/src/org/dataflowanalysis/converter/Converter.java

@@ -1,10 +1,6 @@
 package org.dataflowanalysis.converter;
 
 import com.fasterxml.jackson.databind.ObjectMapper;
-
-import tools.mdsd.library.standalone.initialization.StandaloneInitializationException;
-import tools.mdsd.library.standalone.initialization.StandaloneInitializerBuilder;
-
 import java.io.File;
 import java.io.IOException;
 import java.util.Map;
@@ -17,6 +13,8 @@
 import org.eclipse.emf.ecore.resource.impl.ResourceSetImpl;
 import org.eclipse.emf.ecore.xmi.XMLResource;
 import org.eclipse.emf.ecore.xmi.impl.XMLResourceFactoryImpl;
+import tools.mdsd.library.standalone.initialization.StandaloneInitializationException;
+import tools.mdsd.library.standalone.initialization.StandaloneInitializerBuilder;
 
 public abstract class Converter {
     protected ObjectMapper objectMapper;
@@ -27,7 +25,7 @@ public abstract class Converter {
     public Converter() {
         objectMapper = new ObjectMapper();
     }
-    
+
     /**
      * Loads a data flow diagram and data dictionary from specified input files and returns them as a combined object.
      * @param inputDataFlowDiagram The path of the input data flow diagram file.

bundles/org.dataflowanalysis.converter/src/org/dataflowanalysis/converter/MicroSecEndConverter.java

@@ -8,11 +8,16 @@
 import java.util.List;
 import java.util.Map;
 import java.util.Optional;
-import java.lang.Process;
-
 import org.dataflowanalysis.converter.microsecend.*;
-import org.dataflowanalysis.dfd.datadictionary.*;
-import org.dataflowanalysis.dfd.dataflowdiagram.*;
+import org.dataflowanalysis.dfd.datadictionary.Assignment;
+import org.dataflowanalysis.dfd.datadictionary.DataDictionary;
+import org.dataflowanalysis.dfd.datadictionary.Label;
+import org.dataflowanalysis.dfd.datadictionary.LabelType;
+import org.dataflowanalysis.dfd.datadictionary.Pin;
+import org.dataflowanalysis.dfd.datadictionary.datadictionaryFactory;
+import org.dataflowanalysis.dfd.dataflowdiagram.DataFlowDiagram;
+import org.dataflowanalysis.dfd.dataflowdiagram.Node;
+import org.dataflowanalysis.dfd.dataflowdiagram.dataflowdiagramFactory;
 
 /**
  * Converts MicroSecEnd models to the data flow diagram and dictionary representation. Inherits from {@link Converter}