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); |