Messages

method | net.sourceforge.pebble.web.view.View__static_init

method | void net.sourceforge.pebble.web.view.View()

method | Model getModel()
pre | init'ed(this.model)
post | return_value == this.model
post | init'ed(return_value)

method | void setModel(Model)
post | this.model == model
post | init'ed(this.model)

method | ServletContext getServletContext()
pre | init'ed(this.servletContext)
post | return_value == this.servletContext
post | init'ed(return_value)

method | void setServletContext(ServletContext)
post | this.servletContext == servletContext
post | init'ed(this.servletContext)

method | void prepare()