Messages

method

com.dmdirc.addons.ui_swing.dialogs.actionsmanager. ActionGroupSettingsPanel__static_init

method	void com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel(ActionGroup )
post	this.settingMap == &new HashMap(initComponents# 1)
post	this.settings != null
post	this.window == null
post	new ArrayList(setActionGroup#1) num objects <= 1
post	new HashMap(initComponents#1) num objects == 1
unanalyzed	call on java.util.HashMap
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:removeAll
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:setLayout
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on com.dmdirc.config.prefs.PreferencesSetting: getTitle
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JLabel:setToolTipText
unanalyzed	call on com.dmdirc.addons.ui_swing.PrefsComponentFa ctory:getComponent
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:instanceof
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:setWindow
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourChooser:instanceof
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourChooser:setWindow
unanalyzed	call on com.dmdirc.addons.ui_swing.components. OptionalColourChooser:instanceof
unanalyzed	call on com.dmdirc.addons.ui_swing.components. OptionalColourChooser:setWindow
unanalyzed	call on javax.swing.JButton
unanalyzed	call on com.dmdirc.config.prefs.PreferencesSetting: registerChangeListener
unanalyzed	call on java.awt.Insets
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.SettingsRevertButton:setMargin
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.SettingsRevertButton:setVisible
unanalyzed	call on java.util.Map:put
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:add
unanalyzed	call on com.dmdirc.actions.ActionGroup:getSettings
unanalyzed	call on java.util.Map:isEmpty
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Map:values
unanalyzed	call on javax.swing.JPanel

method	void com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel(ActionGroup , Window)
post	this.settingMap == &new HashMap(initComponents# 1)
post	this.settings != null
post	this.window == window
post	init'ed(this.window)
post	new ArrayList(setActionGroup#1) num objects <= 1
post	new HashMap(initComponents#1) num objects == 1
unanalyzed	call on java.util.HashMap
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:removeAll
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:setLayout
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on com.dmdirc.config.prefs.PreferencesSetting: getTitle
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JLabel:setToolTipText
unanalyzed	call on com.dmdirc.addons.ui_swing.PrefsComponentFa ctory:getComponent
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:instanceof
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:setWindow
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourChooser:instanceof
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourChooser:setWindow
unanalyzed	call on com.dmdirc.addons.ui_swing.components. OptionalColourChooser:instanceof
unanalyzed	call on com.dmdirc.addons.ui_swing.components. OptionalColourChooser:setWindow
unanalyzed	call on javax.swing.JButton
unanalyzed	call on com.dmdirc.config.prefs.PreferencesSetting: registerChangeListener
unanalyzed	call on java.awt.Insets
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.SettingsRevertButton:setMargin
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.SettingsRevertButton:setVisible
unanalyzed	call on java.util.Map:put
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:add
unanalyzed	call on com.dmdirc.actions.ActionGroup:getSettings
unanalyzed	call on java.util.Map:isEmpty
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Map:values

method	void initComponents()
post	this.settingMap == &new HashMap(initComponents# 1)
post	new HashMap(initComponents#1) num objects == 1

method

void addListeners()

method	void layoutComponents()
pre	this.settings != null
pre	(soft) this.settingMap != null
pre	(soft) init'ed(this.window)
presumption	java.util.Iterator:next(...)@114 != null
unanalyzed	call on javax.swing.JButton
unanalyzed	call on com.dmdirc.config.prefs.PreferencesSetting: registerChangeListener
unanalyzed	call on java.awt.Insets
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.SettingsRevertButton:setMargin
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.SettingsRevertButton:setVisible
test_vector	java.util.Iterator:hasNext(...)@114: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:removeAll()

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.dialogs. actionsmanager.ActionGroupSettingsPanel:setLayout(L ayoutManager)

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

method not available - call not analyzed Info call on JComponent com.dmdirc.addons.ui_swing. PrefsComponentFactory:getComponent(PreferencesSetti ng)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:setWindow(Window)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. ColourChooser:setWindow(Window)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. OptionalColourChooser:setWindow(Window)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:add(Compone nt, Object)

method	void setActionGroup(ActionGroup)
pre	(soft) this.settingMap != null
pre	(soft) init'ed(this.window)
presumption	com.dmdirc.actions.ActionGroup:getSettings(... )@141 != null
presumption	com.dmdirc.actions.ActionGroup:getSettings(... )@144 != null
presumption	java.util.Map:values(...)@144 != null
post	this.settings != null
post	new ArrayList(setActionGroup#1) num objects <= 1
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:removeAll
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:setLayout
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on com.dmdirc.config.prefs.PreferencesSetting: getTitle
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JLabel:setToolTipText
unanalyzed	call on com.dmdirc.addons.ui_swing.PrefsComponentFa ctory:getComponent
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:instanceof
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:setWindow
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourChooser:instanceof
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourChooser:setWindow
unanalyzed	call on com.dmdirc.addons.ui_swing.components. OptionalColourChooser:instanceof
unanalyzed	call on com.dmdirc.addons.ui_swing.components. OptionalColourChooser:setWindow
unanalyzed	call on javax.swing.JButton
unanalyzed	call on com.dmdirc.config.prefs.PreferencesSetting: registerChangeListener
unanalyzed	call on java.awt.Insets
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.SettingsRevertButton:setMargin
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.SettingsRevertButton:setVisible
unanalyzed	call on java.util.Map:put
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:add
test_vector	group: Addr_Set{null}, Inverse{null}
test_vector	java.util.Map:isEmpty(...)@141: {0}, {1}

method not available - call not analyzed Info call on Map com.dmdirc.actions.ActionGroup:getSetti ngs()

method	bool shouldDisplay()
pre	this.settings != null
post	init'ed(return_value)

method	void save()
pre	this.settings != null
presumption	java.util.Iterator:next(...)@163 != null
test_vector	java.util.Iterator:hasNext(...)@163: {0}, {1}

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

method	void actionPerformed(ActionEvent)
pre	e != null
pre	this.settingMap != null
pre	this.settings != null
pre	(soft) init'ed(this.window)
presumption	java.util.Map:get(...)@176 != null
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:removeAll
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:setLayout
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on com.dmdirc.config.prefs.PreferencesSetting: getTitle
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JLabel:setToolTipText
unanalyzed	call on com.dmdirc.addons.ui_swing.PrefsComponentFa ctory:getComponent
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:instanceof
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:setWindow
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourChooser:instanceof
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourChooser:setWindow
unanalyzed	call on com.dmdirc.addons.ui_swing.components. OptionalColourChooser:instanceof
unanalyzed	call on com.dmdirc.addons.ui_swing.components. OptionalColourChooser:setWindow
unanalyzed	call on javax.swing.JButton
unanalyzed	call on com.dmdirc.config.prefs.PreferencesSetting: registerChangeListener
unanalyzed	call on java.awt.Insets
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.SettingsRevertButton:setMargin
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.SettingsRevertButton:setVisible
unanalyzed	call on java.util.Map:put
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:add

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:setVisible( bool)

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:setVisible( bool)

	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.dialogs. actionsmanager.ActionGroupSettingsPanel:setLayout(L ayoutManager)