| method | org.apache. |
| post | init'ed(log) |
|   | info | method not available | -- call on Log org. |
| method | void org. |
| post | this.actionName == &"invite" |
| post | this.desiredMenu == &"editor" |
| post | this.pageTitle == &"inviteMember. |
| post | this.permissionsMask == null |
| post | this.userName == null |
|   | info | method not available | -- call on void org. |
| method | short requiredWeblogPermissions() |
| presumption | init'ed(org. |
| post | return_value == org. |
| post | (soft) init'ed( |
| method | String execute() |
| pre | (soft) log != null |
| post | return_value in Addr_ |
| test_vector | org.apache. |
|   | info | method not available | -- call on bool org. |
|   | info | method not available | -- call on void org. |
|   | info | method not available | -- call on void org. |
|   | info | method not available | -- call on bool org. |
|   | info | method not available | -- call on void org. |
|   | info | method not available | -- call on void org. |
|   | info | method not available | -- call on Weblogger org. |
|   | info | method not available | -- call on UserManager org. |
|   | info | method not available | -- call on User 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 bool org. |
|   | info | method not available | -- call on Weblog org. |
|   | info | method not available | -- call on WeblogPermission org. |
|   | info | method not available | -- call on bool org. |
|   | info | method not available | -- call on void org. |
|   | info | method not available | -- call on void org. |
|   | info | method not available | -- call on Weblog org. |
|   | info | method not available | -- call on String org. |
|   | info | method not available | -- call on void org. |
|   | info | method not available | -- call on void org. |
|   | info | method not available | -- call on bool org. |
|   | info | method not available | -- call on Weblog org. |
|   | info | method not available | -- call on WeblogPermission org. |
|   | info | method not available | -- call on Weblogger org. |
|   | info | method not available | -- call on void org. |
|   | info | method not available | -- call on void org. |
|   | info | method not available | -- call on bool org. |
|   | info | method not available | -- call on Weblog org. |
|   | info | method not available | -- call on void org. |
|   | info | method not available | -- call on String 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. |
| method | String getUserName() |
| pre | init'ed(this. |
| post | return_value == this. |
| post | init'ed(return_value) |
| method | void setUserName(String) |
| post | this.userName == userId |
| post | init'ed(this. |
| method | String getPermissionsMask() |
| pre | init'ed(this. |
| post | return_value == this. |
| post | init'ed(return_value) |
| method | void setPermissionsMask(String) |
| post | this.permissionsMask == permission |
| post | init'ed(this. |