Messages

method | net.sourceforge.pebble.web.action.UtilitiesAction$ UtilitiesCondition__static_init

method | net.sourceforge.pebble.web.action.UtilitiesAction_ _static_init

method | void net.sourceforge.pebble.web.action. UtilitiesAction$UtilitiesCondition()

method | void net.sourceforge.pebble.web.action. UtilitiesAction()

method | View process(HttpServletRequest, HttpServletRespon se)
pre | request != null
pre | this.model != null
pre | this.model.data != null
presumption | java.util.HashMap:get(...)@63 != null
post | return_value in Addr_Set{&new ForwardView(proce ss#5),&new ForwardView(process#4),&new ForwardView(process#3),&new ForwardView(proces s#2),&new ForwardView(process#1),&new UtilitiesView(process#6)}
post | new ForwardView(process#1) num objects <= 1
post | new ForwardView(process#1).uri == &". reloadBlog.secureaction"
post | new ForwardView(process#2) num objects <= 1
post | new ForwardView(process#2).uri == &". reloadBlog.secureaction"
post | new ForwardView(process#3) num objects <= 1
post | new ForwardView(process#3).uri == &". reloadBlog.secureaction"
post | new ForwardView(process#4) num objects <= 1
post | new ForwardView(process#4).uri == &". reloadBlog.secureaction"
post | new ForwardView(process#5) num objects <= 1
post | new ForwardView(process#5).uri == &". reloadBlog.secureaction"
post | new UtilitiesView(process#6) num objects <= 1
unanalyzed | call on java.util.HashMap:get
unanalyzed | call on org.apache.commons.logging.Log:info
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.web.view.View
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 net.sourceforge.pebble.domain.Blog:reindex
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
unanalyzed | call on java.util.TimeZone:getTimeZone
unanalyzed | call on net.sourceforge.pebble.dao.file. FileBlogEntryDAO
unanalyzed | call on net.sourceforge.pebble.dao.file. FourDigitFilenameFilter
unanalyzed | call on java.io.File:listFiles
unanalyzed | call on net.sourceforge.pebble.dao.file. TwoDigitFilenameFilter
unanalyzed | call on net.sourceforge.pebble.dao.file. BlogEntryFilenameFilter
unanalyzed | call on java.io.File:getName
unanalyzed | call on java.lang.String:indexOf
unanalyzed | call on java.lang.String:substring
unanalyzed | call on net.sourceforge.pebble.dao.file. FileBlogEntryDAO:getPath
unanalyzed | call on java.io.File:equals
unanalyzed | call on java.io.File:getAbsolutePath
unanalyzed | call on java.io.File:mkdirs
unanalyzed | call on java.io.File:renameTo
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getCategories
unanalyzed | call on java.util.Collection:contains
unanalyzed | call on java.util.Collection:remove
unanalyzed | call on java.util.Collection:add
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setCategories
test_vector | java.lang.String:equalsIgnoreCase(...)@69: {0}, {1}
test_vector | java.lang.String:equalsIgnoreCase(...)@72: {0}, {1}
test_vector | java.lang.String:equalsIgnoreCase(...)@75: {0}, {1}
test_vector | java.lang.String:equalsIgnoreCase(...)@78: {0}, {1}
test_vector | java.lang.String:equalsIgnoreCase(...)@81: {0}, {1}
test_vector | java.lang.String:equalsIgnoreCase(...)@85: {0}, {1}
test_vector | javax.servlet.http.HttpServletRequest:getParameter( ...)@66: Addr_Set{null}, Inverse{null}
test_vector | net.sourceforge.pebble.domain.Blog:getCategory(... )@86: Addr_Set{null}, Inverse{null}
test_vector | net.sourceforge.pebble.domain.Blog:getCategory(... )@87: Addr_Set{null}, Inverse{null}

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

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

| info | method not available | -- call on void net.sourceforge.pebble.web.view. impl.UtilitiesView()

method | String[] getRoles(HttpServletRequest)
presumption | init'ed(net.sourceforge.pebble.Constants.BLOG_ ADMIN_ROLE)
presumption | init'ed(net.sourceforge.pebble.Constants.BLOG_ OWNER_ROLE)
post | return_value == &new String[](getRoles#1)
post | new String[](getRoles#1) num objects == 1
post | return_value.length == 2
post | return_value[0] == net.sourceforge.pebble. Constants.BLOG_ADMIN_ROLE
post | (soft) init'ed(return_value[0])
post | return_value[1] == net.sourceforge.pebble. Constants.BLOG_OWNER_ROLE
post | (soft) init'ed(return_value[1])

method | bool shouldValidate(HttpServletRequest)
pre | request != null
post | init'ed(return_value)
test_vector | javax.servlet.http.HttpServletRequest:getParameter( ...)@109: Addr_Set{null}, Inverse{null}