Messages

Last Msg First Msg

method

com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel__static_init

method	SettingsPanel$OptionType[] values()
pre	(soft) init'ed($VALUES[...])
post	return_value == &new SettingsPanel$OptionType[] (values#1)
post	new SettingsPanel$OptionType[](values#1) num objects == 1
post	return_value.length == 4
post	return_value[...] == One-of{$VALUES[...], undefined}

method	SettingsPanel$OptionType valueOf(String)
post	init'ed(return_value)

method

void com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel$OptionType(String, int)

method	com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel$OptionType__static_ init
post	$VALUES == &new SettingsPanel$OptionType[](Sett ingsPanel$OptionType__static_init#5)
post	CHECKBOX == &new SettingsPanel$OptionType(Setti ngsPanel$OptionType__static_init#2)
post	$VALUES[1] == &new SettingsPanel$OptionType(Set tingsPanel$OptionType__static_init#2)
post	COLOUR == &new SettingsPanel$OptionType(Setting sPanel$OptionType__static_init#3)
post	$VALUES[2] == &new SettingsPanel$OptionType(Set tingsPanel$OptionType__static_init#3)
post	SPINNER == &new SettingsPanel$OptionType(Settin gsPanel$OptionType__static_init#4)
post	$VALUES[3] == &new SettingsPanel$OptionType(Set tingsPanel$OptionType__static_init#4)
post	TEXTFIELD == &new SettingsPanel$OptionType(Sett ingsPanel$OptionType__static_init#1)
post	$VALUES[0] == &new SettingsPanel$OptionType(Set tingsPanel$OptionType__static_init#1)
post	new SettingsPanel$OptionType(SettingsPanel$OptionTy pe__static_init#1) num objects == 1
post	new SettingsPanel$OptionType(SettingsPanel$OptionTy pe__static_init#2) num objects == 1
post	new SettingsPanel$OptionType(SettingsPanel$OptionTy pe__static_init#3) num objects == 1
post	new SettingsPanel$OptionType(SettingsPanel$OptionTy pe__static_init#4) num objects == 1
post	new SettingsPanel$OptionType[](SettingsPanel$Option Type__static_init#5) num objects == 1
post	$VALUES.length == 4
unanalyzed	call on java.lang.Enum

method	void com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel(Identity, String)
post	this.addOptionPanel == &new AddOptionPanel(init Components#4)
post	this.config == config
post	init'ed(this.config)
post	this.currentOptionsPanel == &new CurrentOptionsPanel(initComponents#5)
post	this.infoLabel == &new TextLabel(initComponents #3)
post	this.names == &new LinkedHashMap(initComponents #1)
post	this.scrollPane == &new JScrollPane(initCompone nts#6)
post	this.types == &new LinkedHashMap(initComponents #2)
post	new AddOptionPanel(initComponents#4) num objects == 1
post	new ColourChooser(initComponents#5) num objects == 1
post	new ColourChooser(initComponents#5).showHex == 1
post	new ColourChooser(initComponents#5).showIRC == 1
post	new CurrentOptionsPanel(initComponents#5) num objects == 1
post	new EventListenerList(ColourChooser#1) num objects == 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
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 JScrollPane(initComponents#6) num objects == 1
post	new JSpinner(initComponents#8) num objects == 1
post	new JTextField(initComponents#6) num objects == 1
post	new LinkedHashMap(initComponents#1) num objects == 1
post	new LinkedHashMap(initComponents#2) num objects == 1
post	new TextLabel(initComponents#3) num objects == 1
post	new AddOptionPanel(initComponents#4). addInputCheckbox == &new JCheckBox(initComponen ts#7)
post	new AddOptionPanel(initComponents#4). addInputColourChooser == &new ColourChooser(ini tComponents#5)
post	new AddOptionPanel(initComponents#4). addInputCurrent == &new JLabel(initComponents#1 0)
post	new AddOptionPanel(initComponents#4).addInputNone == &new JLabel(initComponents#10)
post	new AddOptionPanel(initComponents#4). addInputSpinner == &new JSpinner(initComponents #8)
post	new AddOptionPanel(initComponents#4).addInputText == &new JTextField(initComponents#6)
post	new AddOptionPanel(initComponents#4). addOptionButton == &new JButton(initComponents# 3)
post	new AddOptionPanel(initComponents#4). addOptionComboBox == &new JComboBox(initCompone nts#1)
post	new AddOptionPanel(initComponents#4).parent == this
post	new AddOptionPanel(initComponents#4).parent != null
post	new CurrentOptionsPanel(initComponents#5).parent == new AddOptionPanel(initComponents#4).parent
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).value == &"ffffff"
post	init'ed(new ColourChooser(initComponents#5). window)
post	new CurrentOptionsPanel(initComponents#5). checkBoxes == &new HashMap(initComponents#2)
post	new CurrentOptionsPanel(initComponents#5).colours == &new HashMap(initComponents#3)
post	new CurrentOptionsPanel(initComponents#5).spinners == &new HashMap(initComponents#4)
post	new CurrentOptionsPanel(initComponents#5). textFields == &new HashMap(initComponents#1)
unanalyzed	call on java.util.LinkedHashMap
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel
unanalyzed	call on java.util.HashMap
unanalyzed	call on javax.swing.JPanel
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
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.CurrentOptionsPanel:setOpaque
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on javax.swing.JScrollPane:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel:setBorder
unanalyzed	call on javax.swing.JScrollPane:setOpaque
unanalyzed	call on javax.swing.JScrollPane:getViewport
unanalyzed	call on javax.swing.JViewport:setOpaque
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel:add
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
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 com.dmdirc.addons.ui_swing.components. ColourChooser:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourChooser:add
unanalyzed	call on javax.swing.DefaultComboBoxModel
unanalyzed	call on javax.swing.JComboBox
unanalyzed	call on com.dmdirc.addons.ui_swing.components. renderers.AddOptionCellRenderer
unanalyzed	call on javax.swing.JComboBox:setRenderer
unanalyzed	call on javax.swing.JTextField
unanalyzed	call on javax.swing.JCheckBox
unanalyzed	call on javax.swing.JCheckBox:setOpaque
unanalyzed	call on javax.swing.SpinnerNumberModel
unanalyzed	call on javax.swing.JSpinner
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JComboBox:setEnabled
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JComboBox:putClientProperty
unanalyzed	call on javax.swing.JComboBox:addActionListener
unanalyzed	call on javax.swing.JTextField:getActionMap
unanalyzed	call on javax.swing.AbstractAction
unanalyzed	call on javax.swing.ActionMap:put
unanalyzed	call on javax.swing.JTextField:getInputMap
unanalyzed	call on javax.swing.KeyStroke:getKeyStroke
unanalyzed	call on javax.swing.InputMap:put
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel:removeAll
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel:setLayout

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

method	void initComponents(String)
presumption	javax.swing.JScrollPane:getViewport(...)@115 != null
post	this.addOptionPanel == &new AddOptionPanel(init Components#4)
post	this.currentOptionsPanel == &new CurrentOptionsPanel(initComponents#5)
post	this.infoLabel == &new TextLabel(initComponents #3)
post	this.names == &new LinkedHashMap(initComponents #1)
post	this.scrollPane == &new JScrollPane(initCompone nts#6)
post	this.types == &new LinkedHashMap(initComponents #2)
post	new AddOptionPanel(initComponents#4) num objects == 1
post	new ColourChooser(initComponents#5) num objects == 1
post	new ColourChooser(initComponents#5).showHex == 1
post	new ColourChooser(initComponents#5).showIRC == 1
post	new CurrentOptionsPanel(initComponents#5) num objects == 1
post	new EventListenerList(ColourChooser#1) num objects == 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
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 JScrollPane(initComponents#6) num objects == 1
post	new JSpinner(initComponents#8) num objects == 1
post	new JTextField(initComponents#6) num objects == 1
post	new LinkedHashMap(initComponents#1) num objects == 1
post	new LinkedHashMap(initComponents#2) num objects == 1
post	new TextLabel(initComponents#3) num objects == 1
post	this.addOptionPanel.addInputCheckbox == &new JCheckBox(initComponents#7)
post	this.addOptionPanel.addInputColourChooser == &new ColourChooser(initComponents#5)
post	this.addOptionPanel.addInputCurrent == &new JLabel(initComponents#10)
post	this.addOptionPanel.addInputNone == &new JLabel(initComponents#10)
post	this.addOptionPanel.addInputSpinner == &new JSpinner(initComponents#8)
post	this.addOptionPanel.addInputText == &new JTextField(initComponents#6)
post	this.addOptionPanel.addOptionButton == &new JButton(initComponents#3)
post	this.addOptionPanel.addOptionComboBox == &new JComboBox(initComponents#1)
post	this.addOptionPanel.parent == this
post	this.addOptionPanel.parent != null
post	this.currentOptionsPanel.parent == this. addOptionPanel.parent
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).value == &"ffffff"
post	init'ed(new ColourChooser(initComponents#5). window)
post	this.currentOptionsPanel.checkBoxes == &new HashMap(initComponents#2)
post	this.currentOptionsPanel.colours == &new HashMap(initComponents#3)
post	this.currentOptionsPanel.spinners == &new HashMap(initComponents#4)
post	this.currentOptionsPanel.textFields == &new HashMap(initComponents#1)
unanalyzed	call on java.util.HashMap
unanalyzed	call on javax.swing.JPanel
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
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.CurrentOptionsPanel:setOpaque
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
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.DefaultComboBoxModel
unanalyzed	call on javax.swing.JComboBox
unanalyzed	call on com.dmdirc.addons.ui_swing.components. renderers.AddOptionCellRenderer
unanalyzed	call on javax.swing.JComboBox:setRenderer
unanalyzed	call on javax.swing.JTextField
unanalyzed	call on javax.swing.JCheckBox
unanalyzed	call on javax.swing.JCheckBox:setOpaque
unanalyzed	call on javax.swing.SpinnerNumberModel
unanalyzed	call on javax.swing.JSpinner
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JComboBox:setEnabled
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JComboBox:putClientProperty
unanalyzed	call on javax.swing.JComboBox:addActionListener
unanalyzed	call on javax.swing.JTextField:getActionMap
unanalyzed	call on javax.swing.AbstractAction
unanalyzed	call on javax.swing.ActionMap:put
unanalyzed	call on javax.swing.JTextField:getInputMap
unanalyzed	call on javax.swing.KeyStroke:getKeyStroke
unanalyzed	call on javax.swing.InputMap:put
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel:removeAll
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel:setLayout

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. text.TextLabel(String)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel:setBorder(Border)

method	void layoutComponents()
pre	init'ed(this.addOptionPanel)
pre	init'ed(this.infoLabel)
pre	init'ed(this.scrollPane)

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.SettingsPanel:setLayout(LayoutMan ager)

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

method	void addOption(String, String, SettingsPanel$Optio nType)
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) optionName != null
pre	(soft) this...names != null
pre	(soft) this.addOptionPanel != null
pre	(soft) this.addOptionPanel.addOptionButton != null
pre	(soft) this.addOptionPanel.addOptionComboBox != null
pre	(soft) this.currentOptionsPanel != null
pre	(soft) this.currentOptionsPanel.checkBoxes != null
pre	(soft) this.currentOptionsPanel.colours != null
pre	(soft) this.currentOptionsPanel.parent != null
pre	(soft) this.currentOptionsPanel.spinners != null
pre	(soft) this.currentOptionsPanel.textFields != null
pre	(soft) this.names != null
pre	(soft) this.types != null
pre	(soft) type != null
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 com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel$OptionType:ordinal
unanalyzed	call on javax.swing.JTextField
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.Boolean:parseBoolean
unanalyzed	call on javax.swing.JCheckBox
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 javax.swing.SpinnerNumberModel
unanalyzed	call on javax.swing.JSpinner
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on javax.swing.JSpinner:setValue
unanalyzed	call on java.lang.IllegalArgumentException
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
test_vector	this.config: Inverse{null}, Addr_Set{null}
test_vector	com.dmdirc.config.Identity:hasOptionString(... )@151: {0}, {1}
test_vector	java.lang.String:indexOf(...)@143: {-2³¹. .-2, 0..2³²-1}, {-1}

Prev Msg Next Msg

array index out of bounds

click for all messages in this file High Prob.

check that splitOption.length >= 2

use of default init

Low Prob.

check if init'ed(splitOption.length)

method not available - call not analyzed Info call on bool com.dmdirc.config.Identity:hasOptionSt ring(String, String)

Prev Msg Next Msg

Prev Msg Next Msg

array index out of bounds

click for all messages in this file Medium Prob.

check that splitOption.length >= 2

use of default init

Low Prob.

check if init'ed(splitOption.length)

method not available - call not analyzed Info call on String com.dmdirc.config.Identity:getOption (String, String)

Prev Msg Next Msg

method	void update()
pre	this.addOptionPanel != null
pre	init'ed(this.addOptionPanel.addInputNone)
pre	this.addOptionPanel.addOptionComboBox != null
pre	this.currentOptionsPanel != null
pre	this.currentOptionsPanel.checkBoxes != null
pre	this.currentOptionsPanel.colours != null
pre	this.currentOptionsPanel.spinners != null
pre	this.currentOptionsPanel.textFields != null
pre	this.types != 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...names != null
pre	(soft) this.addOptionPanel.addOptionButton != null
pre	(soft) this.config != null
pre	(soft) this.currentOptionsPanel.parent != null
presumption	java.util.Iterator:next(...)@164 != null
presumption	java.util.Map:entrySet(...)@164 != null
presumption	java.util.Map_Entry:getKey(...)@165 != null
presumption	java.util.Map_Entry:getValue(...)@168 != null
post	this.addOptionPanel.addInputCurrent == this.addOptionPanel.addInputNone
post	init'ed(this.addOptionPanel.addInputCurrent)
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 com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel$OptionType:ordinal
unanalyzed	call on javax.swing.JTextField
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.Boolean:parseBoolean
unanalyzed	call on javax.swing.JCheckBox
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 javax.swing.SpinnerNumberModel
unanalyzed	call on javax.swing.JSpinner
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on javax.swing.JSpinner:setValue
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on addOption
unanalyzed	call on java.util.Map:clear
unanalyzed	call on javax.swing.JComboBox:setEnabled
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel:removeAll
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel:add
unanalyzed	call on javax.swing.JComboBox:getModel
unanalyzed	call on javax.swing.DefaultComboBoxModel:addElement
unanalyzed	call on javax.swing.JComboBox:removeAllItems
test_vector	com.dmdirc.config.Identity:hasOptionString(... )@167: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@164: {0}, {1}

method	void save()
pre	this.types != 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.config != null
pre	(soft) this.currentOptionsPanel != null
pre	(soft) this.currentOptionsPanel.checkBoxes != null
pre	(soft) this.currentOptionsPanel.colours != null
pre	(soft) this.currentOptionsPanel.spinners != null
pre	(soft) this.currentOptionsPanel.textFields != null
presumption	java.util.Iterator:next(...)@178 != null
presumption	java.util.Map:entrySet(...)@178 != null
presumption	java.util.Map_Entry:getKey(...)@182 != null
presumption	java.util.Map_Entry:getValue(...)@179 != null
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel$OptionType:ordinal
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on javax.swing.JTextField:getText
unanalyzed	call on javax.swing.JCheckBox:isSelected
unanalyzed	call on javax.swing.JSpinner:getValue
unanalyzed	call on java.lang.Object:toString
test_vector	java.util.Iterator:hasNext(...)@178: {0}, {1}

Prev Msg Next Msg

unused assignment in callee

click for all messages in this file Low Prob.

Unused assignment to (java.lang.Object:toString(... )._tainted) in getOption

Prev Msg Next Msg

Prev Msg Next Msg

array index out of bounds

click for all messages in this file High Prob.

check that splitOption.length >= 2

use of default init

Low Prob.

check if init'ed(splitOption.length)

method not available - call not analyzed Info call on void com.dmdirc.config.Identity:unsetOption (String, String)

Prev Msg Next Msg

Prev Msg Next Msg

array index out of bounds

click for all messages in this file High Prob.

check that splitOption.length >= 2

use of default init

Low Prob.

check if init'ed(splitOption.length)

method not available - call not analyzed Info call on void com.dmdirc.config.Identity:setOption(S tring, String, String)

Prev Msg Next Msg

method	void addCurrentOption(String, SettingsPanel$Option Type, String)
pre	this.currentOptionsPanel != null
pre	this.currentOptionsPanel.checkBoxes != null
pre	this.currentOptionsPanel.colours != null
pre	this.currentOptionsPanel.spinners != null
pre	this.currentOptionsPanel.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...names != null
pre	(soft) this.currentOptionsPanel.parent != null
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 com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel$OptionType:ordinal
unanalyzed	call on javax.swing.JTextField
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.Boolean:parseBoolean
unanalyzed	call on javax.swing.JCheckBox
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 javax.swing.SpinnerNumberModel
unanalyzed	call on javax.swing.JSpinner
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on javax.swing.JSpinner:setValue
unanalyzed	call on java.lang.IllegalArgumentException

method	void removeCurrentOption(String, SettingsPanel$Opt ionType)
pre	this.currentOptionsPanel != null
pre	this.currentOptionsPanel.checkBoxes != null
pre	this.currentOptionsPanel.colours != null
pre	this.currentOptionsPanel.spinners != null
pre	this.currentOptionsPanel.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...names != null
pre	(soft) this.currentOptionsPanel.parent != 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

method	void addAddableOption(String)
pre	this.addOptionPanel != null
pre	this.addOptionPanel.addOptionButton != null
pre	this.addOptionPanel.addOptionComboBox != null
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	String getOptionName(String)
pre	this.names != null
post	init'ed(return_value)

method	SettingsPanel$OptionType getOptionType(String)
pre	this.types != null
post	init'ed(return_value)

	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.SettingsPanel:setLayout(LayoutMan ager)