| method | com.dmdirc. |
| method | void com. |
| post | this.invalid == invalid |
| post | init'ed(this. |
| post | this.missing == missing |
| post | init'ed(this. |
| post | this.title == title |
| post | init'ed(this.title) |
| post | this.value == value |
| post | init'ed(this.value) |
| method | bool isInvalid() |
| post | return_value == this.invalid |
| post | init'ed(return_value) |
| method | bool isMissing() |
| post | return_value == this.missing |
| post | init'ed(return_value) |
| method | String getTitle() |
| post | return_value == this.title |
| post | init'ed(return_value) |
| method | String getValue() |
| post | return_value == this.value |
| post | init'ed(return_value) |