Messages

method

com.dmdirc.addons.ui_swing.components. SwingInputField$25__static_init

method

com.dmdirc.addons.ui_swing.components. SwingInputField$24__static_init

method

com.dmdirc.addons.ui_swing.components. SwingInputField$23__static_init

method

com.dmdirc.addons.ui_swing.components. SwingInputField$22__static_init

method

com.dmdirc.addons.ui_swing.components. SwingInputField$21__static_init

method

com.dmdirc.addons.ui_swing.components. SwingInputField$20__static_init

method

com.dmdirc.addons.ui_swing.components. SwingInputField$19__static_init

method

com.dmdirc.addons.ui_swing.components. SwingInputField$18__static_init

method

com.dmdirc.addons.ui_swing.components. SwingInputField$17__static_init

method

com.dmdirc.addons.ui_swing.components. SwingInputField$16__static_init

method

com.dmdirc.addons.ui_swing.components. SwingInputField$15__static_init

method

com.dmdirc.addons.ui_swing.components. SwingInputField$14__static_init

method

com.dmdirc.addons.ui_swing.components. SwingInputField$13__static_init

method

com.dmdirc.addons.ui_swing.components. SwingInputField$12__static_init

method

com.dmdirc.addons.ui_swing.components. SwingInputField$11__static_init

method

com.dmdirc.addons.ui_swing.components. SwingInputField$10__static_init

method

com.dmdirc.addons.ui_swing.components. SwingInputField$9__static_init

method

com.dmdirc.addons.ui_swing.components. SwingInputField$8__static_init

method

com.dmdirc.addons.ui_swing.components. SwingInputField$7__static_init

method

com.dmdirc.addons.ui_swing.components. SwingInputField$6__static_init

method

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

method

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

method

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

method

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

method

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

method

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

method

com.dmdirc.addons.ui_swing.components. SwingInputField__static_init

method	JTextField access$000(SwingInputField)
pre	x0 != null
post	return_value == x0.textField
post	init'ed(return_value)

method	ColourPickerDialog access$102(SwingInputField, ColourPickerDialog)
pre	x0 != null
post	return_value == x1
post	init'ed(return_value)
post	x0.colourPicker == return_value

method	ColourPickerDialog access$100(SwingInputField)
pre	x0 != null
pre	init'ed(x0.colourPicker)
post	return_value == x0.colourPicker
post	init'ed(return_value)

method	ListenerList access$200(SwingInputField)
pre	x0 != null
post	return_value == x0.listeners
post	init'ed(return_value)

method	JLabel access$300(SwingInputField)
pre	x0 != null
post	return_value == x0.errorIndicator
post	init'ed(return_value)

method	JLabel access$400(SwingInputField)
pre	x0 != null
post	return_value == x0.wrapIndicator
post	init'ed(return_value)

