PlanetSubscriptions.java

current inspection = 2009-09-04 18:33:31 (id #2) base = 2009-09-04 18:33:31 (id #1)

Filter Options
History:
+ added
- dropped
U unchanged
Annotation Kind:
pre
presumption
post
unanalyzed
test


  • + String delete()

    • -/+ Kind Annotation Text Date
    +pre(soft) this.group != null2009-09-04 18:33:31
    +preinit'ed(this.subUrl)2009-09-04 18:33:31
    +presumptionorg.apache.commons.logging.LogFactory:getLog(... )@40 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.planet.business.Planet:getPlanetM anager(...)@153 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.planet.business.PlanetFactory:get Planet(...)@153 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.planet.business.PlanetFactory:get Planet(...)@160 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.planet.business.PlanetManager:get Subscription(...)@156 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.planet.pojos.PlanetGroup:getSubsc riptions(...)@157 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.planet.pojos.Subscription:getGrou ps(...)@158 != null2009-09-04 18:33:31
    +postinit'ed(this.subUrl)2009-09-04 18:33:31
    +postreturn_value == &"list"2009-09-04 18:33:31
    +postthis.subUrl == One-of{old this.subUrl, null}2009-09-04 18:33:31
    +test_vectorthis.subUrl: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + String execute()

    • -/+ Kind Annotation Text Date
    +postreturn_value == &"list"2009-09-04 18:33:31

  • + PlanetGroup getGroup()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.group)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.group2009-09-04 18:33:31

  • + String getGroupHandle()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.groupHandle)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.groupHandle2009-09-04 18:33:31

  • + String getSubUrl()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.subUrl)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.subUrl2009-09-04 18:33:31

  • + List getSubscriptions()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.group)2009-09-04 18:33:31
    +presumptioninit'ed(java.util.Collections.EMPTY_LIST)2009-09-04 18:33:31
    +presumptionjava.util.Iterator:next(...)@195 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.planet.pojos.PlanetGroup:getSubsc riptions(...)@191 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.planet.pojos.Subscription:getFeed URL(...)@197 != null2009-09-04 18:33:31
    +post(soft) init'ed(return_value)2009-09-04 18:33:31
    +postnew ArrayList(getSubscriptions#1) num objects <= 12009-09-04 18:33:31
    +postreturn_value == One-of{java.util.Collections.EMPTY_ LIST, &new ArrayList(getSubscriptions#1)}2009-09-04 18:33:31
    +test_vectorjava.lang.String:startsWith(...)@197: {1}, {0}2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@195: {0}, {1}2009-09-04 18:33:31
    +test_vectorthis.group: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + bool isWeblogRequired()

    • -/+ Kind Annotation Text Date
    +postreturn_value == 02009-09-04 18:33:31

  • + void myPrepare()

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.planet)2009-09-04 18:33:31
    +pre(soft) org/apache/roller/weblogger/planet/ui/Planet UIAction.log != null2009-09-04 18:33:31
    +preinit'ed(this.groupHandle)2009-09-04 18:33:31
    +presumptionorg.apache.commons.logging.LogFactory:getLog(... )@40 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.planet.business.Planet:getPlanetM anager(...)@73 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.planet.business.PlanetFactory:get Planet(...)@73 != null2009-09-04 18:33:31
    +postinit'ed(this.planet)2009-09-04 18:33:31
    +postpossibly_updated(this.group)2009-09-04 18:33:31
    +postthis.groupHandle != null2009-09-04 18:33:31
    +postthis.groupHandle == One-of{old this.groupHandle, &"all"}2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:error2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.planet.business. Planet:getPlanetManager2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.planet.business. PlanetFactory:getPlanet2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.planet.business. PlanetManager:getPlanet2009-09-04 18:33:31
    +test_vectorthis.groupHandle: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void myValidate()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.subUrl)2009-09-04 18:33:31
    +test_vectororg.apache.commons.lang.StringUtils:isEmpty(... )@181: {0}, {1}2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.planet.ui.PlanetSubscriptions()

    • -/+ Kind Annotation Text Date
    +postthis.actionName == &"planetSubscriptions"2009-09-04 18:33:31
    +postthis.desiredMenu == &"admin"2009-09-04 18:33:31
    +postthis.group == null2009-09-04 18:33:31
    +postthis.groupHandle == null2009-09-04 18:33:31
    +postthis.pageTitle == &"planetSubscriptions.title"2009-09-04 18:33:31
    +postthis.planet == null2009-09-04 18:33:31
    +postthis.subUrl == null2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.ui.struts2. util.UIAction2009-09-04 18:33:31

  • + org.apache.roller.weblogger.planet.ui.PlanetSubscriptions__static_init

    • -/+ Kind Annotation Text Date
    +postinit'ed(log)2009-09-04 18:33:31

  • + String requiredUserRole()

    • -/+ Kind Annotation Text Date
    +postreturn_value == &"admin"2009-09-04 18:33:31

  • + String save()

    • -/+ Kind Annotation Text Date
    +pre(soft) this.group != null2009-09-04 18:33:31
    +preinit'ed(this.subUrl)2009-09-04 18:33:31
    +presumptionorg.apache.commons.logging.LogFactory:getLog(... )@40 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.planet.business.Planet:getFeedFet cher(...)@112 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.planet.business.Planet:getPlanetM anager(...)@104 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.planet.business.PlanetFactory:get Planet(...)@104 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.planet.business.PlanetFactory:get Planet(...)@112 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.planet.business.PlanetFactory:get Planet(...)@130 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.planet.pojos.PlanetGroup:getSubsc riptions(...)@125 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.planet.pojos.Subscription:getGrou ps(...)@126 != null2009-09-04 18:33:31
    +postinit'ed(this.subUrl)2009-09-04 18:33:31
    +postreturn_value == &"list"2009-09-04 18:33:31
    +postthis.subUrl == One-of{old this.subUrl, null}2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.lang.StringUtils:isEmpty 2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.planet.ui. PlanetSubscriptions:addError2009-09-04 18:33:31
    +test_vectororg.apache.roller.planet.business.PlanetManager:get Subscription(...)@107: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.planet.ui. PlanetSubscriptions:hasActionErrors(...)@103: {1}, {0}2009-09-04 18:33:31

  • + void setGroup(PlanetGroup)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.group)2009-09-04 18:33:31
    +postthis.group == group2009-09-04 18:33:31

  • + void setGroupHandle(String)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.groupHandle)2009-09-04 18:33:31
    +postthis.groupHandle == groupHandle2009-09-04 18:33:31

  • + void setSubUrl(String)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.subUrl)2009-09-04 18:33:31
    +postthis.subUrl == subUrl2009-09-04 18:33:31