| commit | 8016f341e1bb537f1e78ddb8037a9452cf5e5b31 | [log] [tgz] |
|---|---|---|
| author | Brian O'Connor <bocon@onlab.us> | Tue Feb 24 17:00:39 2015 -0800 |
| committer | Gerrit Code Review <gerrit@onlab.us> | Thu Feb 26 19:57:04 2015 +0000 |
| tree | 4fcb8c125363e79d344a70e2f0c6710dfa6fd8c5 | |
| parent | 6925286a547bc9411466677a1d0e44bd9eaa84ee [diff] [blame] |
adding purge option to IntentRemoveCommand Change-Id: Ic97acd9a8308355cd3135ea5df0a470b3579106e
diff --git a/core/api/src/main/java/org/onosproject/net/intent/IntentService.java b/core/api/src/main/java/org/onosproject/net/intent/IntentService.java index 0d14a38..b86d793 100644 --- a/core/api/src/main/java/org/onosproject/net/intent/IntentService.java +++ b/core/api/src/main/java/org/onosproject/net/intent/IntentService.java
@@ -112,4 +112,11 @@ * @param listener listener to be removed */ void removeListener(IntentListener listener); + + /** + * Purges a specific intent from the system if it is FAILED or WITHDRAWN. + * + * @param key key of the intent to purge + */ + void purge(Key key); }