edu.rice.cs.drjava.model
Class DocumentRegionTest

java.lang.Object
  extended by junit.framework.Assert
      extended by junit.framework.TestCase
          extended by edu.rice.cs.drjava.DrJavaTestCase
              extended by edu.rice.cs.drjava.model.DocumentRegionTest
All Implemented Interfaces:
Test

public class DocumentRegionTest
extends DrJavaTestCase

Trivial JUnit test case class for DocumentRegion.


Field Summary
 
Fields inherited from class edu.rice.cs.drjava.DrJavaTestCase
TEST_DRJAVA_CONFIG_PROPERTY
 
Constructor Summary
DocumentRegionTest()
           
 
Method Summary
 void setUp()
          Initializes the document for the tests.
 void tearDown()
          Clean up for every test case.
 void testBrowserDocumentRegion()
          Tests BrowserDocumentRegion class.
 void testDummyDocumentRegion()
          Tests DummyDocumentRegion class.
 void testRegionManager()
          Tests RegionManager.
 void testSimpleDocumentRegion()
          Tests DummyDocumentRegion class.
 
Methods inherited from class edu.rice.cs.drjava.DrJavaTestCase
setConfigSetting, setDocText
 
Methods inherited from class junit.framework.TestCase
countTestCases, createResult, getName, run, run, runBare, runTest, setName, toString
 
Methods inherited from class junit.framework.Assert
assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertFalse, assertFalse, assertNotNull, assertNotNull, assertNotSame, assertNotSame, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, fail, fail, failNotEquals, failNotSame, failSame, format
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

DocumentRegionTest

public DocumentRegionTest()
Method Detail

setUp

public void setUp()
           throws Exception
Initializes the document for the tests.

Overrides:
setUp in class DrJavaTestCase
Throws:
Exception - This convention is mandated by JUnit.TestCase, the superclass of this class.

tearDown

public void tearDown()
              throws Exception
Description copied from class: DrJavaTestCase
Clean up for every test case. Only used in unit tests. Added because Windows would intermittently throw a java.util.concurrent.RejectedExecutionException during cleanup.

Overrides:
tearDown in class DrJavaTestCase
Throws:
Exception

testDummyDocumentRegion

public void testDummyDocumentRegion()
Tests DummyDocumentRegion class.


testSimpleDocumentRegion

public void testSimpleDocumentRegion()
Tests DummyDocumentRegion class.


testBrowserDocumentRegion

public void testBrowserDocumentRegion()
Tests BrowserDocumentRegion class.


testRegionManager

public void testRegionManager()
                       throws BadLocationException
Tests RegionManager.

Throws:
BadLocationException