Messages

Last Msg First Msg

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

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

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

method | View process(HttpServletRequest, HttpServletRespon se)
pre | request != null
pre | this.model != null
pre | this.model.data != null
post | return_value in Addr_Set{&new PdfView(process#4 ),&new NotFoundView(process#3)}
post | new NotFoundView(process#3) num objects <= 1
post | new PdfView(process#4) num objects <= 1
post | new PdfView(process#4).entry != null
post | new PdfView(process#4).filename != null
post | new PdfView(process#4).length == 0
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getTitle
unanalyzed | call on java.lang.String:length
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getId
unanalyzed | call on java.lang.String:toLowerCase
unanalyzed | call on java.lang.String:replaceAll
unanalyzed | call on java.util.HashMap:get
unanalyzed | call on net.sourceforge.pebble.web.view.View
test_vector | javax.servlet.http.HttpServletRequest:getParameter( ...)@72: Addr_Set{null}, Inverse{null}

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

| info | method not available | -- call on BlogEntry net.sourceforge.pebble.domain. BlogService:getBlogEntry(Blog, String)

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

method | String buildPermalink(BlogEntry)
pre | blogEntry != null
post | return_value != null
test_vector | java.lang.String:length(...)@111: {1.. 232-1}, {0}
test_vector | java.lang.String:length(...)@99: {1.. 232-1}, {0}
test_vector | net.sourceforge.pebble.domain.BlogEntry:getTitle(.. .)@98: Addr_Set{null}, Inverse{null}

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

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

Prev Msg Next Msg

+ |
| warning
| test always goes same way | test predetermined because title != null

Prev Msg Next Msg

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