ColourChooser.java

ColourChooser.java

current inspection = 2009-09-03 21:56:13 (id #1)

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void actionPerformed(ActionEvent)

Kind	Annotation Text
pre	(soft) init'ed(this.command)
pre	(soft) init'ed(this.showHex)
pre	(soft) init'ed(this.showIRC)
pre	(soft) init'ed(this.window)
pre	(soft) this.cpd != null
pre	(soft) this.listeners != null
pre	(soft) this.previewPanel != null
pre	e != null
pre	init'ed(this.editButton)
post	init'ed(new ColourPickerDialog(actionPerformed#1). colourChooser)
post	init'ed(new ColourPickerDialog(actionPerformed#1). window)
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)
post	new ArrayList(ColourPickerPanel#1) num objects <= 1
post	new ColourPickerDialog(actionPerformed#1) num objects <= 1
post	new ColourPickerPanel(ColourPickerDialog#1) num objects <= 1
post	possibly_updated(this.value)
post	this.cpd != null
post	this.cpd == One-of{&new ColourPickerDialog(acti onPerformed#1), old this.cpd}
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:setDefaultCloseOperation
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourPickerDialog:setFocusableWindowState
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourPickerDialog:setResizable
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. ColourPickerPanel:setPreferredSize
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:setIconImages
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:getCol our
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:parseC olour
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.awt.Window:addWindowListener
unanalyzed	call on java.awt.Window:getIconImages
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.lang.String:isEmpty
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on javax.swing.JDialog
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JPanel:setBackground
unanalyzed	call on javax.swing.JPanel:setToolTipText
unanalyzed	call on javax.swing.event.EventListenerList:getList enerList

void addActionListener(ActionListener)

Kind	Annotation Text
pre	(soft) this.listeners != null
test_vector	listener: Inverse{null}, Addr_Set{null}

void clearColour()

Kind	Annotation Text
pre	this.previewPanel != null
post	this.value == &"ffffff"

void com.dmdirc.addons.ui_swing.components.ColourChooser()

Kind	Annotation Text
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.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	this.value == &"ffffff"
post	this.window == null
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourChooser:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourChooser:setLayout
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:getCol our
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:parseC olour
unanalyzed	call on isWindowsUI
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on javax.swing.BorderFactory:createLineBorder
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JButton:setMargin
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JPanel:setBackground
unanalyzed	call on javax.swing.JPanel:setBorder
unanalyzed	call on javax.swing.JPanel:setPreferredSize
unanalyzed	call on javax.swing.JPanel:setToolTipText
unanalyzed	call on javax.swing.UIManager:getLookAndFeel
unanalyzed	call on javax.swing.event.EventListenerList
unanalyzed	call on net.miginfocom.swing.MigLayout

void com.dmdirc.addons.ui_swing.components.ColourChooser(Window)

Kind	Annotation Text
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
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	this.value == &"ffffff"
post	this.window == window
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourChooser:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourChooser:setLayout
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:getCol our
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:parseC olour
unanalyzed	call on isWindowsUI
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on javax.swing.BorderFactory:createLineBorder
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JButton:setMargin
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JPanel:setBackground
unanalyzed	call on javax.swing.JPanel:setBorder
unanalyzed	call on javax.swing.JPanel:setPreferredSize
unanalyzed	call on javax.swing.JPanel:setToolTipText
unanalyzed	call on javax.swing.UIManager:getLookAndFeel
unanalyzed	call on javax.swing.event.EventListenerList
unanalyzed	call on net.miginfocom.swing.MigLayout

void com.dmdirc.addons.ui_swing.components.ColourChooser(String, bool, bool)

Kind	Annotation Text
post	init'ed(this.showHex)
post	init'ed(this.showIRC)
post	init'ed(this.value)
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.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	this.showIRC == ircColours
post	this.value == initialColour
post	this.window == null
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourChooser:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourChooser:setLayout
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:getCol our
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:parseC olour
unanalyzed	call on isWindowsUI
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on javax.swing.BorderFactory:createLineBorder
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JButton:setMargin
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JPanel:setBackground
unanalyzed	call on javax.swing.JPanel:setBorder
unanalyzed	call on javax.swing.JPanel:setPreferredSize
unanalyzed	call on javax.swing.JPanel:setToolTipText
unanalyzed	call on javax.swing.UIManager:getLookAndFeel
unanalyzed	call on javax.swing.event.EventListenerList
unanalyzed	call on net.miginfocom.swing.MigLayout

void com.dmdirc.addons.ui_swing.components.ColourChooser(String, bool, bool, Window)

Kind	Annotation Text
presumption	init'ed(java.awt.Color.DARK_GRAY)
post	init'ed(this.showHex)
post	init'ed(this.showIRC)
post	init'ed(this.value)
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
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	this.showIRC == ircColours
post	this.value == initialColour
post	this.window == window
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:getCol our
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:parseC olour
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on javax.swing.JPanel:setBackground
unanalyzed	call on javax.swing.JPanel:setToolTipText
unanalyzed	call on javax.swing.UIManager:getLookAndFeel

com.dmdirc.addons.ui_swing.components.ColourChooser__static_init

Kind	Annotation Text

void fireActionPerformed()

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

String getColour()

Kind	Annotation Text
pre	init'ed(this.value)
post	init'ed(return_value)
post	return_value == this.value

void removeActionListener(ActionListener)

Kind	Annotation Text
pre	this.listeners != null

void setActionCommand(String)

Kind	Annotation Text
post	init'ed(this.command)
post	this.command == command

void setColour(String)

Kind	Annotation Text
pre	this.previewPanel != null
post	init'ed(this.value)
post	this.value == newValue
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:getCol our
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:parseC olour
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on javax.swing.JPanel:setBackground
unanalyzed	call on javax.swing.JPanel:setToolTipText

void setWindow(Window)

Kind	Annotation Text
post	init'ed(this.window)
post	this.window == window

void updateColour(String)

Kind	Annotation Text
pre	this.previewPanel != null
test_vector	java.lang.String:isEmpty(...)@171: {0}, {1}
test_vector	newColour: Addr_Set{null}, Inverse{null}