DMDircEventQueue.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void com.dmdirc.addons.ui_swing.DMDircEventQueue(SwingController)

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

  • com.dmdirc.addons.ui_swing.DMDircEventQueue__static_init

    • Kind Annotation Text

  • void dispatchEvent(AWTEvent)

    • Kind Annotation Text
    pre(soft) this.controller != null
    pre(soft) this.controller.mainFrameCreated != null
    pre(soft) this.controller.windows != null
    unanalyzedcall on addTopLevelWindow
    unanalyzedcall on com.dmdirc.actions.ActionManager:processEve nt
    unanalyzedcall on delTopLevelWindow
    unanalyzedcall on hasMainFrame
    unanalyzedcall on java.awt.Window:instanceof
    unanalyzedcall on java.awt.event.KeyEvent:getKeyChar
    unanalyzedcall on java.awt.event.KeyEvent:getModifiers
    unanalyzedcall on java.awt.event.MouseEvent:getComponent
    unanalyzedcall on java.awt.event.MouseEvent:getPoint
    unanalyzedcall on java.awt.event.MouseEvent:getX
    unanalyzedcall on java.awt.event.MouseEvent:getY
    unanalyzedcall on java.awt.event.MouseEvent:isPopupTrigger
    unanalyzedcall on java.awt.event.WindowEvent:getID
    unanalyzedcall on java.awt.event.WindowEvent:getSource
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:remove
    unanalyzedcall on java.util.concurrent.atomic. AtomicBoolean:get
    unanalyzedcall on javax.swing.AbstractAction
    unanalyzedcall on javax.swing.JPopupMenu
    unanalyzedcall on javax.swing.JPopupMenu:add
    unanalyzedcall on javax.swing.JPopupMenu:show
    unanalyzedcall on javax.swing.KeyStroke:getKeyStroke
    unanalyzedcall on javax.swing.MenuSelectionManager:defaultMan ager
    unanalyzedcall on javax.swing.MenuSelectionManager:getSelecte dPath
    unanalyzedcall on javax.swing.SwingUtilities:convertPoint
    unanalyzedcall on javax.swing.SwingUtilities:getDeepestCompon entAt
    unanalyzedcall on javax.swing.text.JTextComponent:instanceof

  • void handleKeyEvent(KeyEvent)

    • Kind Annotation Text
    preke != null
    presumptioninit'ed(com.dmdirc.actions.CoreActionType.CLIENT_ KEY_PRESSED)
    test_vectorjava.awt.event.KeyEvent:getKeyChar(...)@84: {112..123, 61_440..61_451}, {0..111, 124..61_439, 61_452..216-1}
    test_vectorjava.awt.event.KeyEvent:getModifiers(...)@137: {0}, {-231..-1, 1..232-1}

  • void handleMouseEvent(MouseEvent)

    • Kind Annotation Text
    preme != null
    presumptionjavax.swing.MenuSelectionManager:defaultManager(... )@167 != null
    presumptionjavax.swing.MenuSelectionManager:getSelectedPath(.. .)@167 != null
    presumptionjavax.swing.SwingUtilities:convertPoint(...)@177 != null
    unanalyzedcall on javax.swing.AbstractAction
    test_vectorjava.awt.event.MouseEvent:getComponent(...)@156: Inverse{null}, Addr_Set{null}
    test_vectorjava.awt.event.MouseEvent:isPopupTrigger(...)@152: {1}, {0}
    test_vectorjavax.swing.MenuSelectionManager:getSelectedPath(.. .).length@167: {0}, {1..+Inf}

  • void handleWindowEvent(WindowEvent)

    • Kind Annotation Text
    pre(soft) this.controller != null
    pre(soft) this.controller.mainFrameCreated != null
    pre(soft) this.controller.windows != null
    prewe != null
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:remove
    unanalyzedcall on java.util.concurrent.atomic. AtomicBoolean:get
    test_vectorjava.awt.event.WindowEvent:getID(...)@190: {-231..199, 201..232-1}, {200}
    test_vectorjava.awt.event.WindowEvent:getID(...)@192: {-231..201, 203..232-1}, {202}
    test_vectorjava.util.concurrent.atomic.AtomicBoolean:get(... )@114: {0}, {1}