| method | com.dmdirc. |
| method | com.dmdirc. |
| method | void setType(Object) |
| unanalyzed | call on javax. |
| method | List access$ |
| pre | x0 != null |
| post | return_value == x1 |
| post | init'ed(return_value) |
| post | x0.substitutions == return_value |
| method | List access$ |
| pre | x0 != null |
| pre | init'ed(x0. |
| post | return_value == x0. |
| post | init'ed(return_value) |
| method | void access$ |
| pre | x0 != null |
|   | method not available - call not analyzed | Info | call on void com. |
| method | void com. |
| presumption | init'ed(com. |
|   | method not available - call not analyzed | Info | call on void com. |
| method | void com. |
|   | method not available - call not analyzed | Info | call on void com. |
| method | void com. |
| post | this.val$ |
| post | init'ed(this. |
| method | void setType(List) |
| method | void run() |
| post | new ArrayList( |
| unanalyzed | call on com. |
| test_vector | this.val$ |
| test_vector | java.util. |
|   | method not available - call not analyzed | Info | call on void com. |
|   | method not available - call not analyzed | Info | call on void com. |