Messages

Last Msg First Msg

method

com.dmdirc.addons.ui_swing.components. ColourChooser__static_init

method	void com.dmdirc.addons.ui_swing.components. ColourChooser()
post	this.command == &""
post	this.editButton == &new JButton(ColourChooser#2 )
post	this.listeners == &new EventListenerList(Colour Chooser#1)
post	this.previewPanel == &new JPanel(ColourChooser# 5)
post	this.showHex == 1
post	this.showIRC == 1
post	new EventListenerList(ColourChooser#1) num objects == 1
post	new JButton(ColourChooser#2) num objects == 1
post	new JPanel(ColourChooser#5) num objects == 1
post	this.value == &"ffffff"
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 javax.swing.event.EventListenerList
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 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 net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourChooser:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourChooser: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. ColourChooser(Window)
post	this.command == &""
post	this.editButton == &new JButton(ColourChooser#2 )
post	this.listeners == &new EventListenerList(Colour Chooser#1)
post	this.previewPanel == &new JPanel(ColourChooser# 5)
post	this.showHex == 1
post	this.showIRC == 1
post	new EventListenerList(ColourChooser#1) num objects == 1
post	new JButton(ColourChooser#2) num objects == 1
post	new JPanel(ColourChooser#5) num objects == 1
post	this.value == &"ffffff"
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 javax.swing.event.EventListenerList
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 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 net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourChooser:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourChooser: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. ColourChooser(String, bool, bool)
post	this.command == &""
post	this.editButton == &new JButton(ColourChooser#2 )
post	this.listeners == &new EventListenerList(Colour Chooser#1)
post	this.previewPanel == &new JPanel(ColourChooser# 5)
post	this.showHex == hexColours
post	init'ed(this.showHex)
post	this.showIRC == ircColours
post	init'ed(this.showIRC)
post	this.value == initialColour
post	init'ed(this.value)
post	this.window == null
post	new EventListenerList(ColourChooser#1) num objects == 1
post	new JButton(ColourChooser#2) num objects == 1
post	new JPanel(ColourChooser#5) 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 javax.swing.event.EventListenerList
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 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 net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourChooser:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourChooser: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. ColourChooser(String, bool, bool, Window)
presumption	init'ed(java.awt.Color.DARK_GRAY)
post	this.command == &""
post	this.editButton == &new JButton(ColourChooser#2 )
post	this.listeners == &new EventListenerList(Colour Chooser#1)
post	this.previewPanel == &new JPanel(ColourChooser# 5)
post	this.showHex == hexColours
post	init'ed(this.showHex)
post	this.showIRC == ircColours
post	init'ed(this.showIRC)
post	this.value == initialColour
post	init'ed(this.value)
post	this.window == window
post	init'ed(this.window)
post	new EventListenerList(ColourChooser#1) num objects == 1
post	new JButton(ColourChooser#2) num objects == 1
post	new JPanel(ColourChooser#5) 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

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

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

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

method	void setColour(String)
pre	this.previewPanel != null
post	this.value == newValue
post	init'ed(this.value)
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

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	void updateColour(String)
pre	this.previewPanel != null
test_vector	newColour: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:isEmpty(...)@171: {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	init'ed(this.editButton)
pre	(soft) this.cpd != null
pre	(soft) init'ed(this.command)
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)
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 javax.swing.event.EventListenerList:getList enerList
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 setActionCommand(String)
post	this.command == command
post	init'ed(this.command)

method	void addActionListener(ActionListener)
pre	(soft) this.listeners != null
test_vector	listener: Inverse{null}, Addr_Set{null}

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

method	void fireActionPerformed()
pre	this.listeners != null
pre	(soft) init'ed(this.command)
presumption	javax.swing.event.EventListenerList:getListenerList (...)@236 != null
presumption	localListenerList.length@236 in {0, 2..2³²-1}
presumption	localListenerList[i + 1]@236 != null

Prev Msg Next Msg

overflow

click for all messages in this file Low Prob.

check that i in {-2_147_483_650..2³²-3}

Prev Msg Next Msg

Prev Msg Next Msg

array index out of bounds

click for all messages in this file Medium Prob.

check that (i + 1) < localListenerList.length

Prev Msg Next Msg

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