Messages

method

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

method

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

method

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

method

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

method

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

method

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

method

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

method

com.dmdirc.addons.ui_swing.components. SwingInputHandler__static_init

method	void access$000(SwingInputHandler)
pre	x0 != null

method	void access$100(SwingInputHandler)
pre	x0 != null

method	void access$200(SwingInputHandler)
pre	x0 != null

method	InputField access$300(SwingInputHandler)
pre	x0 != null
pre	init'ed(x0.target)
post	return_value == x0.target
post	init'ed(return_value)

method	InputField access$400(SwingInputHandler)
pre	x0 != null
pre	init'ed(x0.target)
post	return_value == x0.target
post	init'ed(return_value)

method	void access$500(SwingInputHandler, String, int, bool, bool)
pre	x0 != null

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. SwingInputHandler:doBufferUp()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. SwingInputHandler:doBufferDown()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. SwingInputHandler:doTabCompletion()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. SwingInputHandler:handleKeyPressed(String, int, bool, bool)

method

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

method not available - call not analyzed Info call on void com.dmdirc.ui.input.InputHandler(Input Field, CommandParser, InputWindow)

method	void addUpHandler()
pre	init'ed(this.target)
presumption	com.dmdirc.util.ReturnableThread:getObject(... )@203 != null
presumption	javax.swing.text.JTextComponent:getActionMap(... )@70 != null
presumption	javax.swing.text.JTextComponent:getInputMap(... )@86 != null
presumption	javax.swing.text.JTextComponent:getInputMap(... )@89 != null
unanalyzed	call on javax.swing.AbstractAction
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on javax.swing.UIManager:getLookAndFeel
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.String:equals
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
unanalyzed	call on com.dmdirc.util.ReturnableThread

method

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

method	void actionPerformed(ActionEvent)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputHandler:doBufferUp

method	void addDownHandler()
pre	init'ed(this.target)
presumption	com.dmdirc.util.ReturnableThread:getObject(... )@203 != null
presumption	javax.swing.text.JTextComponent:getActionMap(... )@103 != null
presumption	javax.swing.text.JTextComponent:getInputMap(... )@119 != null
presumption	javax.swing.text.JTextComponent:getInputMap(... )@122 != null
unanalyzed	call on javax.swing.AbstractAction
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on javax.swing.UIManager:getLookAndFeel
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.String:equals
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
unanalyzed	call on com.dmdirc.util.ReturnableThread

method

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

method	void actionPerformed(ActionEvent)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputHandler:doBufferDown

method	void addTabHandler()
pre	init'ed(this.target)
presumption	com.dmdirc.util.ReturnableThread:getObject(... )@203 != null
presumption	javax.swing.text.JTextComponent:getActionMap(... )@136 != null
presumption	javax.swing.text.JTextComponent:getInputMap(... )@159 != null
unanalyzed	call on javax.swing.AbstractAction
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
unanalyzed	call on com.dmdirc.util.ReturnableThread

method

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

method	void com.dmdirc.addons.ui_swing.components. SwingInputHandler$3$1(SwingInputHandler$3)
unanalyzed	call on javax.swing.SwingWorker

method	void actionPerformed(ActionEvent)
unanalyzed	call on javax.swing.SwingWorker

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. SwingInputHandler$3$1:execute()

method	Object doInBackground()
post	return_value == null
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputHandler:doTabCompletion

method	void addEnterHandler()
pre	init'ed(this.target)
presumption	com.dmdirc.util.ReturnableThread:getObject(... )@203 != null
presumption	javax.swing.text.JTextComponent:getActionMap(... )@172 != null
presumption	javax.swing.text.JTextComponent:getInputMap(... )@197 != null
unanalyzed	call on javax.swing.AbstractAction
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
unanalyzed	call on com.dmdirc.util.ReturnableThread

method

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

method	void actionPerformed(ActionEvent)
pre	this.target != null
unanalyzed	call on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker
unanalyzed	call on javax.swing.SwingWorker

method not available - call not analyzed Info call on String com.dmdirc.ui.interfaces. InputField:getText()

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. InputField:setText(String)

method	void com.dmdirc.addons.ui_swing.components. SwingInputHandler$4$1(SwingInputHandler$4, String)
post	this.val$line == Param_2
post	init'ed(this.val$line)
unanalyzed	call on javax.swing.SwingWorker

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. SwingInputHandler$4$1:execute()

method	Object doInBackground()
post	return_value == null

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. SwingInputHandler:enterPressed(String)

method	void addKeyHandler()
pre	this.target != null

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. InputField:addKeyListener(KeyListener)

method

void keyTyped(KeyEvent)

method	void keyPressed(KeyEvent)
pre	e != null
pre	(soft) init'ed(this.flags)
pre	(soft) this.target != null
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on javax.swing.UIManager:getLookAndFeel
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.awt.event.KeyEvent:isMetaDown
unanalyzed	call on java.awt.event.KeyEvent:isControlDown
test_vector	this.flags & 8: {0..7}, {8}
test_vector	java.awt.event.KeyEvent:getKeyCode(...)@224: {9}, {-2³¹..8, 10..2³²-1}
test_vector	java.awt.event.KeyEvent:getKeyCode(...)@224: {38}, {-2³¹..37, 39..2³²-1}
test_vector	java.awt.event.KeyEvent:getKeyCode(...)@224: {40}, {-2³¹..39, 41..2³²-1}
test_vector	java.awt.event.KeyEvent:getKeyCode(...)@227: {-2³¹..9, 11..2³²-1}, {10}

method not available - call not analyzed Info call on String com.dmdirc.ui.interfaces. InputField:getText()

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. InputField:setText(String)

method	void com.dmdirc.addons.ui_swing.components. SwingInputHandler$5(SwingInputHandler, String, KeyEvent)
post	this.val$e == Param_3
post	init'ed(this.val$e)
post	this.val$line == Param_2
post	init'ed(this.val$line)

method	void run()
pre	this.val$e != null
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on javax.swing.UIManager:getLookAndFeel
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.awt.event.KeyEvent:isMetaDown
unanalyzed	call on java.awt.event.KeyEvent:isControlDown
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputHandler:handleKeyPressed

method

void keyReleased(KeyEvent)

method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.components. SwingInputHandler:doBufferUp()
method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.components. SwingInputHandler:doBufferDown()
method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.components. SwingInputHandler:doTabCompletion()
method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.components. SwingInputHandler:handleKeyPressed(String, int, bool, bool)