eqtests: make SimpleEQOracle implement EquivalenceOracle

LearnLib · Sep 6, 2017 · fba1023 · fba1023
1 parent 9208cb1
commit fba1023
Showing 1 changed file with 14 additions and 2 deletions.
diff --git a/eqtests/basic-eqtests/src/main/java/de/learnlib/eqtests/basic/SimpleEQOracle.java b/eqtests/basic-eqtests/src/main/java/de/learnlib/eqtests/basic/SimpleEQOracle.java
@@ -15,11 +15,19 @@
  */
 package de.learnlib.eqtests.basic;
 
+import java.util.Collection;
+
+import javax.annotation.Nullable;
+
 import de.learnlib.api.EquivalenceOracle;
 import de.learnlib.oracles.DefaultQuery;
 import net.automatalib.automata.concepts.InputAlphabetHolder;
+import org.slf4j.Logger;
+import org.slf4j.LoggerFactory;
+
+public class SimpleEQOracle<A extends InputAlphabetHolder<I>, I, D> implements EquivalenceOracle<A, I, D> {
 
-public class SimpleEQOracle<A extends InputAlphabetHolder<I>, I, D> {
+    private static final Logger LOGGER = LoggerFactory.getLogger(SimpleEQOracle.class);
 
     private final EquivalenceOracle<A, I, D> eqOracle;
 
@@ -31,7 +39,11 @@ public static <A extends InputAlphabetHolder<I>, I, D> SimpleEQOracle<A, I, D> c
         return new SimpleEQOracle<>(eqOracle);
     }
 
-    public DefaultQuery<I, D> findCounterExample(A hypothesis) {
+    @Nullable
+    @Override
+    public DefaultQuery<I, D> findCounterExample(A hypothesis, Collection<? extends I> inputs) {
+        LOGGER.debug("Ignoring the set of inputs '{}', because I always use the complete hypothesis' input alphabet",
+                     inputs);
         return eqOracle.findCounterExample(hypothesis, hypothesis.getInputAlphabet());
     }
 }