Messages

method | net.sourceforge.pebble.web.view.ForwardView__ static_init

method | void net.sourceforge.pebble.web.view. ForwardView(String)
post | this.uri == uri
post | init'ed(this.uri)

method | String getUri()
pre | init'ed(this.uri)
post | return_value == this.uri
post | init'ed(return_value)

method | String getContentType()
post | return_value == null

method | void dispatch(HttpServletRequest, HttpServletRespo nse, ServletContext)
pre | context != null
pre | init'ed(this.uri)
presumption | javax.servlet.ServletContext:getRequestDispatcher(. ..)@86 != null