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 <= 2³²-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

method	String getContext()
presumption	java.lang.String:indexOf(...)@295 <= 2³²-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: {-2³¹. .-2, 0..2³²-1}, {-1}

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: {-2³¹..20}, {21..2³²-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)

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