AddOptionPanel.java

AddOptionPanel.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

JButton access$000(AddOptionPanel)

Kind	Annotation Text
pre	init'ed(x0.addOptionButton)
pre	x0 != null
post	init'ed(return_value)
post	return_value == x0.addOptionButton

void actionPerformed(ActionEvent)

Kind	Annotation Text
pre	this.addOptionButton != null

void actionPerformed(ActionEvent)

Kind	Annotation Text
pre	(soft) com.dmdirc.addons.ui_swing.components. expandingsettings.CurrentOptionsPanel$1__static_ init.new int[](CurrentOptionsPanel$1__static_init#1 )[...] in {1..4}
pre	(soft) init'ed(com.dmdirc.addons.ui_swing. components.expandingsettings.AddOptionPanel$2__ static_init.new int[](AddOptionPanel$2__static_init #1)[...])
pre	(soft) init'ed(this.addInputColourChooser.value)
pre	(soft) init'ed(this.addInputNone)
pre	(soft) this.addInputCheckbox != null
pre	(soft) this.addInputColourChooser != null
pre	(soft) this.addInputColourChooser.previewPanel != null
pre	(soft) this.addInputSpinner != null
pre	(soft) this.addInputText != null
pre	(soft) this.addOptionButton != null
pre	(soft) this.addOptionComboBox != null
pre	(soft) this.parent != null
pre	(soft) this.parent...names != null
pre	(soft) this.parent.currentOptionsPanel != null
pre	(soft) this.parent.currentOptionsPanel.checkBoxes != null
pre	(soft) this.parent.currentOptionsPanel.colours != null
pre	(soft) this.parent.currentOptionsPanel.parent != null
pre	(soft) this.parent.currentOptionsPanel.spinners != null
pre	(soft) this.parent.currentOptionsPanel.textFields != null
pre	(soft) this.parent.types != null
pre	e != null
presumption	com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel_OptionType:ordinal( ...)@234 in {0..3}
presumption	java.util.Map:get(...)@242 != null
presumption	javax.swing.JSpinner:getValue(...)@254 != null
post	init'ed(this.addInputColourChooser.value)
post	this.addInputColourChooser.value == One-of{old this.addInputColourChooser.value, &"ffffff"}
post	this.addInputCurrent == One-of{this.addInputNone, this.addInputText, this.addInputCheckbox, this.addInputColourChooser, this.addInputSpinner, old this.addInputCurrent}
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.addons.ui_swing.components. ImageButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setActionCommand
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setContentAreaFilled
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setIcon
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setMargin
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setPreferredSize
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setPressedIcon
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setRolloverIcon
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel:removeAll
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.CurrentOptionsPanel:removeAll
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.CurrentOptionsPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.CurrentOptionsPanel:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel$OptionType:ordinal
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:getCol our
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:parseC olour
unanalyzed	call on getOptionName
unanalyzed	call on isWindowsUI
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.lang.Boolean:parseBoolean
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on javax.swing.BorderFactory:createEmptyBorder
unanalyzed	call on javax.swing.BorderFactory:createLineBorder
unanalyzed	call on javax.swing.ComboBoxModel:getSize
unanalyzed	call on javax.swing.DefaultComboBoxModel:removeElem ent
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JButton:setMargin
unanalyzed	call on javax.swing.JCheckBox
unanalyzed	call on javax.swing.JCheckBox:setSelected
unanalyzed	call on javax.swing.JComboBox:getModel
unanalyzed	call on javax.swing.JComboBox:requestFocusInWindow
unanalyzed	call on javax.swing.JComboBox:setEnabled
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JLabel:setLabelFor
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JPanel:add
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.JSpinner
unanalyzed	call on javax.swing.JSpinner:setValue
unanalyzed	call on javax.swing.JTextField
unanalyzed	call on javax.swing.JTextField:setText
unanalyzed	call on javax.swing.SpinnerNumberModel
unanalyzed	call on javax.swing.UIManager:getLookAndFeel
unanalyzed	call on javax.swing.event.EventListenerList
unanalyzed	call on net.miginfocom.swing.MigLayout
test_vector	com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel$2__static_init. new int[](AddOptionPanel$2__static_init#1)[...]: {1}, {2}, {3}, {4}, {-2³¹..0, 5..2³²-1}
test_vector	javax.swing.JComboBox:getSelectedItem(...)@224: Inverse{null}, Addr_Set{null}

void addOption(String)

Kind	Annotation Text
pre	this.addOptionButton != null
pre	this.addOptionComboBox != null
presumption	javax.swing.JComboBox:getModel(...)@156 != null

void clearOptions()

Kind	Annotation Text
pre	init'ed(this.addInputNone)
pre	init'ed(this.addOptionButton)
pre	this.addOptionComboBox != null
post	init'ed(this.addInputCurrent)
post	this.addInputCurrent == this.addInputNone
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel:removeAll
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel:setVisible

void com.dmdirc.addons.ui_swing.components.expandingsettings.AddOptionPanel$1(AddOptionPanel)

Kind	Annotation Text

com.dmdirc.addons.ui_swing.components.expandingsettings.AddOptionPanel$1__static_init

Kind	Annotation Text

com.dmdirc.addons.ui_swing.components.expandingsettings.AddOptionPanel$2__static_init

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.addons.ui_swing. components.expandingsettings.SettingsPanel$OptionTy pe__static_init.new SettingsPanel$OptionType[](Sett ingsPanel$OptionType__static_init#5)[...])
presumption	com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel_OptionType:ordinal( ...)@192 - values(...).length in range
presumption	com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel_OptionType:ordinal( ...)@192 in {0..3}
post	new int[](AddOptionPanel$2__static_init#1) num objects == 1

void com.dmdirc.addons.ui_swing.components.expandingsettings.AddOptionPanel(SettingsPanel)

Kind	Annotation Text
post	init'ed(new ColourChooser(initComponents#5). window)
post	init'ed(this.parent)
post	new ColourChooser(initComponents#5) num objects == 1
post	new ColourChooser(initComponents#5).command == &""
post	new ColourChooser(initComponents#5).editButton == &new JButton(ColourChooser#2)
post	new ColourChooser(initComponents#5).listeners == &new EventListenerList(ColourChooser#1)
post	new ColourChooser(initComponents#5).previewPanel == &new JPanel(ColourChooser#5)
post	new ColourChooser(initComponents#5).showHex == 1
post	new ColourChooser(initComponents#5).showIRC == 1
post	new ColourChooser(initComponents#5).value == &"ffffff"
post	new EventListenerList(ColourChooser#1) num objects == 1
post	new JButton(ColourChooser#2) num objects == 1
post	new JButton(initComponents#3) num objects == 1
post	new JCheckBox(initComponents#7) num objects == 1
post	new JComboBox(initComponents#1) num objects == 1
post	new JLabel(initComponents#10) num objects == 1
post	new JPanel(ColourChooser#5) num objects == 1
post	new JSpinner(initComponents#8) num objects == 1
post	new JTextField(initComponents#6) num objects == 1
post	this.addInputCheckbox == &new JCheckBox(initCom ponents#7)
post	this.addInputColourChooser == &new ColourChooser(initComponents#5)
post	this.addInputCurrent == &new JLabel(initCompone nts#10)
post	this.addInputNone == &new JLabel(initComponents #10)
post	this.addInputSpinner == &new JSpinner(initCompo nents#8)
post	this.addInputText == &new JTextField(initCompon ents#6)
post	this.addOptionButton == &new JButton(initCompon ents#3)
post	this.addOptionComboBox == &new JComboBox(initCo mponents#1)
post	this.parent == parent
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.addons.ui_swing.components. expandingsettings.AddOptionPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel:removeAll
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.components. renderers.AddOptionCellRenderer
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 java.lang.System:getProperty
unanalyzed	call on javax.swing.AbstractAction
unanalyzed	call on javax.swing.ActionMap:put
unanalyzed	call on javax.swing.BorderFactory:createLineBorder
unanalyzed	call on javax.swing.DefaultComboBoxModel
unanalyzed	call on javax.swing.InputMap:put
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JButton:setMargin
unanalyzed	call on javax.swing.JCheckBox
unanalyzed	call on javax.swing.JCheckBox:setOpaque
unanalyzed	call on javax.swing.JComboBox
unanalyzed	call on javax.swing.JComboBox:addActionListener
unanalyzed	call on javax.swing.JComboBox:putClientProperty
unanalyzed	call on javax.swing.JComboBox:setEnabled
unanalyzed	call on javax.swing.JComboBox:setRenderer
unanalyzed	call on javax.swing.JLabel
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.JSpinner
unanalyzed	call on javax.swing.JTextField
unanalyzed	call on javax.swing.JTextField:getActionMap
unanalyzed	call on javax.swing.JTextField:getInputMap
unanalyzed	call on javax.swing.KeyStroke:getKeyStroke
unanalyzed	call on javax.swing.SpinnerNumberModel
unanalyzed	call on javax.swing.UIManager:getLookAndFeel
unanalyzed	call on javax.swing.event.EventListenerList
unanalyzed	call on net.miginfocom.swing.MigLayout

com.dmdirc.addons.ui_swing.components.expandingsettings.AddOptionPanel__static_init

Kind	Annotation Text

void delOption(String)

Kind	Annotation Text
pre	(soft) this.addOptionButton != null
pre	this.addOptionComboBox != null
presumption	javax.swing.JComboBox:getModel(...)@168 != null
presumption	javax.swing.JComboBox:getModel(...)@170 != null
test_vector	javax.swing.ComboBoxModel:getSize(...)@170: {-2³¹..-1, 1..2³²-1}, {0}

void initComponents()

Kind	Annotation Text
post	new ColourChooser(initComponents#5) num objects == 1
post	new EventListenerList(ColourChooser#1) num objects == 1
post	new JButton(ColourChooser#2) num objects == 1
post	new JButton(initComponents#3) num objects == 1
post	new JCheckBox(initComponents#7) num objects == 1
post	new JComboBox(initComponents#1) num objects == 1
post	new JLabel(initComponents#10) num objects == 1
post	new JPanel(ColourChooser#5) num objects == 1
post	new JSpinner(initComponents#8) num objects == 1
post	new JTextField(initComponents#6) num objects == 1
post	this.addInputCheckbox == &new JCheckBox(initCom ponents#7)
post	this.addInputColourChooser == &new ColourChooser(initComponents#5)
post	this.addInputColourChooser.command == &""
post	this.addInputColourChooser.editButton == &new JButton(ColourChooser#2)
post	this.addInputColourChooser.listeners == &new EventListenerList(ColourChooser#1)
post	this.addInputColourChooser.previewPanel == &new JPanel(ColourChooser#5)
post	this.addInputColourChooser.showHex == 1
post	this.addInputColourChooser.showIRC == 1
post	this.addInputColourChooser.value == &"ffffff"
post	this.addInputColourChooser.window == null
post	this.addInputCurrent == &new JLabel(initCompone nts#10)
post	this.addInputNone == &new JLabel(initComponents #10)
post	this.addInputSpinner == &new JSpinner(initCompo nents#8)
post	this.addInputText == &new JTextField(initCompon ents#6)
post	this.addOptionButton == &new JButton(initCompon ents#3)
post	this.addOptionComboBox == &new JComboBox(initCo mponents#1)
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 java.lang.System:getProperty
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 initListeners()

Kind	Annotation Text
pre	this.addInputText != null
pre	this.addOptionButton != null
pre	this.addOptionComboBox != null
presumption	init'ed(java.lang.Boolean.TRUE)
presumption	javax.swing.JTextField:getActionMap(...)@124 != null
presumption	javax.swing.JTextField:getInputMap(...)@134 != null
unanalyzed	call on javax.swing.AbstractAction

void layoutComponents()

Kind	Annotation Text
pre	init'ed(this.addInputCurrent)
pre	init'ed(this.addOptionButton)
pre	init'ed(this.addOptionComboBox)

void switchInputField(SettingsPanel$OptionType)

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.addons.ui_swing. components.expandingsettings.AddOptionPanel$2__ static_init.new int[](AddOptionPanel$2__static_init #1)[...])
pre	(soft) init'ed(this.addInputNone)
pre	(soft) this.addInputCheckbox != null
pre	(soft) this.addInputColourChooser != null
pre	(soft) this.addInputColourChooser.previewPanel != null
pre	(soft) this.addInputSpinner != null
pre	(soft) this.addInputText != null
pre	init'ed(this.addOptionButton)
pre	this.addOptionComboBox != null
presumption	com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel_OptionType:ordinal( ...)@192 in {0..3}
post	init'ed(this.addInputCurrent)
post	this.addInputColourChooser.value == One-of{old this.addInputColourChooser.value, &"ffffff"}
post	this.addInputCurrent == One-of{this.addInputNone, this.addInputText, this.addInputCheckbox, this.addInputColourChooser, this.addInputSpinner}
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel:removeAll
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel:setVisible
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:getCol our
unanalyzed	call on javax.swing.JPanel:setBackground
unanalyzed	call on javax.swing.JPanel:setToolTipText
test_vector	com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel$2__static_init. new int[](AddOptionPanel$2__static_init#1)[...]: {1}, {2}, {3}, {4}, {-2³¹..0, 5..2³²-1}
test_vector	type: Inverse{null}, Addr_Set{null}