Messages

method

net.sourceforge.pebble.util.Utilities$1__static_ init

method

void net.sourceforge.pebble.util.Utilities()

method	net.sourceforge.pebble.util.Utilities__static_ init
post	init'ed(log)

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

method	void buildIndexes(Blog)
pre	blog != null
presumption	org.apache.commons.logging.LogFactory:getLog(... )@61 != null

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

info method not available -- call on void net.sourceforge.pebble.domain. Blog:reindex()

method	void buildIpAddressLists(Blog)
pre	blog != null
presumption	java.util.Iterator:next(...)@100 != null
presumption	java.util.Iterator:next(...)@84 != null
presumption	java.util.Iterator:next(...)@88 != null
presumption	net.sourceforge.pebble.domain.Blog:getBlogEntries(. ..)@80 != null
presumption	net.sourceforge.pebble.domain.BlogEntry:getComments (...)@86 != null
presumption	net.sourceforge.pebble.domain.BlogEntry:getTrackBac ks(...)@98 != null
presumption	org.apache.commons.logging.LogFactory:getLog(... )@61 != null
test_vector	java.util.Iterator:hasNext(...)@83: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@87: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@99: {1}, {0}
test_vector	net.sourceforge.pebble.domain.Comment:isApproved(.. .)@89: {0}, {1}
test_vector	net.sourceforge.pebble.domain.Comment:isRejected(.. .)@92: {0}, {1}
test_vector	net.sourceforge.pebble.domain.TrackBack:isApproved( ...)@101: {0}, {1}
test_vector	net.sourceforge.pebble.domain.TrackBack:isRejected( ...)@104: {0}, {1}

info method not available -- call on List net.sourceforge.pebble.domain. Blog:getBlogEntries()

info method not available -- call on void net.sourceforge.pebble.event. response.IpAddressListener()

info method not available -- call on String net.sourceforge.pebble.domain. BlogEntry:getTitle()

info method not available -- call on Date net.sourceforge.pebble.domain. BlogEntry:getDate()

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

info method not available -- call on List net.sourceforge.pebble.domain. BlogEntry:getComments()

info method not available -- call on bool net.sourceforge.pebble.domain. Comment:isApproved()

info method not available -- call on void net.sourceforge.pebble.api.event. comment.CommentEvent(Comment, int)

info method not available -- call on void net.sourceforge.pebble.event. response.IpAddressListener:commentApproved(CommentE vent)

info method not available -- call on bool net.sourceforge.pebble.domain. Comment:isRejected()

info method not available -- call on void net.sourceforge.pebble.api.event. comment.CommentEvent(Comment, int)

info method not available -- call on void net.sourceforge.pebble.event. response.IpAddressListener:commentRejected(CommentE vent)

info method not available -- call on List net.sourceforge.pebble.domain. BlogEntry:getTrackBacks()

info method not available -- call on bool net.sourceforge.pebble.domain. TrackBack:isApproved()

info method not available -- call on void net.sourceforge.pebble.api.event. trackback.TrackBackEvent(TrackBack, int)

info method not available -- call on void net.sourceforge.pebble.event. response.IpAddressListener:trackBackApproved(TrackB ackEvent)

info method not available -- call on bool net.sourceforge.pebble.domain. TrackBack:isRejected()

info method not available -- call on void net.sourceforge.pebble.api.event. trackback.TrackBackEvent(TrackBack, int)

info method not available -- call on void net.sourceforge.pebble.event. response.IpAddressListener:trackBackRejected(TrackB ackEvent)

