method com.dmdirc.addons.ui_swing.components. TextAreaInputField$1__static_init

method com.dmdirc.addons.ui_swing.components. TextAreaInputField__static_init










method void com.dmdirc.addons.ui_swing.components. TextAreaInputField(int, int)










method void com.dmdirc.addons.ui_swing.components. TextAreaInputField(String)










method void addActionListener(ActionListener)










method void removeActionListener(ActionListener)










method void showColourPicker(bool, bool)
presumption(int) (java.awt.Point:getX(...)@100) in {-231..232-1}
presumption(int) (java.awt.Point:getY(...)@100) in {-232..8_589_934_590}
presumptioncom.dmdirc.addons.ui_swing.components. ColourPickerDialog:getHeight(...)@100 - (int) (java.awt.Point:getY(...)@100) in {-232+1. .231}
presumptioncom.dmdirc.addons.ui_swing.components. TextAreaInputField:getLocationOnScreen(...)@100 != null
presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@83 != null
postthis.colourPicker == One-of{old this.colourPicker, &new ColourPickerDialog(showColourPicker#1)}
postnew ArrayList(ColourPickerPanel#1) num objects <= 1
postnew ColourPickerDialog(showColourPicker#1) num objects <= 1
postnew ColourPickerDialog(showColourPicker#1). colourChooser == &amp;new ColourPickerPanel(ColourP ickerDialog#1)
postinit'ed(new ColourPickerDialog(showColourPicker#1). window)
postnew ColourPickerPanel(ColourPickerDialog#1) num objects <= 1
postnew ColourPickerPanel(ColourPickerDialog#1). listeners == &amp;new ArrayList(ColourPickerPanel#1 )
postnew ColourPickerPanel(ColourPickerDialog#1). saturation == 1
postinit'ed(new ColourPickerPanel(ColourPickerDialog#1) .showHex)
postinit'ed(new ColourPickerPanel(ColourPickerDialog#1) .showIrc)
unanalyzedcall on java.awt.event.WindowAdapter
unanalyzedcall on java.awt.Window:addWindowListener
unanalyzedcall on com.dmdirc.addons.ui_swing.components. StandardDialog:setIconImages
unanalyzedcall on javax.swing.JDialog
unanalyzedcall on java.awt.Window:getIconImages
unanalyzedcall on javax.swing.JPanel
unanalyzedcall on java.util.ArrayList
unanalyzedcall on java.awt.Dimension
unanalyzedcall on com.dmdirc.addons.ui_swing.components. ColourPickerPanel:setPreferredSize
unanalyzedcall on com.dmdirc.addons.ui_swing.components. ColourPickerPanel:addMouseListener
unanalyzedcall on com.dmdirc.addons.ui_swing.components. ColourPickerPanel:addMouseMotionListener
unanalyzedcall on com.dmdirc.addons.ui_swing.components. ColourPickerPanel:addMouseWheelListener
unanalyzedcall on com.dmdirc.addons.ui_swing.components. ColourPickerDialog:setDefaultCloseOperation
unanalyzedcall on com.dmdirc.addons.ui_swing.components. ColourPickerDialog:add
unanalyzedcall on com.dmdirc.addons.ui_swing.components. ColourPickerDialog:pack
unanalyzedcall on com.dmdirc.addons.ui_swing.components. ColourPickerDialog:setResizable
unanalyzedcall on com.dmdirc.addons.ui_swing.components. ColourPickerDialog:setFocusableWindowState
unanalyzedcall on java.util.List:add
test_vectorcom.dmdirc.config.ConfigManager:getOptionBool(... )@83: {0}, {1}









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











method void com.dmdirc.addons.ui_swing.components. TextAreaInputField$1(TextAreaInputField)










method void actionPerformed(ActionEvent)
prethis.colourPicker != null
pre(soft) actionEvent != null
presumptioncom.dmdirc.addons.ui_swing.components. TextAreaInputField:getDocument(...)@91 != null









  method not available - call not analyzedInfocall on Document com.dmdirc.addons.ui_swing. components.TextAreaInputField:getDocument()
  method not available - call not analyzedInfocall on int com.dmdirc.addons.ui_swing.components. TextAreaInputField:getCaretPosition()










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










  method not available - call not analyzedInfocall on Point com.dmdirc.addons.ui_swing. components.TextAreaInputField:getLocationOnScreen()
  method not available - call not analyzedInfocall on int com.dmdirc.addons.ui_swing.components. ColourPickerDialog:getHeight()
  method not available - call not analyzedInfocall on void com.dmdirc.addons.ui_swing.components. ColourPickerDialog:setLocation(int, int)










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











method void hideColourPicker()
preinit'ed(this.colourPicker)
postthis.colourPicker == null
test_vectorthis.colourPicker: Addr_Set{null}, Inverse{null}









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