PrefsComponentFactory.java

PrefsComponentFactory.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void actionPerformed(ActionEvent)

Kind	Annotation Text
pre	e != null
pre	this.val$setting != null
presumption	java.awt.event.ActionEvent:getSource(...)@312 != null

void actionPerformed(ActionEvent)

Kind	Annotation Text
pre	e != null
pre	this.val$setting != null
presumption	java.awt.event.ActionEvent:getSource(...)@175 != null
presumption	javax.swing.JComboBox:getSelectedItem(...)@175 != null

void actionPerformed(ActionEvent)

Kind	Annotation Text
pre	e != null
pre	this.val$setting != null
presumption	java.awt.event.ActionEvent:getSource(...). enabled@287 != null
presumption	java.awt.event.ActionEvent:getSource(...)@287 != null
unanalyzed	call on javax.swing.JCheckBox:isSelected

void actionPerformed(ActionEvent)

Kind	Annotation Text
pre	e != null
pre	this.val$setting != null
presumption	java.awt.event.ActionEvent:getSource(...)@261 != null

void com.dmdirc.addons.ui_swing.PrefsComponentFactory$1(PreferencesSetting)

Kind	Annotation Text
post	init'ed(this.val$setting)
post	this.val$setting == Param_1

com.dmdirc.addons.ui_swing.PrefsComponentFactory$1__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.PrefsComponentFactory$2(PreferencesSetting)

Kind	Annotation Text
post	init'ed(this.val$setting)
post	this.val$setting == Param_1

com.dmdirc.addons.ui_swing.PrefsComponentFactory$2__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.PrefsComponentFactory$3(PreferencesSetting)

Kind	Annotation Text
post	init'ed(this.val$setting)
post	this.val$setting == Param_1

com.dmdirc.addons.ui_swing.PrefsComponentFactory$3__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.PrefsComponentFactory$4(PreferencesSetting)

Kind	Annotation Text
post	init'ed(this.val$setting)
post	this.val$setting == Param_1

com.dmdirc.addons.ui_swing.PrefsComponentFactory$4__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.PrefsComponentFactory$5(PreferencesSetting)

Kind	Annotation Text
post	init'ed(this.val$setting)
post	this.val$setting == Param_1

com.dmdirc.addons.ui_swing.PrefsComponentFactory$5__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.PrefsComponentFactory$6(PreferencesSetting)

Kind	Annotation Text
post	init'ed(this.val$setting)
post	this.val$setting == Param_1

com.dmdirc.addons.ui_swing.PrefsComponentFactory$6__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.PrefsComponentFactory$7(PreferencesSetting)

Kind	Annotation Text
post	init'ed(this.val$setting)
post	this.val$setting == Param_1

com.dmdirc.addons.ui_swing.PrefsComponentFactory$7__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.PrefsComponentFactory$8(PreferencesSetting)

Kind	Annotation Text
post	init'ed(this.val$setting)
post	this.val$setting == Param_1

com.dmdirc.addons.ui_swing.PrefsComponentFactory$8__static_init

Kind	Annotation Text

com.dmdirc.addons.ui_swing.PrefsComponentFactory$9__static_init

