Messages

method

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

method	void com.dmdirc.addons.ui_swing.components. expandingsettings.CurrentOptionsPanel(SettingsPanel )
post	this.checkBoxes == &new HashMap(initComponents# 2)
post	this.colours == &new HashMap(initComponents#3)
post	this.parent == parent
post	init'ed(this.parent)
post	this.spinners == &new HashMap(initComponents#4)
post	this.textFields == &new HashMap(initComponents# 1)
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
unanalyzed	call on java.util.HashMap
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
unanalyzed	call on java.lang.System:getProperty

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. expandingsettings.CurrentOptionsPanel:setOpaque(boo l)

method	void initComponents()
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)
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

method	void clearOptions()
pre	this.checkBoxes != null
pre	this.colours != null
pre	this.spinners != null
pre	this.textFields != null
pre	(soft) this.parent != null
pre	(soft) this.parent.names != null
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on javax.swing.JButton
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setIcon
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setRolloverIcon
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setPressedIcon
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setContentAreaFilled
unanalyzed	call on javax.swing.BorderFactory:createEmptyBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setBorder
unanalyzed	call on java.awt.Insets
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setMargin
unanalyzed	call on java.awt.Dimension
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setPreferredSize
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setActionCommand
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on javax.swing.JLabel:setLabelFor
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:addActionListener
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.CurrentOptionsPanel:setVisible
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.CurrentOptionsPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.CurrentOptionsPanel:removeAll
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on getOptionName
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.util.Map:get

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

method	void addOption(String, SettingsPanel$OptionType, String)
pre	this.checkBoxes != null
pre	this.colours != null
pre	this.spinners != null
pre	this.textFields != null
pre	type != null
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
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 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
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on javax.swing.JButton
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setIcon
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setRolloverIcon
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setPressedIcon
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setContentAreaFilled
unanalyzed	call on javax.swing.BorderFactory:createEmptyBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setBorder
unanalyzed	call on java.awt.Insets
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setMargin
unanalyzed	call on java.awt.Dimension
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setPreferredSize
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setActionCommand
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on javax.swing.JLabel:setLabelFor
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:addActionListener
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.CurrentOptionsPanel:setVisible
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.CurrentOptionsPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.CurrentOptionsPanel:removeAll
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on getOptionName
unanalyzed	call on java.util.Map$Entry:getValue
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 isWindowsUI
unanalyzed	call on javax.swing.JButton:setMargin
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JPanel:setPreferredSize
unanalyzed	call on javax.swing.BorderFactory:createLineBorder
unanalyzed	call on javax.swing.JPanel:setBorder
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 java.util.Map:get
test_vector	com.dmdirc.addons.ui_swing.components. expandingsettings.CurrentOptionsPanel$1__static_ init.new int[](CurrentOptionsPanel$1__static_init#1 )[...]: {1}, {2}, {3}, {4}

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel$OptionType:ordinal( )

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel$OptionType:ordinal( )

method	void delOption(String, SettingsPanel$OptionType)
pre	this.checkBoxes != null
pre	this.colours != null
pre	this.spinners != null
pre	this.textFields != null
pre	type != null
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
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 javax.swing.JLabel
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on javax.swing.JButton
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setIcon
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setRolloverIcon
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setPressedIcon
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setContentAreaFilled
unanalyzed	call on javax.swing.BorderFactory:createEmptyBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setBorder
unanalyzed	call on java.awt.Insets
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setMargin
unanalyzed	call on java.awt.Dimension
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setPreferredSize
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setActionCommand
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on javax.swing.JLabel:setLabelFor
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:addActionListener
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.CurrentOptionsPanel:setVisible
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.CurrentOptionsPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.CurrentOptionsPanel:removeAll
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on getOptionName
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.util.Map:get
test_vector	com.dmdirc.addons.ui_swing.components. expandingsettings.CurrentOptionsPanel$1__static_ init.new int[](CurrentOptionsPanel$1__static_init#1 )[...]: {1}, {2}, {3}, {4}

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel$OptionType:ordinal( )

method	String getOption(String, SettingsPanel$OptionType)
pre	type != null
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
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	java.lang.Object:toString(...)._tainted == 0
post	init'ed(return_value)
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}

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel$OptionType:ordinal( )

method	void addCurrentOption(String, String, JPanel, JComponent)
pre	panel != null
presumption	com.dmdirc.ui.IconManager:getIconManager(...)@211 != null
unanalyzed	call on javax.swing.JButton
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setIcon
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setRolloverIcon
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setPressedIcon
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setContentAreaFilled
unanalyzed	call on javax.swing.BorderFactory:createEmptyBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setBorder
unanalyzed	call on java.awt.Insets
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setMargin
unanalyzed	call on java.awt.Dimension
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setPreferredSize
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setActionCommand

method not available - call not analyzed Info call on IconManager com.dmdirc.ui.IconManager:getIc onManager()

method not available - call not analyzed Info call on Icon com.dmdirc.ui.IconManager:getIcon(Stri ng)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. ImageButton:addActionListener(ActionListener)

method	void populateCurrentSettings()
pre	this.checkBoxes != null
pre	this.colours != null
pre	this.spinners != null
pre	this.textFields != null
pre	(soft) this.parent != null
pre	(soft) this.parent.names != 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 javax.swing.JLabel
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on javax.swing.JButton
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setIcon
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setRolloverIcon
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setPressedIcon
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setContentAreaFilled
unanalyzed	call on javax.swing.BorderFactory:createEmptyBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setBorder
unanalyzed	call on java.awt.Insets
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setMargin
unanalyzed	call on java.awt.Dimension
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setPreferredSize
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setActionCommand
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on javax.swing.JLabel:setLabelFor
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:addActionListener
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on java.util.Map:get
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}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. expandingsettings.CurrentOptionsPanel:setVisible(bo ol)

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. expandingsettings.CurrentOptionsPanel:setLayout(Lay outManager)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. expandingsettings.CurrentOptionsPanel:removeAll()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. expandingsettings.CurrentOptionsPanel:setVisible(bo ol)

method	void actionPerformed(ActionEvent)
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
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
presumption	java.util.Map:get(...)@242 != null
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on javax.swing.JButton
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setIcon
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setRolloverIcon
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setPressedIcon
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setContentAreaFilled
unanalyzed	call on javax.swing.BorderFactory:createEmptyBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setBorder
unanalyzed	call on java.awt.Insets
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setMargin
unanalyzed	call on java.awt.Dimension
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setPreferredSize
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setActionCommand
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on javax.swing.JLabel:setLabelFor
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:addActionListener
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.CurrentOptionsPanel:setVisible
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.CurrentOptionsPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.CurrentOptionsPanel:removeAll
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on getOptionName
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel$OptionType:ordinal
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.util.Map:remove
unanalyzed	call on java.util.Map:get
unanalyzed	call on addOption
unanalyzed	call on javax.swing.JComboBox:setEnabled
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JComboBox:getModel
unanalyzed	call on javax.swing.DefaultComboBoxModel:addElement

	method not available - call not analyzed	Info	call on int com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel$OptionType:ordinal( )
	method not available - call not analyzed	Info	call on int com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel$OptionType:ordinal( )

	method not available - call not analyzed	Info	call on IconManager com.dmdirc.ui.IconManager:getIc onManager()
	method not available - call not analyzed	Info	call on Icon com.dmdirc.ui.IconManager:getIcon(Stri ng)

	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. expandingsettings.CurrentOptionsPanel:setLayout(Lay outManager)