ActionsManagerDialog.java

ActionsManagerDialog.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void access$000(ActionsManagerDialog, ActionGroup)

Kind	Annotation Text
pre	x0 != null
pre	x0.groups != null
unanalyzed	call on com.dmdirc.actions.ActionManager:getGroups
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.util.Map:values
unanalyzed	call on javax.swing.DefaultListModel:addElement
unanalyzed	call on javax.swing.DefaultListModel:clear
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on javax.swing.JList:setSelectedValue

void access$100(ActionsManagerDialog)

Kind	Annotation Text
pre	x0 != null
pre	x0.groups != null
unanalyzed	call on com.dmdirc.actions.ActionManager:getGroups
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.util.Map:values
unanalyzed	call on javax.swing.DefaultListModel:addElement
unanalyzed	call on javax.swing.DefaultListModel:clear
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on javax.swing.JList:setSelectedValue

void actionPerformed(ActionEvent)

Kind	Annotation Text
pre	(soft) init'ed(com/dmdirc/addons/ui_ swing/dialogs/actioneditor/ActionEditorDialog.me)
pre	(soft) init'ed(me)
pre	(soft) init'ed(this.delete)
pre	(soft) init'ed(this.edit)
pre	(soft) this.groups != null
pre	(soft) this.settings != null
pre	e != null
pre	init'ed(this.add)
presumption	com.dmdirc.config.IdentityManager:getConfigIdentity (...)@322 != null
presumption	java.util.Iterator:next(...)@319 != null
presumption	java.util.Map:values(...)@319 != null
presumption	loopSettings.settings@319 != null
post	com/dmdirc/addons/ui_swing/dialogs/actioneditor/Act ionEditorDialog.me == One-of{old com/dmdirc/addons/ ui_swing/dialogs/actioneditor/ActionEditorDialog. me, null}
post	init'ed(com/dmdirc/addons/ui_swing/dialogs/actioned itor/ActionEditorDialog.me)
post	init'ed(me)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1*).action)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1*).conditions)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1*).conditionsValid)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1*).group)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1*).name)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1*).nameValid)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1*).response)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1*).showSubstitutions)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1*).substitutions)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1*).triggers)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1*).triggersValid)
post	me == One-of{old me, null}
post	new ActionEditorDialog(getActionEditorDialog#1*) num objects <= 1
unanalyzed	call on com.dmdirc.actions.ActionGroup:getName
unanalyzed	call on com.dmdirc.actions.ActionManager:getGroup
unanalyzed	call on com.dmdirc.actions.ActionManager:getGroups
unanalyzed	call on com.dmdirc.actions.ActionManager:removeGrou p
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:dispose
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:display
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:setText
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsPanel:addPropertyChang eListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:addWindowListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getLeftButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getOkButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getRightButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setDefaultCloseOper ation
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setMinimumSize
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setResizable
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setTitle
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionNamePanel:addPropertyChangeListe ner
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersPanel:addPropertyChangeL istener
unanalyzed	call on com.dmdirc.config.prefs.PreferencesSetting: save
unanalyzed	call on com.dmdirc.config.prefs.validator. ActionGroupValidator
unanalyzed	call on com.dmdirc.config.prefs.validator. FileNameValidator
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidatorChain
unanalyzed	call on doComponents
unanalyzed	call on initComponents
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.util.Map:values
unanalyzed	call on javax.swing.DefaultListModel:addElement
unanalyzed	call on javax.swing.DefaultListModel:clear
unanalyzed	call on javax.swing.DefaultListModel:indexOf
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on javax.swing.JList:getSelectedValue
unanalyzed	call on javax.swing.JList:setSelectedIndex
unanalyzed	call on javax.swing.JList:setSelectedValue
unanalyzed	call on javax.swing.JOptionPane:showConfirmDialog
unanalyzed	call on javax.swing.ListModel:getSize
unanalyzed	call on net.miginfocom.swing.MigLayout
test_vector	com/dmdirc/addons/ui_swing/dialogs/actioneditor/Act ionEditorDialog.me: Addr_Set{null}, Inverse{null}
test_vector	java.util.Iterator:hasNext(...)@319: {0}, {1}
test_vector	javax.swing.JOptionPane:showConfirmDialog(... )@310: {-2³¹..-1, 1..2³²-1}, {0}

void addGroup()

Kind	Annotation Text
presumption	init'ed(java.awt.Dialog$ModalityType.DOCUMENT_ MODAL)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog

void addListeners()

Kind	Annotation Text
pre	this.add != null
pre	this.delete != null
pre	this.edit != null
pre	this.groups != null
presumption	com.dmdirc.addons.ui_swing.dialogs.actionsmanager. ActionsManagerDialog:getCancelButton(...)@194 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.actionsmanager. ActionsManagerDialog:getOkButton(...)@193 != null
presumption	init'ed(com.dmdirc.actions.CoreActionType.ACTION_ CREATED)
presumption	init'ed(com.dmdirc.actions.CoreActionType.ACTION_ DELETED)
presumption	init'ed(com.dmdirc.actions.CoreActionType.ACTION_ UPDATED)
presumption	javax.swing.JList:getSelectionModel(...)@198 != null
unanalyzed	call on java.awt.event.WindowAdapter

void cancelled()

Kind	Annotation Text

void cancelled()

Kind	Annotation Text

void changeActiveGroup(ActionGroup)

Kind	Annotation Text
pre	(soft) init'ed(this.info.infoLabel.sas)
pre	(soft) this.info.authorLabel != null
pre	(soft) this.info.versionLabel != null
pre	init'ed(this.actions.model.actions)
pre	init'ed(this.groupPanel)
pre	init'ed(this.infoLabel)
pre	this.actions != null
pre	this.actions.add != null
pre	this.actions.model != null
pre	this.info != null
pre	this.info.author != null
pre	this.info.infoLabel != null
pre	this.info.version != null
pre	this.settings != null
presumption	com.dmdirc.addons.ui_swing.dialogs.actionsmanager. ActionsManagerDialog:getContentPane(...)@286 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.actionsmanager. ActionsManagerDialog:getContentPane(...)@287 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.actionsmanager. ActionsManagerDialog:getContentPane(...)@291 != null
presumption	java.util.Map:get(...)@281 != null
presumption	this.activeSettings.settings@281 != null
post	init'ed(this.actions.group)
post	init'ed(this.actions.model.actions)
post	new ArrayList(setActionGroup#1*) num objects <= 1
post	this.actions.group == group
post	this.activeSettings != null
post	this.info.group == this.actions.group
unanalyzed	call on com.dmdirc.actions.ActionGroup:getActions
unanalyzed	call on com.dmdirc.actions.ActionGroup:getAuthor
unanalyzed	call on com.dmdirc.actions.ActionGroup:getDescripti on
unanalyzed	call on com.dmdirc.actions.ActionGroup:getSettings
unanalyzed	call on com.dmdirc.actions.ActionGroup:getVersion
unanalyzed	call on com.dmdirc.addons.ui_swing.PrefsComponentFa ctory:getComponent
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 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.dialogs. actionsmanager.ActionGroupInformationPanel:isVisibl e
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:isVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:removeAll
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionTableModel:fireTableDataChange d
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:getContentPane
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:getOkButton
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 com.dmdirc.config.prefs.PreferencesSetting: getTitle
unanalyzed	call on com.dmdirc.config.prefs.PreferencesSetting: registerChangeListener
unanalyzed	call on java.awt.Container:add
unanalyzed	call on java.awt.Container:setLayout
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.lang.Integer:toString
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Collection:isEmpty
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.Map:isEmpty
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:values
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.JLabel
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on javax.swing.JLabel:setToolTipText
unanalyzed	call on javax.swing.JLabel:setVisible
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on net.miginfocom.swing.MigLayout
test_vector	java.util.Map:containsKey(...)@274: {1}, {0}

void com.dmdirc.addons.ui_swing.dialogs.actionsmanager.ActionsManagerDialog$1(ActionsManagerDialog)

Kind	Annotation Text

com.dmdirc.addons.ui_swing.dialogs.actionsmanager.ActionsManagerDialog$1__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.dialogs.actionsmanager.ActionsManagerDialog$2(ActionsManagerDialog, Window, Dialog$ModalityType, String, String, Validator)

Kind	Annotation Text

com.dmdirc.addons.ui_swing.dialogs.actionsmanager.ActionsManagerDialog$2__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.dialogs.actionsmanager.ActionsManagerDialog$3(ActionsManagerDialog, Window, Dialog$ModalityType, String, String, Validator, String)

Kind	Annotation Text
post	init'ed(this.val$oldName)
post	this.val$oldName == Param_7

com.dmdirc.addons.ui_swing.dialogs.actionsmanager.ActionsManagerDialog$3__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.dialogs.actionsmanager.ActionsManagerDialog()

Kind	Annotation Text
presumption	init'ed(java.awt.Dialog$ModalityType.MODELESS)
presumption	this.activeSettings != null
presumption	this.add != null
presumption	this.delete != null
presumption	this.edit != null
presumption	this.groupPanel != null
presumption	this.groups != null
presumption	this.info != null
post	init'ed(this.actions)
post	init'ed(this.activeSettings)
post	init'ed(this.add)
post	init'ed(this.delete)
post	init'ed(this.edit)
post	init'ed(this.groupPanel)
post	init'ed(this.groups)
post	init'ed(this.info)
post	init'ed(this.infoLabel)
unanalyzed	call on com.dmdirc.actions.ActionManager:addListene r
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupInformationPanel:isVisibl e
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:isVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:addWindowListen er
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:getContentPane
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:getOkButton
unanalyzed	call on java.awt.Container:add
unanalyzed	call on java.awt.Container:setLayout
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JList:getSelectionModel
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on javax.swing.JPanel:setLayout
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.ListSelectionModel:addListSelec tionListener
unanalyzed	call on net.miginfocom.swing.MigLayout

com.dmdirc.addons.ui_swing.dialogs.actionsmanager.ActionsManagerDialog__static_init

Kind	Annotation Text

void delGroup()

Kind	Annotation Text
pre	this.groups != null
presumption	javax.swing.JList:getModel(...)@423 != null
presumption	javax.swing.JList:getModel(...)@427 != null
presumption	javax.swing.JList:getModel(...)@429 != null
presumption	javax.swing.JList:getModel(...)@430 != null
presumption	javax.swing.JList:getSelectedValue(...)@416 != null
unanalyzed	call on com.dmdirc.actions.ActionManager:getGroups
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.util.Map:values
unanalyzed	call on javax.swing.DefaultListModel:addElement
unanalyzed	call on javax.swing.DefaultListModel:clear
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on javax.swing.JList:setSelectedValue
test_vector	javax.swing.DefaultListModel:indexOf(...)@423: {1..2³²-2}, {-2³¹..0}
test_vector	javax.swing.JOptionPane:showConfirmDialog(... )@418: {-2³¹..-1, 1..2³²-1}, {0}
test_vector	javax.swing.ListModel:getSize(...)@427: {-2³¹..-1, 1..2³²-1}, {0}

void dispose()

Kind	Annotation Text
pre	init'ed(me)
post	me == null
test_vector	me: Inverse{null}, Addr_Set{null}

void editGroup()

Kind	Annotation Text
pre	this.groups != null
presumption	init'ed(java.awt.Dialog$ModalityType.DOCUMENT_ MODAL)
presumption	javax.swing.JList:getSelectedValue(...)@374 != null
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog

ActionsManagerDialog getActionsManagerDialog()

Kind	Annotation Text
pre	init'ed(me)
presumption	me.groups != null
post	init'ed(new ActionsManagerDialog(getActionsManagerD ialog#1).actions)
post	init'ed(new ActionsManagerDialog(getActionsManagerD ialog#1).activeSettings)
post	init'ed(new ActionsManagerDialog(getActionsManagerD ialog#1).add)
post	init'ed(new ActionsManagerDialog(getActionsManagerD ialog#1).delete)
post	init'ed(new ActionsManagerDialog(getActionsManagerD ialog#1).edit)
post	init'ed(new ActionsManagerDialog(getActionsManagerD ialog#1).groupPanel)
post	init'ed(new ActionsManagerDialog(getActionsManagerD ialog#1).groups)
post	init'ed(new ActionsManagerDialog(getActionsManagerD ialog#1).info)
post	init'ed(new ActionsManagerDialog(getActionsManagerD ialog#1).infoLabel)
post	me != null
post	me == One-of{&new ActionsManagerDialog(getActio nsManagerDialog#1), old me}
post	new ActionsManagerDialog(getActionsManagerDialog#1) num objects <= 1
post	return_value != null
post	return_value == One-of{&new ActionsManagerDialo g(getActionsManagerDialog#1), old me}
unanalyzed	call on com.dmdirc.actions.ActionManager:addListene r
unanalyzed	call on com.dmdirc.actions.ActionManager:getGroups
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupInformationPanel:isVisibl e
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:isVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:addWindowListen er
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:getContentPane
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:getOkButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:setDefaultClose Operation
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:setResizable
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:setTitle
unanalyzed	call on initComponents
unanalyzed	call on java.awt.Container:add
unanalyzed	call on java.awt.Container:setLayout
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.util.Map:values
unanalyzed	call on javax.swing.DefaultListModel:addElement
unanalyzed	call on javax.swing.DefaultListModel:clear
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on javax.swing.JList:getSelectionModel
unanalyzed	call on javax.swing.JList:setSelectedValue
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on javax.swing.JPanel:setLayout
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.ListSelectionModel:addListSelec tionListener
unanalyzed	call on net.miginfocom.swing.MigLayout
test_vector	me: Inverse{null}, Addr_Set{null}

void initComponents()

Kind	Annotation Text
post	init'ed(this.actions.group)
post	init'ed(this.info.group)
post	new ActionGroupInformationPanel(initComponents#7) num objects == 1
post	new ActionGroupSettingsPanel(initComponents#9) num objects == 1
post	new ActionTableModel(initComponents#2) num objects == 1
post	new ActionTableModel(initComponents#2).actions != null
post	new ActionTypeTableCellRenderer(ActionsGroupPanel$1 #1) num objects == 1
post	new ActionsGroupPanel$1(initComponents#4) num objects == 1
post	new ActionsGroupPanel$1(initComponents#4). arrayRenderer == &new ArrayCellRenderer(Actions GroupPanel$1#2)
post	new ActionsGroupPanel$1(initComponents#4). typeRenderer == &new ActionTypeTableCellRendere r(ActionsGroupPanel$1#1)
post	new ActionsGroupPanel(initComponents#6) num objects == 1
post	new ArrayCellRenderer(ActionsGroupPanel$1#2) num objects == 1
post	new ArrayList(ActionTableModel#1) num objects <= 1
post	new ArrayList(initComponents#3) num objects == 1
post	new ArrayList(setActionGroup#1) num objects == 1
post	new HashMap(initComponents#1) num objects == 1
post	new HashMap(initComponents#8) num objects == 1
post	new JButton(initComponents#10) num objects == 1
post	new JButton(initComponents#11) num objects == 1
post	new JButton(initComponents#12) num objects == 1
post	new JButton(initComponents#6) num objects == 1
post	new JButton(initComponents#7) num objects == 1
post	new JButton(initComponents#8) num objects == 1
post	new JLabel(initComponents#2) num objects == 1
post	new JLabel(initComponents#3) num objects == 1
post	new JLabel(initComponents#4) num objects == 1
post	new JLabel(initComponents#5) num objects == 1
post	new JList(initComponents#4) num objects == 1
post	new JPanel(initComponents#13) num objects == 1
post	new JScrollPane(initComponents#1) num objects == 1
post	new OldTextLabel(initComponents#1) num objects == 1
post	new OldTextLabel(initComponents#1).sas == &new SimpleAttributeSet(OldTextLabel#4)
post	new SimpleAttributeSet(OldTextLabel#4) num objects == 1
post	new SimpleAttributeSet(TextLabel#6) num objects == 1
post	new TextLabel(initComponents#3) num objects == 1
post	this.actions == &new ActionsGroupPanel(initComp onents#6)
post	this.actions.add == &new JButton(initComponents #6)
post	this.actions.delete == &new JButton(initCompone nts#8)
post	this.actions.edit == &new JButton(initComponent s#7)
post	this.actions.model == &new ActionTableModel(ini tComponents#2)
post	this.actions.parent == this.activeSettings.window
post	this.actions.scrollPane == &new JScrollPane(initComponents#1)
post	this.actions.table == &new ActionsGroupPanel$1( initComponents#4)
post	this.activeSettings == &new ActionGroupSettings Panel(initComponents#9)
post	this.activeSettings.settingMap == &new HashMap(initComponents#1)
post	this.activeSettings.settings != null
post	this.activeSettings.window != null
post	this.activeSettings.window == this
post	this.add == &new JButton(initComponents#10)
post	this.delete == &new JButton(initComponents#12)
post	this.edit == &new JButton(initComponents#11)
post	this.groupPanel == &new JPanel(initComponents#1 3)
post	this.groups == &new JList(initComponents#4)
post	this.info == &new ActionGroupInformationPanel(i nitComponents#7)
post	this.info.author == &new JLabel(initComponents# 5)
post	this.info.authorLabel == &new JLabel(initCompon ents#4)
post	this.info.infoLabel == &new OldTextLabel(initCo mponents#1)
post	this.info.version == &new JLabel(initComponents #3)
post	this.info.versionLabel == &new JLabel(initCompo nents#2)
post	this.infoLabel == &new TextLabel(initComponents #3)
post	this.infoLabel.sas == &new SimpleAttributeSet(T extLabel#6)
post	this.settings == &new HashMap(initComponents#8)
unanalyzed	call on com.dmdirc.actions.ActionGroup:getActions
unanalyzed	call on com.dmdirc.actions.ActionGroup:getAuthor
unanalyzed	call on com.dmdirc.actions.ActionGroup:getDescripti on
unanalyzed	call on com.dmdirc.actions.ActionGroup:getSettings
unanalyzed	call on com.dmdirc.actions.ActionGroup:getVersion
unanalyzed	call on com.dmdirc.actions.ActionManager:getGroups
unanalyzed	call on com.dmdirc.addons.ui_swing.PrefsComponentFa ctory:getComponent
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 com.dmdirc.addons.ui_swing.components. PackingTable
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable:addMouseListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable:getRowSorter
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable:getSelectionModel
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable:setAutoCreateColumnsFromModel
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable:setAutoCreateRowSorter
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable:setCellSelectionEnabled
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable:setColumnSelectionAllowed
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable:setFillsViewportHeight
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable:setRowSelectionAllowed
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable:setSelectionMode
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.text. OldTextLabel:getFont
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. OldTextLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. OldTextLabel:setHighlighter
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. OldTextLabel:setMargin
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. OldTextLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. OldTextLabel:setUI
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupInformationPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupInformationPanel:setLayou t
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:removeAll
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsGroupPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsGroupPanel:setLayout
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 com.dmdirc.config.prefs.PreferencesSetting: getTitle
unanalyzed	call on com.dmdirc.config.prefs.PreferencesSetting: registerChangeListener
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on java.awt.Font:isBold
unanalyzed	call on java.awt.Font:isItalic
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.awt.event.MouseAdapter
unanalyzed	call on java.lang.Integer:toString
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.Map:isEmpty
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:values
unanalyzed	call on javax.swing.DefaultListCellRenderer
unanalyzed	call on javax.swing.DefaultListModel:addElement
unanalyzed	call on javax.swing.DefaultListModel:clear
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.JLabel
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on javax.swing.JLabel:setToolTipText
unanalyzed	call on javax.swing.JLabel:setVisible
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on javax.swing.JList:setSelectedValue
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.JScrollPane:setViewportView
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on javax.swing.ListSelectionModel:addListSelec tionListener
unanalyzed	call on javax.swing.RowSorter:toggleSortOrder
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on javax.swing.table.AbstractTableModel
unanalyzed	call on javax.swing.table.DefaultTableCellRenderer
unanalyzed	call on javax.swing.text.DefaultStyledDocument
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t
unanalyzed	call on javax.swing.text.StyleConstants:setBold
unanalyzed	call on javax.swing.text.StyleConstants:setFontFami ly
unanalyzed	call on javax.swing.text.StyleConstants:setFontSize
unanalyzed	call on javax.swing.text.StyleConstants:setItalic
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule
unanalyzed	call on net.miginfocom.swing.MigLayout

void layoutComponents()

Kind	Annotation Text
pre	(soft) this.activeSettings != null
pre	init'ed(this.actions)
pre	init'ed(this.groupPanel)
pre	init'ed(this.infoLabel)
pre	this.info != null
presumption	com.dmdirc.addons.ui_swing.dialogs.actionsmanager. ActionsManagerDialog:getContentPane(...)@230 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.actionsmanager. ActionsManagerDialog:getContentPane(...)@232 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.actionsmanager. ActionsManagerDialog:getContentPane(...)@234 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.actionsmanager. ActionsManagerDialog:getContentPane(...)@236 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.actionsmanager. ActionsManagerDialog:getContentPane(...)@238 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.actionsmanager. ActionsManagerDialog:getContentPane(...)@240 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.actionsmanager. ActionsManagerDialog:getContentPane(...)@241 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.actionsmanager. ActionsManagerDialog:getContentPane(...)@242 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.actionsmanager. ActionsManagerDialog:getContentPane(...)@243 != null
test_vector	com.dmdirc.addons.ui_swing.dialogs.actionsmanager. ActionGroupInformationPanel:isVisible(...)@233: {0}, {1}
test_vector	com.dmdirc.addons.ui_swing.dialogs.actionsmanager. ActionGroupInformationPanel:isVisible(...)@235: {1}, {0}
test_vector	com.dmdirc.addons.ui_swing.dialogs.actionsmanager. ActionGroupSettingsPanel:isVisible(...)@233: {0}, {1}
test_vector	com.dmdirc.addons.ui_swing.dialogs.actionsmanager. ActionGroupSettingsPanel:isVisible(...)@235: {0}, {1}

void layoutGroupPanel()

Kind	Annotation Text
pre	init'ed(this.add)
pre	init'ed(this.delete)
pre	init'ed(this.edit)
pre	init'ed(this.groups)
pre	this.groupPanel != null

void processEvent(ActionType, StringBuffer, Object[])

Kind	Annotation Text
pre	(soft) arguments != null
pre	(soft) arguments.length >= 2
pre	(soft) arguments[0] != null
pre	(soft) init'ed(arguments[1])
pre	(soft) this.actions != null
pre	(soft) this.actions.model != null
pre	(soft) this.actions.model.actions != null
pre	(soft) type != null
pre	this.groups != null
presumption	com.dmdirc.actions.Action:getGroup(...)@466 != null
presumption	init'ed(com.dmdirc.actions.CoreActionType.ACTION_ CREATED)
presumption	init'ed(com.dmdirc.actions.CoreActionType.ACTION_ UPDATED)
presumption	javax.swing.JList:getSelectedValue(...)@466 != null
presumption	javax.swing.JList:getSelectedValue(...)@470 != null
unanalyzed	call on com.dmdirc.actions.Action:getName
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionTableModel:fireTableCellUpdate d
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionTableModel:fireTableRowsDelete d
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionTableModel:fireTableRowsInsert ed
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:indexOf
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.List:size
test_vector	java.lang.Object:equals(...)@463: {0}, {1}
test_vector	java.lang.Object:equals(...)@463: {1}, {0}
test_vector	java.lang.Object:equals(...)@470: {0}, {1}
test_vector	java.lang.String:equals(...)@466: {0}, {1}
test_vector	javax.swing.JList:getSelectedValue(...)@460: Inverse{null}, Addr_Set{null}

void reloadGroups()

Kind	Annotation Text
pre	this.groups != null
unanalyzed	call on com.dmdirc.actions.ActionManager:getGroups
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.util.Map:values
unanalyzed	call on javax.swing.DefaultListModel:addElement
unanalyzed	call on javax.swing.DefaultListModel:clear
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on javax.swing.JList:setSelectedValue

void reloadGroups(ActionGroup)

Kind	Annotation Text
pre	this.groups != null
presumption	com.dmdirc.actions.ActionManager:getGroups(... )@260 != null
presumption	java.util.Map:values(...)@260 != null
presumption	javax.swing.JList:getModel(...)@259 != null
presumption	javax.swing.JList:getModel(...)@261 != null
test_vector	java.util.Iterator:hasNext(...)@260: {0}, {1}

bool save()

Kind	Annotation Text
pre	(soft) this.groups != null
presumption	com.dmdirc.actions.ActionManager:getGroups(... )@349 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.actionsmanager. ActionsManagerDialog_2:getText(...)@349 != null
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.actions.ActionManager:getGroups
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.util.Map:values
unanalyzed	call on javax.swing.DefaultListModel:addElement
unanalyzed	call on javax.swing.DefaultListModel:clear
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on javax.swing.JList:setSelectedValue
test_vector	com.dmdirc.addons.ui_swing.dialogs.actionsmanager. ActionsManagerDialog_2:getText(...)@349: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:isEmpty(...)@349: {0}, {1}
test_vector	java.util.Map:containsKey(...)@349: {1}, {0}

bool save()

Kind	Annotation Text
pre	(soft) this.groups != null
presumption	com.dmdirc.addons.ui_swing.dialogs.actionsmanager. ActionsManagerDialog_3:getText(...)@393 != null
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.actions.ActionManager:getGroups
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.util.Map:values
unanalyzed	call on javax.swing.DefaultListModel:addElement
unanalyzed	call on javax.swing.DefaultListModel:clear
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on javax.swing.JList:setSelectedValue
test_vector	com.dmdirc.addons.ui_swing.dialogs.actionsmanager. ActionsManagerDialog_3:getText(...)@393: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:isEmpty(...)@393: {0}, {1}

void showActionsManagerDialog(Window)

Kind	Annotation Text
pre	init'ed(me)
pre	parentWindow != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@125 != null
presumption	javax.swing.JList:getModel(...)@127 != null
presumption	javax.swing.JList:getModel(...)@129 != null
presumption	me.actions != null
presumption	me.actions.add != null
presumption	me.actions.model != null
presumption	me.groups != null
presumption	me.info != null
presumption	me.info.author != null
presumption	me.info.authorLabel != null
presumption	me.info.infoLabel != null
presumption	me.info.version != null
presumption	me.info.versionLabel != null
presumption	me.settings != null
post	init'ed(me.actions.group)
post	init'ed(me.actions.model.actions)
post	init'ed(me.activeSettings)
post	init'ed(me.info.group)
post	init'ed(new ActionsManagerDialog(getActionsManagerD ialog#1).actions)
post	init'ed(new ActionsManagerDialog(getActionsManagerD ialog#1).activeSettings)
post	init'ed(new ActionsManagerDialog(getActionsManagerD ialog#1).add)
post	init'ed(new ActionsManagerDialog(getActionsManagerD ialog#1).delete)
post	init'ed(new ActionsManagerDialog(getActionsManagerD ialog#1).edit)
post	init'ed(new ActionsManagerDialog(getActionsManagerD ialog#1).groupPanel)
post	init'ed(new ActionsManagerDialog(getActionsManagerD ialog#1).groups)
post	init'ed(new ActionsManagerDialog(getActionsManagerD ialog#1).info)
post	init'ed(new ActionsManagerDialog(getActionsManagerD ialog#1).infoLabel)
post	init'ed(new ActionsManagerDialog(getActionsManagerD ialog#1).settings)
post	me != null
post	me == One-of{&new ActionsManagerDialog(getActio nsManagerDialog#1), old me}
post	new ActionsManagerDialog(getActionsManagerDialog#1) num objects <= 1
post	new ArrayList(setActionGroup#1*) num objects <= 1
unanalyzed	call on com.dmdirc.actions.ActionGroup:getActions
unanalyzed	call on com.dmdirc.actions.ActionGroup:getAuthor
unanalyzed	call on com.dmdirc.actions.ActionGroup:getDescripti on
unanalyzed	call on com.dmdirc.actions.ActionGroup:getSettings
unanalyzed	call on com.dmdirc.actions.ActionGroup:getVersion
unanalyzed	call on com.dmdirc.actions.ActionManager:addListene r
unanalyzed	call on com.dmdirc.actions.ActionManager:getGroups
unanalyzed	call on com.dmdirc.addons.ui_swing.PrefsComponentFa ctory:getComponent
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 com.dmdirc.addons.ui_swing.components. StandardDialog
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.dialogs. actionsmanager.ActionGroupInformationPanel:isVisibl e
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupInformationPanel:setVisib le
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:getBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:isVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:removeAll
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionTableModel:fireTableDataChange d
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:addWindowListen er
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:getContentPane
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:getOkButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:setDefaultClose Operation
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:setResizable
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:setTitle
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:validate
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 com.dmdirc.config.prefs.PreferencesSetting: getTitle
unanalyzed	call on com.dmdirc.config.prefs.PreferencesSetting: registerChangeListener
unanalyzed	call on initComponents
unanalyzed	call on java.awt.Container:add
unanalyzed	call on java.awt.Container:removeAll
unanalyzed	call on java.awt.Container:setLayout
unanalyzed	call on java.awt.Container:setVisible
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on java.lang.Integer:toString
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Collection:isEmpty
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:isEmpty
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:values
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on javax.swing.DefaultListModel:addElement
unanalyzed	call on javax.swing.DefaultListModel:clear
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.JLabel
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on javax.swing.JLabel:setToolTipText
unanalyzed	call on javax.swing.JLabel:setVisible
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on javax.swing.JList:getSelectionModel
unanalyzed	call on javax.swing.JList:setSelectedValue
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on javax.swing.JPanel:setLayout
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on javax.swing.ListSelectionModel:addListSelec tionListener
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on net.miginfocom.swing.MigLayout
test_vector	com.dmdirc.config.ConfigManager:getOptionInt(... )@125: {-2³¹..-1}, {0..2³²-2}

void valueChanged(ListSelectionEvent)

Kind	Annotation Text
pre	(soft) init'ed(this.actions.model.actions)
pre	(soft) init'ed(this.groupPanel)
pre	(soft) init'ed(this.info.infoLabel.sas)
pre	(soft) init'ed(this.infoLabel)
pre	(soft) this.actions != null
pre	(soft) this.actions.add != null
pre	(soft) this.actions.model != null
pre	(soft) this.delete != null
pre	(soft) this.edit != null
pre	(soft) this.groups != null
pre	(soft) this.info != null
pre	(soft) this.info.author != null
pre	(soft) this.info.authorLabel != null
pre	(soft) this.info.infoLabel != null
pre	(soft) this.info.version != null
pre	(soft) this.info.versionLabel != null
pre	(soft) this.settings != null
pre	e != null
presumption	javax.swing.JList:getSelectedValue(...)@446 != null
post	init'ed(this.actions.model.actions)
post	new ArrayList(setActionGroup#1*) num objects <= 1
post	possibly_updated(this.actions.group)
post	possibly_updated(this.activeSettings)
post	possibly_updated(this.info.group)
unanalyzed	call on com.dmdirc.actions.ActionGroup:getActions
unanalyzed	call on com.dmdirc.actions.ActionGroup:getAuthor
unanalyzed	call on com.dmdirc.actions.ActionGroup:getDescripti on
unanalyzed	call on com.dmdirc.actions.ActionGroup:getSettings
unanalyzed	call on com.dmdirc.actions.ActionGroup:getVersion
unanalyzed	call on com.dmdirc.addons.ui_swing.PrefsComponentFa ctory:getComponent
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 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.dialogs. actionsmanager.ActionGroupInformationPanel:isVisibl e
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupInformationPanel:setVisib le
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:getBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:isVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:removeAll
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionTableModel:fireTableDataChange d
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:getContentPane
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:getOkButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:validate
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 com.dmdirc.config.prefs.PreferencesSetting: getTitle
unanalyzed	call on com.dmdirc.config.prefs.PreferencesSetting: registerChangeListener
unanalyzed	call on java.awt.Container:add
unanalyzed	call on java.awt.Container:removeAll
unanalyzed	call on java.awt.Container:setLayout
unanalyzed	call on java.awt.Container:setVisible
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.lang.Integer:toString
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Collection:isEmpty
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:isEmpty
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:values
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
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.JLabel
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on javax.swing.JLabel:setToolTipText
unanalyzed	call on javax.swing.JLabel:setVisible
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on net.miginfocom.swing.MigLayout
test_vector	com.dmdirc.actions.ActionGroup:isDelible(...)@446: {1}, {0}
test_vector	javax.swing.JList:getSelectedIndex(...)@446: {-1}, {-2³¹..-2, 0..2³²-1}
test_vector	javax.swing.event.ListSelectionEvent:getValueIsAdju sting(...)@441: {0}, {1}

void windowClosing(WindowEvent)

Kind	Annotation Text
presumption	com.dmdirc.addons.ui_swing.dialogs.actionsmanager. ActionsManagerDialog:getOkButton(...)@208 != null