CurrentOptionsPanel.java

CurrentOptionsPanel.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) com.dmdirc.addons.ui_swing.components. expandingsettings.CurrentOptionsPanel$1__static_ init.new int[](CurrentOptionsPanel$1__static_init#1 )[...] in {1..4}
pre	(soft) this.parent.names != null
pre	e != null
pre	this.checkBoxes != null
pre	this.colours != null
pre	this.parent != null
pre	this.parent.addOptionPanel != null
pre	this.parent.addOptionPanel.addOptionButton != null
pre	this.parent.addOptionPanel.addOptionComboBox != null
pre	this.parent.types != null
pre	this.spinners != null
pre	this.textFields != null
presumption	java.util.Map:get(...)@242 != null
unanalyzed	call on addOption
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.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 getOptionName
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.lang.IllegalArgumentException
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:remove
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on javax.swing.BorderFactory:createEmptyBorder
unanalyzed	call on javax.swing.DefaultComboBoxModel:addElement
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JComboBox:getModel
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:add
unanalyzed	call on net.miginfocom.swing.MigLayout

void addCurrentOption(String, String, JPanel, JComponent)

Kind	Annotation Text
pre	panel != null
presumption	com.dmdirc.ui.IconManager:getIconManager(...)@211 != null
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 java.awt.Dimension
unanalyzed	call on java.awt.Insets
unanalyzed	call on javax.swing.BorderFactory:createEmptyBorder
unanalyzed	call on javax.swing.JButton

void addOption(String, SettingsPanel$OptionType, String)

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) this.parent != null
pre	(soft) this.parent.names != null
pre	this.checkBoxes != null
pre	this.colours != null
pre	this.spinners != null
pre	this.textFields != null
pre	type != null
presumption	com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel_OptionType:ordinal( ...)@110 in {0..3}
presumption	java.util.Map:get(...)@123 != null
presumption	values(...).length - com.dmdirc.addons.ui_swing. components.expandingsettings.SettingsPanel_OptionTy pe:ordinal(...)@110 in range
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.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.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.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.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.Set:iterator
unanalyzed	call on javax.swing.BorderFactory:createEmptyBorder
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.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.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.CurrentOptionsPanel$1__static_ init.new int[](CurrentOptionsPanel$1__static_init#1 )[...]: {1}, {2}, {3}, {4}

void clearOptions()

Kind	Annotation Text
pre	(soft) this.parent != null
pre	(soft) this.parent.names != null
pre	this.checkBoxes != null
pre	this.colours != null
pre	this.spinners != null
pre	this.textFields != null
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.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.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on getOptionName
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.awt.Insets
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.Set:iterator
unanalyzed	call on javax.swing.BorderFactory:createEmptyBorder
unanalyzed	call on javax.swing.JButton
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:add
unanalyzed	call on net.miginfocom.swing.MigLayout

com.dmdirc.addons.ui_swing.components.expandingsettings.CurrentOptionsPanel$1__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( ...)@110 - values(...).length in range
presumption	com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel_OptionType:ordinal( ...)@110 in {0..3}
post	new int[](CurrentOptionsPanel$1__static_init#1) num objects == 1

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

Kind	Annotation Text
post	init'ed(this.parent)
post	new HashMap(initComponents#1) num objects == 1
post	new HashMap(initComponents#2) num objects == 1
post	new HashMap(initComponents#3) num objects == 1
post	new HashMap(initComponents#4) num objects == 1
post	this.checkBoxes == &new HashMap(initComponents# 2)
post	this.colours == &new HashMap(initComponents#3)
post	this.parent == parent
post	this.spinners == &new HashMap(initComponents#4)
post	this.textFields == &new HashMap(initComponents# 1)
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.System:getProperty
unanalyzed	call on java.util.HashMap
unanalyzed	call on javax.swing.UIManager:getLookAndFeel

com.dmdirc.addons.ui_swing.components.expandingsettings.CurrentOptionsPanel__static_init

Kind	Annotation Text

void delOption(String, SettingsPanel$OptionType)

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) this.parent != null
pre	(soft) this.parent.names != null
pre	this.checkBoxes != null
pre	this.colours != null
pre	this.spinners != null
pre	this.textFields != null
pre	type != null
presumption	com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel_OptionType:ordinal( ...)@140 in {0..3}
presumption	values(...).length - com.dmdirc.addons.ui_swing. components.expandingsettings.SettingsPanel_OptionTy pe:ordinal(...)@140 in range
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.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.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on getOptionName
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.awt.Insets
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.Set:iterator
unanalyzed	call on javax.swing.BorderFactory:createEmptyBorder
unanalyzed	call on javax.swing.JButton
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:add
unanalyzed	call on net.miginfocom.swing.MigLayout
test_vector	com.dmdirc.addons.ui_swing.components. expandingsettings.CurrentOptionsPanel$1__static_ init.new int[](CurrentOptionsPanel$1__static_init#1 )[...]: {1}, {2}, {3}, {4}

String getOption(String, SettingsPanel$OptionType)

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) this.checkBoxes != null
pre	(soft) this.colours != null
pre	(soft) this.spinners != null
pre	(soft) this.textFields != null
pre	type != null
presumption	com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel_OptionType:ordinal( ...)@170 in {0..3}
presumption	java.util.Map:get(...)@173 != null
presumption	java.util.Map:get(...)@178 != null
presumption	java.util.Map:get(...)@187 != null
presumption	java.util.Map:get(...)@192 != null
presumption	javax.swing.JSpinner:getValue(...)@192 != null
presumption	values(...).length - com.dmdirc.addons.ui_swing. components.expandingsettings.SettingsPanel_OptionTy pe:ordinal(...)@170 in range
post	init'ed(return_value)
post	java.lang.Object:toString(...)._tainted == 0
test_vector	com.dmdirc.addons.ui_swing.components. expandingsettings.CurrentOptionsPanel$1__static_ init.new int[](CurrentOptionsPanel$1__static_init#1 )[...]: {1}, {2}, {3}, {4}
test_vector	java.util.Map:containsKey(...)@172: {0}, {1}
test_vector	java.util.Map:containsKey(...)@177: {0}, {1}
test_vector	java.util.Map:containsKey(...)@186: {0}, {1}
test_vector	java.util.Map:containsKey(...)@191: {0}, {1}
test_vector	javax.swing.JCheckBox:isSelected(...)@178: {0}, {1}

void initComponents()

Kind	Annotation Text
post	new HashMap(initComponents#1) num objects == 1
post	new HashMap(initComponents#2) num objects == 1
post	new HashMap(initComponents#3) num objects == 1
post	new HashMap(initComponents#4) num objects == 1
post	this.checkBoxes == &new HashMap(initComponents# 2)
post	this.colours == &new HashMap(initComponents#3)
post	this.spinners == &new HashMap(initComponents#4)
post	this.textFields == &new HashMap(initComponents# 1)

void populateCurrentSettings()

Kind	Annotation Text
pre	(soft) this.parent != null
pre	(soft) this.parent.names != null
pre	this.checkBoxes != null
pre	this.colours != null
pre	this.spinners != null
pre	this.textFields != null
presumption	java.util.Iterator:next(...)@234 != null
presumption	java.util.Iterator:next(...)@240 != null
presumption	java.util.Iterator:next(...)@246 != null
presumption	java.util.Iterator:next(...)@252 != null
presumption	java.util.Map:entrySet(...)@234 != null
presumption	java.util.Map:entrySet(...)@240 != null
presumption	java.util.Map:entrySet(...)@246 != null
presumption	java.util.Map:entrySet(...)@252 != null
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.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.util.Map:get
unanalyzed	call on javax.swing.BorderFactory:createEmptyBorder
unanalyzed	call on javax.swing.JButton
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:add
test_vector	java.util.Iterator:hasNext(...)@234: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@240: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@246: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@252: {0}, {1}