pluginproperties.java

current inspection = 2010-07-22 15:04:21 (id #4) base = 2010-07-16 16:14:15 (id #1)

Filter Options
History:
+ added
- dropped
U unchanged
Annotation Kind:
pre
presumption
post
unanalyzed
test


  • Properties getProperties()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.properties)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.properties2010-07-16 16:14:15

  • String getPropertiesAsString()

    • -/+ Kind Annotation Text Date
    U prethis.properties != null2010-07-16 16:14:15
    U postreturn_value != null2010-07-16 16:14:15
    U test_vectorjava.util.Iterator:hasNext(...)@114: {1}, {0}2010-07-16 16:14:15

  • String getProperty(String)

    • -/+ Kind Annotation Text Date
    U prethis.properties != null2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15

  • bool hasProperty(String)

    • -/+ Kind Annotation Text Date
    U prethis.properties != null2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15

  • void loadProperties()

    • -/+ Kind Annotation Text Date
    U pre(soft) this.blog != null2010-07-16 16:14:15
    U presumptionorg.apache.commons.logging.LogFactory:getLog(... )@54 != null2010-07-16 16:14:15
    U postnew Properties(loadProperties#1) num objects <= 12010-07-16 16:14:15
    U postthis.properties == One-of{&new Properties(loadP roperties#1), old this.properties}2010-07-16 16:14:15
    U test_vectorjava.io.File:exists(...)@90: {1}, {0}2010-07-16 16:14:15

  • void net.sourceforge.pebble.PluginProperties(Blog)

    • -/+ Kind Annotation Text Date
    U pre(soft) blog != null2010-07-16 16:14:15
    U post(soft) this.blog != null2010-07-16 16:14:15
    U postnew Properties(loadProperties#1) num objects == 12010-07-16 16:14:15
    U postthis.blog == blog2010-07-16 16:14:15
    U postthis.properties == &new Properties(loadProperti es#1)2010-07-16 16:14:15
    -unanalyzedcall on getPluginPropertiesFile2010-07-16 16:59:22
    U unanalyzedcall on java.io.File2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:exists2010-07-16 16:14:15
    U unanalyzedcall on java.io.FileInputStream2010-07-16 16:14:15
    U unanalyzedcall on java.io.FileInputStream:close2010-07-16 16:14:15
    U unanalyzedcall on java.io.IOException:getMessage2010-07-16 16:14:15
    U unanalyzedcall on java.util.Properties2010-07-16 16:14:15
    U unanalyzedcall on java.util.Properties:load2010-07-16 16:14:15
    U unanalyzedcall on java.util.Properties:setProperty2010-07-16 16:14:15
    +unanalyzedcall on net.sourceforge.pebble.domain. Blog:getPluginPropertiesFile2010-07-16 16:59:22
    U unanalyzedcall on org.apache.commons.logging.Log:error2010-07-16 16:14:15

  • net.sourceforge.pebble.PluginProperties__static_init

    • -/+ Kind Annotation Text Date
    U postinit'ed(log)2010-07-16 16:14:15

  • void setProperty(String, String)

    • -/+ Kind Annotation Text Date
    U prethis.properties != null2010-07-16 16:14:15

  • void store()

    • -/+ Kind Annotation Text Date
    U pre(soft) this.blog != null2010-07-16 16:14:15
    U pre(soft) this.properties != null2010-07-16 16:14:15
    U presumptionorg.apache.commons.logging.LogFactory:getLog(... )@54 != null2010-07-16 16:14:15