| method | org.apache. |
| method | void org. |
| presumption | init'ed(java. |
| post | this.activationCode == null |
| post | this.emailAddress == null |
| post | this.fullName == null |
| post | this.id == null |
| post | this.locale == null |
| post | this.password == null |
| post | this.screenName == null |
| post | this.timeZone == null |
| post | this.userName == null |
| post | this.administrator == 0 |
| post | this.enabled == java. |
| post | (soft) init'ed( |
| method | String getId() |
| pre | init'ed(this.id) |
| post | return_value == this.id |
| post | init'ed(return_value) |
| method | void setId(String) |
| post | this.id == id |
| post | init'ed(this.id) |
| method | String getUserName() |
| pre | init'ed(this. |
| post | return_value == this. |
| post | init'ed(return_value) |
| method | void setUserName(String) |
| post | this.userName == userName |
| post | init'ed(this. |
| method | String getPassword() |
| pre | init'ed(this. |
| post | return_value == this. |
| post | init'ed(return_value) |
| method | void setPassword(String) |
| post | this.password == password |
| post | init'ed(this. |
| method | String getScreenName() |
| pre | init'ed(this. |
| post | return_value == this. |
| post | init'ed(return_value) |
| method | void setScreenName(String) |
| post | this.screenName == screenName |
| post | init'ed(this. |
| method | String getFullName() |
| pre | init'ed(this. |
| post | return_value == this. |
| post | init'ed(return_value) |
| method | void setFullName(String) |
| post | this.fullName == fullName |
| post | init'ed(this. |
| method | String getEmailAddress() |
| pre | init'ed(this. |
| post | return_value == this. |
| post | init'ed(return_value) |
| method | void setEmailAddress(String) |
| post | this.emailAddress == emailAddress |
| post | init'ed(this. |
| method | String getLocale() |
| pre | init'ed(this.locale) |
| post | return_value == this.locale |
| post | init'ed(return_value) |
| method | void setLocale(String) |
| post | this.locale == locale |
| post | init'ed(this.locale) |
| method | String getTimeZone() |
| pre | init'ed(this. |
| post | return_value == this. |
| post | init'ed(return_value) |
| method | void setTimeZone(String) |
| post | this.timeZone == timeZone |
| post | init'ed(this. |
| method | Boolean getEnabled() |
| pre | init'ed(this. |
| post | return_value == this.enabled |
| post | init'ed(return_value) |
| method | void setEnabled( |
| post | this.enabled == enabled |
| post | init'ed(this. |
| method | String getActivationCode() |
| pre | init'ed(this. |
| post | return_value == this. |
| post | init'ed(return_value) |
| method | void setActivationCode(String) |
| post | this.activationCode == activationCode |
| post | init'ed(this. |
| method | bool isAdministrator() |
| pre | init'ed(this. |
| post | return_value == this. |
| post | init'ed(return_value) |
| method | void setAdministrator(bool) |
| post | this.administrator == administrator |
| post | init'ed(this. |
|   | info | method not available | -- call on void org. |
|   | info | method not available | -- call on void org. |
|   | info | method not available | -- call on void org. |
|   | info | method not available | -- call on void org. |
|   | info | method not available | -- call on void org. |
|   | info | method not available | -- call on void org. |
|   | info | method not available | -- call on void org. |
|   | info | method not available | -- call on String org. |
|   | info | method not available | -- call on String org. |
|   | info | method not available | -- call on String org. |
|   | info | method not available | -- call on String org. |
|   | info | method not available | -- call on String org. |
|   | info | method not available | -- call on String org. |
|   | info | method not available | -- call on String org. |
|   | info | method not available | -- call on String org. |
|   | info | method not available | -- call on Boolean org. |
|   | info | method not available | -- call on String org. |
|   | info | method not available | -- call on bool org. |