| method | org.apache. |
| method | void org. |
| post | this.handle == null |
| post | this.id == null |
| post | this.title == 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 getTitle() |
| pre | init'ed(this.title) |
| post | return_value == this.title |
| post | init'ed(return_value) |
| method | void setTitle(String) |
| post | this.title == title |
| post | init'ed(this.title) |
| method | String getHandle() |
| pre | init'ed(this.handle) |
| post | return_value == this.handle |
| post | init'ed(return_value) |
| method | void setHandle(String) |
| post | this.handle == handle |
| post | init'ed(this.handle) |
| method | void copyTo( |
| pre | dataHolder != null |
| pre | init'ed(this.handle) |
| pre | init'ed(this.title) |
|   | 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.handle) |
| post | init'ed(this.id) |
| post | init'ed(this.title) |
|   | info | method not available | -- call on String org. |
|   | info | method not available | -- call on String org. |
|   | info | method not available | -- call on String org. |