| method | com.dmdirc. |
|   | method not available - call not analyzed | Info | call on TabCompletionType[] com. |
| method | void com. |
| post | this.includes == &new ArrayList( |
| post | new ArrayList( |
| method | bool shouldInclude( |
| pre | this.includes != null |
| post | init'ed(return_value) |
| method | void include( |
| pre | this.includes != null |
| test_vector | java.util. |
| method | void exclude( |
| pre | this.includes != null |
| method | AdditionalTabTargets excludeAll() |
| pre | this.includes != null |
| presumption | init'ed(com. |
| post | return_value == this |
| post | return_value != null |