| method | com.dmdirc. |
| method | void com. |
|   | method not available - call not analyzed | Info | call on void com. |
| method | void onLoad() |
| post | this.command == &new DNSCommand( |
| post | new DNSCommand( |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
| method | void onUnload() |
| pre | init'ed(this. |
|   | method not available - call not analyzed | Info | call on void com. |
| method | String getIPs(String) |
| presumption | arr$.length@70 <= 232-1 |
| presumption | arr$[i$]@70 != null |
| presumption | java.net. |
| post | java.lang. |
| post | return_value == &java. |
| method | String getHostname(String) |
| presumption | java.net. |
| post | init'ed(return_value) |