Messages

Last Msg First Msg

method | net.sourceforge.pebble.web.action.SaveStaticPageAc tion__static_init
post | init'ed(log)

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

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

method | View process(HttpServletRequest, HttpServletRespon se)
pre | request != null
pre | (soft) log != null
pre | (soft) this.model != null
pre | (soft) this.model.data != null
post | return_value in Addr_Set{&new StaticPageFormVie w(previewPage#2),&new RedirectView(unlockPage#2 ),&new RedirectView(unlockPage#3),&new StaticPageFormView(savePage#3),&new RedirectView(savePage#5),&new StaticPageFormVi ew(saveP...
post | new RedirectView(savePage#5) num objects <= 1
post | new RedirectView(unlockPage#2) num objects <= 1
post | new RedirectView(unlockPage#3) num objects <= 1
post | new StaticPageFormView(previewPage#2) num objects <= 1
post | new StaticPageFormView(savePage#3) num objects <= 1
post | new StaticPageFormView(savePage#6) num objects <= 1
unanalyzed | call on javax.servlet.http.HttpServletRequest:getPa rameter
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.lang.String:charAt
unanalyzed | call on org.acegisecurity.Authentication:getName
unanalyzed | call on org.acegisecurity.context.SecurityContextHo lder:getContext
unanalyzed | call on org.acegisecurity.context.SecurityContext:g etAuthentication
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:setTitle
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:setSubtitle
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:setBody
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:setTags
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:setAuthor
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:setOriginalPermalink
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:setName
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:setTemplate
unanalyzed | call on getStaticPage
unanalyzed | call on java.util.HashMap:put
unanalyzed | call on java.util.ArrayList
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:validate
unanalyzed | call on java.util.List:isEmpty
unanalyzed | call on net.sourceforge.pebble.web.view.impl. StaticPageFormView
unanalyzed | call on net.sourceforge.pebble.dao.DAOFactory:getCo nfiguredFactory
unanalyzed | call on net.sourceforge.pebble.dao.DAOFactory:getSt aticPageDAO
unanalyzed | call on net.sourceforge.pebble.domain.Blog:error
unanalyzed | call on net.sourceforge.pebble.PebbleException
unanalyzed | call on java.lang.Exception:getMessage
unanalyzed | call on net.sourceforge.pebble.ContentCache:getInst ance
unanalyzed | call on net.sourceforge.pebble.ContentCache:getStat icPage
unanalyzed | call on org.apache.commons.logging.Log:debug
unanalyzed | call on net.sourceforge.pebble.dao.StaticPageDAO:lo adStaticPage
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:setPersistent
unanalyzed | call on net.sourceforge.pebble.ContentCache:putStat icPage
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:clone
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:isPersistent
unanalyzed | call on net.sourceforge.pebble.ContentCache:removeS taticPage
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:getBlog
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getSearchIndex
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getStaticPageIndex
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:getId
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:getDate
unanalyzed | call on java.util.Date:getTime
unanalyzed | call on java.util.Date
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:setDate
unanalyzed | call on putStaticPage
unanalyzed | call on net.sourceforge.pebble.dao.StaticPageDAO:st oreStaticPage
unanalyzed | call on net.sourceforge.pebble.index. SearchIndex:index
unanalyzed | call on net.sourceforge.pebble.index. StaticPageIndex:index
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:getLocalPermalink
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:getTitle
unanalyzed | call on net.sourceforge.pebble.domain.Blog:info
unanalyzed | call on net.sourceforge.pebble.dao.StaticPageDAO:un lock
unanalyzed | call on net.sourceforge.pebble.web.view. RedirectView
unanalyzed | call on net.sourceforge.pebble.service. StaticPageServiceException:getMessage
unanalyzed | call on org.apache.commons.logging.Log:error
unanalyzed | call on net.sourceforge.pebble.domain.Blog:getUrl
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on java.util.HashMap:get
unanalyzed | call on java.lang.String:equalsIgnoreCase
unanalyzed | call on javax.servlet.ServletException
unanalyzed | call on net.sourceforge.pebble.domain.StaticPage
test_vector | java.lang.String:equalsIgnoreCase(...)@77: {0}, {1}
test_vector | java.lang.String:equalsIgnoreCase(...)@79: {0}, {1}
test_vector | javax.servlet.http.HttpServletRequest:getParameter( ...)@75: Addr_Set{null}, Inverse{null}

method | View previewPage(HttpServletRequest)
pre | request != null
pre | this.model != null
pre | this.model.data != null
post | return_value == &new StaticPageFormView(preview Page#2)
post | new StaticPageFormView(previewPage#2) num objects == 1
unanalyzed | call on javax.servlet.http.HttpServletRequest:getPa rameter
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.lang.String:charAt
unanalyzed | call on org.acegisecurity.Authentication:getName
unanalyzed | call on org.acegisecurity.context.SecurityContextHo lder:getContext
unanalyzed | call on org.acegisecurity.context.SecurityContext:g etAuthentication
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:setTitle
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:setSubtitle
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:setBody
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:setTags
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:setAuthor
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:setOriginalPermalink
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:setName
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:setTemplate
unanalyzed | call on java.util.HashMap:put
unanalyzed | call on java.util.ArrayList
unanalyzed | call on net.sourceforge.pebble.dao.DAOFactory:getCo nfiguredFactory
unanalyzed | call on net.sourceforge.pebble.dao.DAOFactory:getSt aticPageDAO
unanalyzed | call on net.sourceforge.pebble.domain.Blog:error
unanalyzed | call on net.sourceforge.pebble.PebbleException
unanalyzed | call on java.lang.Exception:getMessage
unanalyzed | call on net.sourceforge.pebble.ContentCache:getInst ance
unanalyzed | call on net.sourceforge.pebble.ContentCache:getStat icPage
unanalyzed | call on org.apache.commons.logging.Log:debug
unanalyzed | call on net.sourceforge.pebble.dao.StaticPageDAO:lo adStaticPage
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:setPersistent
unanalyzed | call on net.sourceforge.pebble.ContentCache:putStat icPage
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:clone
unanalyzed | call on java.util.HashMap:get
unanalyzed | call on java.lang.String:equalsIgnoreCase
unanalyzed | call on javax.servlet.ServletException
unanalyzed | call on net.sourceforge.pebble.domain.StaticPage

Prev Msg Next Msg

+ |
| medium
| null dereference | check might fail: requires staticPage != null
| info | method not available | -- call on Object net.sourceforge.pebble.domain. StaticPage:clone()

Prev Msg Next Msg

| info | method not available | -- call on void net.sourceforge.pebble.domain. StaticPage:validate(ValidationContext)

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

method | View unlockPage(HttpServletRequest)
pre | request != null
pre | this.model != null
pre | this.model.data != null
presumption | net.sourceforge.pebble.domain.StaticPage:getBlog(.. .)@109 != null
post | return_value in Addr_Set{&new RedirectView(unlo ckPage#3),&new RedirectView(unlockPage#2)}
post | new RedirectView(unlockPage#2) num objects <= 1
post | new RedirectView(unlockPage#3) num objects <= 1
unanalyzed | call on javax.servlet.http.HttpServletRequest:getPa rameter
unanalyzed | call on net.sourceforge.pebble.dao.DAOFactory:getCo nfiguredFactory
unanalyzed | call on net.sourceforge.pebble.dao.DAOFactory:getSt aticPageDAO
unanalyzed | call on net.sourceforge.pebble.domain.Blog:error
unanalyzed | call on net.sourceforge.pebble.PebbleException
unanalyzed | call on java.lang.Exception:getMessage
unanalyzed | call on net.sourceforge.pebble.ContentCache:getInst ance
unanalyzed | call on net.sourceforge.pebble.ContentCache:getStat icPage
unanalyzed | call on org.apache.commons.logging.Log:debug
unanalyzed | call on net.sourceforge.pebble.dao.StaticPageDAO:lo adStaticPage
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:setPersistent
unanalyzed | call on net.sourceforge.pebble.ContentCache:putStat icPage
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:clone
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:isPersistent
unanalyzed | call on net.sourceforge.pebble.ContentCache:removeS taticPage
unanalyzed | call on net.sourceforge.pebble.dao.StaticPageDAO:un lock
unanalyzed | call on java.util.HashMap:get
unanalyzed | call on java.lang.String:equalsIgnoreCase
unanalyzed | call on javax.servlet.ServletException
unanalyzed | call on net.sourceforge.pebble.domain.StaticPage
test_vector | net.sourceforge.pebble.domain.StaticPage:isPersiste nt(...)@106: {0}, {1}

Prev Msg Next Msg

+ |
| medium
| precondition failure | net/sourceforge/pebble/service/StaticPageService. unlock: staticPage != null

Prev Msg Next Msg

| info | method not available | -- call on bool net.sourceforge.pebble.domain. StaticPage:isPersistent()

| info | method not available | -- call on String net.sourceforge.pebble.domain. StaticPage:getLocalPermalink()
| info | method not available | -- call on void net.sourceforge.pebble.web.view. RedirectView(String)

| info | method not available | -- call on Blog net.sourceforge.pebble.domain. StaticPage:getBlog()
| info | method not available | -- call on String net.sourceforge.pebble.domain. Blog:getUrl()
| info | method not available | -- call on void net.sourceforge.pebble.web.view. RedirectView(String)

method | View savePage(HttpServletRequest)
pre | request != null
pre | this.model != null
pre | this.model.data != null
pre | (soft) log != null
presumption | net.sourceforge.pebble.domain.StaticPage:getBlog(.. .)@128 != null
post | return_value in Addr_Set{&new RedirectView(save Page#5),&new StaticPageFormView(savePage#6), &new StaticPageFormView(savePage#3)}
post | new RedirectView(savePage#5) num objects <= 1
post | new StaticPageFormView(savePage#3) num objects <= 1
post | new StaticPageFormView(savePage#6) num objects <= 1
unanalyzed | call on javax.servlet.http.HttpServletRequest:getPa rameter
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.lang.String:charAt
unanalyzed | call on org.acegisecurity.Authentication:getName
unanalyzed | call on org.acegisecurity.context.SecurityContextHo lder:getContext
unanalyzed | call on org.acegisecurity.context.SecurityContext:g etAuthentication
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:setTitle
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:setSubtitle
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:setBody
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:setTags
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:setAuthor
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:setOriginalPermalink
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:setName
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:setTemplate
unanalyzed | call on java.util.HashMap:put
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.List:isEmpty
unanalyzed | call on net.sourceforge.pebble.dao.DAOFactory:getCo nfiguredFactory
unanalyzed | call on net.sourceforge.pebble.dao.DAOFactory:getSt aticPageDAO
unanalyzed | call on net.sourceforge.pebble.domain.Blog:error
unanalyzed | call on net.sourceforge.pebble.PebbleException
unanalyzed | call on java.lang.Exception:getMessage
unanalyzed | call on net.sourceforge.pebble.ContentCache:getInst ance
unanalyzed | call on net.sourceforge.pebble.ContentCache:getStat icPage
unanalyzed | call on org.apache.commons.logging.Log:debug
unanalyzed | call on net.sourceforge.pebble.dao.StaticPageDAO:lo adStaticPage
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:setPersistent
unanalyzed | call on net.sourceforge.pebble.ContentCache:putStat icPage
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:clone
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:isPersistent
unanalyzed | call on net.sourceforge.pebble.ContentCache:removeS taticPage
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:getBlog
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getSearchIndex
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getStaticPageIndex
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:getId
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:getDate
unanalyzed | call on java.util.Date:getTime
unanalyzed | call on java.util.Date
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:setDate
unanalyzed | call on putStaticPage
unanalyzed | call on net.sourceforge.pebble.dao.StaticPageDAO:st oreStaticPage
unanalyzed | call on net.sourceforge.pebble.index. SearchIndex:index
unanalyzed | call on net.sourceforge.pebble.index. StaticPageIndex:index
unanalyzed | call on net.sourceforge.pebble.dao.StaticPageDAO:un lock
unanalyzed | call on java.util.HashMap:get
unanalyzed | call on java.lang.String:equalsIgnoreCase
unanalyzed | call on javax.servlet.ServletException
unanalyzed | call on net.sourceforge.pebble.domain.StaticPage

Prev Msg Next Msg

+ |
| medium
| precondition failure | net/sourceforge/pebble/web/action/SaveStaticPageAct ion.populateStaticPage: staticPage != null

Prev Msg Next Msg

| info | method not available | -- call on void net.sourceforge.pebble.domain. StaticPage:validate(ValidationContext)

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

| info | method not available | -- call on Blog net.sourceforge.pebble.domain. StaticPage:getBlog()
| info | method not available | -- call on String net.sourceforge.pebble.domain. StaticPage:getLocalPermalink()
| info | method not available | -- call on String net.sourceforge.pebble.domain. StaticPage:getTitle()
| info | method not available | -- call on void net.sourceforge.pebble.domain. Blog:info(String)

| info | method not available | -- call on String net.sourceforge.pebble.domain. StaticPage:getLocalPermalink()
| info | method not available | -- call on void net.sourceforge.pebble.web.view. RedirectView(String)

| info | method not available | -- call on String net.sourceforge.pebble.service. StaticPageServiceException:getMessage()
| info | method not available | -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

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

method | StaticPage getStaticPage(HttpServletRequest)
pre | request != null
pre | this.model != null
pre | this.model.data != null
post | init'ed(return_value)
post | new StaticPage(getStaticPage#3) num objects <= 1
unanalyzed | call on net.sourceforge.pebble.dao.DAOFactory:getCo nfiguredFactory
unanalyzed | call on net.sourceforge.pebble.dao.DAOFactory:getSt aticPageDAO
unanalyzed | call on net.sourceforge.pebble.domain.Blog:error
unanalyzed | call on net.sourceforge.pebble.PebbleException
unanalyzed | call on java.lang.Exception:getMessage
unanalyzed | call on net.sourceforge.pebble.ContentCache:getInst ance
unanalyzed | call on net.sourceforge.pebble.ContentCache:getStat icPage
unanalyzed | call on org.apache.commons.logging.Log:debug
unanalyzed | call on net.sourceforge.pebble.dao.StaticPageDAO:lo adStaticPage
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:setPersistent
unanalyzed | call on net.sourceforge.pebble.ContentCache:putStat icPage
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:clone
unanalyzed | call on java.util.HashMap:get
test_vector | java.lang.String:equalsIgnoreCase(...)@144: {0}, {1}
test_vector | javax.servlet.http.HttpServletRequest:getParameter( ...)@142: Addr_Set{null}, Inverse{null}

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

method | void populateStaticPage(StaticPage, HttpServletRequest)
pre | request != null
pre | staticPage != null
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.lang.String:charAt
unanalyzed | call on org.acegisecurity.Authentication:getName
unanalyzed | call on org.acegisecurity.context.SecurityContextHo lder:getContext
unanalyzed | call on org.acegisecurity.context.SecurityContext:g etAuthentication

| info | method not available | -- call on void net.sourceforge.pebble.domain. StaticPage:setTitle(String)

| info | method not available | -- call on void net.sourceforge.pebble.domain. StaticPage:setSubtitle(String)

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

| info | method not available | -- call on void net.sourceforge.pebble.domain. StaticPage:setTags(String)

| info | method not available | -- call on void net.sourceforge.pebble.domain. StaticPage:setAuthor(String)

| info | method not available | -- call on void net.sourceforge.pebble.domain. StaticPage:setOriginalPermalink(String)

| info | method not available | -- call on void net.sourceforge.pebble.domain. StaticPage:setName(String)

| info | method not available | -- call on void net.sourceforge.pebble.domain. StaticPage:setTemplate(String)

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