PlanetConfig.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
    +postreturn_value == &"input"2009-09-04 18:33:31

  • + ConfigDef getGlobalConfigDef()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.globalConfigDef)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.globalConfigDef2009-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

  • + Map getProperties()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.properties)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.properties2009-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) log != null2009-09-04 18:33:31
    +presumptionjava.util.Iterator:next(...)@87 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.planet.business.Planet:getPropert iesManager(...)@78 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.planet.business.PlanetFactory:get Planet(...)@78 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.planet.config.PlanetRuntimeConfig :getRuntimeConfigDefs(...)@85 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.planet.config.runtime. RuntimeConfigDefs:getConfigDefs(...)@86 != null2009-09-04 18:33:31
    +postpossibly_updated(this.globalConfigDef)2009-09-04 18:33:31
    +postpossibly_updated(this.properties)2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@88: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@87: {0}, {1}2009-09-04 18:33:31

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

    • -/+ Kind Annotation Text Date
    +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 == &"planetConfig"2009-09-04 18:33:31
    +postthis.desiredMenu == &"admin"2009-09-04 18:33:31
    +postthis.globalConfigDef == null2009-09-04 18:33:31
    +postthis.pageTitle == &"planetConfig.title"2009-09-04 18:33:31
    +postthis.parameters == java.util.Collections.EMPTY_MAP2009-09-04 18:33:31
    +postthis.planet == null2009-09-04 18:33:31
    +postthis.properties == this.parameters2009-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.PlanetConfig__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) log != null2009-09-04 18:33:31
    +pre(soft) this.parameters != null2009-09-04 18:33:31
    +pre(soft) this.properties != null2009-09-04 18:33:31
    +presumptionjava.util.Map:get(...)@113 != null2009-09-04 18:33:31
    +presumptionjava.util.Map:keySet(...)@107 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.planet.business.Planet:getPropert iesManager(...)@142 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.planet.business.PlanetFactory:get Planet(...)@142 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.planet.business.PlanetFactory:get Planet(...)@144 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.planet.pojos.RuntimeConfigPropert y:getValue(...)@124 != null2009-09-04 18:33:31
    +postreturn_value == &"input"2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@124: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@124: {1}, {0}2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@127: {1}, {0}2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@108: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.util.Map:get(...)@114: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectororg.apache.roller.planet.pojos.RuntimeConfigPropert y:getValue(...)@124: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorpropValues.length@114: {0}, {1..+Inf}2009-09-04 18:33:31

  • + void setGlobalConfigDef(ConfigDef)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.globalConfigDef)2009-09-04 18:33:31
    +postthis.globalConfigDef == globalConfigDef2009-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

  • + void setProperties(Map)

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