method com.dmdirc.addons.ui_dummy.DummyInputWindow__ static_init










method FrameContainer getContainer()
postreturn_value == this.container
postinit'ed(return_value)










method void com.dmdirc.addons.ui_dummy.DummyInputWindow(W ritableFrameContainer, CommandParser)
postthis.commandParser == commandParser
postinit'ed(this.commandParser)
postthis.container == owner
postinit'ed(this.container)










method CommandParser getCommandParser()
postreturn_value == this.commandParser
postinit'ed(return_value)










method InputHandler getInputHandler()
postreturn_value == &new DummyInputHandler(getInput Handler#1)
postnew DummyInputHandler(getInputHandler#1) num objects == 1
unanalyzedcall on com.dmdirc.ui.input.InputHandler










method void setAwayIndicator(bool)










method void addLine(String, Object[])
presumptionjava.lang.System.out != null










method void addLine(StringBuffer, Object[])
premessageType != null
unanalyzedcall on java.util.Arrays:toString
unanalyzedcall on java.io.PrintStream:println










method void addLine(String, bool)










method void clear()










method ConfigManager getConfigManager()
postreturn_value == &new ConfigManager(getConfigMan ager#1)
postnew ConfigManager(getConfigManager#1) num objects == 1









  method not available - call not analyzedInfocall on void com.dmdirc.config.ConfigManager(String , String, String)











method WritableFrameContainer getContainer()
postreturn_value == this.container
postinit'ed(return_value)










method bool isVisible()
preinit'ed(this.visible)
postreturn_value == this.visible
postinit'ed(return_value)










method void setVisible(bool)
postthis.visible == isVisible
postinit'ed(this.visible)










method String getTitle()
preinit'ed(this.title)
postreturn_value == this.title
postinit'ed(return_value)










method bool isMaximum()
preinit'ed(this.maximised)
postreturn_value == this.maximised
postinit'ed(return_value)










method void setMaximum(bool)
postthis.maximised == b
postinit'ed(this.maximised)










method void setTitle(String)
postthis.title == title
postinit'ed(this.title)










method void open()










method StringTranscoder getTranscoder()
postreturn_value == &new StringTranscoder(getTransc oder#1)
postnew StringTranscoder(getTranscoder#1) num objects == 1









  method not available - call not analyzedInfocall on void com.dmdirc.util.StringTranscoder(Chars et)











method void close()
prethis.container != null









  method not available - call not analyzedInfocall on void com.dmdirc.WritableFrameContainer:wind owClosing()











method void restore()










method void maximise()










method void toggleMaximise()










method void minimise()










method void activateFrame()