| method | Subscription fetchSubscription(String, Date) |
| pre | feedURL != null |
| pre | log != null |
| presumption | java.util.Iterator:next(...)@138 != null |
| presumption | org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle(...)@87 != null |
| presumption | org.apache.roller.weblogger.business. WeblogManager:getWeblogEntries(...)@121 != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getPluginManager(...)@136 != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getUrlStrategy(...)@105 != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@86 != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@120 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@105 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@120 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@136 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@86 != null |
| presumption | org.apache.roller.weblogger.pojos.Weblog:getLastMod ified(...)@97 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntry:getCa tegory(...)@153 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntry:getCr eator(...)@148 != null |
| post | init'ed(return_value) |
| post | new Subscription(fetchSubscription#7) num objects <= 1 |
| test_vector | lastModified: Addr_Set{null}, Inverse{null} |
| test_vector | java.lang.String:startsWith(...)@70: {1}, {0} |
| test_vector | java.util.Date:after(...)@97: {1}, {0} |
| test_vector | java.util.Iterator:hasNext(...)@138: {0}, {1} |
| test_vector | org.apache.commons.lang.StringUtils:isEmpty(... )@141: {1}, {0} |
| test_vector | org.apache.roller.planet.pojos.Subscription:getLast Updated(...)@111: Inverse{null}, Addr_Set{null} |