SwingInputHandler.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void access$000(SwingInputHandler)

    • Kind Annotation Text
    prex0 != null

  • void access$100(SwingInputHandler)

    • Kind Annotation Text
    prex0 != null

  • void access$200(SwingInputHandler)

    • Kind Annotation Text
    prex0 != null

  • InputField access$300(SwingInputHandler)

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

  • InputField access$400(SwingInputHandler)

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

  • void access$500(SwingInputHandler, String, int, bool, bool)

    • Kind Annotation Text
    prex0 != null

  • void actionPerformed(ActionEvent)

    • Kind Annotation Text
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. SwingInputHandler:doBufferUp

  • void actionPerformed(ActionEvent)

    • Kind Annotation Text
    prethis.target != null
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker
    unanalyzedcall on javax.swing.SwingWorker

  • void actionPerformed(ActionEvent)

    • Kind Annotation Text
    unanalyzedcall on javax.swing.SwingWorker

  • void actionPerformed(ActionEvent)

    • Kind Annotation Text
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. SwingInputHandler:doBufferDown

  • void addDownHandler()

    • Kind Annotation Text
    preinit'ed(this.target)
    presumptioncom.dmdirc.util.ReturnableThread:getObject(... )@203 != null
    presumptionjavax.swing.text.JTextComponent:getActionMap(... )@103 != null
    presumptionjavax.swing.text.JTextComponent:getInputMap(... )@119 != null
    presumptionjavax.swing.text.JTextComponent:getInputMap(... )@122 != null
    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.Class:getName
    unanalyzedcall on java.lang.Object:getClass
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.System:getProperty
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on javax.swing.AbstractAction
    unanalyzedcall on javax.swing.SwingUtilities:invokeAndWait
    unanalyzedcall on javax.swing.SwingUtilities:isEventDispatchT hread
    unanalyzedcall on javax.swing.UIManager:getLookAndFeel

  • void addEnterHandler()

    • Kind Annotation Text
    preinit'ed(this.target)
    presumptioncom.dmdirc.util.ReturnableThread:getObject(... )@203 != null
    presumptionjavax.swing.text.JTextComponent:getActionMap(... )@172 != null
    presumptionjavax.swing.text.JTextComponent:getInputMap(... )@197 != null
    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.Throwable:__curr_excep_obj
    unanalyzedcall on javax.swing.AbstractAction
    unanalyzedcall on javax.swing.SwingUtilities:invokeAndWait
    unanalyzedcall on javax.swing.SwingUtilities:isEventDispatchT hread

  • void addKeyHandler()

    • Kind Annotation Text
    prethis.target != null

  • void addTabHandler()

    • Kind Annotation Text
    preinit'ed(this.target)
    presumptioncom.dmdirc.util.ReturnableThread:getObject(... )@203 != null
    presumptionjavax.swing.text.JTextComponent:getActionMap(... )@136 != null
    presumptionjavax.swing.text.JTextComponent:getInputMap(... )@159 != null
    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.Throwable:__curr_excep_obj
    unanalyzedcall on javax.swing.AbstractAction
    unanalyzedcall on javax.swing.SwingUtilities:invokeAndWait
    unanalyzedcall on javax.swing.SwingUtilities:isEventDispatchT hread

  • void addUpHandler()

    • Kind Annotation Text
    preinit'ed(this.target)
    presumptioncom.dmdirc.util.ReturnableThread:getObject(... )@203 != null
    presumptionjavax.swing.text.JTextComponent:getActionMap(... )@70 != null
    presumptionjavax.swing.text.JTextComponent:getInputMap(... )@86 != null
    presumptionjavax.swing.text.JTextComponent:getInputMap(... )@89 != null
    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.Class:getName
    unanalyzedcall on java.lang.Object:getClass
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.System:getProperty
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on javax.swing.AbstractAction
    unanalyzedcall on javax.swing.SwingUtilities:invokeAndWait
    unanalyzedcall on javax.swing.SwingUtilities:isEventDispatchT hread
    unanalyzedcall on javax.swing.UIManager:getLookAndFeel

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

    • Kind Annotation Text

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

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.components.SwingInputHandler$2(SwingInputHandler)

    • Kind Annotation Text

  • com.dmdirc.addons.ui_swing.components.SwingInputHandler$2__static_init

    • Kind Annotation Text

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

    • Kind Annotation Text
    unanalyzedcall on javax.swing.SwingWorker

  • com.dmdirc.addons.ui_swing.components.SwingInputHandler$3$1__static_init

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.components.SwingInputHandler$3(SwingInputHandler)

    • Kind Annotation Text

  • com.dmdirc.addons.ui_swing.components.SwingInputHandler$3__static_init

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.components.SwingInputHandler$4$1(SwingInputHandler$4, String)

    • Kind Annotation Text
    postinit'ed(this.val$line)
    postthis.val$line == Param_2
    unanalyzedcall on javax.swing.SwingWorker

  • com.dmdirc.addons.ui_swing.components.SwingInputHandler$4$1__static_init

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.components.SwingInputHandler$4(SwingInputHandler)

    • Kind Annotation Text

  • com.dmdirc.addons.ui_swing.components.SwingInputHandler$4__static_init

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.components.SwingInputHandler$5(SwingInputHandler, String, KeyEvent)

    • Kind Annotation Text
    postinit'ed(this.val$e)
    postinit'ed(this.val$line)
    postthis.val$e == Param_3
    postthis.val$line == Param_2

  • com.dmdirc.addons.ui_swing.components.SwingInputHandler$5__static_init

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.components.SwingInputHandler(InputField, CommandParser, InputWindow)

    • Kind Annotation Text

  • com.dmdirc.addons.ui_swing.components.SwingInputHandler__static_init

    • Kind Annotation Text

  • Object doInBackground()

    • Kind Annotation Text
    postreturn_value == null

  • Object doInBackground()

    • Kind Annotation Text
    postreturn_value == null
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. SwingInputHandler:doTabCompletion

  • void keyPressed(KeyEvent)

    • Kind Annotation Text
    pre(soft) init'ed(this.flags)
    pre(soft) this.target != null
    pree != null
    unanalyzedcall on java.awt.event.KeyEvent:isControlDown
    unanalyzedcall on java.awt.event.KeyEvent:isMetaDown
    unanalyzedcall on java.lang.Class:getName
    unanalyzedcall on java.lang.Object:getClass
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.System:getProperty
    unanalyzedcall on javax.swing.UIManager:getLookAndFeel
    test_vectorjava.awt.event.KeyEvent:getKeyCode(...)@224: {38}, {-231..37, 39..232-1}
    test_vectorjava.awt.event.KeyEvent:getKeyCode(...)@224: {40}, {-231..39, 41..232-1}
    test_vectorjava.awt.event.KeyEvent:getKeyCode(...)@224: {9}, {-231..8, 10..232-1}
    test_vectorjava.awt.event.KeyEvent:getKeyCode(...)@227: {-231..9, 11..232-1}, {10}
    test_vectorthis.flags & 8: {0..7}, {8}

  • void keyReleased(KeyEvent)

    • Kind Annotation Text

  • void keyTyped(KeyEvent)

    • Kind Annotation Text

  • void run()

    • Kind Annotation Text
    prethis.val$e != null
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. SwingInputHandler:handleKeyPressed
    unanalyzedcall on java.awt.event.KeyEvent:isControlDown
    unanalyzedcall on java.awt.event.KeyEvent:isMetaDown
    unanalyzedcall on java.lang.Class:getName
    unanalyzedcall on java.lang.Object:getClass
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.System:getProperty
    unanalyzedcall on javax.swing.UIManager:getLookAndFeel