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 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 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 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 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 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 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)

| 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:error(Object)

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. 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 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 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)

| 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)

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:removeProperty(String)

| 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:removeProperty(String)

| 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:removeProperty(String)

| 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:removeProperty(String)

| 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: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 <= 232-1
presumption | days.length@273 <= 232-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 <= 232-1
presumption | org.apache.commons.logging.LogFactory:getLog(... )@61 != null
presumption | years.length@269 <= 232-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. 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 <= 232-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 void org.apache.commons.logging. Log:info(Object)

| 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()