diff options
| author | Darin Swanson | 2002-04-02 14:51:25 +0000 |
|---|---|---|
| committer | Darin Swanson | 2002-04-02 14:51:25 +0000 |
| commit | af13be0c8dfbfa4641df7bd69e99427768349a5c (patch) | |
| tree | c1dead0f299c8d54d320845e963abd314691e561 | |
| parent | 147bcca16bac7edb7a0b2381105391c83642ef0f (diff) | |
| download | eclipse.platform.debug-af13be0c8dfbfa4641df7bd69e99427768349a5c.tar.gz eclipse.platform.debug-af13be0c8dfbfa4641df7bd69e99427768349a5c.tar.xz eclipse.platform.debug-af13be0c8dfbfa4641df7bd69e99427768349a5c.zip | |
Bug 12548 - Debug event filters should use event sets
| -rw-r--r-- | org.eclipse.debug.core/core/org/eclipse/debug/core/DebugPlugin.java | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/org.eclipse.debug.core/core/org/eclipse/debug/core/DebugPlugin.java b/org.eclipse.debug.core/core/org/eclipse/debug/core/DebugPlugin.java index e9d44bb1d..641b5e41d 100644 --- a/org.eclipse.debug.core/core/org/eclipse/debug/core/DebugPlugin.java +++ b/org.eclipse.debug.core/core/org/eclipse/debug/core/DebugPlugin.java @@ -244,11 +244,11 @@ public class DebugPlugin extends Plugin { /**
* Returns a collection of events, based on the given event
* set, removing any events that are filtered by registered
- * debug event filters. Returns <code>null</code> if all
- * events are filtered.
+ * debug event filters. Returns <code>null</code> or an empty
+ * collection if all events are filtered.
*
* @param events the event set to filter
- * @return filter event set
+ * @return filtered event set
*/
private DebugEvent[] filterEvents(DebugEvent[] events) {
if (hasEventFilters()) {
|