AutoModelSpec implements Cloneable, InformationSetSerializable { public void setPc(double value) { if (value < .1 || value > 0.3) { throw new TramoException("PC should belong to [0.1, 0.3]"); } pc_ = value; } AutoModelSpec();  AutoModelSpec(boolean enabled); static void fillDictionary(String prefix, Map<String, Class> dic); void reset(); double getPcr(); void setPcr(double value); double getUb1(); void setUb1(double value); double getUb2(); void setUb2(double value); double getCancel(); void setCancel(double value); double getTsig(); void setTsig(double value); double getPc(); void setPc(double value); boolean isDefault(); boolean isEnabled(); void setEnabled(boolean value); boolean isAmiCompare(); void setAmiCompare(boolean value); @Override AutoModelSpec clone(); boolean equals(AutoModelSpec other); static boolean equals(AutoModelSpec l, AutoModelSpec r); boolean isAcceptDefault(); void setAcceptDefault(boolean fal); @Override boolean equals(Object obj); @Override int hashCode(); @Override InformationSet write(boolean verbose); @Override boolean read(InformationSet info); static final String ENABLED; static final double DEF_CANCEL; static final boolean DEF_FAL; }
@Test(expected = TramoException.class) public void testSetPcLowerBound() { AutoModelSpec spec = new AutoModelSpec(); spec.setPc(0.01); }