| method | org.apache. |
| method | void org. |
| post | this.description == null |
| post | this.id == null |
| post | this.name == null |
| 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 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 getDescription() |
| pre | init'ed(this. |
| post | return_value == this. |
| post | init'ed(return_value) |
| method | void setDescription(String) |
| post | this.description == description |
| post | init'ed(this. |
|   | info | method not available | -- call on String org. |
|   | info | method not available | -- call on void org. |
|   | info | method not available | -- call on void org. |
| method | void copyFrom( |
| pre | dataHolder != null |
| post | init'ed(this. |
| post | init'ed(this.id) |
| post | init'ed(this.name) |
|   | info | method not available | -- call on String org. |
|   | info | method not available | -- call on String org. |
|   | info | method not available | -- call on String org. |