method	void com.dmdirc.addons.ui_swing.components. SwingInputField()
presumption	com.dmdirc.ui.IconManager:getIconManager(...)@78 != null
presumption	com.dmdirc.ui.IconManager:getIconManager(...)@81 != null
post	this.errorIndicator == &new JLabel(SwingInputFi eld#4)
post	this.listeners == &new ListenerList(SwingInputF ield#1)
post	this.textField == &new JTextField(SwingInputFie ld#2)
post	this.wrapIndicator == &new JLabel(SwingInputFie ld#3)
post	new JLabel(SwingInputField#3) num objects == 1
post	new JLabel(SwingInputField#4) num objects == 1
post	new JTextField(SwingInputField#2) num objects == 1
post	new ListenerList(SwingInputField#1) num objects == 1

method not available - call not analyzed Info call on void com.dmdirc.util.ListenerList()

method not available - call not analyzed Info call on IconManager com.dmdirc.ui.IconManager:getIc onManager()

method not available - call not analyzed Info call on Icon com.dmdirc.ui.IconManager:getIcon(Stri ng)

method not available - call not analyzed Info call on void net.miginfocom.swing.MigLayout(String)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. SwingInputField:setLayout(LayoutManager)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. SwingInputField:add(Component, Object)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. SwingInputField:setActionMap(ActionMap)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. SwingInputField:setInputMap(int, InputMap)

method

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

method	void requestFocus()
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

method	void run()
pre	this.textField != null

method

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

method	bool requestFocusInWindow()
presumption	com.dmdirc.util.ReturnableThread:getObject(... )@203 != null
post	init'ed(return_value)
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on com.dmdirc.util.ReturnableThread
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

method not available - call not analyzed Info call on void com.dmdirc.util.ReturnableThread()

method	void run()
pre	this.textField != null

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. SwingInputField$2:setObject(Object)

method	void com.dmdirc.addons.ui_swing.components. SwingInputField$3(SwingInputField, bool, bool)
post	this.val$hex == Param_3
post	init'ed(this.val$hex)
post	this.val$irc == Param_2
post	init'ed(this.val$irc)

method	void showColourPicker(bool, bool)
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

method	void run()
pre	(soft) this.textField != null
presumption	(int) (java.awt.Point:getX(...)@152) in {-2³¹..2³²-1}
presumption	(int) (java.awt.Point:getY(...)@152) in {-2³²..8_589_934_590}
presumption	com.dmdirc.addons.ui_swing.components. ColourPickerDialog:getHeight(...)@152 - (int) (java.awt.Point:getY(...)@152) in {-2³²+1. .2³¹}
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@134 != null
presumption	javax.swing.JTextField:getLocationOnScreen(... )@152 != null
post	this.colourPicker == One-of{old this.colourPicker, &new ColourPickerDialog(run#1)}
post	new ArrayList(ColourPickerPanel#1) num objects <= 1
post	new ColourPickerDialog(run#1) num objects <= 1
post	new ColourPickerDialog(run#1).colourChooser == &new ColourPickerPanel(ColourPickerDialog#1)
post	init'ed(new ColourPickerDialog(run#1).window)
post	new ColourPickerPanel(ColourPickerDialog#1) num objects <= 1
post	new ColourPickerPanel(ColourPickerDialog#1). listeners == &new ArrayList(ColourPickerPanel#1 )
post	new ColourPickerPanel(ColourPickerDialog#1). saturation == 1
post	init'ed(new ColourPickerPanel(ColourPickerDialog#1) .showHex)
post	init'ed(new ColourPickerPanel(ColourPickerDialog#1) .showIrc)
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on java.awt.Window:addWindowListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:setIconImages
unanalyzed	call on javax.swing.JDialog
unanalyzed	call on java.awt.Window:getIconImages
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.awt.Dimension
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourPickerPanel:setPreferredSize
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourPickerPanel:addMouseListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourPickerPanel:addMouseMotionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourPickerPanel:addMouseWheelListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourPickerDialog:setDefaultCloseOperation
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourPickerDialog:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourPickerDialog:pack
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourPickerDialog:setResizable
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourPickerDialog:setFocusableWindowState
unanalyzed	call on java.util.List:add
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@134: {0}, {1}

method not available - call not analyzed Info call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()

method not available - call not analyzed Info call on bool com.dmdirc.config.ConfigManager:getOpt ionBool(String, String)

method

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

method	void actionPerformed(ActionEvent)
pre	this.colourPicker != null
pre	(soft) actionEvent != null
pre	(soft) this.textField != null
presumption	javax.swing.JTextField:getDocument(...)@142 != null

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

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing.components. ColourPickerDialog:getHeight()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. ColourPickerDialog:setLocation(int, int)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. ColourPickerDialog:setVisible(bool)

method

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

method	void hideColourPicker()
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

method	void run()
pre	init'ed(this.colourPicker)
test_vector	this.colourPicker: Addr_Set{null}, Inverse{null}

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

method

void com.dmdirc.addons.ui_swing.components. SwingInputField$5(SwingInputField)

method	JTextField getTextField()
post	init'ed(return_value)
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 not available - call not analyzed Info call on void com.dmdirc.util.ReturnableThread()

method

void run()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. SwingInputField$5:setObject(Object)

method	void com.dmdirc.addons.ui_swing.components. SwingInputField$6(SwingInputField, ActionListener)
post	this.val$listener == Param_2
post	init'ed(this.val$listener)

method	void addActionListener(ActionListener)
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

method	void run()
pre	this.textField != null

method	void com.dmdirc.addons.ui_swing.components. SwingInputField$7(SwingInputField, KeyListener)
post	this.val$listener == Param_2
post	init'ed(this.val$listener)

method	void addKeyListener(KeyListener)
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

method	void run()
pre	this.listeners != null

method not available - call not analyzed Info call on void com.dmdirc.util.ListenerList:add(Class , Object)

method	void com.dmdirc.addons.ui_swing.components. SwingInputField$8(SwingInputField, ActionListener)
post	this.val$listener == Param_2
post	init'ed(this.val$listener)

method	void removeActionListener(ActionListener)
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

method	void run()
pre	this.textField != null

method	void com.dmdirc.addons.ui_swing.components. SwingInputField$9(SwingInputField, KeyListener)
post	this.val$listener == Param_2
post	init'ed(this.val$listener)

method	void removeKeyListener(KeyListener)
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

method	void run()
pre	this.listeners != null

method not available - call not analyzed Info call on void com.dmdirc.util.ListenerList:remove(Cl ass, Object)

method

void com.dmdirc.addons.ui_swing.components. SwingInputField$10(SwingInputField)

method	String getSelectedText()
post	init'ed(return_value)
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 not available - call not analyzed Info call on void com.dmdirc.util.ReturnableThread()

method	void run()
pre	this.textField != null

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. SwingInputField$10:setObject(Object)

method

void com.dmdirc.addons.ui_swing.components. SwingInputField$11(SwingInputField)

method	int getSelectionEnd()
presumption	com.dmdirc.util.ReturnableThread:getObject(... )@203 != null
post	init'ed(return_value)
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 not available - call not analyzed Info call on void com.dmdirc.util.ReturnableThread()

method	void run()
pre	this.textField != null

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. SwingInputField$11:setObject(Object)

method

void com.dmdirc.addons.ui_swing.components. SwingInputField$12(SwingInputField)

method	int getSelectionStart()
presumption	com.dmdirc.util.ReturnableThread:getObject(... )@203 != null
post	init'ed(return_value)
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 not available - call not analyzed Info call on void com.dmdirc.util.ReturnableThread()

method	void run()
pre	this.textField != null

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. SwingInputField$12:setObject(Object)

method

void com.dmdirc.addons.ui_swing.components. SwingInputField$13(SwingInputField)

method	String getText()
post	init'ed(return_value)
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 not available - call not analyzed Info call on void com.dmdirc.util.ReturnableThread()

method	void run()
pre	this.textField != null

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. SwingInputField$13:setObject(Object)

method	void com.dmdirc.addons.ui_swing.components. SwingInputField$14(SwingInputField, String)
post	this.val$text == Param_2
post	init'ed(this.val$text)

method	void setText(String)
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

method	void run()
pre	this.textField != null

method

void com.dmdirc.addons.ui_swing.components. SwingInputField$15(SwingInputField)

method	int getCaretPosition()
presumption	com.dmdirc.util.ReturnableThread:getObject(... )@203 != null
post	init'ed(return_value)
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 not available - call not analyzed Info call on void com.dmdirc.util.ReturnableThread()

method	void run()
pre	this.textField != null

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. SwingInputField$15:setObject(Object)

method	void com.dmdirc.addons.ui_swing.components. SwingInputField$16(SwingInputField, int)
post	this.val$position == Param_2
post	init'ed(this.val$position)

method	void setCaretPosition(int)
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

method	void run()
pre	this.textField != null

method	void com.dmdirc.addons.ui_swing.components. SwingInputField$17(SwingInputField, String)
post	this.val$clipboard == Param_2
post	init'ed(this.val$clipboard)

method	void replaceSelection(String)
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

method	void run()
pre	this.textField != null

method	void com.dmdirc.addons.ui_swing.components. SwingInputField$18(SwingInputField, Color)
post	this.val$optionColour == Param_2
post	init'ed(this.val$optionColour)

method	void setCaretColor(Color)
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

method	void run()
pre	this.textField != null

method	void com.dmdirc.addons.ui_swing.components. SwingInputField$19(SwingInputField, Color)
post	this.val$optionColour == Param_2
post	init'ed(this.val$optionColour)

method	void setForeground(Color)
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

method	void run()
pre	this.textField != null

method	void com.dmdirc.addons.ui_swing.components. SwingInputField$20(SwingInputField, Color)
post	this.val$optionColour == Param_2
post	init'ed(this.val$optionColour)

method	void setBackground(Color)
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

method	void run()
pre	this.textField != null

method

void com.dmdirc.addons.ui_swing.components. SwingInputField$21(SwingInputField)

method	bool hasFocus()
presumption	com.dmdirc.util.ReturnableThread:getObject(... )@203 != null
post	init'ed(return_value)
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 not available - call not analyzed Info call on void com.dmdirc.util.ReturnableThread()

method	void run()
pre	this.textField != null

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. SwingInputField$21:setObject(Object)

method

void com.dmdirc.addons.ui_swing.components. SwingInputField$22(SwingInputField)

method	bool isFocusOwner()
presumption	com.dmdirc.util.ReturnableThread:getObject(... )@203 != null
post	init'ed(return_value)
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 not available - call not analyzed Info call on void com.dmdirc.util.ReturnableThread()

method	void run()
pre	this.textField != null

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. SwingInputField$22:setObject(Object)

method	void keyTyped(KeyEvent)
pre	this.listeners != null
presumption	com.dmdirc.util.ListenerList:get(...)@436 != null
presumption	java.util.Iterator:next(...)@436 != null
test_vector	java.util.Iterator:hasNext(...)@436: {0}, {1}

method not available - call not analyzed Info call on List com.dmdirc.util.ListenerList:get(Class )

method	void keyPressed(KeyEvent)
pre	this.listeners != null
presumption	com.dmdirc.util.ListenerList:get(...)@448 != null
presumption	java.util.Iterator:next(...)@448 != null
test_vector	java.util.Iterator:hasNext(...)@448: {0}, {1}

method not available - call not analyzed Info call on List com.dmdirc.util.ListenerList:get(Class )

method	void keyReleased(KeyEvent)
pre	this.listeners != null
presumption	com.dmdirc.util.ListenerList:get(...)@460 != null
presumption	java.util.Iterator:next(...)@460 != null
test_vector	java.util.Iterator:hasNext(...)@460: {0}, {1}

method not available - call not analyzed Info call on List com.dmdirc.util.ListenerList:get(Class )

method	void com.dmdirc.addons.ui_swing.components. SwingInputField$23(SwingInputField, String)
post	this.val$reason == Param_2
post	init'ed(this.val$reason)

method	void illegalCommand(String)
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

method	void run()
pre	this.errorIndicator != null
pre	this.wrapIndicator != null

method

void com.dmdirc.addons.ui_swing.components. SwingInputField$24(SwingInputField)

method	void legalCommand()
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

method	void run()
pre	this.errorIndicator != null

method	void com.dmdirc.addons.ui_swing.components. SwingInputField$25(SwingInputField, int)
post	this.val$count == Param_2
post	init'ed(this.val$count)

method	void wrappedText(int)
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

method	void run()
pre	this.errorIndicator != null
pre	this.wrapIndicator != null

	method not available - call not analyzed	Info	call on IconManager com.dmdirc.ui.IconManager:getIc onManager()
	method not available - call not analyzed	Info	call on Icon com.dmdirc.ui.IconManager:getIcon(Stri ng)

	method not available - call not analyzed	Info	call on void net.miginfocom.swing.MigLayout(String)
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.components. SwingInputField:setLayout(LayoutManager)

	method not available - call not analyzed	Info	call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()
	method not available - call not analyzed	Info	call on bool com.dmdirc.config.ConfigManager:getOpt ionBool(String, String)

	method not available - call not analyzed	Info	call on int com.dmdirc.addons.ui_swing.components. ColourPickerDialog:getHeight()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.components. ColourPickerDialog:setLocation(int, int)