| edu.rice.cs.drjava.model.MultiThreadedTestCase edu.rice.cs.drjava.model.GlobalModelTestCase edu.rice.cs.drjava.model.SingleDisplayModelTest
SingleDisplayModelTest | public class SingleDisplayModelTest extends GlobalModelTestCase (Code) | | Test functions of the single display model.
version: $Id: SingleDisplayModelTest.java 4255 2007-08-28 19:17:37Z mgricken $ |
Inner Class :public static class SDTestListener extends TestListener implements GlobalModelListener | |
assertNotEmpty | protected void assertNotEmpty()(Code) | | |
testCloseFiles | public void testCloseFiles() throws BadLocationException(Code) | | Tests that active document is switched on close, and that a new file is created after the last one is closed.
|
testDocumentSwitching | public void testDocumentSwitching() throws BadLocationException(Code) | | Tests the setNext and setPrevious functions, making sure that the activeDocumentChanged event is called.
|
testNotEmptyOnStartup | public void testNotEmptyOnStartup() throws BadLocationException(Code) | | Tests the invariant that at least one document is open at time of creation.
|
Methods inherited from edu.rice.cs.drjava.model.GlobalModelTestCase | protected void assertCompileErrorsPresent(boolean b)(Code)(Java Doc) protected void assertCompileErrorsPresent(String name, boolean b)(Code)(Java Doc) protected void assertContents(String s, OpenDefinitionsDocument doc) throws BadLocationException(Code)(Java Doc) protected void assertInteractionsContains(String text) throws EditDocumentException(Code)(Java Doc) protected void assertInteractionsDoesNotContain(String text) throws EditDocumentException(Code)(Java Doc) protected void assertInteractionsDoesNotMatch(String regex) throws EditDocumentException(Code)(Java Doc) protected void assertInteractionsMatches(String regex) throws EditDocumentException(Code)(Java Doc) protected void assertLength(int len, OpenDefinitionsDocument doc)(Code)(Java Doc) protected void assertModified(boolean b, OpenDefinitionsDocument doc)(Code)(Java Doc) protected void assertNumOpenDocs(int num)(Code)(Java Doc) protected void changeDocumentText(String s, OpenDefinitionsDocument doc) throws BadLocationException(Code)(Java Doc) protected File classForJava(File sourceFile, String className)(Code)(Java Doc) protected File createFile(String name)(Code)(Java Doc) protected synchronized OpenDefinitionsDocument doCompile(String text, File file) throws IOException, BadLocationException, InterruptedException(Code)(Java Doc) protected void doCompile(OpenDefinitionsDocument doc, File file) throws IOException, InterruptedException(Code)(Java Doc) protected String getCompilerErrorString()(Code)(Java Doc) protected String getInteractionsText() throws EditDocumentException(Code)(Java Doc) protected String interpret(String input) throws EditDocumentException(Code)(Java Doc) protected void interpretIgnoreResult(String input) throws EditDocumentException(Code)(Java Doc) public void setUp() throws Exception(Code)(Java Doc) protected OpenDefinitionsDocument setupDocument(String text) throws BadLocationException(Code)(Java Doc) public void tearDown() throws Exception(Code)(Java Doc) protected File tempDirectory() throws IOException(Code)(Java Doc) protected File tempFile() throws IOException(Code)(Java Doc) protected File tempFile(int i) throws IOException(Code)(Java Doc) protected File writeToNewTempFile(String text) throws IOException(Code)(Java Doc)
|
Fields inherited from edu.rice.cs.drjava.model.MultiThreadedTestCase | protected static volatile boolean _testFailed(Code)(Java Doc)
|
|
|