method com.dmdirc.addons.ui_swing.DMDircEventQueue__ static_init










method void com.dmdirc.addons.ui_swing.DMDircEventQueue(S wingController)
postthis.controller == controller
postinit'ed(this.controller)










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










method void handleKeyEvent(KeyEvent)
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}









  method not available - call not analyzedInfocall on void com.dmdirc.actions.ActionManager:proce ssEvent(ActionType, StringBuffer, Object[])










  method not available - call not analyzedInfocall on void com.dmdirc.actions.ActionManager:proce ssEvent(ActionType, StringBuffer, Object[])











method void handleMouseEvent(MouseEvent)
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}










method void handleWindowEvent(WindowEvent)
prewe != null
pre(soft) this.controller != null
pre(soft) this.controller.mainFrameCreated != null
pre(soft) this.controller.windows != null
unanalyzedcall on java.util.concurrent.atomic. AtomicBoolean:get
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on java.util.List:add
unanalyzedcall on java.util.List:remove
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}