improve error message

mtf90 · mtf90 · commit 3cae11b5ba71 · 2025-02-03T12:10:19.000+01:00
diff --git a/oracles/equivalence-oracles/src/main/java/de/learnlib/oracle/equivalence/sba/SimulatorEQOracle.java b/oracles/equivalence-oracles/src/main/java/de/learnlib/oracle/equivalence/sba/SimulatorEQOracle.java
@@ -36,7 +36,7 @@ public SimulatorEQOracle(SBA<?, I> sba) {
     @Override
     public @Nullable DefaultQuery<I, Boolean> findCounterExample(SBA<?, I> hypothesis, Collection<? extends I> inputs) {
         if (!(inputs instanceof ProceduralInputAlphabet)) {
-            throw new IllegalArgumentException("Inputs are not an SPA alphabet");
+            throw new IllegalArgumentException("Inputs are not a procedural alphabet");
         }
 
         @SuppressWarnings("unchecked")
diff --git a/oracles/equivalence-oracles/src/main/java/de/learnlib/oracle/equivalence/spmm/SimulatorEQOracle.java b/oracles/equivalence-oracles/src/main/java/de/learnlib/oracle/equivalence/spmm/SimulatorEQOracle.java
@@ -37,7 +37,7 @@ public SimulatorEQOracle(SPMM<?, I, ?, O> spmm) {
     public @Nullable DefaultQuery<I, Word<O>> findCounterExample(SPMM<?, I, ?, O> hypothesis,
                                                                  Collection<? extends I> inputs) {
         if (!(inputs instanceof ProceduralInputAlphabet)) {
-            throw new IllegalArgumentException("Inputs are not an SPA alphabet");
+            throw new IllegalArgumentException("Inputs are not a procedural alphabet");
         }
 
         @SuppressWarnings("unchecked")

Original file line number	Diff line number	Diff line change
`@@ -36,7 +36,7 @@ public SimulatorEQOracle(SBA<?, I> sba) {`
`36`	`36`	`@Override`
`37`	`37`	`public @Nullable DefaultQuery<I, Boolean> findCounterExample(SBA<?, I> hypothesis, Collection<? extends I> inputs) {`
`38`	`38`	`if (!(inputs instanceof ProceduralInputAlphabet)) {`
`39`		`- throw new IllegalArgumentException("Inputs are not an SPA alphabet");`
	`39`	`+ throw new IllegalArgumentException("Inputs are not a procedural alphabet");`
`40`	`40`	`}`
`41`	`41`
`42`	`42`	`@SuppressWarnings("unchecked")`
Original file line number	Diff line number	Diff line change
`@@ -37,7 +37,7 @@ public SimulatorEQOracle(SPMM<?, I, ?, O> spmm) {`
`37`	`37`	`public @Nullable DefaultQuery<I, Word<O>> findCounterExample(SPMM<?, I, ?, O> hypothesis,`
`38`	`38`	`Collection<? extends I> inputs) {`
`39`	`39`	`if (!(inputs instanceof ProceduralInputAlphabet)) {`
`40`		`- throw new IllegalArgumentException("Inputs are not an SPA alphabet");`
	`40`	`+ throw new IllegalArgumentException("Inputs are not a procedural alphabet");`
`41`	`41`	`}`
`42`	`42`
`43`	`43`	`@SuppressWarnings("unchecked")`