Raw.java

current inspection = 2009-09-03 21:56:13 (id #1)


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void com.dmdirc.Raw(Server)

    • Kind Annotation Text
    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)
    postinit'ed(this.notification)
    postnew FrameContainer$IconChanger(FrameContainer#2) num objects == 1
    postnew ListenerList(FrameContainer#1) num objects == 1
    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
    postthis.server != null
    postthis.server == newServer
    postthis.window != null
    unanalyzedcall on com.dmdirc.FrameContainer
    unanalyzedcall on com.dmdirc.config.ConfigManager:addChangeLi stener
    unanalyzedcall on com.dmdirc.config.ConfigManager:removeListe ner
    unanalyzedcall on com.dmdirc.interfaces.IconChangeListener:ic onChanged
    unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
    unanalyzedcall on com.dmdirc.util.ListenerList
    unanalyzedcall on com.dmdirc.util.ListenerList:get
    unanalyzedcall on getFrame
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.List:iterator

  • com.dmdirc.Raw__static_init

    • Kind Annotation Text

  • InputWindow getFrame()

    • Kind Annotation Text
    preinit'ed(this.window)
    postinit'ed(return_value)
    postreturn_value == this.window

  • Window getFrame()

    • Kind Annotation Text
    preinit'ed(this.window)
    postinit'ed(return_value)
    postreturn_value == this.window

  • int getMaxLineLength()

    • Kind Annotation Text
    prethis.server != null
    postreturn_value == 510

  • Server getServer()

    • Kind Annotation Text
    preinit'ed(this.server)
    postinit'ed(return_value)
    postreturn_value == this.server

  • void onDataIn(IRCParser, String)

    • Kind Annotation Text
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:addLine
    unanalyzedcall on getFrame

  • void onDataOut(IRCParser, String, bool)

    • Kind Annotation Text
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:addLine
    unanalyzedcall on getFrame

  • void registerCallbacks()

    • Kind Annotation Text
    pre(soft) this.server != null
    pre(soft) this.server.parser != null
    presumptioncom.dmdirc.parser.irc.IRCParser:getCallbackManager( ...)@80 != null
    presumptioncom.dmdirc.parser.irc.IRCParser:getCallbackManager( ...)@81 != null
    presumptioninit'ed(com.dmdirc.logger.ErrorLevel.HIGH)

  • void sendLine(String)

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

  • String toString()

    • Kind Annotation Text
    postreturn_value == &"Raw"

  • void windowClosing()

    • Kind Annotation Text
    preinit'ed(this.server.parser)
    prethis.server != null
    prethis.window != null
    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}