edu.rice.cs.drjava.model.repl
Class InteractionsDJDocumentTest

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          edu.rice.cs.drjava.DrJavaTestCase
              edu.rice.cs.drjava.model.repl.InteractionsDJDocumentTest

All Implemented Interfaces:

Test

public final class InteractionsDJDocumentTest
extends DrJavaTestCase

Tests the functionality of the InteractionsDJDocument.

Field Summary

protected InteractionsDJDocument	_adapter
protected InteractionsDocument	_doc
protected InteractionsModel	_model
protected MainFrame	mf

Fields inherited from class edu.rice.cs.drjava.DrJavaTestCase

TEST_DRJAVA_CONFIG_PROPERTY

Constructor Summary

InteractionsDJDocumentTest()

Method Summary

void	helpTestCannotAddNullStyleToList() Tests that a null style is not added to the list.
void	helpTestStylesListContentAndReset() Tests that the styles list is updated and reset properly
protected void	setUp() Initialize fields for each test.
void	test1()
void	test2()

Methods inherited from class edu.rice.cs.drjava.DrJavaTestCase

setConfigSetting, setDocText, tearDown

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

Field Detail

_adapter

protected InteractionsDJDocument _adapter

_model

protected InteractionsModel _model

_doc

protected InteractionsDocument _doc

mf

protected MainFrame mf

Constructor Detail

InteractionsDJDocumentTest

public InteractionsDJDocumentTest()

Method Detail

setUp

protected void setUp()
              throws Exception

Initialize fields for each test.

Overrides:

setUp in class DrJavaTestCase

Throws:

Exception - This convention is mandated by JUnit.TestCase, the superclass of this class.

test1

public void test1()

helpTestStylesListContentAndReset

public void helpTestStylesListContentAndReset()
                                       throws EditDocumentException,
                                              InterruptedException

Tests that the styles list is updated and reset properly

Throws:

EditDocumentException

InterruptedException

test2

public void test2()

helpTestCannotAddNullStyleToList

public void helpTestCannotAddNullStyleToList()
                                      throws EditDocumentException

Tests that a null style is not added to the list. Fix for bug #995719.

Throws:

EditDocumentException