Messages

method

com.dmdirc.addons.ui_swing.components. OptionalColourChooser__static_init

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

method	void com.dmdirc.addons.ui_swing.components. OptionalColourChooser()
post	this.editButton == &new JButton(OptionalColourC hooser#2)
post	this.enabled == &new JCheckBox(OptionalColourCh ooser#7)
post	this.listeners == &new ListenerList(OptionalCol ourChooser#1)
post	this.previewPanel == &new JPanel(OptionalColour Chooser#5)
post	this.showHex == 1
post	this.showIRC == 1
post	new JButton(OptionalColourChooser#2) num objects == 1
post	new JCheckBox(OptionalColourChooser#7) num objects == 1
post	new JPanel(OptionalColourChooser#5) num objects == 1
post	new ListenerList(OptionalColourChooser#1) num objects == 1
post	this.value == &""
post	this.window == null
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:getCol our
unanalyzed	call on javax.swing.JPanel:setBackground
unanalyzed	call on javax.swing.JPanel:setToolTipText
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:parseC olour
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on javax.swing.JButton
unanalyzed	call on isWindowsUI
unanalyzed	call on java.awt.Insets
unanalyzed	call on javax.swing.JButton:setMargin
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on java.awt.Dimension
unanalyzed	call on javax.swing.JPanel:setPreferredSize
unanalyzed	call on javax.swing.BorderFactory:createLineBorder
unanalyzed	call on javax.swing.JPanel:setBorder
unanalyzed	call on javax.swing.JCheckBox
unanalyzed	call on javax.swing.JCheckBox:setPreferredSize
unanalyzed	call on javax.swing.JCheckBox:setSelected
unanalyzed	call on javax.swing.JCheckBox:addActionListener
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. OptionalColourChooser:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. OptionalColourChooser:add
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

method	void com.dmdirc.addons.ui_swing.components. OptionalColourChooser(Window)
post	this.editButton == &new JButton(OptionalColourC hooser#2)
post	this.enabled == &new JCheckBox(OptionalColourCh ooser#7)
post	this.listeners == &new ListenerList(OptionalCol ourChooser#1)
post	this.previewPanel == &new JPanel(OptionalColour Chooser#5)
post	this.showHex == 1
post	this.showIRC == 1
post	new JButton(OptionalColourChooser#2) num objects == 1
post	new JCheckBox(OptionalColourChooser#7) num objects == 1
post	new JPanel(OptionalColourChooser#5) num objects == 1
post	new ListenerList(OptionalColourChooser#1) num objects == 1
post	this.value == &""
post	this.window == window
post	init'ed(this.window)
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:getCol our
unanalyzed	call on javax.swing.JPanel:setBackground
unanalyzed	call on javax.swing.JPanel:setToolTipText
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:parseC olour
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on javax.swing.JButton
unanalyzed	call on isWindowsUI
unanalyzed	call on java.awt.Insets
unanalyzed	call on javax.swing.JButton:setMargin
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on java.awt.Dimension
unanalyzed	call on javax.swing.JPanel:setPreferredSize
unanalyzed	call on javax.swing.BorderFactory:createLineBorder
unanalyzed	call on javax.swing.JPanel:setBorder
unanalyzed	call on javax.swing.JCheckBox
unanalyzed	call on javax.swing.JCheckBox:setPreferredSize
unanalyzed	call on javax.swing.JCheckBox:setSelected
unanalyzed	call on javax.swing.JCheckBox:addActionListener
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. OptionalColourChooser:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. OptionalColourChooser:add
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

method	void com.dmdirc.addons.ui_swing.components. OptionalColourChooser(String, bool, bool, bool)
pre	initialColour != null
post	this.editButton == &new JButton(OptionalColourC hooser#2)
post	this.enabled == &new JCheckBox(OptionalColourCh ooser#7)
post	this.listeners == &new ListenerList(OptionalCol ourChooser#1)
post	this.previewPanel == &new JPanel(OptionalColour Chooser#5)
post	this.showHex == hexColours
post	init'ed(this.showHex)
post	this.showIRC == ircColours
post	init'ed(this.showIRC)
post	this.value == initialColour
post	this.value != null
post	this.window == null
post	new JButton(OptionalColourChooser#2) num objects == 1
post	new JCheckBox(OptionalColourChooser#7) num objects == 1
post	new JPanel(OptionalColourChooser#5) num objects == 1
post	new ListenerList(OptionalColourChooser#1) num objects == 1
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:getCol our
unanalyzed	call on javax.swing.JPanel:setBackground
unanalyzed	call on javax.swing.JPanel:setToolTipText
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:parseC olour
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on javax.swing.JButton
unanalyzed	call on isWindowsUI
unanalyzed	call on java.awt.Insets
unanalyzed	call on javax.swing.JButton:setMargin
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on java.awt.Dimension
unanalyzed	call on javax.swing.JPanel:setPreferredSize
unanalyzed	call on javax.swing.BorderFactory:createLineBorder
unanalyzed	call on javax.swing.JPanel:setBorder
unanalyzed	call on javax.swing.JCheckBox
unanalyzed	call on javax.swing.JCheckBox:setPreferredSize
unanalyzed	call on javax.swing.JCheckBox:setSelected
unanalyzed	call on javax.swing.JCheckBox:addActionListener
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. OptionalColourChooser:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. OptionalColourChooser:add
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

method	void com.dmdirc.addons.ui_swing.components. OptionalColourChooser(String, bool, bool, bool, Window)
pre	initialColour != null
presumption	init'ed(java.awt.Color.DARK_GRAY)
post	this.editButton == &new JButton(OptionalColourC hooser#2)
post	this.enabled == &new JCheckBox(OptionalColourCh ooser#7)
post	this.listeners == &new ListenerList(OptionalCol ourChooser#1)
post	this.previewPanel == &new JPanel(OptionalColour Chooser#5)
post	this.showHex == hexColours
post	init'ed(this.showHex)
post	this.showIRC == ircColours
post	init'ed(this.showIRC)
post	this.value == initialColour
post	this.value != null
post	this.window == window
post	init'ed(this.window)
post	new JButton(OptionalColourChooser#2) num objects == 1
post	new JCheckBox(OptionalColourChooser#7) num objects == 1
post	new JPanel(OptionalColourChooser#5) num objects == 1
post	new ListenerList(OptionalColourChooser#1) num objects == 1
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:getCol our
unanalyzed	call on javax.swing.JPanel:setBackground
unanalyzed	call on javax.swing.JPanel:setToolTipText
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:parseC olour
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
test_vector	initialState: {1}, {0}

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. OptionalColourChooser:setLayout(LayoutManager)

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

method	void clearColour()
pre	this.previewPanel != null
post	this.value == &"ffffff"

method not available - call not analyzed Info call on Color com.dmdirc.ui.messages. ColourManager:getColour(String)

method	bool isEnabled()
pre	this.enabled != null
post	init'ed(return_value)

method	String getColour()
pre	init'ed(this.value)
post	return_value == this.value
post	init'ed(return_value)

method	void updateColour(String)
pre	newColour != null
pre	this.previewPanel != null
test_vector	java.lang.String:isEmpty(...)@180: {0}, {1}

method not available - call not analyzed Info call on Color com.dmdirc.ui.messages. ColourManager:getColour(String)

method not available - call not analyzed Info call on Color com.dmdirc.ui.messages. ColourManager:parseColour(String)

method	void actionPerformed(ActionEvent)
pre	e != null
pre	(soft) this.cpd != null
pre	(soft) this.editButton != null
pre	(soft) this.enabled != null
pre	(soft) this.listeners != null
pre	(soft) this.previewPanel != null
pre	(soft) init'ed(this.showHex)
pre	(soft) init'ed(this.showIRC)
pre	(soft) init'ed(this.window)
presumption	java.awt.event.ActionEvent:getActionCommand(... )@206 != null
post	this.cpd == One-of{&new ColourPickerDialog(acti onPerformed#1), old this.cpd}
post	this.cpd != null
post	possibly_updated(this.value)
post	new ArrayList(ColourPickerPanel#1) num objects <= 1
post	new ColourPickerDialog(actionPerformed#1) num objects <= 1
post	init'ed(new ColourPickerDialog(actionPerformed#1). colourChooser)
post	init'ed(new ColourPickerDialog(actionPerformed#1). window)
post	new ColourPickerPanel(ColourPickerDialog#1) num objects <= 1
post	init'ed(new ColourPickerPanel(ColourPickerDialog#1) .listeners)
post	init'ed(new ColourPickerPanel(ColourPickerDialog#1) .saturation)
post	init'ed(new ColourPickerPanel(ColourPickerDialog#1) .showHex)
post	init'ed(new ColourPickerPanel(ColourPickerDialog#1) .showIrc)
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:getCol our
unanalyzed	call on javax.swing.JPanel:setBackground
unanalyzed	call on javax.swing.JPanel:setToolTipText
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:parseC olour
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.awt.event.ActionEvent
unanalyzed	call on java.awt.event.ActionListener:actionPerform ed
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

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

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

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

method	void addActionListener(ActionListener)
pre	this.listeners != null

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

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

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

method	void setWindow(Window)
post	this.window == window
post	init'ed(this.window)

	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. OptionalColourChooser:setLayout(LayoutManager)