Merge branch 'develop' into documentation

Author: swissiety

.github/workflows/approve_dependabotifications.yml

@@ -0,0 +1,25 @@
+name: Handle Dependabot PRs
+
+on:
+  pull_request:
+    types: [ opened, reopened, synchronize ]
+
+permissions:
+  contents: write
+  pull-requests: write
+
+jobs:
+  ApproveAndMerge:
+    name: Auto approve Dependabot PRs
+    runs-on: ubuntu-latest
+    # Only run for PRs created by Dependabot - extended verification is done in the reusable workflow
+    if: github.actor == 'dependabot[bot]'
+    # These permissions are needed to approve pull requests
+    permissions:
+      contents: read
+      pull-requests: write
+    steps:
+      - name: Auto approve Dependabot PR
+        uses: secure-software-engineering/actions/dependabot@develop
+        with:
+          token: ${{ secrets.AUTO_MERGE_PAT }}

.github/workflows/dependabot.yml

@@ -0,0 +1,28 @@
+name: Deploy SNAPSHOT versions
+
+on:
+  push:
+    branches:
+      - develop
+
+jobs:
+  deploy-snapshot:
+    runs-on: ubuntu-latest
+    name: Deploy SNAPSHOT version
+    environment: Deploy
+    steps:
+      - name: Checkout source code
+        uses: actions/checkout@v4
+
+      - name: Deploy SNAPSHOT version
+        uses: secure-software-engineering/actions/deployment/maven-deployment@maven-central-deploy
+        with:
+          java-distribution: adopt
+          java-version: 11
+          server-id: central
+          server-username: ${{ secrets.MAVEN_USERNAME }}
+          server-password: ${{ secrets.MAVEN_CENTRAL_TOKEN }}
+          gpg-private-key: ${{ secrets.GPG_PRIVATE_KEY }}
+          gpg-passphrase: ${{ secrets.GPG_PRIVATE_KEY_PASSPHRASE }}
+          mvn-cli-args: '-DskipTests -Dmaven.javadoc.skip=true -Pdeployment'
+          deploy-mode: snapshot

.github/workflows/dependency_analysis.yml

@@ -9,28 +9,24 @@ env:
 jobs:
   deployment:
     runs-on: ubuntu-latest
+    name: Deploy to Maven
     environment: Deploy
     steps:
       - name: Checkout source code
         uses: actions/checkout@v4
-      # Sets up Java version
-      - name: Set up Java
-        uses: actions/setup-java@v4
+
+      - name: Deploy version
+        uses: secure-software-engineering/actions/deployment/maven-deployment@maven-central-deploy
         with:
-          distribution: adopt
-          java-package: jdk
+          java-distribution: adopt
           java-version: 11
-          server-id: ossrh # must match the serverId configured for the nexus-staging-maven-plugin
-          server-username: OSSRH_USERNAME # Env var that holds your OSSRH user name
-          server-password: OSSRH_PASSWORD # Env var that holds your OSSRH user pw
-          gpg-private-key: ${{ secrets.GPG_PRIVATE_KEY }} # Substituted with the value stored in the referenced secret
-          gpg-passphrase: SIGN_KEY_PASS # Env var that holds the key's passphrase
-      - name: Deploy Boomerang
-        run: mvn -B -U clean deploy -Pdeployment -DskipTests
-        env:
-          SIGN_KEY_PASS: ${{ secrets.GPG_PRIVATE_KEY_PASSPHRASE }}
-          OSSRH_USERNAME: ${{ secrets.SONATYPE_USER }}
-          OSSRH_PASSWORD: ${{ secrets.SONATYPE_PW }}
+          server-id: central
+          server-username: ${{ secrets.MAVEN_USERNAME }}
+          server-password: ${{ secrets.MAVEN_CENTRAL_TOKEN }}
+          gpg-private-key: ${{ secrets.GPG_PRIVATE_KEY }}
+          gpg-passphrase: ${{ secrets.GPG_PRIVATE_KEY_PASSPHRASE }}
+          mvn-cli-args: '-DskipTests -Pdeployment'
+          deploy-mode: release
 
   snapshot-version:
     runs-on: ubuntu-latest

.github/workflows/deploy-snapshots.yml

