Messages

method | net.sourceforge.pebble.domain.AbstractBlog__ static_init
post | init'ed(log)

method | void net.sourceforge.pebble.domain. AbstractBlog(String)
post | this.blog == null
post | this.messages == &new LinkedList(AbstractBlog#1 )
post | this.root == root
post | init'ed(this.root)
post | new LinkedList(AbstractBlog#1) num objects == 1

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

method | void init()
pre | init'ed(this.root)
pre | (soft) log != null
post | this.properties == &new Properties(loadProperti es#1)
post | new Properties(loadProperties#1) num objects == 1
unanalyzed | call on java.io.File
unanalyzed | call on java.io.File:exists
unanalyzed | call on getDefaultProperties
unanalyzed | call on java.util.Properties
unanalyzed | call on java.util.Properties:setProperty
unanalyzed | call on java.io.FileInputStream
unanalyzed | call on java.util.Properties:load
unanalyzed | call on java.io.FileInputStream:close
unanalyzed | call on org.apache.commons.logging.Log:error

method | void loadProperties()
pre | init'ed(this.root)
pre | (soft) log != null
post | this.properties == One-of{&new Properties(loadP roperties#1), old this.properties}
post | new Properties(loadProperties#1) num objects <= 1
unanalyzed | call on java.util.Properties
unanalyzed | call on java.util.Properties:setProperty
test_vector | java.io.File:exists(...)@111: {1}, {0}

| info | method not available | -- call on Properties getDefaultProperties()

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

method | bool isConfigured()
pre | init'ed(this.root)
post | init'ed(return_value)

method | String getRoot()
pre | init'ed(this.root)
post | return_value == this.root
post | init'ed(return_value)

method | void setRoot(String)
post | this.root == root
post | init'ed(this.root)

method | Properties getProperties()
pre | this.properties != null
post | return_value != null

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

method | void setProperty(String, String)
pre | (soft) this.properties != null
unanalyzed | call on java.util.Properties:remove
test_vector | key: Addr_Set{null}, Inverse{null}
test_vector | value: Addr_Set{null}, Inverse{null}

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

method | void storeProperties()
pre | (soft) log != null
pre | (soft) this.properties != null
pre | (soft) init'ed(this.root)
unanalyzed | call on java.util.Properties:getProperty

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

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

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

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

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

method | String getDomainName()
presumption | net.sourceforge.pebble.PebbleContext:getConfigurati on(...)@275 != null
presumption | net.sourceforge.pebble.PebbleContext:getInstance(.. .)@275 != null
post | return_value != null
unanalyzed | call on java.lang.String:indexOf
unanalyzed | call on java.lang.String:substring
unanalyzed | call on net.sourceforge.pebble.PebbleContext:getIns tance
unanalyzed | call on net.sourceforge.pebble.PebbleContext:getCon figuration

| info | method not available | -- call on PebbleContext net.sourceforge.pebble. PebbleContext:getInstance()
| info | method not available | -- call on Configuration net.sourceforge.pebble. PebbleContext:getConfiguration()

method | String getProtocol()
presumption | java.lang.String:indexOf(...)@285 <= 232-4
presumption | net.sourceforge.pebble.PebbleContext:getConfigurati on(...).url@284 != null
presumption | net.sourceforge.pebble.PebbleContext:getConfigurati on(...)@284 != null
presumption | net.sourceforge.pebble.PebbleContext:getInstance(.. .)@284 != null
post | return_value != null

| info | method not available | -- call on PebbleContext net.sourceforge.pebble. PebbleContext:getInstance()
| info | method not available | -- call on Configuration net.sourceforge.pebble. PebbleContext:getConfiguration()

method | String getContext()
presumption | java.lang.String:indexOf(...)@295 <= 232-4
presumption | net.sourceforge.pebble.PebbleContext:getConfigurati on(...).url@294 != null
presumption | net.sourceforge.pebble.PebbleContext:getConfigurati on(...)@294 != null
presumption | net.sourceforge.pebble.PebbleContext:getInstance(.. .)@294 != null
post | return_value != null
test_vector | java.lang.String:indexOf(...)@295: {-231. .-2, 0..232-1}, {-1}

| info | method not available | -- call on PebbleContext net.sourceforge.pebble. PebbleContext:getInstance()
| info | method not available | -- call on Configuration net.sourceforge.pebble. PebbleContext:getConfiguration()

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

method | TimeZone getTimeZone()
pre | this.properties != null
post | init'ed(return_value)
unanalyzed | call on java.util.Properties:getProperty

method | Calendar getCalendar()
pre | this.properties != null
post | init'ed(return_value)
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on java.util.Locale
unanalyzed | call on java.util.TimeZone:getTimeZone

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

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

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

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

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

method | Locale getLocale()
pre | this.properties != null
post | return_value == &new Locale(getLocale#1)
post | new Locale(getLocale#1) num objects == 1
unanalyzed | call on java.util.Properties:getProperty

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

method | String getImagesDirectory()
pre | init'ed(this.root)
presumption | init'ed(java.io.File.separator)
post | return_value != null

method | String getIndexesDirectory()
pre | init'ed(this.root)
presumption | init'ed(java.io.File.separator)
post | return_value != null

method | String getSearchIndexDirectory()
pre | init'ed(this.root)
presumption | init'ed(java.io.File.separator)
post | return_value != null
unanalyzed | call on java.lang.String:valueOf

method | String getLogsDirectory()
pre | init'ed(this.root)
presumption | init'ed(java.io.File.separator)
post | return_value != null

method | List getRecentBlogEntries()
pre | this.properties != null
post | init'ed(return_value)
post | new ArrayList(getRecentBlogEntries#2*) num objects <= 1
post | new ArrayList(getRecentBlogEntries#4*) num objects <= 1
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on java.lang.Integer:parseInt
unanalyzed | call on java.util.Map:values
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.Collection:iterator
unanalyzed | call on isPublic
unanalyzed | call on java.util.List:add
unanalyzed | call on java.util.List:iterator
unanalyzed | call on getRecentPublishedBlogEntries
unanalyzed | call on java.util.List:addAll
unanalyzed | call on java.util.Collections:sort
unanalyzed | call on java.util.List:size
unanalyzed | call on java.util.ArrayList:subList
unanalyzed | call on getConfiguredFactory
unanalyzed | call on getBlogEntryDAO
unanalyzed | call on getBlog
unanalyzed | call on getId
unanalyzed | call on getCompositeKeyForBlogEntry
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on setPersistent
unanalyzed | call on setEventsEnabled
unanalyzed | call on net.sourceforge.pebble.domain. BlogServiceException
unanalyzed | call on net.sf.ehcache.Cache:get
unanalyzed | call on net.sf.ehcache.Element:getValue
unanalyzed | call on org.apache.commons.logging.Log:debug
unanalyzed | call on loadBlogEntry
unanalyzed | call on net.sf.ehcache.Element
unanalyzed | call on net.sf.ehcache.Cache:put
unanalyzed | call on clone
unanalyzed | call on getBlogEntry
unanalyzed | call on org.apache.commons.logging.Log:error
unanalyzed | call on java.lang.String:equalsIgnoreCase

| info | method not available | -- call on List getRecentBlogEntries(int)

method | void setRecentBlogEntries(List)

method | String toString()
pre | this.properties != null
post | init'ed(return_value)
unanalyzed | call on java.util.Properties:getProperty

method | void info(String)
pre | log != null
pre | this.messages != null
post | init'ed(this.messages)
unanalyzed | call on java.util.List:size
unanalyzed | call on java.util.List:subList
unanalyzed | call on net.sourceforge.pebble.util. SecurityUtils:getUsername
unanalyzed | call on java.util.Date

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

method | void warn(String)
pre | log != null
pre | this.messages != null
post | init'ed(this.messages)
unanalyzed | call on java.util.List:size
unanalyzed | call on java.util.List:subList
unanalyzed | call on net.sourceforge.pebble.util. SecurityUtils:getUsername
unanalyzed | call on java.util.Date

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

method | void error(String)
pre | log != null
pre | this.messages != null
post | init'ed(this.messages)
unanalyzed | call on java.util.List:size
unanalyzed | call on java.util.List:subList
unanalyzed | call on net.sourceforge.pebble.util. SecurityUtils:getUsername
unanalyzed | call on java.util.Date

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

method | void truncateMessages()
pre | this.messages != null
post | init'ed(this.messages)
test_vector | java.util.List:size(...)@498: {-231..20}, {21..232-1}

method | void clearMessages()
pre | this.messages != null

method | List getMessages()
pre | init'ed(this.messages)
post | return_value == &new ArrayList(getMessages#1)
post | new ArrayList(getMessages#1) num objects == 1

method | int getNumberOfMessages()
pre | this.messages != null
post | init'ed(return_value)