Last Msg First Msg
























method com.dmdirc.Raw__static_init










method Window getFrame()
preinit'ed(this.window)
postreturn_value == this.window
postinit'ed(return_value)










method void com.dmdirc.Raw(Server)
precom/dmdirc/Main.controller != null
prenewServer != null
prenewServer.window != null
presumptioncom.dmdirc.Server:getConfigManager(...)@63 != null
presumptioncom.dmdirc.ui.interfaces.InputWindow:getInputHandle r(...)@70 != null
presumptioncom.dmdirc.ui.interfaces.UIController:getInputWindo w(...)@67 != null
presumptioninit'ed(com/dmdirc/FrameContainer.java.awt.Color. BLACK)
postthis.changer == &new FrameContainer$IconChanger (FrameContainer#2)
postthis.config != null
postthis.icon == &"raw"
postthis.listeners == &new ListenerList(FrameContai ner#1)
postthis.notification == com/dmdirc/FrameContainer. java.awt.Color.BLACK
postinit'ed(this.notification)
postthis.server == newServer
postthis.server != null
postthis.window != null
postnew FrameContainer$IconChanger(FrameContainer#2) num objects == 1
postnew ListenerList(FrameContainer#1) num objects == 1
unanalyzedcall on getFrame
unanalyzedcall on com.dmdirc.FrameContainer
unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on com.dmdirc.util.ListenerList:get
unanalyzedcall on java.util.List:iterator
unanalyzedcall on com.dmdirc.interfaces.IconChangeListener:ic onChanged
unanalyzedcall on com.dmdirc.config.ConfigManager:removeListe ner
unanalyzedcall on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzedcall on com.dmdirc.util.ListenerList









  method not available - call not analyzedInfocall on ConfigManager com.dmdirc.Server:getConfigMa nager()










  method not available - call not analyzedInfocall on CommandParser com.dmdirc.ui.interfaces. InputWindow:getCommandParser()
  method not available - call not analyzedInfocall on InputWindow com.dmdirc.ui.interfaces. UIController:getInputWindow(WritableFrameContainer, CommandParser)










  method not available - call not analyzedInfocall on void com.dmdirc.ui.WindowManager:addWindow( Window, Window)










  method not available - call not analyzedInfocall on void com.dmdirc.ui.interfaces. InputWindow:setTitle(String)










  method not available - call not analyzedInfocall on InputHandler com.dmdirc.ui.interfaces. InputWindow:getInputHandler()
  method not available - call not analyzedInfocall on void com.dmdirc.ui.input.InputHandler:setTa bCompleter(TabCompleter)










  method not available - call not analyzedInfocall on void com.dmdirc.ui.interfaces. InputWindow:open()











method void registerCallbacks()
pre(soft) this.server != null
pre(soft) this.server.parser != null
presumptioninit'ed(com.dmdirc.logger.ErrorLevel.HIGH)
presumptioncom.dmdirc.parser.irc.IRCParser:getCallbackManager( ...)@80 != null
presumptioncom.dmdirc.parser.irc.IRCParser:getCallbackManager( ...)@81 != null









  method not available - call not analyzedInfocall on CallbackManager com.dmdirc.parser.irc. IRCParser:getCallbackManager()
  method not available - call not analyzedInfocall on void com.dmdirc.parser.irc.callbacks. CallbackManager:addCallback(String, ICallbackInterface)










  method not available - call not analyzedInfocall on CallbackManager com.dmdirc.parser.irc. IRCParser:getCallbackManager()
  method not available - call not analyzedInfocall on void com.dmdirc.parser.irc.callbacks. CallbackManager:addCallback(String, ICallbackInterface)










  method not available - call not analyzedInfocall on void com.dmdirc.logger.Logger:appError(Erro rLevel, String, Throwable)











method void windowClosing()
prethis.server != null
prethis.window != null
preinit'ed(this.server.parser)
presumptioncom.dmdirc.parser.irc.IRCParser:getCallbackManager( ...)@95 != null
postthis.server == null
postthis.server.raw == null
postthis.window == null
test_vectorthis.server.parser: Addr_Set{null}, Inverse{null}









  method not available - call not analyzedInfocall on void com.dmdirc.ui.interfaces. InputWindow:setVisible(bool)










Prev Msg Next Msg
  test always goes same way
Low Prob.
Test predetermined because this.server != null
Prev Msg Next Msg










  method not available - call not analyzedInfocall on CallbackManager com.dmdirc.parser.irc. IRCParser:getCallbackManager()
  method not available - call not analyzedInfocall on void com.dmdirc.parser.irc.callbacks. CallbackManager:delAllCallback(ICallbackInterface)










  method not available - call not analyzedInfocall on void com.dmdirc.ui.WindowManager:removeWind ow(Window)











method InputWindow getFrame()
preinit'ed(this.window)
postreturn_value == this.window
postinit'ed(return_value)










method void onDataIn(IRCParser, String)
unanalyzedcall on getFrame
unanalyzedcall on com.dmdirc.ui.interfaces.Window:addLine










method void onDataOut(IRCParser, String, bool)
unanalyzedcall on getFrame
unanalyzedcall on com.dmdirc.ui.interfaces.Window:addLine










method String toString()
postreturn_value == &"Raw"










method Server getServer()
preinit'ed(this.server)
postreturn_value == this.server
postinit'ed(return_value)










method void sendLine(String)
prethis.server != null
preinit'ed(this.server.parser)
prethis.window != null
pre(soft) this.server.myState != null
pre(soft) init'ed(this.server.myState.state)
pre(soft) this.server.window != null
presumptioncom.dmdirc.ui.interfaces.InputWindow:getTranscoder( ...)@146 != null
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on com.dmdirc.ui.interfaces.ServerWindow:getTr anscoder
unanalyzedcall on com.dmdirc.util.StringTranscoder:encode
unanalyzedcall on com.dmdirc.parser.irc.IRCParser:sendLine









  method not available - call not analyzedInfocall on StringTranscoder com.dmdirc.ui.interfaces. InputWindow:getTranscoder()
  method not available - call not analyzedInfocall on String com.dmdirc.util.StringTranscoder:enc ode(String)











method int getMaxLineLength()
prethis.server != null
postreturn_value == 510