MainMenu.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 accept()

    • -/+ Kind Annotation Text Date
    +pre(soft) log != null2009-09-04 18:33:31
    +preinit'ed(this.inviteId)2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getUserManager(...)@65 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@65 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@72 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.pojos.WeblogPermission: getWebsite(...)@74 != null2009-09-04 18:33:31
    +postreturn_value == &"success"2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.business. UserManager:getPermissions(...)@66: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + String decline()

    • -/+ Kind Annotation Text Date
    +pre(soft) log != null2009-09-04 18:33:31
    +preinit'ed(this.inviteId)2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getUserManager(...)@91 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@91 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@99 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.pojos.WeblogPermission: getWebsite(...)@94 != null2009-09-04 18:33:31
    +postreturn_value == &"success"2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.business. UserManager:getPermissions(...)@92: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + String execute()

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

  • + List getExistingPermissions()

    • -/+ Kind Annotation Text Date
    +presumptioninit'ed(java.util.Collections.EMPTY_LIST)2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getUserManager(...)@146 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@146 != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31

  • + String getInviteId()

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

  • + List getPendingPermissions()

    • -/+ Kind Annotation Text Date
    +presumptioninit'ed(java.util.Collections.EMPTY_LIST)2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getUserManager(...)@155 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@155 != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31

  • + String getWebsiteId()

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

  • + bool isWeblogRequired()

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

  • + void org.apache.roller.weblogger.ui.struts2.core.MainMenu()

    • -/+ Kind Annotation Text Date
    +postthis.inviteId == null2009-09-04 18:33:31
    +postthis.pageTitle == &"yourWebsites.title"2009-09-04 18:33:31
    +postthis.websiteId == null2009-09-04 18:33:31

  • + org.apache.roller.weblogger.ui.struts2.core.MainMenu__static_init

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

  • + String resign()

    • -/+ Kind Annotation Text Date
    +pre(soft) log != null2009-09-04 18:33:31
    +preinit'ed(this.websiteId)2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getUserManager(...)@120 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getUserManager(...)@123 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@120 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@123 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@130 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.pojos.WeblogPermission: getWebsite(...)@133 != null2009-09-04 18:33:31
    +postreturn_value == &"success"2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.business. UserManager:getPermissions(...)@124: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + void setInviteId(String)

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

  • + void setWebsiteId(String)

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