/** tests the resetting of the options to the default ones */
public void testResettingOptions() {
if (m_OptionTester.getOptionHandler() != null) {
if (!m_OptionTester.checkSetOptions()) fail("Resetting of options failed");
}
}
/**
* tests the whether the user-supplied options stay the same after setting. getting, and
* re-setting again.
*
* @see #getOptionTester()
*/
public void testCanonicalUserOptions() {
if (m_OptionTester.getOptionHandler() != null) {
if (!m_OptionTester.checkCanonicalUserOptions()) fail("setOptions method failed");
}
}
/** tests the setting of the options */
public void testSetOptions() {
if (m_OptionTester.getOptionHandler() != null) {
if (!m_OptionTester.checkSetOptions()) fail("setOptions method failed.");
}
}
/** tests whether there are any remaining options */
public void testRemainingOptions() {
if (m_OptionTester.getOptionHandler() != null) {
if (!m_OptionTester.checkRemainingOptions()) fail("There were 'left-over' options.");
}
}
/** tests the listing of the options */
public void testListOptions() {
if (m_OptionTester.getOptionHandler() != null) {
if (!m_OptionTester.checkListOptions()) fail("Options cannot be listed via listOptions.");
}
}
