| method | org.apache. |
| method | void org. |
| post | this.action == null |
| post | this.disabledProperty == null |
| post | this.enabledProperty == null |
| post | this.name == null |
| post | this.perm == null |
| post | this.role == null |
| post | this.subActions == null |
| method | String getName() |
| pre | init'ed(this.name) |
| post | return_value == this.name |
| post | init'ed(return_value) |
| method | void setName(String) |
| post | this.name == name |
| post | init'ed(this.name) |
| method | String getAction() |
| pre | init'ed(this.action) |
| post | return_value == this.action |
| post | init'ed(return_value) |
| method | void setAction(String) |
| post | this.action == action |
| post | init'ed(this.action) |
| method | String[] getSubActions() |
| pre | init'ed(this. |
| post | return_value == this. |
| post | init'ed(return_value) |
| method | void setSubActions( |
| post | this.subActions == subActions |
| post | init'ed(this. |
| method | String getPerm() |
| pre | init'ed(this.perm) |
| post | return_value == this.perm |
| post | init'ed(return_value) |
| method | void setPerm(String) |
| post | this.perm == perm |
| post | init'ed(this.perm) |
| method | String getRole() |
| pre | init'ed(this.role) |
| post | return_value == this.role |
| post | init'ed(return_value) |
| method | void setRole(String) |
| post | this.role == role |
| post | init'ed(this.role) |
| method | String getEnabledProperty() |
| pre | init'ed(this. |
| post | return_value == this. |
| post | init'ed(return_value) |
| method | void setEnabledProperty(String) |
| post | this.enabledProperty == enabledProperty |
| post | init'ed(this. |
| method | String getDisabledProperty() |
| pre | init'ed(this. |
| post | return_value == this. |
| post | init'ed(return_value) |
| method | void setDisabledProperty(String) |
| post | this.disabledProperty == disabledProperty |
| post | init'ed(this. |