| Index: dart/editor/tools/plugins/com.google.dart.tools.core_test/src/com/google/dart/tools/core/internal/builder/IgnoreResourceFilterTest.java
|
| ===================================================================
|
| --- dart/editor/tools/plugins/com.google.dart.tools.core_test/src/com/google/dart/tools/core/internal/builder/IgnoreResourceFilterTest.java (revision 34682)
|
| +++ dart/editor/tools/plugins/com.google.dart.tools.core_test/src/com/google/dart/tools/core/internal/builder/IgnoreResourceFilterTest.java (working copy)
|
| @@ -235,6 +235,13 @@
|
| Mockito.verifyNoMoreInteractions(listener);
|
| }
|
|
|
| + public void testSourceContainerRemoved_null() throws Exception {
|
| + SourceContainerDeltaEvent event = newSourceContainerDeltaEvent_nullResource();
|
| + ignoreManager.addToIgnores(project.getFolder("web"));
|
| + newTarget().sourceContainerRemoved(event);
|
| + Mockito.verifyNoMoreInteractions(listener);
|
| + }
|
| +
|
| public void testSourceContainerRemoved_unignored() throws Exception {
|
| SourceContainerDeltaEvent event = newSourceContainerDeltaEvent();
|
| ignoreManager.addToIgnores(event.getResource().getLocation());
|
| @@ -258,6 +265,13 @@
|
| Mockito.verifyNoMoreInteractions(listener);
|
| }
|
|
|
| + public void testSourceRemoved_null() throws Exception {
|
| + SourceDeltaEvent event = newSourceDeltaEvent_nullResource();
|
| + ignoreManager.addToIgnores(project.getFolder("web").getFile("other.dart"));
|
| + newTarget().sourceRemoved(event);
|
| + Mockito.verifyNoMoreInteractions(listener);
|
| + }
|
| +
|
| public void testSourceRemoved_unignored() throws Exception {
|
| SourceDeltaEvent event = newSourceDeltaEvent();
|
| ignoreManager.addToIgnores(event.getResource().getLocation());
|
| @@ -306,6 +320,12 @@
|
| return event;
|
| }
|
|
|
| + private SourceContainerDeltaEvent newSourceContainerDeltaEvent_nullResource() {
|
| + SourceContainerDeltaEvent event = Mockito.mock(SourceContainerDeltaEvent.class);
|
| + Mockito.when(event.getResource()).thenReturn(null);
|
| + return event;
|
| + }
|
| +
|
| private SourceDeltaEvent newSourceDeltaEvent() {
|
| IFile file = project.getFolder("web").getFile("other.dart");
|
| SourceDeltaEvent event = Mockito.mock(SourceDeltaEvent.class);
|
| @@ -313,6 +333,12 @@
|
| return event;
|
| }
|
|
|
| + private SourceDeltaEvent newSourceDeltaEvent_nullResource() {
|
| + SourceDeltaEvent event = Mockito.mock(SourceDeltaEvent.class);
|
| + Mockito.when(event.getResource()).thenReturn(null);
|
| + return event;
|
| + }
|
| +
|
| private IgnoreResourceFilter newTarget() {
|
| IgnoreResourceFilter filter = new IgnoreResourceFilter(ignoreManager);
|
| filter.addDeltaListener(listener);
|
|
|