Messages

method

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

method

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

method

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

method

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

method

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

method

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

method

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

method

com.dmdirc.addons.ui_swing.PrefsComponentFactory__ static_init

method

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

method

void com.dmdirc.addons.ui_swing.PrefsComponentFact ory()

method	com.dmdirc.addons.ui_swing.PrefsComponentFactory$9 __static_init
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 >= 0
presumption	com.dmdirc.config.prefs.PreferencesType:ordinal(... )@75 < com.dmdirc.config.prefs.PreferencesType:valu es(...).length@75
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

method	JComponent getComponent(PreferencesSetting)
pre	setting != null
pre	(soft) com.dmdirc.addons.ui_swing.PrefsComponentFac tory$9__static_init.new int[](PrefsComponentFactory $9__static_init#1)[...] in {1..8}
presumption	com.dmdirc.config.prefs.PreferencesSetting:getType( ...)@75 != null
presumption	com.dmdirc.config.prefs.PreferencesType:ordinal(... )@75 >= 0
presumption	com.dmdirc.config.prefs.PreferencesType:values(... ).length >= 1
presumption	com.dmdirc.config.prefs.PreferencesType:ordinal(... )@75 < com.dmdirc.config.prefs.PreferencesType:valu es(...).length
presumption	javax.swing.JComponent:getFont(...)@105 != null
post	java.lang.String:substring(...)._tainted == 0
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...
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	init'ed(new ColourChooser(getColourOption#1). value)
post	init'ed(new ColourChooser(getColourOption#1). window)
post	new DurationDisplay(getDurationOption#1) num objects <= 1
post	new DurationDisplay(getDurationOption#1).button == &new JButton(initComponents#1)
post	init'ed(new DurationDisplay(getDurationOption#1). duration)
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	init'ed(new DurationDisplay(getDurationOption#2). duration)
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	init'ed(new OptionalColourChooser(getOptionalColour Option#1).window)
post	new ValidatingJTextField(getTextOption#1) num objects <= 1
unanalyzed	call on com.dmdirc.config.prefs.PreferencesSetting: getValidator
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField
unanalyzed	call on com.dmdirc.config.prefs.PreferencesSetting: getValue
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:setText
unanalyzed	call on java.awt.event.KeyAdapter
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:addKeyListener
unanalyzed	call on javax.swing.JCheckBox
unanalyzed	call on java.lang.Boolean:parseBoolean
unanalyzed	call on javax.swing.JCheckBox:setSelected
unanalyzed	call on javax.swing.JCheckBox:addChangeListener
unanalyzed	call on com.dmdirc.config.prefs.PreferencesSetting: getComboOptions
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Set:toArray
unanalyzed	call on javax.swing.JComboBox
unanalyzed	call on com.dmdirc.addons.ui_swing.components. renderers.MapEntryRenderer
unanalyzed	call on javax.swing.JComboBox:setRenderer
unanalyzed	call on javax.swing.JComboBox:setEditable
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.lang.String:equals
unanalyzed	call on javax.swing.JComboBox:setSelectedItem
unanalyzed	call on javax.swing.JComboBox:addActionListener
unanalyzed	call on com.dmdirc.config.prefs.validator. NumericalValidator:instanceof
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on com.dmdirc.config.prefs.validator. NumericalValidator:getMin
unanalyzed	call on com.dmdirc.config.prefs.validator. NumericalValidator:getMax
unanalyzed	call on javax.swing.SpinnerNumberModel
unanalyzed	call on javax.swing.JSpinner
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on javax.swing.JSpinner:setValue
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.JSpinner:addChangeListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay
unanalyzed	call on com.dmdirc.addons.ui_swing.PrefsComponentFa ctory$5
unanalyzed	call on addDurationListener
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 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.event.EventListenerList:add
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:substring
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JCheckBox:setPreferredSize
unanalyzed	call on javax.swing.JCheckBox:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. OptionalColourChooser:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. OptionalColourChooser:add
unanalyzed	call on com.dmdirc.util.ListenerList:add
unanalyzed	call on javax.swing.DefaultComboBoxModel
unanalyzed	call on java.awt.GraphicsEnvironment:getLocalGraphi csEnvironment
unanalyzed	call on java.awt.GraphicsEnvironment:getAvailableFo ntFamilyNames
unanalyzed	call on com.dmdirc.addons.ui_swing.components. FontPicker:getFont
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on com.dmdirc.addons.ui_swing.components. FontPicker:getModel
unanalyzed	call on java.awt.Font
unanalyzed	call on javax.swing.DefaultComboBoxModel:addElement
unanalyzed	call on com.dmdirc.addons.ui_swing.components. renderers.FontListCellRenderer
unanalyzed	call on com.dmdirc.addons.ui_swing.components. FontPicker:setRenderer
unanalyzed	call on com.dmdirc.addons.ui_swing.components. FontPicker:addActionListener
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on com.dmdirc.ui.messages.Formatter:formatDura tion
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:add
unanalyzed	call on java.lang.Long:valueOf
unanalyzed	call on java.lang.Long:intValue
unanalyzed	call on javax.swing.UIManager:getLookAndFeel
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Class:getName
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}

method not available - call not analyzed Info call on PreferencesType[] com.dmdirc.config.prefs. PreferencesType:values()

method not available - call not analyzed Info call on int com.dmdirc.config.prefs. PreferencesType:ordinal()

method not available - call not analyzed Info call on PreferencesType com.dmdirc.config.prefs. PreferencesSetting:getType()

method not available - call not analyzed Info call on int com.dmdirc.config.prefs. PreferencesType:ordinal()

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

method not available - call not analyzed Info call on Validator com.dmdirc.config.prefs. PreferencesSetting:getValidator()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField(Validator)

method not available - call not analyzed Info call on String com.dmdirc.config.prefs. PreferencesSetting:getValue()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:setText(String)

method	void com.dmdirc.addons.ui_swing.PrefsComponentFact ory$1(PreferencesSetting)
post	this.val$setting == Param_1
post	init'ed(this.val$setting)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:addKeyListener(KeyL istener)

method	void keyReleased(KeyEvent)
pre	e != null
pre	this.val$setting != null
presumption	java.awt.event.KeyEvent:getSource(...)@124 != null

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesSetting:setValue(String)

method	JComponent getBooleanOption(PreferencesSetting)
pre	setting != null
post	return_value == &new JCheckBox(getBooleanOption #1)
post	new JCheckBox(getBooleanOption#1) num objects == 1

method not available - call not analyzed Info call on String com.dmdirc.config.prefs. PreferencesSetting:getValue()

method	void com.dmdirc.addons.ui_swing.PrefsComponentFact ory$2(PreferencesSetting)
post	this.val$setting == Param_1
post	init'ed(this.val$setting)

method	void stateChanged(ChangeEvent)
pre	e != null
pre	this.val$setting != null
presumption	javax.swing.event.ChangeEvent:getSource(...)@145 != null

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesSetting:setValue(String)

method	JComponent getComboOption(PreferencesSetting)
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	return_value == &new JComboBox(getComboOption#1 )
post	new JComboBox(getComboOption#1) num objects == 1
test_vector	java.lang.String:equals(...)@164: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@163: {0}, {1}

method not available - call not analyzed Info call on Map com.dmdirc.config.prefs. PreferencesSetting:getComboOptions()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. renderers.MapEntryRenderer()

method not available - call not analyzed Info call on Map com.dmdirc.config.prefs. PreferencesSetting:getComboOptions()

method not available - call not analyzed Info call on String com.dmdirc.config.prefs. PreferencesSetting:getValue()

method	void com.dmdirc.addons.ui_swing.PrefsComponentFact ory$3(PreferencesSetting)
post	this.val$setting == Param_1
post	init'ed(this.val$setting)

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

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesSetting:setValue(String)

method	JComponent getIntegerOption(PreferencesSetting)
pre	(soft) setting != null
presumption	com.dmdirc.config.prefs.PreferencesSetting:getValid ator(...)@194 != null
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)}
post	new JSpinner(getIntegerOption#1) num objects <= 1
post	new JSpinner(getIntegerOption#3) num objects <= 1
post	new JSpinner(getIntegerOption#5) num objects <= 1

method not available - call not analyzed Info call on Validator com.dmdirc.config.prefs. PreferencesSetting:getValidator()

method not available - call not analyzed Info call on String com.dmdirc.config.prefs. PreferencesSetting:getValue()

method not available - call not analyzed Info call on Validator com.dmdirc.config.prefs. PreferencesSetting:getValidator()

method not available - call not analyzed Info call on int com.dmdirc.config.prefs.validator. NumericalValidator:getMin()

method not available - call not analyzed Info call on int com.dmdirc.config.prefs.validator. NumericalValidator:getMax()

method not available - call not analyzed Info call on String com.dmdirc.config.prefs. PreferencesSetting:getValue()

method	void com.dmdirc.addons.ui_swing.PrefsComponentFact ory$4(PreferencesSetting)
post	this.val$setting == Param_1
post	init'ed(this.val$setting)

method	void stateChanged(ChangeEvent)
pre	e != null
pre	this.val$setting != null
presumption	javax.swing.JSpinner:getValue(...)@212 != null
presumption	javax.swing.event.ChangeEvent:getSource(...)@212 != null

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesSetting:setValue(String)

method	JComponent getDurationOption(PreferencesSetting)
pre	(soft) setting != null
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)}
post	new DurationDisplay(getDurationOption#1) num objects <= 1
post	new DurationDisplay(getDurationOption#1).button == &new JButton(initComponents#1)
post	init'ed(new DurationDisplay(getDurationOption#1). duration)
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	init'ed(new DurationDisplay(getDurationOption#2). duration)
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
unanalyzed	call on isWindowsUI
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on com.dmdirc.ui.messages.Formatter:formatDura tion
unanalyzed	call on java.awt.Insets
unanalyzed	call on javax.swing.JButton:setMargin
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:add
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on java.lang.Long:valueOf
unanalyzed	call on java.lang.Long:intValue
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.util.ListenerList:add
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
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

method not available - call not analyzed Info call on String com.dmdirc.config.prefs. PreferencesSetting:getValue()

method	void com.dmdirc.addons.ui_swing.PrefsComponentFact ory$5(PreferencesSetting)
post	this.val$setting == Param_1
post	init'ed(this.val$setting)

method	void durationUpdated(int)
pre	this.val$setting != null

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesSetting:setValue(String)

method	JComponent getColourOption(PreferencesSetting)
pre	setting != null
post	return_value == &new ColourChooser(getColourOpt ion#1)
post	new ColourChooser(getColourOption#1) num objects == 1
post	return_value.showHex == 1
post	return_value.showIRC == 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.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	init'ed(return_value.value)
post	init'ed(return_value.window)
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 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.event.EventListenerList:add
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
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

method not available - call not analyzed Info call on String com.dmdirc.config.prefs. PreferencesSetting:getValue()

method	void com.dmdirc.addons.ui_swing.PrefsComponentFact ory$6(PreferencesSetting)
post	this.val$setting == Param_1
post	init'ed(this.val$setting)

method	void actionPerformed(ActionEvent)
pre	e != null
pre	this.val$setting != null
presumption	java.awt.event.ActionEvent:getSource(...)@261 != null

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesSetting:setValue(String)

method	JComponent getOptionalColourOption(PreferencesSett ing)
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	java.lang.String:substring(...)._tainted == 0
post	return_value == &new OptionalColourChooser(getO ptionalColourOption#1)
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.showHex == 1
post	return_value.showIRC == 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.value == One-of{&"0", &java.lang.String:substring(...)}
post	return_value.value in Addr_Set{&java.lang. String:substring(...),&"0"}
post	init'ed(return_value.window)
unanalyzed	call on isWindowsUI
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 com.dmdirc.util.ListenerList
unanalyzed	call on javax.swing.JButton
unanalyzed	call on java.awt.Insets
unanalyzed	call on javax.swing.JButton:setMargin
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JButton:setEnabled
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 javax.swing.JCheckBox
unanalyzed	call on javax.swing.JCheckBox:setPreferredSize
unanalyzed	call on javax.swing.JCheckBox:setSelected
unanalyzed	call on javax.swing.JCheckBox:addActionListener
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. OptionalColourChooser:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. OptionalColourChooser:add
unanalyzed	call on com.dmdirc.util.ListenerList:add
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

method not available - call not analyzed Info call on String com.dmdirc.config.prefs. PreferencesSetting:getValue()

method	void com.dmdirc.addons.ui_swing.PrefsComponentFact ory$7(PreferencesSetting)
post	this.val$setting == Param_1
post	init'ed(this.val$setting)

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

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesSetting:setValue(String)

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

method not available - call not analyzed Info call on String com.dmdirc.config.prefs. PreferencesSetting:getValue()

method	void com.dmdirc.addons.ui_swing.PrefsComponentFact ory$8(PreferencesSetting)
post	this.val$setting == Param_1
post	init'ed(this.val$setting)

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

method	void actionPerformed(ActionEvent)
pre	e != null
pre	this.val$setting != null
presumption	java.awt.event.ActionEvent:getSource(...)@312 != null

method not available - call not analyzed Info call on Object com.dmdirc.addons.ui_swing. components.FontPicker:getSelectedItem()

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesSetting:setValue(String)

method not available - call not analyzed	Info	call on PreferencesType[] com.dmdirc.config.prefs. PreferencesType:values()
method not available - call not analyzed	Info	call on int com.dmdirc.config.prefs. PreferencesType:ordinal()
method not available - call not analyzed	Info	call on PreferencesType com.dmdirc.config.prefs. PreferencesSetting:getType()
method not available - call not analyzed	Info	call on int com.dmdirc.config.prefs. PreferencesType:ordinal()

	method not available - call not analyzed	Info	call on Validator com.dmdirc.config.prefs. PreferencesSetting:getValidator()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField(Validator)

	method not available - call not analyzed	Info	call on String com.dmdirc.config.prefs. PreferencesSetting:getValue()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:setText(String)