GlobalConfig.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
    +postpossibly_updated(this.commentPlugins)2009-09-04 18:33:31
    +postreturn_value == &"success"2009-09-04 18:33:31
    +test_vectororg.apache.commons.lang.StringUtils:isEmpty(... )@120: {1}, {0}2009-09-04 18:33:31

  • + String[] getCommentPlugins()

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

  • + String getParameter(String)

  • -/+ Kind Annotation Text Date
    +prethis.params != null2009-09-04 18:33:31
    +postreturn_value == null2009-09-04 18:33:31
    +test_vectorjava.util.Map:get(...)@211: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorp.length@211: {0}, {1..+Inf}2009-09-04 18:33:31

  • + List getPluginsList()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.pluginsList)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.pluginsList2009-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(...)@101 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getPluginManager(...)@108 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getPropertiesManager(...)@90 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@108 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@90 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.config.WebloggerRuntime Config:getRuntimeConfigDefs(...)@99 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.config.runtime. RuntimeConfigDefs:getConfigDefs(...)@100 != null2009-09-04 18:33:31
    +postinit'ed(this.pluginsList)2009-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(...)@102: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@101: {0}, {1}2009-09-04 18:33:31

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

  • -/+ Kind Annotation Text Date
    +presumptioninit'ed(java.util.Collections.EMPTY_LIST)2009-09-04 18:33:31
    +presumptioninit'ed(java.util.Collections.EMPTY_MAP)2009-09-04 18:33:31
    +post(soft) init'ed(this.params)2009-09-04 18:33:31
    +post(soft) init'ed(this.pluginsList)2009-09-04 18:33:31
    +postnew String[](GlobalConfig#1) num objects == 12009-09-04 18:33:31
    +postthis.actionName == &"globalConfig"2009-09-04 18:33:31
    +postthis.commentPlugins == &new String[](GlobalConf ig#1)2009-09-04 18:33:31
    +postthis.commentPlugins.length == 02009-09-04 18:33:31
    +postthis.desiredMenu == &"admin"2009-09-04 18:33:31
    +postthis.globalConfigDef == null2009-09-04 18:33:31
    +postthis.pageTitle == &"configForm.title"2009-09-04 18:33:31
    +postthis.params == java.util.Collections.EMPTY_MAP2009-09-04 18:33:31
    +postthis.pluginsList == java.util.Collections.EMPTY_ LIST2009-09-04 18:33:31
    +postthis.properties == this.params2009-09-04 18:33:31

  • + org.apache.roller.weblogger.ui.struts2.admin.GlobalConfig__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.params != null2009-09-04 18:33:31
    +prethis.commentPlugins != null2009-09-04 18:33:31
    +prethis.properties != null2009-09-04 18:33:31
    +presumptionjava.util.Map:get(...)@140 != null2009-09-04 18:33:31
    +presumptionjava.util.Map:get(...)@173 != null2009-09-04 18:33:31
    +presumptionjava.util.Map:keySet(...)@137 != null2009-09-04 18:33:31
    +presumptionlog@171 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getPropertiesManager(...)@179 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@179 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@181 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.pojos.RuntimeConfigProp erty:getValue(...)@150 != null2009-09-04 18:33:31
    +postreturn_value == &"success"2009-09-04 18:33:31
    +unanalyzedcall on java.util.Map:get2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@150: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@150: {1}, {0}2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@138: {0}, {1}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.pojos.RuntimeConfigProp erty:getValue(...)@150: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorthis.commentPlugins.length: {0}, {1..+Inf}2009-09-04 18:33:31

  • + void setCommentPlugins(String[])

  • -/+ Kind Annotation Text Date
    +postinit'ed(this.commentPlugins)2009-09-04 18:33:31
    +postthis.commentPlugins == commentPlugins2009-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
    +pre(soft) parameters != null2009-09-04 18:33:31
    +prelog != null2009-09-04 18:33:31
    +presumptionjava.util.Map:keySet(...)@201 != null2009-09-04 18:33:31
    +post(soft) this.params != null2009-09-04 18:33:31
    +postthis.params == parameters2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@202: {0}, {1}2009-09-04 18:33:31
    +test_vectororg.apache.commons.logging.Log:isDebugEnabled(... )@199: {0}, {1}2009-09-04 18:33:31

  • + void setPluginsList(List)

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