From 061e88c9fe9aa069d970600ef2cd9ccdd98dfe54 Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Wed, 14 Oct 2015 17:40:38 +0200 Subject: [PATCH] Added FEED.prune (a_item: FEED_ITEM). --- library/text/parser/feed/src/kernel/feed.e | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/library/text/parser/feed/src/kernel/feed.e b/library/text/parser/feed/src/kernel/feed.e index 95a6e60e..2a86bb7e 100644 --- a/library/text/parser/feed/src/kernel/feed.e +++ b/library/text/parser/feed/src/kernel/feed.e @@ -108,6 +108,12 @@ feature -- Element change items.force (a_item) end + prune (a_item: FEED_ITEM) + -- Remove feed item `a_item' from Current list of feed items. + do + items.prune (a_item) + end + extended alias "+" (a_feed: FEED): FEED -- New feed object made from Current merged with a_feed. local