method	void fixHtmlInResponses(Blog)
pre	blog != null
presumption	java.util.Iterator:next(...)@126 != null
presumption	java.util.Iterator:next(...)@130 != null
presumption	java.util.Iterator:next(...)@139 != null
presumption	net.sourceforge.pebble.domain.Blog:getBlogEntries(. ..)@124 != null
presumption	net.sourceforge.pebble.domain.BlogEntry:getComments (...)@128 != null
presumption	net.sourceforge.pebble.domain.BlogEntry:getTrackBac ks(...)@137 != null
presumption	net.sourceforge.pebble.domain.Comment:getBody(... )@132 != null
presumption	net.sourceforge.pebble.domain.Comment:getBody(... )@133 != null
presumption	net.sourceforge.pebble.domain.Comment:getBody(... )@134 != null
presumption	net.sourceforge.pebble.domain.TrackBack:getExcerpt( ...)@141 != null
presumption	net.sourceforge.pebble.domain.TrackBack:getExcerpt( ...)@142 != null
presumption	net.sourceforge.pebble.domain.TrackBack:getExcerpt( ...)@143 != null
presumption	org.apache.commons.logging.LogFactory:getLog(... )@61 != null
test_vector	java.util.Iterator:hasNext(...)@125: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@129: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@138: {1}, {0}
test_vector	net.sourceforge.pebble.domain.Comment:getBody(... )@131: Addr_Set{null}, Inverse{null}
test_vector	net.sourceforge.pebble.domain.TrackBack:getExcerpt( ...)@140: Addr_Set{null}, Inverse{null}

info method not available -- call on List net.sourceforge.pebble.domain. Blog:getBlogEntries()

info method not available -- call on List net.sourceforge.pebble.domain. BlogEntry:getComments()

info method not available -- call on String net.sourceforge.pebble.domain. Comment:getBody()

info method not available -- call on String net.sourceforge.pebble.domain. Comment:getBody()

info method not available -- call on void net.sourceforge.pebble.domain. Comment:setBody(String)

info method not available -- call on List net.sourceforge.pebble.domain. BlogEntry:getTrackBacks()

info method not available -- call on String net.sourceforge.pebble.domain. TrackBack:getExcerpt()

info method not available -- call on String net.sourceforge.pebble.domain. TrackBack:getExcerpt()

info method not available -- call on void net.sourceforge.pebble.domain. TrackBack:setExcerpt(String)

info method not available -- call on void net.sourceforge.pebble.domain. BlogService()

info method not available -- call on void net.sourceforge.pebble.domain. BlogService:putBlogEntry(BlogEntry)

method	void convertCategories(Blog)
pre	(soft) blog != null
presumption	java.util.Iterator:next(...)@169 != null
presumption	java.util.Properties:keySet(...)@167 != null
presumption	net.sourceforge.pebble.dao.DAOFactory:getCategoryDA O(...)@181 != null
presumption	net.sourceforge.pebble.dao.DAOFactory:getConfigured Factory(...)@180 != null
presumption	org.apache.commons.logging.LogFactory:getLog(... )@61 != null
test_vector	java.lang.String:startsWith(...)@173: {1}, {0}

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

info method not available -- call on void net.sourceforge.pebble.domain. Category(String, String)

info method not available -- call on void net.sourceforge.pebble.domain. Blog:addCategory(Category)

info method not available -- call on DAOFactory net.sourceforge.pebble.dao. DAOFactory:getConfiguredFactory()

info method not available -- call on CategoryDAO net.sourceforge.pebble.dao. DAOFactory:getCategoryDAO()

info method not available -- call on void net.sourceforge.pebble.dao. CategoryDAO:addCategory(Category, Blog)

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

method	void moveBlogEntriesFromCategory(Blog, Category, Category)
pre	blog != null
presumption	java.util.Iterator:next(...)@197 != null
presumption	net.sourceforge.pebble.domain.Blog:getBlogEntries(. ..)@195 != null
presumption	net.sourceforge.pebble.domain.BlogEntry:getCategori es(...)@200 != null
presumption	org.apache.commons.logging.LogFactory:getLog(... )@61 != null
test_vector	java.util.Collection:contains(...)@201: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@196: {1}, {0}

info method not available -- call on List net.sourceforge.pebble.domain. Blog:getBlogEntries()

info method not available -- call on Set net.sourceforge.pebble.domain. BlogEntry:getCategories()

info method not available -- call on void net.sourceforge.pebble.domain. BlogEntry:setCategories(Collection)

info method not available -- call on void net.sourceforge.pebble.domain. BlogService()

info method not available -- call on void net.sourceforge.pebble.domain. BlogService:putBlogEntry(BlogEntry)