Kind	Annotation Text
presumption	com.dmdirc.config.prefs.PreferencesType.BOOLEAN != null
presumption	com.dmdirc.config.prefs.PreferencesType.COLOUR != null
presumption	com.dmdirc.config.prefs.PreferencesType.DURATION != null
presumption	com.dmdirc.config.prefs.PreferencesType.FONT != null
presumption	com.dmdirc.config.prefs.PreferencesType.INTEGER != null
presumption	com.dmdirc.config.prefs.PreferencesType. MULTICHOICE != null
presumption	com.dmdirc.config.prefs.PreferencesType. OPTIONALCOLOUR != null
presumption	com.dmdirc.config.prefs.PreferencesType.TEXT != null
presumption	com.dmdirc.config.prefs.PreferencesType:ordinal(... )@75 < com.dmdirc.config.prefs.PreferencesType:valu es(...).length@75
presumption	com.dmdirc.config.prefs.PreferencesType:ordinal(... )@75 >= 0
presumption	com.dmdirc.config.prefs.PreferencesType:values(... ).length@75 >= 1
presumption	com.dmdirc.config.prefs.PreferencesType:values(... )@75 != null
post	new int[](PrefsComponentFactory$9__static_init#1) num objects == 1

void com.dmdirc.addons.ui_swing.PrefsComponentFactory()

Kind	Annotation Text

com.dmdirc.addons.ui_swing.PrefsComponentFactory__static_init

Kind	Annotation Text

void durationUpdated(int)

Kind	Annotation Text
pre	this.val$setting != null

JComponent getBooleanOption(PreferencesSetting)

Kind	Annotation Text
pre	setting != null
post	new JCheckBox(getBooleanOption#1) num objects == 1
post	return_value == &new JCheckBox(getBooleanOption #1)

JComponent getColourOption(PreferencesSetting)

Kind	Annotation Text
pre	setting != null
post	init'ed(return_value.value)
post	init'ed(return_value.window)
post	new ColourChooser(getColourOption#1) num objects == 1
post	new EventListenerList(ColourChooser#1) num objects == 1
post	new JButton(ColourChooser#2) num objects == 1
post	new JPanel(ColourChooser#5) num objects == 1
post	return_value == &new ColourChooser(getColourOpt ion#1)
post	return_value.command == &""
post	return_value.editButton == &new JButton(ColourChooser#2)
post	return_value.listeners == &new EventListenerLis t(ColourChooser#1)
post	return_value.previewPanel == &new JPanel(ColourChooser#5)
post	return_value.showHex == 1
post	return_value.showIRC == 1
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourChooser:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourChooser:setLayout
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:getCol our
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:parseC olour
unanalyzed	call on isWindowsUI
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.BorderFactory:createLineBorder
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JButton:setMargin
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JPanel:setBackground
unanalyzed	call on javax.swing.JPanel:setBorder
unanalyzed	call on javax.swing.JPanel:setPreferredSize
unanalyzed	call on javax.swing.JPanel:setToolTipText
unanalyzed	call on javax.swing.UIManager:getLookAndFeel
unanalyzed	call on javax.swing.event.EventListenerList
unanalyzed	call on javax.swing.event.EventListenerList:add
unanalyzed	call on net.miginfocom.swing.MigLayout

JComponent getComboOption(PreferencesSetting)

Kind	Annotation Text
pre	setting != null
presumption	com.dmdirc.config.prefs.PreferencesSetting:getCombo Options(...)@159 != null
presumption	com.dmdirc.config.prefs.PreferencesSetting:getCombo Options(...)@163 != null
presumption	java.util.Iterator:next(...)@163 != null
presumption	java.util.Map:entrySet(...)@159 != null
presumption	java.util.Map:entrySet(...)@163 != null
presumption	java.util.Map_Entry:getKey(...)@164 != null
post	new JComboBox(getComboOption#1) num objects == 1
post	return_value == &new JComboBox(getComboOption#1 )
test_vector	java.lang.String:equals(...)@164: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@163: {0}, {1}

JComponent getComponent(PreferencesSetting)

Kind	Annotation Text
pre	(soft) com.dmdirc.addons.ui_swing.PrefsComponentFac tory$9__static_init.new int[](PrefsComponentFactory $9__static_init#1)[...] in {1..8}
pre	setting != null
presumption	com.dmdirc.config.prefs.PreferencesSetting:getType( ...)@75 != null
presumption	com.dmdirc.config.prefs.PreferencesType:ordinal(... )@75 < com.dmdirc.config.prefs.PreferencesType:valu es(...).length
presumption	com.dmdirc.config.prefs.PreferencesType:ordinal(... )@75 >= 0
presumption	com.dmdirc.config.prefs.PreferencesType:values(... ).length >= 1
presumption	javax.swing.JComponent:getFont(...)@105 != null
post	init'ed(new ColourChooser(getColourOption#1). value)
post	init'ed(new ColourChooser(getColourOption#1). window)
post	init'ed(new DurationDisplay(getDurationOption#1). duration)
post	init'ed(new DurationDisplay(getDurationOption#2). duration)
post	init'ed(new OptionalColourChooser(getOptionalColour Option#1).window)
post	java.lang.String:substring(...)._tainted == 0
post	new ColourChooser(getColourOption#1) num objects <= 1
post	new ColourChooser(getColourOption#1).command == &""
post	new ColourChooser(getColourOption#1).editButton == &new JButton(ColourChooser#2)
post	new ColourChooser(getColourOption#1).listeners == &new EventListenerList(ColourChooser#1)
post	new ColourChooser(getColourOption#1).previewPanel == &new JPanel(ColourChooser#5)
post	new ColourChooser(getColourOption#1).showHex == 1
post	new ColourChooser(getColourOption#1).showIRC == 1
post	new DurationDisplay(getDurationOption#1) num objects <= 1
post	new DurationDisplay(getDurationOption#1).button == &new JButton(initComponents#1)
post	new DurationDisplay(getDurationOption#1). durationLabel == &new JLabel(initComponents#2)
post	new DurationDisplay(getDurationOption#1).listeners == &new ListenerList(DurationDisplay#1)
post	new DurationDisplay(getDurationOption#1).window == null
post	new DurationDisplay(getDurationOption#2) num objects <= 1
post	new DurationDisplay(getDurationOption#2).button == &new JButton(initComponents#1)
post	new DurationDisplay(getDurationOption#2). durationLabel == &new JLabel(initComponents#2)
post	new DurationDisplay(getDurationOption#2).listeners == &new ListenerList(DurationDisplay#1)
post	new DurationDisplay(getDurationOption#2).window == null
post	new EventListenerList(ColourChooser#1) num objects <= 1
post	new FontPicker(getFontOption#1) num objects <= 1
post	new JButton(ColourChooser#2) num objects <= 1
post	new JButton(OptionalColourChooser#2) num objects <= 1
post	new JButton(initComponents#1) num objects <= 1
post	new JCheckBox(OptionalColourChooser#7) num objects <= 1
post	new JCheckBox(getBooleanOption#1) num objects <= 1
post	new JComboBox(getComboOption#1) num objects <= 1
post	new JLabel(initComponents#2) num objects <= 1
post	new JPanel(ColourChooser#5) num objects <= 1
post	new JPanel(OptionalColourChooser#5) num objects <= 1
post	new JSpinner(getIntegerOption#1) num objects <= 1
post	new JSpinner(getIntegerOption#3) num objects <= 1
post	new JSpinner(getIntegerOption#5) num objects <= 1
post	new ListenerList(DurationDisplay#1) num objects <= 1
post	new ListenerList(OptionalColourChooser#1) num objects <= 1
post	new OptionalColourChooser(getOptionalColourOption#1 ) num objects <= 1
post	new OptionalColourChooser(getOptionalColourOption#1 ).editButton == &new JButton(OptionalColourChoo ser#2)
post	new OptionalColourChooser(getOptionalColourOption#1 ).enabled == &new JCheckBox(OptionalColourChoos er#7)
post	new OptionalColourChooser(getOptionalColourOption#1 ).listeners == &new ListenerList(OptionalColour Chooser#1)
post	new OptionalColourChooser(getOptionalColourOption#1 ).previewPanel == &new JPanel(OptionalColourCho oser#5)
post	new OptionalColourChooser(getOptionalColourOption#1 ).showHex == 1
post	new OptionalColourChooser(getOptionalColourOption#1 ).showIRC == 1
post	new OptionalColourChooser(getOptionalColourOption#1 ).value in Addr_Set{&"0",&java.lang. String:substring(...)}
post	new ValidatingJTextField(getTextOption#1) num objects <= 1
post	return_value in Addr_Set{&new ValidatingJTextFi eld(getTextOption#1),&new JCheckBox(getBooleanO ption#1),&new JComboBox(getComboOption#1), &new JSpinner(getIntegerOption#1),&new JSpinner(getIntegerOption#3),&new JSpinner(getIn...
unanalyzed	call on addDurationListener
unanalyzed	call on com.dmdirc.addons.ui_swing.PrefsComponentFa ctory$5
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourChooser:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourChooser:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. FontPicker:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. FontPicker:getFont
unanalyzed	call on com.dmdirc.addons.ui_swing.components. FontPicker:getModel
unanalyzed	call on com.dmdirc.addons.ui_swing.components. FontPicker:setRenderer
unanalyzed	call on com.dmdirc.addons.ui_swing.components. OptionalColourChooser:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. OptionalColourChooser:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. renderers.FontListCellRenderer
unanalyzed	call on com.dmdirc.addons.ui_swing.components. renderers.MapEntryRenderer
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:addKeyListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:setText
unanalyzed	call on com.dmdirc.config.prefs.PreferencesSetting: getComboOptions
unanalyzed	call on com.dmdirc.config.prefs.PreferencesSetting: getValidator
unanalyzed	call on com.dmdirc.config.prefs.PreferencesSetting: getValue
unanalyzed	call on com.dmdirc.config.prefs.validator. NumericalValidator:getMax
unanalyzed	call on com.dmdirc.config.prefs.validator. NumericalValidator:getMin
unanalyzed	call on com.dmdirc.config.prefs.validator. NumericalValidator:instanceof
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:getCol our
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:parseC olour
unanalyzed	call on com.dmdirc.ui.messages.Formatter:formatDura tion
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.util.ListenerList:add
unanalyzed	call on isWindowsUI
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.awt.Font
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on java.awt.GraphicsEnvironment:getAvailableFo ntFamilyNames
unanalyzed	call on java.awt.GraphicsEnvironment:getLocalGraphi csEnvironment
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.awt.event.KeyAdapter
unanalyzed	call on java.lang.Boolean:parseBoolean
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.Long:intValue
unanalyzed	call on java.lang.Long:valueOf
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Set:toArray
unanalyzed	call on javax.swing.BorderFactory:createLineBorder
unanalyzed	call on javax.swing.DefaultComboBoxModel
unanalyzed	call on javax.swing.DefaultComboBoxModel:addElement
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JButton:setMargin
unanalyzed	call on javax.swing.JCheckBox
unanalyzed	call on javax.swing.JCheckBox:addActionListener
unanalyzed	call on javax.swing.JCheckBox:addChangeListener
unanalyzed	call on javax.swing.JCheckBox:setPreferredSize
unanalyzed	call on javax.swing.JCheckBox:setSelected
unanalyzed	call on javax.swing.JComboBox
unanalyzed	call on javax.swing.JComboBox:addActionListener
unanalyzed	call on javax.swing.JComboBox:setEditable
unanalyzed	call on javax.swing.JComboBox:setRenderer
unanalyzed	call on javax.swing.JComboBox:setSelectedItem
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JPanel:setBackground
unanalyzed	call on javax.swing.JPanel:setBorder
unanalyzed	call on javax.swing.JPanel:setPreferredSize
unanalyzed	call on javax.swing.JPanel:setToolTipText
unanalyzed	call on javax.swing.JSpinner
unanalyzed	call on javax.swing.JSpinner:addChangeListener
unanalyzed	call on javax.swing.JSpinner:setValue
unanalyzed	call on javax.swing.SpinnerNumberModel
unanalyzed	call on javax.swing.UIManager:getLookAndFeel
unanalyzed	call on javax.swing.event.EventListenerList
unanalyzed	call on javax.swing.event.EventListenerList:add
unanalyzed	call on net.miginfocom.swing.MigLayout
test_vector	com.dmdirc.addons.ui_swing.PrefsComponentFactory$9_ _static_init.new int[](PrefsComponentFactory$9__ static_init#1)[...]: {1}, {2}, {3}, {4}, {5}, {6}, {7}, {8}

JComponent getDurationOption(PreferencesSetting)

Kind	Annotation Text
pre	(soft) setting != null
post	init'ed(new DurationDisplay(getDurationOption#1). duration)
post	init'ed(new DurationDisplay(getDurationOption#2). duration)
post	new DurationDisplay(getDurationOption#1) num objects <= 1
post	new DurationDisplay(getDurationOption#1).button == &new JButton(initComponents#1)
post	new DurationDisplay(getDurationOption#1). durationLabel == &new JLabel(initComponents#2)
post	new DurationDisplay(getDurationOption#1).listeners == &new ListenerList(DurationDisplay#1)
post	new DurationDisplay(getDurationOption#1).window == null
post	new DurationDisplay(getDurationOption#2) num objects <= 1
post	new DurationDisplay(getDurationOption#2).button == &new JButton(initComponents#1)
post	new DurationDisplay(getDurationOption#2). durationLabel == &new JLabel(initComponents#2)
post	new DurationDisplay(getDurationOption#2).listeners == &new ListenerList(DurationDisplay#1)
post	new DurationDisplay(getDurationOption#2).window == null
post	new JButton(initComponents#1) num objects <= 1
post	new JLabel(initComponents#2) num objects <= 1
post	new ListenerList(DurationDisplay#1) num objects <= 1
post	return_value == One-of{&new DurationDisplay(get DurationOption#1), &new DurationDisplay(getDura tionOption#2)}
post	return_value in Addr_Set{&new DurationDisplay(g etDurationOption#1),&new DurationDisplay(getDur ationOption#2)}
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:setLayout
unanalyzed	call on com.dmdirc.ui.messages.Formatter:formatDura tion
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.util.ListenerList:add
unanalyzed	call on isWindowsUI
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.Long:intValue
unanalyzed	call on java.lang.Long:valueOf
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JButton:setMargin
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.UIManager:getLookAndFeel
unanalyzed	call on net.miginfocom.swing.MigLayout

JComponent getFontOption(PreferencesSetting)

Kind	Annotation Text
pre	setting != null
post	new FontPicker(getFontOption#1) num objects == 1
post	return_value == &new FontPicker(getFontOption#1 )
unanalyzed	call on com.dmdirc.addons.ui_swing.components. FontPicker:getFont
unanalyzed	call on com.dmdirc.addons.ui_swing.components. FontPicker:getModel
unanalyzed	call on com.dmdirc.addons.ui_swing.components. FontPicker:setRenderer
unanalyzed	call on com.dmdirc.addons.ui_swing.components. renderers.FontListCellRenderer
unanalyzed	call on java.awt.Font
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on java.awt.GraphicsEnvironment:getAvailableFo ntFamilyNames
unanalyzed	call on java.awt.GraphicsEnvironment:getLocalGraphi csEnvironment
unanalyzed	call on javax.swing.DefaultComboBoxModel
unanalyzed	call on javax.swing.DefaultComboBoxModel:addElement
unanalyzed	call on javax.swing.JComboBox

JComponent getIntegerOption(PreferencesSetting)

Kind	Annotation Text
pre	(soft) setting != null
presumption	com.dmdirc.config.prefs.PreferencesSetting:getValid ator(...)@194 != null
post	new JSpinner(getIntegerOption#1) num objects <= 1
post	new JSpinner(getIntegerOption#3) num objects <= 1
post	new JSpinner(getIntegerOption#5) num objects <= 1
post	return_value == One-of{&new JSpinner(getInteger Option#1), &new JSpinner(getIntegerOption#3), &new JSpinner(getIntegerOption#5)}
post	return_value in Addr_Set{&new JSpinner(getInteg erOption#3),&new JSpinner(getIntegerOption#1), &new JSpinner(getIntegerOption#5)}

JComponent getOptionalColourOption(PreferencesSetting)

Kind	Annotation Text
pre	setting != null
presumption	com.dmdirc.config.prefs.PreferencesSetting:getValue (...)@275 != null
presumption	com.dmdirc.config.prefs.PreferencesSetting:getValue (...)@277 != null
presumption	java.lang.String:indexOf(...)@277 <= 2³²-2
post	init'ed(return_value.window)
post	java.lang.String:substring(...)._tainted == 0
post	new JButton(OptionalColourChooser#2) num objects == 1
post	new JCheckBox(OptionalColourChooser#7) num objects == 1
post	new JPanel(OptionalColourChooser#5) num objects == 1
post	new ListenerList(OptionalColourChooser#1) num objects == 1
post	new OptionalColourChooser(getOptionalColourOption#1 ) num objects == 1
post	return_value == &new OptionalColourChooser(getO ptionalColourOption#1)
post	return_value.editButton == &new JButton(OptionalColourChooser#2)
post	return_value.enabled == &new JCheckBox(Optional ColourChooser#7)
post	return_value.listeners == &new ListenerList(Opt ionalColourChooser#1)
post	return_value.previewPanel == &new JPanel(OptionalColourChooser#5)
post	return_value.showHex == 1
post	return_value.showIRC == 1
post	return_value.value == One-of{&"0", &java.lang.String:substring(...)}
post	return_value.value in Addr_Set{&java.lang. String:substring(...),&"0"}
unanalyzed	call on com.dmdirc.addons.ui_swing.components. OptionalColourChooser:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. OptionalColourChooser:setLayout
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:getCol our
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:parseC olour
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.util.ListenerList:add
unanalyzed	call on isWindowsUI
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on javax.swing.BorderFactory:createLineBorder
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JButton:setMargin
unanalyzed	call on javax.swing.JCheckBox
unanalyzed	call on javax.swing.JCheckBox:addActionListener
unanalyzed	call on javax.swing.JCheckBox:setPreferredSize
unanalyzed	call on javax.swing.JCheckBox:setSelected
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JPanel:setBackground
unanalyzed	call on javax.swing.JPanel:setBorder
unanalyzed	call on javax.swing.JPanel:setPreferredSize
unanalyzed	call on javax.swing.JPanel:setToolTipText
unanalyzed	call on javax.swing.UIManager:getLookAndFeel
unanalyzed	call on net.miginfocom.swing.MigLayout

JComponent getTextOption(PreferencesSetting)

Kind	Annotation Text
pre	setting != null
post	new ValidatingJTextField(getTextOption#1) num objects == 1
post	return_value == &new ValidatingJTextField(getTe xtOption#1)
unanalyzed	call on java.awt.event.KeyAdapter

void keyReleased(KeyEvent)

Kind	Annotation Text
pre	e != null
pre	this.val$setting != null
presumption	java.awt.event.KeyEvent:getSource(...)@124 != null

void stateChanged(ChangeEvent)

Kind	Annotation Text
pre	e != null
pre	this.val$setting != null
presumption	javax.swing.JSpinner:getValue(...)@212 != null
presumption	javax.swing.event.ChangeEvent:getSource(...)@212 != null

void stateChanged(ChangeEvent)

Kind	Annotation Text
pre	e != null
pre	this.val$setting != null
presumption	javax.swing.event.ChangeEvent:getSource(...)@145 != null