FrameContainer.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void access$100(FrameContainer)

    • Kind Annotation Text
    preinit'ed(x0.icon)
    prex0 != null
    prex0.listeners != null
    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:get
    unanalyzedcall on getFrame
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.List:iterator

  • void activateFrame()

    • Kind Annotation Text
    presumptiongetFrame(...)@159 != null

  • void addIconChangeListener(IconChangeListener)

    • Kind Annotation Text
    prethis.listeners != null

  • void addLine(String, Object[])

    • Kind Annotation Text
    presumptiongetFrame(...)@280 != null
    test_vectorgetFrame(...)@279: Addr_Set{null}, Inverse{null}

  • void addLine(StringBuffer, Object[])

    • Kind Annotation Text
    presumptiongetFrame(...)@293 != null
    test_vectorgetFrame(...)@292: Addr_Set{null}, Inverse{null}

  • void addNotificationListener(NotificationListener)

    • Kind Annotation Text
    prethis.listeners != null

  • void addSelectionListener(SelectionListener)

    • Kind Annotation Text
    prethis.listeners != null

  • void clearNotification()

    • Kind Annotation Text
    prethis.listeners != null
    presumptioncom.dmdirc.util.ListenerList:get(...)@173 != null
    presumptiongetFrame(...)@166 != null
    presumptioninit'ed(java.awt.Color.BLACK)
    presumptionjava.lang.Object:getClass(...)@166 != null
    presumptionjava.util.Iterator:next(...)@173 != null
    presumptionjava.util.logging.Logger:getLogger(...)@47 != null
    postinit'ed(this.notification)
    postthis.notification == java.awt.Color.BLACK
    test_vectorjava.util.Iterator:hasNext(...)@173: {1}, {0}

  • void close()

    • Kind Annotation Text
    presumptiongetFrame(...)@96 != null
    presumptiongetFrame(...)@99 != null

  • com.dmdirc.FrameContainer$1__static_init

    • Kind Annotation Text

  • void com.dmdirc.FrameContainer$IconChanger(FrameContainer)

    • Kind Annotation Text

  • void com.dmdirc.FrameContainer$IconChanger(FrameContainer, FrameContainer$1)

    • Kind Annotation Text

  • com.dmdirc.FrameContainer$IconChanger__static_init

    • Kind Annotation Text

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

    • Kind Annotation Text
    preconfig != null
    presumptioninit'ed(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 == java.awt.Color.BLACK
    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:get
    unanalyzedcall on getFrame
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.List:iterator

  • com.dmdirc.FrameContainer__static_init

    • Kind Annotation Text
    postinit'ed(LOGGER)

  • void configChanged(String, String)

    • Kind Annotation Text
    preinit'ed(this.icon)
    prethis.listeners != null
    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:get
    unanalyzedcall on getFrame
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.List:iterator

  • ConfigManager getConfigManager()

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

  • Icon getIcon()

    • Kind Annotation Text
    preinit'ed(this.icon)
    presumptioncom.dmdirc.ui.IconManager:getIconManager(...)@143 != null
    postinit'ed(return_value)

  • Color getNotification()

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

  • void iconUpdated()

    • Kind Annotation Text
    preinit'ed(this.icon)
    prethis.listeners != null
    presumptioncom.dmdirc.util.ListenerList:get(...)@131 != null
    presumptionjava.util.Iterator:next(...)@131 != null
    unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
    test_vectorjava.util.Iterator:hasNext(...)@131: {1}, {0}

  • bool ownsFrame(Window)

    • Kind Annotation Text
    presumptiongetFrame(...)@215 != null
    postinit'ed(return_value)

  • void removeIconChangeListener(IconChangeListener)

    • Kind Annotation Text
    prethis.listeners != null

  • void removeNotificationListener(NotificationListener)

    • Kind Annotation Text
    prethis.listeners != null

  • void removeSelectionListener(SelectionListener)

    • Kind Annotation Text
    prethis.listeners != null

  • void sendNotification(Color)

    • Kind Annotation Text
    pre(soft) colour != null
    pre(soft) init'ed(this.notification)
    pre(soft) this.listeners != null
    precom/dmdirc/Main.controller != null
    presumptioncom.dmdirc.util.ListenerList:get(...)@192 != null
    presumptionjava.util.Iterator:next(...)@192 != null
    postinit'ed(this.notification)
    postthis.notification == One-of{old this.notification, colour}
    test_vectorcom.dmdirc.ui.interfaces.UIController:getActiveWind ow(...)@185: Addr_Set{null}, Inverse{null}
    test_vectorjava.awt.Color:equals(...)@187: {1}, {0}
    test_vectorjava.lang.Object:equals(...)@187: {1}, {0}

  • void setIcon(String)

    • Kind Annotation Text
    prethis.config != null
    prethis.listeners != null
    postinit'ed(this.icon)
    postthis.icon == icon
    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:get
    unanalyzedcall on getFrame
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.List:iterator

  • void windowActivated()

    • Kind Annotation Text
    pre(soft) this.listeners != null
    presumptioncom.dmdirc.util.ListenerList:get(...)@251 != null
    presumptiongetFrame(...)@243 != null
    presumptiongetServer(...)@259 != null
    presumptionjava.lang.Object:getClass(...)@243 != null
    presumptionjava.util.Iterator:next(...)@251 != null
    presumptionjava.util.logging.Logger:getLogger(...)@47 != null
    postthis.notification == One-of{old this.notification, java.awt.Color.BLACK}
    unanalyzedcall on com.dmdirc.interfaces.NotificationListener: notificationCleared
    unanalyzedcall on com.dmdirc.util.ListenerList:get
    unanalyzedcall on getFrame
    unanalyzedcall on java.lang.Class:getName
    unanalyzedcall on java.lang.Object:getClass
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.logging.Logger:finer
    unanalyzedcall on toString
    test_vectorgetFrame(...)@246: Inverse{null}, Addr_Set{null}
    test_vectorgetServer(...)@258: Addr_Set{null}, Inverse{null}
    test_vectorjava.util.Iterator:hasNext(...)@251: {1}, {0}

  • void windowClosed()

    • Kind Annotation Text

  • void windowDeactivated()

    • Kind Annotation Text
    presumptiongetFrame(...)@267 != null
    presumptionjava.lang.Object:getClass(...)@267 != null
    presumptionjava.util.logging.Logger:getLogger(...)@47 != null

  • void windowOpened()

    • Kind Annotation Text
    test_vectorgetFrame(...)@222: Inverse{null}, Addr_Set{null}
    test_vectorthis.config: Addr_Set{null}, Inverse{null}