method	void resetTheme(Blog)
pre	(soft) blog != null
presumption	org.apache.commons.logging.LogFactory:getLog(... )@61 != null

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

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

info method not available -- call on void net.sourceforge.pebble.domain. Blog:storeProperties()

info method not available -- call on void net.sourceforge.pebble.domain. BlogServiceException:printStackTrace()

method	void restoreTheme(Blog, String)
pre	blog != null
presumption	net.sourceforge.pebble.domain.Blog:getEditableTheme (...)@234 != null
presumption	org.apache.commons.logging.LogFactory:getLog(... )@61 != null

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

info method not available -- call on Theme net.sourceforge.pebble.domain. Blog:getEditableTheme()

info method not available -- call on void net.sourceforge.pebble.domain. Theme:restoreToSpecifiedTheme(String)

method	void resetPlugins(Blog)
pre	(soft) blog != null
presumption	org.apache.commons.logging.LogFactory:getLog(... )@61 != null

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

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

info method not available -- call on void net.sourceforge.pebble.domain. Blog:storeProperties()

info method not available -- call on void net.sourceforge.pebble.domain. BlogServiceException:printStackTrace()

method	void restructureBlogToGMT(Blog)
pre	blog != null
presumption	Local_13[Local_11]@271 != null
presumption	Local_18[Local_16]@273 != null
presumption	Local_23[Local_21]@275 != null
presumption	Local_8[Local_6]@269 != null
presumption	blogEntryFiles.length@275 <= 2³²-1
presumption	days.length@273 <= 2³²-1
presumption	java.io.File:getName(...)@277 != null
presumption	java.io.File:listFiles(...)@269 != null
presumption	java.io.File:listFiles(...)@271 != null
presumption	java.io.File:listFiles(...)@273 != null
presumption	java.io.File:listFiles(...)@275 != null
presumption	months.length@271 <= 2³²-1
presumption	org.apache.commons.logging.LogFactory:getLog(... )@61 != null
presumption	years.length@269 <= 2³²-1
test_vector	java.io.File:equals(...)@283: {1}, {0}

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

info method not available -- call on void net.sourceforge.pebble.dao.file. FileBlogEntryDAO()

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

info method not available -- call on void net.sourceforge.pebble.dao.file. FourDigitFilenameFilter()

info method not available -- call on void net.sourceforge.pebble.dao.file. TwoDigitFilenameFilter()

info method not available -- call on void net.sourceforge.pebble.dao.file. BlogEntryFilenameFilter()

info method not available -- call on String net.sourceforge.pebble.dao.file. FileBlogEntryDAO:getPath(Blog, String, TimeZone)

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

method	void restructureStaticPages(Blog)
pre	blog != null
presumption	Local_6[Local_4]@307 != null
presumption	files.length@307 <= 2³²-1
presumption	java.io.File:getName(...)@314 != null
presumption	java.io.File:getName(...)@315 != null
presumption	java.io.File:getName(...)@324 != null
presumption	java.io.File:getName(...)@331 != null
presumption	java.io.File:listFiles(...)@307 != null
presumption	org.apache.commons.logging.LogFactory:getLog(... )@61 != null
test_vector	java.io.File:exists(...)@316: {1}, {0}
test_vector	java.io.File:exists(...)@325: {1}, {0}
test_vector	java.io.File:isDirectory(...)@303: {1}, {0}
test_vector	java.lang.String:endsWith(...)@314: {0}, {1}

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

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

method

void net.sourceforge.pebble.util.Utilities$1()

method	bool accept(File, String)
pre	name != null
post	init'ed(return_value)

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

info method not available -- call on TimeZone net.sourceforge.pebble.domain. Blog:getTimeZone()

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

