DCCFrame.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void addCustomPopupItems(JPopupMenu)

    • Kind Annotation Text

  • void com.dmdirc.addons.dcc.DCCFrame$1(DCCFrame, String)

    • Kind Annotation Text
    postinit'ed(this.val$title)
    postthis.val$title == Param_2

  • com.dmdirc.addons.dcc.DCCFrame$1__static_init

    • Kind Annotation Text

  • void com.dmdirc.addons.dcc.DCCFrame$EmptyFrame(DCCFrame, WritableFrameContainer)

    • Kind Annotation Text
    preinit'ed(com/dmdirc/Main.controller)

  • com.dmdirc.addons.dcc.DCCFrame$EmptyFrame__static_init

    • Kind Annotation Text

  • void com.dmdirc.addons.dcc.DCCFrame(DCCPlugin, String, String)

    • Kind Annotation Text
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@138 != null
    presumptioninit'ed(com/dmdirc/FrameContainer.java.awt.Color. BLACK)
    postinit'ed(this.icon)
    postinit'ed(this.myWindow)
    postinit'ed(this.notification)
    postinit'ed(this.plugin)
    postinit'ed(this.title)
    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 == icon
    postthis.listeners == &new ListenerList(FrameContai ner#1)
    postthis.notification == com/dmdirc/FrameContainer. java.awt.Color.BLACK
    postthis.plugin == plugin
    postthis.title == title
    postthis.windowClosing == 0
    unanalyzedcall on com.dmdirc.FrameContainer
    unanalyzedcall on com.dmdirc.addons.ui_swing.UIUtilities:invo keAndWait
    unanalyzedcall on com.dmdirc.config.ConfigManager:addChangeLi stener
    unanalyzedcall on com.dmdirc.config.ConfigManager:removeListe ner
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    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 com.dmdirc.util.ReturnableThread
    unanalyzedcall on getFrame
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.List:iterator

  • void com.dmdirc.addons.dcc.DCCFrame(DCCPlugin, String, String, bool)

    • Kind Annotation Text
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@138 != null
    presumptioninit'ed(com/dmdirc/FrameContainer.java.awt.Color. BLACK)
    postinit'ed(this.icon)
    postinit'ed(this.myWindow)
    postinit'ed(this.notification)
    postinit'ed(this.plugin)
    postinit'ed(this.title)
    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 == icon
    postthis.listeners == &new ListenerList(FrameContai ner#1)
    postthis.notification == com/dmdirc/FrameContainer. java.awt.Color.BLACK
    postthis.plugin == plugin
    postthis.title == title
    postthis.windowClosing == 0
    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 com.dmdirc.util.ReturnableThread
    unanalyzedcall on getFrame
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.List:iterator
    test_vectordefaultWindow: {0}, {1}

  • com.dmdirc.addons.dcc.DCCFrame__static_init

    • Kind Annotation Text

  • PopupType getChannelPopupType()

    • Kind Annotation Text
    postreturn_value == null

  • CommandParser getCommandParser()

    • Kind Annotation Text
    postinit'ed(return_value)

  • Container getContentPane()

    • Kind Annotation Text
    prethis.myWindow != null
    postinit'ed(return_value)

  • InputWindow getFrame()

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

  • Window getFrame()

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

  • PopupType getHyperlinkPopupType()

    • Kind Annotation Text
    postreturn_value == null

  • int getMaxLineLength()

    • Kind Annotation Text
    postreturn_value == 512

  • PopupType getNicknamePopupType()

    • Kind Annotation Text
    postreturn_value == null

  • PopupType getNormalPopupType()

    • Kind Annotation Text
    postreturn_value == null

  • Server getServer()

    • Kind Annotation Text
    postreturn_value == null

  • bool isWindowClosing()

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

  • void run()

    • Kind Annotation Text
    preinit'ed(com/dmdirc/Main.controller)
    unanalyzedcall on com.dmdirc.addons.dcc.DCCFrame$EmptyFrame:p ack
    unanalyzedcall on com.dmdirc.addons.dcc.DCCFrame$EmptyFrame:s etTextPane
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. frames.InputTextFrame
    unanalyzedcall on getUI

  • void sendLine(String)

    • Kind Annotation Text

  • String toString()

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

  • void windowClosing()

    • Kind Annotation Text
    pre(soft) this.plugin.childFrames != null
    preinit'ed(this.plugin.container)
    prethis.myWindow != null
    prethis.plugin != null
    postinit'ed(this.plugin.container)
    postthis.myWindow == null
    postthis.plugin.container == One-of{old this.plugin.container, null}
    postthis.windowClosing == 1
    unanalyzedcall on com.dmdirc.addons.dcc.DCCFrame:close
    unanalyzedcall on java.util.List:clear
    unanalyzedcall on java.util.List:isEmpty
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:remove