Messages

method | net.sourceforge.pebble.web.view.XmlView__static_ init

method | void net.sourceforge.pebble.web.view.XmlView()
unanalyzed | call on net.sourceforge.pebble.web.view.View

method | String getContentType()
pre | this.model != null
pre | this.model.data != null
presumption | java.util.HashMap:get(...)@63 != null
post | return_value != null
unanalyzed | call on java.util.HashMap:get

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

method | void dispatch(HttpServletRequest, HttpServletRespo nse, ServletContext)
pre | context != null
pre | this.model != null
pre | this.model.data != null
presumption | java.util.HashMap:get(...)@63 != null
presumption | javax.servlet.ServletContext:getRequestDispatcher(. ..)@72 != null
unanalyzed | call on java.util.HashMap:get

| info | method not available | -- call on String getUri()

| info | method not available | -- call on void net.sourceforge.pebble.domain. AbstractBlog:log(HttpServletRequest, int)