@@ -0,0 +1,27 @@
+name: Codestyle etc.
+
+on: [pull_request]
+
+jobs:
+  check-formatting:
+    runs-on: ubuntu-latest
+    name: Check style
+    steps:
+      - name: Checkout source code
+        uses: actions/checkout@v4
+
+      - name: Set up Java 11
+        uses: actions/setup-java@v4
+        with:
+          distribution: adopt
+          java-package: jdk
+          java-version: 17
+          cache: maven
+
+      # Checks that the code sticks to a common code style
+      - name: Run spotless checks
+        run: mvn spotless:check || echo "Check the formatting. Use mvn spotless:apply to format the code."
+
+      # Runs Maven's dependency analysis to identify unused and undeclared dependencies and fails the build if there are any warnings.
+      - name: Run dependency analysis
+        run: mvn dependency:analyze -DfailOnWarning

.github/workflows/deploy.yml

@@ -77,7 +77,7 @@
         <dependency>
             <groupId>com.typesafe</groupId>
             <artifactId>config</artifactId>
-            <version>1.4.4</version>
+            <version>1.4.5</version>
             <scope>test</scope>
         </dependency>
 
@@ -96,7 +96,7 @@
             <plugin>
                 <groupId>net.alchim31.maven</groupId>
                 <artifactId>scala-maven-plugin</artifactId>
-                <version>4.9.5</version>
+                <version>4.9.6</version>
                 <configuration>
                     <recompileMode>all</recompileMode>
                     <args>

.github/workflows/formalities.yml

@@ -21,7 +21,7 @@
     </scm>
 
     <properties>
-        <wala.version>1.6.11</wala.version>
+        <wala.version>1.6.12</wala.version>
         <license.dir>${project.parent.basedir}</license.dir>
     </properties>
 

.github/workflows/style.yml

@@ -0,0 +1,94 @@
+/**
+ * ***************************************************************************** 
+ * Copyright (c) 2018 Fraunhofer IEM, Paderborn, Germany
+ * <p>
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License 2.0 which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ * <p>
+ * SPDX-License-Identifier: EPL-2.0
+ * <p>
+ * Contributors:
+ *   Johannes Spaeth - initial API and implementation
+ * *****************************************************************************
+ */
+package typestate;
+
+import boomerang.scope.Statement;
+import java.util.List;
+import java.util.Objects;
+import java.util.stream.Collectors;
+import typestate.finiteautomata.Transition;
+
+public class StatementSequence {
+
+  public static class Entry {
+
+    private final Statement statement;
+    private final Transition transition;
+
+    public Entry(Statement statement, Transition transition) {
+      this.statement = statement;
+      this.transition = transition;
+    }
+
+    public Statement getStatement() {
+      return statement;
+    }
+
+    public Transition getTransition() {
+      return transition;
+    }
+
+    @Override
+    public boolean equals(Object o) {
+      if (this == o) return true;
+      if (o == null || getClass() != o.getClass()) return false;
+      Entry entry = (Entry) o;
+      return Objects.equals(statement, entry.statement)
+          && Objects.equals(transition, entry.transition);
+    }
+
+    @Override
+    public int hashCode() {
+      return Objects.hash(statement, transition);
+    }
+
+    @Override
+    public String toString() {
+      return "{" + statement + " [" + transition + "]}";
+    }
+  }
+
+  private final List<Entry> sequence;
+
+  public StatementSequence(Entry initialStmt) {
+    this.sequence = List.of(initialStmt);
+  }
+
+  public StatementSequence(List<Entry> sequence) {
+    this.sequence = List.copyOf(sequence);
+  }
+
+  public List<Entry> getSequence() {
+    return sequence;
+  }
+
+  @Override
+  public boolean equals(Object o) {
+    if (this == o) return true;
+    if (o == null || getClass() != o.getClass()) return false;
+    StatementSequence that = (StatementSequence) o;
+    return Objects.equals(sequence, that.sequence);
+  }
+
+  @Override
+  public int hashCode() {
+    return Objects.hash(sequence);
+  }
+
+  @Override
+  public String toString() {
+    return sequence.stream().map(Object::toString).collect(Collectors.joining(" -> "));
+  }
+}