Members.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 execute()

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

  • + String getParameter(String)

    • -/+ Kind Annotation Text Date
    +pre(soft) this.parameters != null2009-09-04 18:33:31
    +postreturn_value == null2009-09-04 18:33:31
    +test_vectorjava.util.Map:get(...)@137: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorkey: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorvalue.length@137: {0}, {1..+Inf}2009-09-04 18:33:31

  • + Map getParameters()

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

  • + void org.apache.roller.weblogger.ui.struts2.editor.Members()

    • -/+ Kind Annotation Text Date
    +prelog != null2009-09-04 18:33:31
    +presumptioninit'ed(java.util.Collections.EMPTY_MAP)2009-09-04 18:33:31
    +post(soft) init'ed(this.parameters)2009-09-04 18:33:31
    +postthis.actionName == &"members"2009-09-04 18:33:31
    +postthis.desiredMenu == &"editor"2009-09-04 18:33:31
    +postthis.pageTitle == &"memberPermissions.title"2009-09-04 18:33:31
    +postthis.parameters == java.util.Collections.EMPTY_MAP2009-09-04 18:33:31

  • + org.apache.roller.weblogger.ui.struts2.editor.Members__static_init

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

  • + short requiredWeblogPermissions()

    • -/+ Kind Annotation Text Date
    +presumptioninit'ed(org.apache.roller.weblogger.pojos. WeblogPermission.ADMIN)2009-09-04 18:33:31
    +post(soft) init'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == org.apache.roller.weblogger.pojos. WeblogPermission.ADMIN2009-09-04 18:33:31

  • + String save()

    • -/+ Kind Annotation Text Date
    +pre(soft) this.parameters != null2009-09-04 18:33:31
    +prelog != null2009-09-04 18:33:31
    +presumptionjava.util.Iterator:next(...)@90 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@76 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.pojos.Weblog:getPermiss ions(...)@78 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.ui.struts2.editor. Members:getActionWeblog(...)@118 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.ui.struts2.editor. Members:getActionWeblog(...)@78 != null2009-09-04 18:33:31
    +postreturn_value == &"list"2009-09-04 18:33:31
    +unanalyzedcall on java.util.Map:get2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@83: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@90: {0}, {1}2009-09-04 18:33:31

  • + void setParameters(Map)

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