| method | com.dmdirc. |
| method | FrameContainer getContainer() |
| post | return_value == this.target |
| post | init'ed(return_value) |
| method | void com. |
| post | this.target == target |
| post | init'ed(this.target) |
| method | CommandParser getCommandParser() |
| pre | this.target != null |
| presumption | com.dmdirc. |
| post | init'ed(return_value) |
|   | method not available - call not analyzed | Info | call on InputWindow com. |
|   | method not available - call not analyzed | Info | call on CommandParser com. |
| method | InputHandler getInputHandler() |
| pre | this.target != null |
| presumption | com.dmdirc. |
| post | init'ed(return_value) |
|   | method not available - call not analyzed | Info | call on InputWindow com. |
|   | method not available - call not analyzed | Info | call on InputHandler com. |
| method | void setAwayIndicator(bool) |
| method | void addLine( |
| pre | this.target != null |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
|   | method not available - call not analyzed | Info | call on String com. |
|   | method not available - call not analyzed | Info | call on void com. |
| method | void addLine( |
| pre | this.target != null |
|   | method not available - call not analyzed | Info | call on void com. |
| method | void clear() |
| method | ConfigManager getConfigManager() |
| pre | this.target != null |
| presumption | com.dmdirc. |
| post | init'ed(return_value) |
|   | method not available - call not analyzed | Info | call on InputWindow com. |
|   | method not available - call not analyzed | Info | call on ConfigManager com. |
| method | WritableFrameContainer getContainer() |
| post | return_value == this.target |
| post | init'ed(return_value) |
| method | bool isVisible() |
| post | return_value == 0 |
| method | void setVisible(bool) |
| method | String getTitle() |
| post | return_value == &"Fake window" |
| method | bool isMaximum() |
| post | return_value == 0 |
| method | void setTitle(String) |
| method | void open() |
| method | StringTranscoder getTranscoder() |
| post | return_value == &new StringTranscoder( |
| post | new StringTranscoder( |
|   | method not available - call not analyzed | Info | call on void com. |
| method | void close() |
| method | void restore() |
| method | void maximise() |
| method | void toggleMaximise() |
| method | void minimise() |
| method | void activateFrame() |