MealyRandomWordsEQOracleProxy extends AbstractEquivalenceOracleProxy implements Serializable { @Override public void checkParameters() throws IllegalArgumentException { if (minLength < 0 || maxLength < 0) { throw new IllegalArgumentException( "Random Word EQ Oracle: min length and max length must not be negative."); } else if (minLength > maxLength) { throw new IllegalArgumentException( "Random Word EQ Oracle: max depth must be greater or equal to min depth."); } else if (maxNoOfTests < 1) { throw new IllegalArgumentException("Random Word EQ Oracle: max no of test must be greater than 0."); } } MealyRandomWordsEQOracleProxy();  MealyRandomWordsEQOracleProxy(int minLength, int maxLength, int maxNoOfTests, int seed); int getMinLength(); void setMinLength(int minLength); int getMaxLength(); void setMaxLength(int maxLength); int getMaxNoOfTests(); void setMaxNoOfTests(int maxNoOfTests); int getSeed(); void setSeed(int seed); @Override void checkParameters(); @Override EquivalenceOracle<MealyMachine<?, String, ?, String>, String, Word<String>> createEqOracle(
            MembershipOracle<String, Word<String>> membershipOracle); static final int RANDOM_SEED; }
@Test public void ensureThatIfTheParametersAreValidNoExceptionWillBeThrown() { eqOracle.checkParameters(); }