Messages

method | net.sourceforge.pebble.PluginProperties__static_ init
post | init'ed(log)

| info | method not available | -- call on Log org.apache.commons.logging. LogFactory:getLog(Class)

method | void net.sourceforge.pebble.PluginProperties(Blog)
pre | (soft) blog != null
post | this.blog == blog
post | (soft) this.blog != null
post | this.properties == &new Properties(loadProperti es#1)
post | new Properties(loadProperties#1) num objects == 1
unanalyzed | call on java.util.Properties
unanalyzed | call on java.util.Properties:setProperty
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getPluginPropertiesFile
unanalyzed | call on java.io.File
unanalyzed | call on java.io.File:exists
unanalyzed | call on java.io.FileInputStream
unanalyzed | call on java.util.Properties:load
unanalyzed | call on java.io.FileInputStream:close
unanalyzed | call on java.io.IOException:getMessage
unanalyzed | call on org.apache.commons.logging.Log:error

method | void loadProperties()
pre | (soft) this.blog != null
presumption | org.apache.commons.logging.LogFactory:getLog(... )@54 != null
post | this.properties == One-of{&new Properties(loadP roperties#1), old this.properties}
post | new Properties(loadProperties#1) num objects <= 1
test_vector | java.io.File:exists(...)@90: {1}, {0}

| info | method not available | -- call on String net.sourceforge.pebble.domain. Blog:getPluginPropertiesFile()

| info | method not available | -- call on void org.apache.commons.logging. Log:error(Object)

method | String getPropertiesAsString()
pre | this.properties != null
post | return_value != null
test_vector | java.util.Iterator:hasNext(...)@114: {1}, {0}

method | bool hasProperty(String)
pre | this.properties != null
post | init'ed(return_value)

method | String getProperty(String)
pre | this.properties != null
post | init'ed(return_value)

method | Properties getProperties()
pre | init'ed(this.properties)
post | return_value == this.properties
post | init'ed(return_value)

method | void setProperty(String, String)
pre | this.properties != null

method | void store()
pre | (soft) this.blog != null
pre | (soft) this.properties != null
presumption | org.apache.commons.logging.LogFactory:getLog(... )@54 != null

| info | method not available | -- call on String net.sourceforge.pebble.domain. Blog:getPluginPropertiesFile()

| info | method not available | -- call on void org.apache.commons.logging. Log:error(Object)