| method | com.dmdirc. |
| method | void com. |
| post | this.invalid == invalid |
| post | init'ed(this. |
| post | this.name == name |
| post | init'ed(this.name) |
| post | this.trusted == trusted |
| post | init'ed(this. |
| method | bool isInvalid() |
| post | return_value == this.invalid |
| post | init'ed(return_value) |
| method | bool isTrusted() |
| post | return_value == this.trusted |
| post | init'ed(return_value) |
| method | String getName() |
| post | return_value == this.name |
| post | init'ed(return_value) |