diff options
Diffstat (limited to 'ajde')
| -rw-r--r-- | ajde/src/org/aspectj/ajde/TaskListManager.java | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/ajde/src/org/aspectj/ajde/TaskListManager.java b/ajde/src/org/aspectj/ajde/TaskListManager.java index b9b7cc57e..6428fd476 100644 --- a/ajde/src/org/aspectj/ajde/TaskListManager.java +++ b/ajde/src/org/aspectj/ajde/TaskListManager.java @@ -35,6 +35,9 @@ public interface TaskListManager { public void addSourcelineTask(IMessage message); + /** @return true if any messages in list have kind warning or greater */ + public boolean hasWarning(); + /** * Add a task associated with the current project. * @@ -46,6 +49,6 @@ public interface TaskListManager { /** * Delete all of the currently active tasks. */ - public void clearTasks(); + public void clearTasks(); } |