/**
* tests the whether the user-supplied options stay the same after setting. getting, and
* re-setting again.
*/
public void testCanonicalUserOptions() {
if (!m_OptionTester.checkCanonicalUserOptions()) {
fail("setOptions method 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");
}
}
