MDIBar.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • MainFrame access$000(MDIBar)

    • Kind Annotation Text
    preinit'ed(x0.mainFrame)
    prex0 != null
    postinit'ed(return_value)
    postreturn_value == x0.mainFrame

  • String access$100(MDIBar)

    • Kind Annotation Text
    preinit'ed(x0.visibility)
    prex0 != null
    postinit'ed(return_value)
    postreturn_value == x0.visibility

  • void actionPerformed(ActionEvent)

    • Kind Annotation Text
    pre(soft) e != null
    pre(soft) this.closeButton != null
    pre(soft) this.minimiseButton != null
    pre(soft) this.restoreButton != null
    preinit'ed(this.activeFrame)
    test_vectorjava.lang.Object:equals(...)@206: {0}, {1}
    test_vectorjava.lang.Object:equals(...)@208: {0}, {1}
    test_vectorjava.lang.Object:equals(...)@210: {0}, {1}
    test_vectorthis.activeFrame: Inverse{null}, Addr_Set{null}

  • void addWindow(FrameContainer)

    • Kind Annotation Text
    prewindow != null
    presumptioncom.dmdirc.FrameContainer:getFrame(...)@153 != null
    unanalyzedcall on java.lang.Runnable:run
    unanalyzedcall on javax.swing.SwingUtilities:invokeLater
    unanalyzedcall on javax.swing.SwingUtilities:isEventDispatchT hread

  • void addWindow(FrameContainer, FrameContainer)

    • Kind Annotation Text
    prewindow != null
    unanalyzedcall on com.dmdirc.FrameContainer:getFrame
    unanalyzedcall on java.lang.Runnable:run
    unanalyzedcall on javax.swing.JInternalFrame:addPropertyChang eListener
    unanalyzedcall on javax.swing.JInternalFrame:instanceof
    unanalyzedcall on javax.swing.SwingUtilities:invokeLater
    unanalyzedcall on javax.swing.SwingUtilities:isEventDispatchT hread

  • bool canPositionHorizontally()

    • Kind Annotation Text
    postreturn_value == 1

  • bool canPositionVertically()

    • Kind Annotation Text
    postreturn_value == 1

  • void check()

    • Kind Annotation Text
    unanalyzedcall on java.lang.Runnable:run
    unanalyzedcall on javax.swing.SwingUtilities:invokeLater
    unanalyzedcall on javax.swing.SwingUtilities:isEventDispatchT hread

  • void com.dmdirc.addons.ui_swing.components.MDIBar$1(MDIBar)

    • Kind Annotation Text

  • com.dmdirc.addons.ui_swing.components.MDIBar$1__static_init

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.components.MDIBar(MainFrame)

    • Kind Annotation Text
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@74 != null
    presumptioncom.dmdirc.ui.IconManager:getIconManager(...)@77 != null
    presumptioncom.dmdirc.ui.IconManager:getIconManager(...)@79 != null
    presumptioncom.dmdirc.ui.IconManager:getIconManager(...)@81 != null
    postinit'ed(this.mainFrame)
    postinit'ed(this.visibility)
    postnew NoFocusButton(MDIBar#1) num objects == 1
    postnew NoFocusButton(MDIBar#2) num objects == 1
    postnew NoFocusButton(MDIBar#3) num objects == 1
    postthis.closeButton == &new NoFocusButton(MDIBar#1 )
    postthis.config != null
    postthis.mainFrame == mainFrame
    postthis.minimiseButton == &new NoFocusButton(MDIBa r#2)
    postthis.restoreButton == &new NoFocusButton(MDIBar #3)
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. NoFocusButton:setBorder
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. NoFocusButton:setContentAreaFilled
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. NoFocusButton:setFocusPainted
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. NoFocusButton:setFocusable
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. NoFocusButton:setMargin
    unanalyzedcall on java.awt.Insets
    unanalyzedcall on java.lang.Runnable:run
    unanalyzedcall on javax.swing.BorderFactory:createEtchedBorde r
    unanalyzedcall on javax.swing.JButton
    unanalyzedcall on javax.swing.SwingUtilities:invokeLater
    unanalyzedcall on javax.swing.SwingUtilities:isEventDispatchT hread

  • com.dmdirc.addons.ui_swing.components.MDIBar__static_init

    • Kind Annotation Text

  • void configChanged(String, String)

    • Kind Annotation Text
    prethis.config != null
    postinit'ed(this.visibility)
    unanalyzedcall on java.lang.Runnable:run
    unanalyzedcall on javax.swing.SwingUtilities:invokeLater
    unanalyzedcall on javax.swing.SwingUtilities:isEventDispatchT hread

  • void delWindow(FrameContainer)

    • Kind Annotation Text
    prewindow != null
    presumptioncom.dmdirc.FrameContainer:getFrame(...)@163 != null
    unanalyzedcall on java.lang.Runnable:run
    unanalyzedcall on javax.swing.SwingUtilities:invokeLater
    unanalyzedcall on javax.swing.SwingUtilities:isEventDispatchT hread

  • void delWindow(FrameContainer, FrameContainer)

    • Kind Annotation Text
    prewindow != null
    unanalyzedcall on com.dmdirc.FrameContainer:getFrame
    unanalyzedcall on java.lang.Runnable:run
    unanalyzedcall on javax.swing.JInternalFrame:instanceof
    unanalyzedcall on javax.swing.JInternalFrame:removePropertyCh angeListener
    unanalyzedcall on javax.swing.SwingUtilities:invokeLater
    unanalyzedcall on javax.swing.SwingUtilities:isEventDispatchT hread

  • void propertyChange(PropertyChangeEvent)

    • Kind Annotation Text
    preevt != null
    prethis.restoreButton != null
    presumptioncom.dmdirc.ui.IconManager:getIconManager(...)@187 != null
    presumptioncom.dmdirc.ui.IconManager:getIconManager(...)@190 != null
    presumptionjava.beans.PropertyChangeEvent:getNewValue(... )@186 != null
    unanalyzedcall on java.lang.Runnable:run
    unanalyzedcall on javax.swing.SwingUtilities:invokeLater
    unanalyzedcall on javax.swing.SwingUtilities:isEventDispatchT hread
    test_vectorjava.lang.Boolean:booleanValue(...)@186: {0}, {1}

  • void run()

    • Kind Annotation Text
    pre(soft) init'ed(this.visibility)
    pre(soft) this.closeButton != null
    pre(soft) this.mainFrame.desktopPane != null
    pre(soft) this.minimiseButton != null
    pre(soft) this.restoreButton != null
    preinit'ed(this.mainFrame)
    presumptionjavax.swing.JDesktopPane:getAllFrames(...)@119 != null
    presumptionjavax.swing.JDesktopPane:getAllFrames(...)@126 != null
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. NoFocusButton:setEnabled
    unanalyzedcall on com.dmdirc.logger.Logger:appError
    unanalyzedcall on com.dmdirc.util.ReturnableThread
    unanalyzedcall on com.dmdirc.util.ReturnableThread:getObject
    unanalyzedcall on com.dmdirc.util.ReturnableThread:run
    unanalyzedcall on java.lang.Boolean:booleanValue
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on javax.swing.SwingUtilities:invokeAndWait
    unanalyzedcall on javax.swing.SwingUtilities:isEventDispatchT hread
    test_vectorjava.lang.String:equalsIgnoreCase(...)@118: {0}, {1}
    test_vectorjava.lang.String:equalsIgnoreCase(...)@120: {0}, {1}
    test_vectorjava.lang.String:equalsIgnoreCase(...)@122: {0}, {1}
    test_vectorthis.mainFrame: Inverse{null}, Addr_Set{null}

  • void selectionChanged(Window)

    • Kind Annotation Text
    postinit'ed(this.activeFrame)
    postthis.activeFrame == window

  • void setEnabled(bool)

    • Kind Annotation Text
    prethis.closeButton != null
    prethis.minimiseButton != null
    prethis.restoreButton != null

  • void setParent(JComponent)

    • Kind Annotation Text