| method | org.apache. |
| method | void org. |
| post | this.disabledProperty == null |
| post | this.enabledProperty == null |
| post | this.name == null |
| post | this.perm == null |
| post | this.role == null |
| post | this.tabItems == &new ArrayList( |
| post | new ArrayList( |
| method | void addItem( |
| pre | this.tabItems != 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 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 | List getTabItems() |
| pre | init'ed(this. |
| post | return_value == this. |
| post | init'ed(return_value) |
| method | void setTabItems(List) |
| post | this.tabItems == tabItems |
| 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. |