| method | net.sourceforge. |
| method | void net. |
| 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. |
| post | return_value == this. |
| post | init'ed(return_value) |
| method | void setServletContext( |
| post | this.servletContext == servletContext |
| post | init'ed(this. |
| method | void prepare() |