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









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











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










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









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










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











method String getPropertiesAsString()
prethis.properties != null
postreturn_value != null
test_vectorjava.util.Iterator:hasNext(...)@114: {1}, {0}










method bool hasProperty(String)
prethis.properties != null
postinit'ed(return_value)










method String getProperty(String)
prethis.properties != null
postinit'ed(return_value)










method Properties getProperties()
preinit'ed(this.properties)
postreturn_value == this.properties
postinit'ed(return_value)










method void setProperty(String, String)
prethis.properties != null










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









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










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