| method | org.apache. |
| method | void org. |
| post | this.error == null |
| post | this.pageTitle == &"loginPage. |
|   | info | method not available | -- call on void org. |
| method | bool isUserRequired() |
| post | return_value == 0 |
| method | bool isWeblogRequired() |
| post | return_value == 0 |
| method | String execute() |
| pre | init'ed(this.error) |
| post | return_value == &"success" |
| test_vector | this.error: |
|   | info | method not available | -- call on void org. |
| method | String getError() |
| pre | init'ed(this.error) |
| post | return_value == this.error |
| post | init'ed(return_value) |
| method | void setError(String) |
| post | this.error == error |
| post | init'ed(this.error) |