method	void main(String[])
pre	args != null
pre	(soft) init'ed(args[0])
pre	(soft) init'ed(args[1])
presumption	java.lang.System.out != null
unanalyzed	call on org.apache.commons.logging.Log:info
unanalyzed	call on net.sourceforge.pebble.domain.Blog:reindex
unanalyzed	call on net.sourceforge.pebble.domain. Blog:getBlogEntries
unanalyzed	call on java.util.List:iterator
unanalyzed	call on net.sourceforge.pebble.event.response. IpAddressListener
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getTitle
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getDate
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getComments
unanalyzed	call on net.sourceforge.pebble.domain. Comment:isApproved
unanalyzed	call on net.sourceforge.pebble.api.event.comment. CommentEvent
unanalyzed	call on net.sourceforge.pebble.event.response. IpAddressListener:commentApproved
unanalyzed	call on net.sourceforge.pebble.domain. Comment:isRejected
unanalyzed	call on net.sourceforge.pebble.event.response. IpAddressListener:commentRejected
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getTrackBacks
unanalyzed	call on net.sourceforge.pebble.domain. TrackBack:isApproved
unanalyzed	call on net.sourceforge.pebble.api.event.trackback. TrackBackEvent
unanalyzed	call on net.sourceforge.pebble.event.response. IpAddressListener:trackBackApproved
unanalyzed	call on net.sourceforge.pebble.domain. TrackBack:isRejected
unanalyzed	call on net.sourceforge.pebble.event.response. IpAddressListener:trackBackRejected
unanalyzed	call on net.sourceforge.pebble.domain. Comment:getBody
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on net.sourceforge.pebble.domain. Comment:setBody
unanalyzed	call on net.sourceforge.pebble.domain. TrackBack:getExcerpt
unanalyzed	call on net.sourceforge.pebble.domain. TrackBack:setExcerpt
unanalyzed	call on net.sourceforge.pebble.domain.BlogService
unanalyzed	call on net.sourceforge.pebble.domain. BlogService:putBlogEntry
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.util.Properties
unanalyzed	call on net.sourceforge.pebble.domain.Blog:getRoot
unanalyzed	call on java.io.File
unanalyzed	call on java.io.FileInputStream
unanalyzed	call on java.util.Properties:load
unanalyzed	call on java.io.FileInputStream:close
unanalyzed	call on java.util.Properties:keySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Properties:getProperty
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on net.sourceforge.pebble.domain.Category
unanalyzed	call on net.sourceforge.pebble.domain. Blog:addCategory
unanalyzed	call on net.sourceforge.pebble.dao.DAOFactory:getCo nfiguredFactory
unanalyzed	call on net.sourceforge.pebble.dao.DAOFactory:getCa tegoryDAO
unanalyzed	call on net.sourceforge.pebble.dao.CategoryDAO:addC ategory
test_vector	args.length: {2}, {0,1, 3..+Inf}
test_vector	args[1]: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:equalsIgnoreCase(...)@353: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@355: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@357: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@359: {0}, {1}

info method not available -- call on void net.sourceforge.pebble.dao.file. FileDAOFactory()

info method not available -- call on void net.sourceforge.pebble.dao. DAOFactory:setConfiguredFactory(DAOFactory)

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

method	String calcBaseUrl(String, String)
pre	(soft) blogUrl != null
presumption	net.sourceforge.pebble.Configuration:getSecureUrl(. ..)@381 != null
pre	(soft) net.sourceforge.pebble.PebbleContext__ static_init.new PebbleContext(PebbleContext__static _init#1).configuration != null
post	return_value != null
test_vector	java.lang.String:equals(...)@381: {0}, {1}
test_vector	java.lang.String:startsWith(...)@381: {0}, {1}

info method not available -- call on String net.sourceforge.pebble. Configuration:getSecureUrl()

info method not available -- call on String net.sourceforge.pebble. Configuration:getUrl()

info method not available -- call on String net.sourceforge.pebble. Configuration:getSecureUrl()

info	method not available	-- call on String net.sourceforge.pebble.domain. BlogEntry:getTitle()
info	method not available	-- call on Date net.sourceforge.pebble.domain. BlogEntry:getDate()
info	method not available	-- call on void org.apache.commons.logging. Log:info(Object)

	info	method not available	-- call on Theme net.sourceforge.pebble.domain. Blog:getEditableTheme()
	info	method not available	-- call on void net.sourceforge.pebble.domain. Theme:restoreToSpecifiedTheme(String)