CompleteExplorationEQOracleProxy extends AbstractEquivalenceOracleProxy implements Serializable { @Override public void checkParameters() throws IllegalArgumentException { if (minDepth < 0 || maxDepth < 0) { throw new IllegalArgumentException("Complete EQ Oracle: min depth and max depth must not be negative."); } else if (minDepth > maxDepth) { throw new IllegalArgumentException("Complete EQ Oracle: max depth must be greater or equal to min depth."); } } CompleteExplorationEQOracleProxy();  CompleteExplorationEQOracleProxy(int minDepth, int maxDepth); int getMinDepth(); void setMinDepth(int minDepth); int getMaxDepth(); void setMaxDepth(int maxDepth); @Override void checkParameters(); @Override EquivalenceOracle<MealyMachine<?, String, ?, String>, String, Word<String>> createEqOracle(
            MembershipOracle<String, Word<String>> membershipOracle);  }
@Test public void ensureThatIfTheParametersAreValidNoExceptionWillBeThrown() { eqOracle.checkParameters(); }