MessageTarget.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void com.dmdirc.MessageTarget(String, ConfigManager)

    • Kind Annotation Text
    preconfig != null
    presumptioninit'ed(com/dmdirc/FrameContainer.java.awt.Color. BLACK)
    postinit'ed(this.icon)
    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.config == config
    postthis.icon == icon
    postthis.listeners == &new ListenerList(FrameContai ner#1)
    postthis.notification == com/dmdirc/FrameContainer. java.awt.Color.BLACK
    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.MessageTarget__static_init

    • Kind Annotation Text