| edu.rice.cs.drjava.DrJavaTestCase edu.rice.cs.drjava.model.DummyOpenDefDocTest
DummyOpenDefDocTest | public class DummyOpenDefDocTest extends DrJavaTestCase (Code) | | DummyOpenDefDocTest for unit testing DummyOpenDefDoc. Uses
JUnit for testing.
author: Jason Schiller version: $Id: DummyOpenDefDocTest.java 4255 2007-08-28 19:17:37Z mgricken $ |
Method Summary | |
public void | testProperExceptionThrowing() Creates a DummyOpenDefDoc and ensures that it properly
throws UnsupportedOperationException by calling isModifiedOnDisk(). |
testProperExceptionThrowing | public void testProperExceptionThrowing()(Code) | | Creates a DummyOpenDefDoc and ensures that it properly
throws UnsupportedOperationException by calling isModifiedOnDisk().
|
Fields inherited from edu.rice.cs.drjava.DrJavaTestCase | final public static String TEST_DRJAVA_CONFIG_PROPERTY(Code)(Java Doc)
|
|
|