SettingsPanel.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void addAddableOption(String)

    • Kind Annotation Text
    prethis.addOptionPanel != null
    prethis.addOptionPanel.addOptionButton != null
    prethis.addOptionPanel.addOptionComboBox != null
    unanalyzedcall on javax.swing.DefaultComboBoxModel:addElement
    unanalyzedcall on javax.swing.JButton:setEnabled
    unanalyzedcall on javax.swing.JComboBox:getModel
    unanalyzedcall on javax.swing.JComboBox:setEnabled

  • void addCurrentOption(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...names != null
    pre(soft) this.currentOptionsPanel.parent != null
    prethis.currentOptionsPanel != null
    prethis.currentOptionsPanel.checkBoxes != null
    prethis.currentOptionsPanel.colours != null
    prethis.currentOptionsPanel.spinners != null
    prethis.currentOptionsPanel.textFields != null
    pretype != null
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ColourChooser:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ColourChooser:setLayout
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ImageButton:addActionListener
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ImageButton:setActionCommand
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ImageButton:setBorder
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ImageButton:setContentAreaFilled
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ImageButton:setIcon
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ImageButton:setMargin
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ImageButton:setPreferredSize
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ImageButton:setPressedIcon
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ImageButton:setRolloverIcon
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. expandingsettings.CurrentOptionsPanel:removeAll
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. expandingsettings.CurrentOptionsPanel:setLayout
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. expandingsettings.CurrentOptionsPanel:setVisible
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel$OptionType:ordinal
    unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
    unanalyzedcall on com.dmdirc.ui.messages.ColourManager:getCol our
    unanalyzedcall on com.dmdirc.ui.messages.ColourManager:parseC olour
    unanalyzedcall on getOptionName
    unanalyzedcall on isWindowsUI
    unanalyzedcall on java.awt.Dimension
    unanalyzedcall on java.awt.Insets
    unanalyzedcall on java.lang.Boolean:parseBoolean
    unanalyzedcall on java.lang.Class:getName
    unanalyzedcall on java.lang.IllegalArgumentException
    unanalyzedcall on java.lang.Integer:parseInt
    unanalyzedcall on java.lang.Integer:valueOf
    unanalyzedcall on java.lang.Object:getClass
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.util.Map$Entry:getKey
    unanalyzedcall on java.util.Map$Entry:getValue
    unanalyzedcall on java.util.Map:entrySet
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on java.util.Map:put
    unanalyzedcall on java.util.Set:iterator
    unanalyzedcall on javax.swing.BorderFactory:createEmptyBorder
    unanalyzedcall on javax.swing.BorderFactory:createLineBorder
    unanalyzedcall on javax.swing.JButton
    unanalyzedcall on javax.swing.JButton:addActionListener
    unanalyzedcall on javax.swing.JButton:setMargin
    unanalyzedcall on javax.swing.JCheckBox
    unanalyzedcall on javax.swing.JLabel
    unanalyzedcall on javax.swing.JLabel:setLabelFor
    unanalyzedcall on javax.swing.JLabel:setText
    unanalyzedcall on javax.swing.JPanel
    unanalyzedcall on javax.swing.JPanel:add
    unanalyzedcall on javax.swing.JPanel:setBackground
    unanalyzedcall on javax.swing.JPanel:setBorder
    unanalyzedcall on javax.swing.JPanel:setPreferredSize
    unanalyzedcall on javax.swing.JPanel:setToolTipText
    unanalyzedcall on javax.swing.JSpinner
    unanalyzedcall on javax.swing.JSpinner:setValue
    unanalyzedcall on javax.swing.JTextField
    unanalyzedcall on javax.swing.SpinnerNumberModel
    unanalyzedcall on javax.swing.UIManager:getLookAndFeel
    unanalyzedcall on javax.swing.event.EventListenerList
    unanalyzedcall on net.miginfocom.swing.MigLayout

  • void addOption(String, 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) 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
    unanalyzedcall on addOption
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ColourChooser:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ColourChooser:setLayout
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ImageButton:addActionListener
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ImageButton:setActionCommand
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ImageButton:setBorder
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ImageButton:setContentAreaFilled
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ImageButton:setIcon
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ImageButton:setMargin
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ImageButton:setPreferredSize
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ImageButton:setPressedIcon
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ImageButton:setRolloverIcon
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. expandingsettings.CurrentOptionsPanel:removeAll
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. expandingsettings.CurrentOptionsPanel:setLayout
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. expandingsettings.CurrentOptionsPanel:setVisible
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel$OptionType:ordinal
    unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
    unanalyzedcall on com.dmdirc.ui.messages.ColourManager:getCol our
    unanalyzedcall on com.dmdirc.ui.messages.ColourManager:parseC olour
    unanalyzedcall on getOptionName
    unanalyzedcall on isWindowsUI
    unanalyzedcall on java.awt.Dimension
    unanalyzedcall on java.awt.Insets
    unanalyzedcall on java.lang.Boolean:parseBoolean
    unanalyzedcall on java.lang.Class:getName
    unanalyzedcall on java.lang.IllegalArgumentException
    unanalyzedcall on java.lang.Integer:parseInt
    unanalyzedcall on java.lang.Integer:valueOf
    unanalyzedcall on java.lang.Object:getClass
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.util.Map$Entry:getKey
    unanalyzedcall on java.util.Map$Entry:getValue
    unanalyzedcall on java.util.Map:entrySet
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on java.util.Map:put
    unanalyzedcall on java.util.Set:iterator
    unanalyzedcall on javax.swing.BorderFactory:createEmptyBorder
    unanalyzedcall on javax.swing.BorderFactory:createLineBorder
    unanalyzedcall on javax.swing.DefaultComboBoxModel:addElement
    unanalyzedcall on javax.swing.JButton
    unanalyzedcall on javax.swing.JButton:addActionListener
    unanalyzedcall on javax.swing.JButton:setEnabled
    unanalyzedcall on javax.swing.JButton:setMargin
    unanalyzedcall on javax.swing.JCheckBox
    unanalyzedcall on javax.swing.JComboBox:getModel
    unanalyzedcall on javax.swing.JComboBox:setEnabled
    unanalyzedcall on javax.swing.JLabel
    unanalyzedcall on javax.swing.JLabel:setLabelFor
    unanalyzedcall on javax.swing.JLabel:setText
    unanalyzedcall on javax.swing.JPanel
    unanalyzedcall on javax.swing.JPanel:add
    unanalyzedcall on javax.swing.JPanel:setBackground
    unanalyzedcall on javax.swing.JPanel:setBorder
    unanalyzedcall on javax.swing.JPanel:setPreferredSize
    unanalyzedcall on javax.swing.JPanel:setToolTipText
    unanalyzedcall on javax.swing.JSpinner
    unanalyzedcall on javax.swing.JSpinner:setValue
    unanalyzedcall on javax.swing.JTextField
    unanalyzedcall on javax.swing.SpinnerNumberModel
    unanalyzedcall on javax.swing.UIManager:getLookAndFeel
    unanalyzedcall on javax.swing.event.EventListenerList
    unanalyzedcall on net.miginfocom.swing.MigLayout
    test_vectorcom.dmdirc.config.Identity:hasOptionString(... )@151: {0}, {1}
    test_vectorjava.lang.String:indexOf(...)@143: {-231. .-2, 0..232-1}, {-1}
    test_vectorthis.config: Inverse{null}, Addr_Set{null}

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

    • Kind Annotation Text

  • com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel$OptionType__static_init

    • Kind Annotation Text
    post$VALUES == &new SettingsPanel$OptionType[](Sett ingsPanel$OptionType__static_init#5)
    post$VALUES.length == 4
    post$VALUES[0] == &new SettingsPanel$OptionType(Set tingsPanel$OptionType__static_init#1)
    post$VALUES[1] == &new SettingsPanel$OptionType(Set tingsPanel$OptionType__static_init#2)
    post$VALUES[2] == &new SettingsPanel$OptionType(Set tingsPanel$OptionType__static_init#3)
    post$VALUES[3] == &new SettingsPanel$OptionType(Set tingsPanel$OptionType__static_init#4)
    postCHECKBOX == &new SettingsPanel$OptionType(Setti ngsPanel$OptionType__static_init#2)
    postCOLOUR == &new SettingsPanel$OptionType(Setting sPanel$OptionType__static_init#3)
    postSPINNER == &new SettingsPanel$OptionType(Settin gsPanel$OptionType__static_init#4)
    postTEXTFIELD == &new SettingsPanel$OptionType(Sett ingsPanel$OptionType__static_init#1)
    postnew SettingsPanel$OptionType(SettingsPanel$OptionTy pe__static_init#1) num objects == 1
    postnew SettingsPanel$OptionType(SettingsPanel$OptionTy pe__static_init#2) num objects == 1
    postnew SettingsPanel$OptionType(SettingsPanel$OptionTy pe__static_init#3) num objects == 1
    postnew SettingsPanel$OptionType(SettingsPanel$OptionTy pe__static_init#4) num objects == 1
    postnew SettingsPanel$OptionType[](SettingsPanel$Option Type__static_init#5) num objects == 1
    unanalyzedcall on java.lang.Enum

  • void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel(Identity, String)

    • Kind Annotation Text
    postinit'ed(new ColourChooser(initComponents#5). window)
    postinit'ed(this.config)
    postnew AddOptionPanel(initComponents#4) num objects == 1
    postnew AddOptionPanel(initComponents#4). addInputCheckbox == &new JCheckBox(initComponen ts#7)
    postnew AddOptionPanel(initComponents#4). addInputColourChooser == &new ColourChooser(ini tComponents#5)
    postnew AddOptionPanel(initComponents#4). addInputCurrent == &new JLabel(initComponents#1 0)
    postnew AddOptionPanel(initComponents#4).addInputNone == &new JLabel(initComponents#10)
    postnew AddOptionPanel(initComponents#4). addInputSpinner == &new JSpinner(initComponents #8)
    postnew AddOptionPanel(initComponents#4).addInputText == &new JTextField(initComponents#6)
    postnew AddOptionPanel(initComponents#4). addOptionButton == &new JButton(initComponents# 3)
    postnew AddOptionPanel(initComponents#4). addOptionComboBox == &new JComboBox(initCompone nts#1)
    postnew AddOptionPanel(initComponents#4).parent != null
    postnew AddOptionPanel(initComponents#4).parent == this
    postnew ColourChooser(initComponents#5) num objects == 1
    postnew ColourChooser(initComponents#5).command == &""
    postnew ColourChooser(initComponents#5).editButton == &new JButton(ColourChooser#2)
    postnew ColourChooser(initComponents#5).listeners == &new EventListenerList(ColourChooser#1)
    postnew ColourChooser(initComponents#5).previewPanel == &new JPanel(ColourChooser#5)
    postnew ColourChooser(initComponents#5).showHex == 1
    postnew ColourChooser(initComponents#5).showIRC == 1
    postnew ColourChooser(initComponents#5).value == &"ffffff"
    postnew CurrentOptionsPanel(initComponents#5) num objects == 1
    postnew CurrentOptionsPanel(initComponents#5). checkBoxes == &new HashMap(initComponents#2)
    postnew CurrentOptionsPanel(initComponents#5).colours == &new HashMap(initComponents#3)
    postnew CurrentOptionsPanel(initComponents#5).parent == new AddOptionPanel(initComponents#4).parent
    postnew CurrentOptionsPanel(initComponents#5).spinners == &new HashMap(initComponents#4)
    postnew CurrentOptionsPanel(initComponents#5). textFields == &new HashMap(initComponents#1)
    postnew EventListenerList(ColourChooser#1) num objects == 1
    postnew HashMap(initComponents#1) num objects == 1
    postnew HashMap(initComponents#2) num objects == 1
    postnew HashMap(initComponents#3) num objects == 1
    postnew HashMap(initComponents#4) num objects == 1
    postnew JButton(ColourChooser#2) num objects == 1
    postnew JButton(initComponents#3) num objects == 1
    postnew JCheckBox(initComponents#7) num objects == 1
    postnew JComboBox(initComponents#1) num objects == 1
    postnew JLabel(initComponents#10) num objects == 1
    postnew JPanel(ColourChooser#5) num objects == 1
    postnew JScrollPane(initComponents#6) num objects == 1
    postnew JSpinner(initComponents#8) num objects == 1
    postnew JTextField(initComponents#6) num objects == 1
    postnew LinkedHashMap(initComponents#1) num objects == 1
    postnew LinkedHashMap(initComponents#2) num objects == 1
    postnew TextLabel(initComponents#3) num objects == 1
    postthis.addOptionPanel == &new AddOptionPanel(init Components#4)
    postthis.config == config
    postthis.currentOptionsPanel == &new CurrentOptionsPanel(initComponents#5)
    postthis.infoLabel == &new TextLabel(initComponents #3)
    postthis.names == &new LinkedHashMap(initComponents #1)
    postthis.scrollPane == &new JScrollPane(initCompone nts#6)
    postthis.types == &new LinkedHashMap(initComponents #2)
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ColourChooser:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ColourChooser:setLayout
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel:removeAll
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel:setBorder
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel:setLayout
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel:setOpaque
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel:setVisible
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. expandingsettings.CurrentOptionsPanel:setOpaque
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel:setLayout
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. renderers.AddOptionCellRenderer
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel
    unanalyzedcall on com.dmdirc.ui.messages.ColourManager:getCol our
    unanalyzedcall on com.dmdirc.ui.messages.ColourManager:parseC olour
    unanalyzedcall on isWindowsUI
    unanalyzedcall on java.awt.Dimension
    unanalyzedcall on java.awt.Insets
    unanalyzedcall on java.lang.Class:getName
    unanalyzedcall on java.lang.Object:getClass
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.System:getProperty
    unanalyzedcall on java.util.HashMap
    unanalyzedcall on java.util.LinkedHashMap
    unanalyzedcall on javax.swing.AbstractAction
    unanalyzedcall on javax.swing.ActionMap:put
    unanalyzedcall on javax.swing.BorderFactory:createLineBorder
    unanalyzedcall on javax.swing.BorderFactory:createTitledBorde r
    unanalyzedcall on javax.swing.DefaultComboBoxModel
    unanalyzedcall on javax.swing.InputMap:put
    unanalyzedcall on javax.swing.JButton
    unanalyzedcall on javax.swing.JButton:addActionListener
    unanalyzedcall on javax.swing.JButton:setEnabled
    unanalyzedcall on javax.swing.JButton:setMargin
    unanalyzedcall on javax.swing.JCheckBox
    unanalyzedcall on javax.swing.JCheckBox:setOpaque
    unanalyzedcall on javax.swing.JComboBox
    unanalyzedcall on javax.swing.JComboBox:addActionListener
    unanalyzedcall on javax.swing.JComboBox:putClientProperty
    unanalyzedcall on javax.swing.JComboBox:setEnabled
    unanalyzedcall on javax.swing.JComboBox:setRenderer
    unanalyzedcall on javax.swing.JLabel
    unanalyzedcall on javax.swing.JPanel
    unanalyzedcall on javax.swing.JPanel:setBackground
    unanalyzedcall on javax.swing.JPanel:setBorder
    unanalyzedcall on javax.swing.JPanel:setPreferredSize
    unanalyzedcall on javax.swing.JPanel:setToolTipText
    unanalyzedcall on javax.swing.JScrollPane
    unanalyzedcall on javax.swing.JScrollPane:getViewport
    unanalyzedcall on javax.swing.JScrollPane:setBorder
    unanalyzedcall on javax.swing.JScrollPane:setOpaque
    unanalyzedcall on javax.swing.JSpinner
    unanalyzedcall on javax.swing.JTextField
    unanalyzedcall on javax.swing.JTextField:getActionMap
    unanalyzedcall on javax.swing.JTextField:getInputMap
    unanalyzedcall on javax.swing.JViewport:setOpaque
    unanalyzedcall on javax.swing.KeyStroke:getKeyStroke
    unanalyzedcall on javax.swing.SpinnerNumberModel
    unanalyzedcall on javax.swing.UIManager:getLookAndFeel
    unanalyzedcall on javax.swing.event.EventListenerList
    unanalyzedcall on net.miginfocom.swing.MigLayout

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

    • Kind Annotation Text

  • String getOptionName(String)

    • Kind Annotation Text
    prethis.names != null
    postinit'ed(return_value)

  • SettingsPanel$OptionType getOptionType(String)

    • Kind Annotation Text
    prethis.types != null
    postinit'ed(return_value)

  • void initComponents(String)

    • Kind Annotation Text
    presumptionjavax.swing.JScrollPane:getViewport(...)@115 != null
    postinit'ed(new ColourChooser(initComponents#5). window)
    postnew AddOptionPanel(initComponents#4) num objects == 1
    postnew ColourChooser(initComponents#5) num objects == 1
    postnew ColourChooser(initComponents#5).command == &""
    postnew ColourChooser(initComponents#5).editButton == &new JButton(ColourChooser#2)
    postnew ColourChooser(initComponents#5).listeners == &new EventListenerList(ColourChooser#1)
    postnew ColourChooser(initComponents#5).previewPanel == &new JPanel(ColourChooser#5)
    postnew ColourChooser(initComponents#5).showHex == 1
    postnew ColourChooser(initComponents#5).showIRC == 1
    postnew ColourChooser(initComponents#5).value == &"ffffff"
    postnew CurrentOptionsPanel(initComponents#5) num objects == 1
    postnew EventListenerList(ColourChooser#1) num objects == 1
    postnew HashMap(initComponents#1) num objects == 1
    postnew HashMap(initComponents#2) num objects == 1
    postnew HashMap(initComponents#3) num objects == 1
    postnew HashMap(initComponents#4) num objects == 1
    postnew JButton(ColourChooser#2) num objects == 1
    postnew JButton(initComponents#3) num objects == 1
    postnew JCheckBox(initComponents#7) num objects == 1
    postnew JComboBox(initComponents#1) num objects == 1
    postnew JLabel(initComponents#10) num objects == 1
    postnew JPanel(ColourChooser#5) num objects == 1
    postnew JScrollPane(initComponents#6) num objects == 1
    postnew JSpinner(initComponents#8) num objects == 1
    postnew JTextField(initComponents#6) num objects == 1
    postnew LinkedHashMap(initComponents#1) num objects == 1
    postnew LinkedHashMap(initComponents#2) num objects == 1
    postnew TextLabel(initComponents#3) num objects == 1
    postthis.addOptionPanel == &new AddOptionPanel(init Components#4)
    postthis.addOptionPanel.addInputCheckbox == &new JCheckBox(initComponents#7)
    postthis.addOptionPanel.addInputColourChooser == &new ColourChooser(initComponents#5)
    postthis.addOptionPanel.addInputCurrent == &new JLabel(initComponents#10)
    postthis.addOptionPanel.addInputNone == &new JLabel(initComponents#10)
    postthis.addOptionPanel.addInputSpinner == &new JSpinner(initComponents#8)
    postthis.addOptionPanel.addInputText == &new JTextField(initComponents#6)
    postthis.addOptionPanel.addOptionButton == &new JButton(initComponents#3)
    postthis.addOptionPanel.addOptionComboBox == &new JComboBox(initComponents#1)
    postthis.addOptionPanel.parent != null
    postthis.addOptionPanel.parent == this
    postthis.currentOptionsPanel == &new CurrentOptionsPanel(initComponents#5)
    postthis.currentOptionsPanel.checkBoxes == &new HashMap(initComponents#2)
    postthis.currentOptionsPanel.colours == &new HashMap(initComponents#3)
    postthis.currentOptionsPanel.parent == this. addOptionPanel.parent
    postthis.currentOptionsPanel.spinners == &new HashMap(initComponents#4)
    postthis.currentOptionsPanel.textFields == &new HashMap(initComponents#1)
    postthis.infoLabel == &new TextLabel(initComponents #3)
    postthis.names == &new LinkedHashMap(initComponents #1)
    postthis.scrollPane == &new JScrollPane(initCompone nts#6)
    postthis.types == &new LinkedHashMap(initComponents #2)
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ColourChooser:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ColourChooser:setLayout
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel:removeAll
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel:setLayout
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel:setOpaque
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel:setVisible
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. expandingsettings.CurrentOptionsPanel:setOpaque
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. renderers.AddOptionCellRenderer
    unanalyzedcall on com.dmdirc.ui.messages.ColourManager:getCol our
    unanalyzedcall on com.dmdirc.ui.messages.ColourManager:parseC olour
    unanalyzedcall on isWindowsUI
    unanalyzedcall on java.awt.Dimension
    unanalyzedcall on java.awt.Insets
    unanalyzedcall on java.lang.Class:getName
    unanalyzedcall on java.lang.Object:getClass
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.System:getProperty
    unanalyzedcall on java.util.HashMap
    unanalyzedcall on javax.swing.AbstractAction
    unanalyzedcall on javax.swing.ActionMap:put
    unanalyzedcall on javax.swing.BorderFactory:createLineBorder
    unanalyzedcall on javax.swing.DefaultComboBoxModel
    unanalyzedcall on javax.swing.InputMap:put
    unanalyzedcall on javax.swing.JButton
    unanalyzedcall on javax.swing.JButton:addActionListener
    unanalyzedcall on javax.swing.JButton:setEnabled
    unanalyzedcall on javax.swing.JButton:setMargin
    unanalyzedcall on javax.swing.JCheckBox
    unanalyzedcall on javax.swing.JCheckBox:setOpaque
    unanalyzedcall on javax.swing.JComboBox
    unanalyzedcall on javax.swing.JComboBox:addActionListener
    unanalyzedcall on javax.swing.JComboBox:putClientProperty
    unanalyzedcall on javax.swing.JComboBox:setEnabled
    unanalyzedcall on javax.swing.JComboBox:setRenderer
    unanalyzedcall on javax.swing.JLabel
    unanalyzedcall on javax.swing.JPanel
    unanalyzedcall on javax.swing.JPanel:setBackground
    unanalyzedcall on javax.swing.JPanel:setBorder
    unanalyzedcall on javax.swing.JPanel:setPreferredSize
    unanalyzedcall on javax.swing.JPanel:setToolTipText
    unanalyzedcall on javax.swing.JSpinner
    unanalyzedcall on javax.swing.JTextField
    unanalyzedcall on javax.swing.JTextField:getActionMap
    unanalyzedcall on javax.swing.JTextField:getInputMap
    unanalyzedcall on javax.swing.KeyStroke:getKeyStroke
    unanalyzedcall on javax.swing.SpinnerNumberModel
    unanalyzedcall on javax.swing.UIManager:getLookAndFeel
    unanalyzedcall on javax.swing.event.EventListenerList
    unanalyzedcall on net.miginfocom.swing.MigLayout

  • void layoutComponents()

    • Kind Annotation Text
    preinit'ed(this.addOptionPanel)
    preinit'ed(this.infoLabel)
    preinit'ed(this.scrollPane)

  • void removeCurrentOption(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...names != null
    pre(soft) this.currentOptionsPanel.parent != null
    prethis.currentOptionsPanel != null
    prethis.currentOptionsPanel.checkBoxes != null
    prethis.currentOptionsPanel.colours != null
    prethis.currentOptionsPanel.spinners != null
    prethis.currentOptionsPanel.textFields != null
    pretype != null
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ImageButton:addActionListener
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ImageButton:setActionCommand
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ImageButton:setBorder
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ImageButton:setContentAreaFilled
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ImageButton:setIcon
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ImageButton:setMargin
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ImageButton:setPreferredSize
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ImageButton:setPressedIcon
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ImageButton:setRolloverIcon
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. expandingsettings.CurrentOptionsPanel:removeAll
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. expandingsettings.CurrentOptionsPanel:setLayout
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. expandingsettings.CurrentOptionsPanel:setVisible
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel$OptionType:ordinal
    unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
    unanalyzedcall on getOptionName
    unanalyzedcall on java.awt.Dimension
    unanalyzedcall on java.awt.Insets
    unanalyzedcall on java.lang.IllegalArgumentException
    unanalyzedcall on java.util.Map$Entry:getKey
    unanalyzedcall on java.util.Map$Entry:getValue
    unanalyzedcall on java.util.Map:entrySet
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on java.util.Map:remove
    unanalyzedcall on java.util.Set:iterator
    unanalyzedcall on javax.swing.BorderFactory:createEmptyBorder
    unanalyzedcall on javax.swing.JButton
    unanalyzedcall on javax.swing.JLabel
    unanalyzedcall on javax.swing.JLabel:setLabelFor
    unanalyzedcall on javax.swing.JLabel:setText
    unanalyzedcall on javax.swing.JPanel:add
    unanalyzedcall on net.miginfocom.swing.MigLayout

  • void save()

    • 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.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
    prethis.types != null
    presumptionjava.util.Iterator:next(...)@178 != null
    presumptionjava.util.Map:entrySet(...)@178 != null
    presumptionjava.util.Map_Entry:getKey(...)@182 != null
    presumptionjava.util.Map_Entry:getValue(...)@179 != null
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel$OptionType:ordinal
    unanalyzedcall on java.lang.IllegalArgumentException
    unanalyzedcall on java.lang.Object:toString
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on javax.swing.JCheckBox:isSelected
    unanalyzedcall on javax.swing.JSpinner:getValue
    unanalyzedcall on javax.swing.JTextField:getText
    test_vectorjava.util.Iterator:hasNext(...)@178: {0}, {1}

  • void update()

    • 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...names != null
    pre(soft) this.addOptionPanel.addOptionButton != null
    pre(soft) this.config != null
    pre(soft) this.currentOptionsPanel.parent != null
    preinit'ed(this.addOptionPanel.addInputNone)
    prethis.addOptionPanel != null
    prethis.addOptionPanel.addOptionComboBox != null
    prethis.currentOptionsPanel != null
    prethis.currentOptionsPanel.checkBoxes != null
    prethis.currentOptionsPanel.colours != null
    prethis.currentOptionsPanel.spinners != null
    prethis.currentOptionsPanel.textFields != null
    prethis.types != null
    presumptionjava.util.Iterator:next(...)@164 != null
    presumptionjava.util.Map:entrySet(...)@164 != null
    presumptionjava.util.Map_Entry:getKey(...)@165 != null
    presumptionjava.util.Map_Entry:getValue(...)@168 != null
    postinit'ed(this.addOptionPanel.addInputCurrent)
    postthis.addOptionPanel.addInputCurrent == this.addOptionPanel.addInputNone
    unanalyzedcall on addOption
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ColourChooser:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ColourChooser:setLayout
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ImageButton:addActionListener
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ImageButton:setActionCommand
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ImageButton:setBorder
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ImageButton:setContentAreaFilled
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ImageButton:setIcon
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ImageButton:setMargin
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ImageButton:setPreferredSize
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ImageButton:setPressedIcon
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ImageButton:setRolloverIcon
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel:removeAll
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. expandingsettings.AddOptionPanel:setVisible
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. expandingsettings.CurrentOptionsPanel:removeAll
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. expandingsettings.CurrentOptionsPanel:setLayout
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. expandingsettings.CurrentOptionsPanel:setVisible
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel$OptionType:ordinal
    unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
    unanalyzedcall on com.dmdirc.ui.messages.ColourManager:getCol our
    unanalyzedcall on com.dmdirc.ui.messages.ColourManager:parseC olour
    unanalyzedcall on getOptionName
    unanalyzedcall on isWindowsUI
    unanalyzedcall on java.awt.Dimension
    unanalyzedcall on java.awt.Insets
    unanalyzedcall on java.lang.Boolean:parseBoolean
    unanalyzedcall on java.lang.Class:getName
    unanalyzedcall on java.lang.IllegalArgumentException
    unanalyzedcall on java.lang.Integer:parseInt
    unanalyzedcall on java.lang.Integer:valueOf
    unanalyzedcall on java.lang.Object:getClass
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.util.Map$Entry:getKey
    unanalyzedcall on java.util.Map$Entry:getValue
    unanalyzedcall on java.util.Map:clear
    unanalyzedcall on java.util.Map:entrySet
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on java.util.Map:put
    unanalyzedcall on java.util.Set:iterator
    unanalyzedcall on javax.swing.BorderFactory:createEmptyBorder
    unanalyzedcall on javax.swing.BorderFactory:createLineBorder
    unanalyzedcall on javax.swing.DefaultComboBoxModel:addElement
    unanalyzedcall on javax.swing.JButton
    unanalyzedcall on javax.swing.JButton:addActionListener
    unanalyzedcall on javax.swing.JButton:setEnabled
    unanalyzedcall on javax.swing.JButton:setMargin
    unanalyzedcall on javax.swing.JCheckBox
    unanalyzedcall on javax.swing.JComboBox:getModel
    unanalyzedcall on javax.swing.JComboBox:removeAllItems
    unanalyzedcall on javax.swing.JComboBox:setEnabled
    unanalyzedcall on javax.swing.JLabel
    unanalyzedcall on javax.swing.JLabel:setLabelFor
    unanalyzedcall on javax.swing.JLabel:setText
    unanalyzedcall on javax.swing.JPanel
    unanalyzedcall on javax.swing.JPanel:add
    unanalyzedcall on javax.swing.JPanel:setBackground
    unanalyzedcall on javax.swing.JPanel:setBorder
    unanalyzedcall on javax.swing.JPanel:setPreferredSize
    unanalyzedcall on javax.swing.JPanel:setToolTipText
    unanalyzedcall on javax.swing.JSpinner
    unanalyzedcall on javax.swing.JSpinner:setValue
    unanalyzedcall on javax.swing.JTextField
    unanalyzedcall on javax.swing.SpinnerNumberModel
    unanalyzedcall on javax.swing.UIManager:getLookAndFeel
    unanalyzedcall on javax.swing.event.EventListenerList
    unanalyzedcall on net.miginfocom.swing.MigLayout
    test_vectorcom.dmdirc.config.Identity:hasOptionString(... )@167: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@164: {0}, {1}

  • SettingsPanel$OptionType valueOf(String)

    • Kind Annotation Text
    postinit'ed(return_value)

  • SettingsPanel$OptionType[] values()

    • Kind Annotation Text
    pre(soft) init'ed($VALUES[...])
    postnew SettingsPanel$OptionType[](values#1) num objects == 1
    postreturn_value == &new SettingsPanel$OptionType[] (values#1)
    postreturn_value.length == 4
    postreturn_value[...] == One-of{$VALUES[...], undefined}