CommonPingTargets.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 disable()

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.pingTargetId)2009-09-04 18:33:31
    +pre(soft) log != null2009-09-04 18:33:31
    +preinit'ed(this.pingTarget)2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getPingTargetManager(...)@106 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@106 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@108 != null2009-09-04 18:33:31
    +postreturn_value == &"list"2009-09-04 18:33:31
    +test_vectorthis.pingTarget: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + String enable()

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.pingTargetId)2009-09-04 18:33:31
    +pre(soft) log != null2009-09-04 18:33:31
    +preinit'ed(this.pingTarget)2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getPingTargetManager(...)@80 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@80 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@82 != null2009-09-04 18:33:31
    +postreturn_value == &"list"2009-09-04 18:33:31
    +test_vectorthis.pingTarget: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + Log getLogger()

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

  • + bool isWeblogRequired()

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

  • + void loadPingTargets()

  • -/+ Kind Annotation Text Date
    +pre(soft) log != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getPingTargetManager(...)@61 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@61 != null2009-09-04 18:33:31
    +postpossibly_updated(this.pingTargets)2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.ui.struts2.admin.CommonPingTargets()

  • -/+ Kind Annotation Text Date
    +presumptioninit'ed(org/apache/roller/weblogger/ui/struts2/comm on/PingTargetsBase.java.util.Collections. EMPTY_LIST)2009-09-04 18:33:31
    +postinit'ed(this.pingTargets)2009-09-04 18:33:31
    +postthis.actionName == &"commonPingTargets"2009-09-04 18:33:31
    +postthis.desiredMenu == &"admin"2009-09-04 18:33:31
    +postthis.pageTitle == &"commonPingTargets. commonPingTargets"2009-09-04 18:33:31
    +postthis.pingTarget == null2009-09-04 18:33:31
    +postthis.pingTargetId == null2009-09-04 18:33:31
    +postthis.pingTargets == org/apache/roller/weblogger/ui/ struts2/common/PingTargetsBase.java.util. Collections.EMPTY_LIST2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.ui.struts2. util.UIAction2009-09-04 18:33:31

  • + org.apache.roller.weblogger.ui.struts2.admin.CommonPingTargets__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