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