Merge branch 'master' of https://github.com/nl-utwente-groove/code

nl-utwente-groove · Jul 23, 2024 · db69d2a · db69d2a
2 parents 502ca3a + 773a6c9
commit db69d2a
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 7 deletions.
diff --git a/src/main/java/nl/utwente/groove/explore/ExploreResult.java b/src/main/java/nl/utwente/groove/explore/ExploreResult.java
@@ -120,6 +120,12 @@ public GTSFragment toFragment(boolean internal) {
         return result;
     }
 
+    /** Returns the number of states and transitions found during exploration. */
+    public String getStatistics() {
+        return "Exploration result: %s states, %s transitions"
+            .formatted(this.states.size(), this.transitions.size());
+    }
+
     @Override
     public String toString() {
         return "Result [states=" + this.states + ", " + "transitions=" + this.transitions

diff --git a/src/main/java/nl/utwente/groove/explore/result/Acceptor.java b/src/main/java/nl/utwente/groove/explore/result/Acceptor.java
@@ -114,12 +114,6 @@ public ExploreResult getResult() {
 
     /** Returns a message describing the accepted result. */
     public String getMessage() {
-        String result;
-        if (this.result.isEmpty()) {
-            result = "No result states found";
-        } else {
-            result = this.result.size() + " result states found: " + this.result;
-        }
-        return result;
+        return this.result.getStatistics();
     }
 }