Messages

method

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

method

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

method

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

method

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

method	void access$000(ActionsManagerDialog, ActionGroup)
pre	x0 != null
pre	x0.groups != null
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on javax.swing.DefaultListModel:clear
unanalyzed	call on com.dmdirc.actions.ActionManager:getGroups
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on javax.swing.DefaultListModel:addElement
unanalyzed	call on javax.swing.JList:setSelectedValue

method	void access$100(ActionsManagerDialog)
pre	x0 != null
pre	x0.groups != null
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on javax.swing.DefaultListModel:clear
unanalyzed	call on com.dmdirc.actions.ActionManager:getGroups
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on javax.swing.DefaultListModel:addElement
unanalyzed	call on javax.swing.JList:setSelectedValue

method	void com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog()
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.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:getOkButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:getCancelButton
unanalyzed	call on javax.swing.JList:getSelectionModel
unanalyzed	call on javax.swing.ListSelectionModel:addListSelec tionListener
unanalyzed	call on com.dmdirc.actions.ActionManager:addListene r
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:addWindowListen er
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on javax.swing.JPanel:setLayout
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:getContentPane
unanalyzed	call on java.awt.Container:setLayout
unanalyzed	call on java.awt.Container:add
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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. StandardDialog(Window, Dialog$ModalityType)

call too complex - analysis skipped Info call on void initComponents()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:setDefaultClose Operation(int)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:setTitle(String )

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:setResizable(bo ol)

method	void showActionsManagerDialog(Window)
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	me == One-of{&new ActionsManagerDialog(getActio nsManagerDialog#1), old me}
post	me != 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	new ActionsManagerDialog(getActionsManagerDialog#1) num objects <= 1
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	new ArrayList(setActionGroup#1*) num objects <= 1
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on javax.swing.DefaultListModel:clear
unanalyzed	call on com.dmdirc.actions.ActionManager:getGroups
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on javax.swing.DefaultListModel:addElement
unanalyzed	call on javax.swing.JList:setSelectedValue
unanalyzed	call on java.util.ArrayList
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on com.dmdirc.actions.ActionGroup:getDescripti on
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on com.dmdirc.actions.ActionGroup:getAuthor
unanalyzed	call on com.dmdirc.actions.ActionGroup:getVersion
unanalyzed	call on java.lang.Integer:toString
unanalyzed	call on javax.swing.JLabel:setVisible
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 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 javax.swing.JPanel
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupInformationPanel:setVisib le
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:getOkButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:getCancelButton
unanalyzed	call on javax.swing.JList:getSelectionModel
unanalyzed	call on javax.swing.ListSelectionModel:addListSelec tionListener
unanalyzed	call on com.dmdirc.actions.ActionManager:addListene r
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:addWindowListen er
unanalyzed	call on javax.swing.JPanel:setLayout
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:getContentPane
unanalyzed	call on java.awt.Container:setLayout
unanalyzed	call on java.awt.Container:add
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.components. StandardDialog
unanalyzed	call on initComponents
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:setDefaultClose Operation
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:setTitle
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:setResizable
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.actions.ActionGroup:getActions
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionTableModel:fireTableDataChange d
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:getBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:setBorder
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Collection:isEmpty
unanalyzed	call on java.awt.Container:setVisible
unanalyzed	call on java.awt.Container:removeAll
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:validate
test_vector	com.dmdirc.config.ConfigManager:getOptionInt(... )@125: {-2³¹..-1}, {0..2³²-2}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:setIconImages(L ist)

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:setLocationRela tiveTo(Component)

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

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:requestFocusInW indow()

method not available - call not analyzed Info call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()

method not available - call not analyzed Info call on int com.dmdirc.config.ConfigManager:getOpti onInt(String, String)

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

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:orderButtons(JB utton, JButton)

method not available - call not analyzed Info call on Border com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupInformationPanel:getBorde r()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupInformationPanel:setBorde r(Border)

method not available - call not analyzed Info call on Border com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsGroupPanel:getBorder()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsGroupPanel:setBorder(Border)

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

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.addons.ui_swing.components. ListScroller(JList)

method	void addListeners()
pre	this.add != null
pre	this.delete != null
pre	this.edit != null
pre	this.groups != 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	com.dmdirc.addons.ui_swing.dialogs.actionsmanager. ActionsManagerDialog:getCancelButton(...)@194 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.actionsmanager. ActionsManagerDialog:getOkButton(...)@193 != null
presumption	javax.swing.JList:getSelectionModel(...)@198 != null
unanalyzed	call on java.awt.event.WindowAdapter

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:getOkButton()

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:getCancelButton ()

method not available - call not analyzed Info call on void com.dmdirc.actions.ActionManager:addLi stener(ActionListener, ActionType[])

method

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:addWindowListen er(WindowListener)

method	void windowClosing(WindowEvent)
presumption	com.dmdirc.addons.ui_swing.dialogs.actionsmanager. ActionsManagerDialog:getOkButton(...)@208 != null

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:getOkButton()

method	void layoutGroupPanel()
pre	init'ed(this.add)
pre	init'ed(this.delete)
pre	init'ed(this.edit)
pre	this.groupPanel != null
pre	init'ed(this.groups)

method not available - call not analyzed Info call on void net.miginfocom.swing.MigLayout(String)

method	void layoutComponents()
pre	init'ed(this.actions)
pre	init'ed(this.groupPanel)
pre	this.info != null
pre	init'ed(this.infoLabel)
pre	(soft) this.activeSettings != 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}

method not available - call not analyzed Info call on Container com.dmdirc.addons.ui_swing. dialogs.actionsmanager.ActionsManagerDialog:getCont entPane()

method not available - call not analyzed Info call on void net.miginfocom.swing.MigLayout(String)

method not available - call not analyzed Info call on Container com.dmdirc.addons.ui_swing. dialogs.actionsmanager.ActionsManagerDialog:getCont entPane()

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupInformationPanel:isVisibl e()

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

method not available - call not analyzed Info call on Container com.dmdirc.addons.ui_swing. dialogs.actionsmanager.ActionsManagerDialog:getCont entPane()

method	void reloadGroups()
pre	this.groups != null
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on javax.swing.DefaultListModel:clear
unanalyzed	call on com.dmdirc.actions.ActionManager:getGroups
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on javax.swing.DefaultListModel:addElement
unanalyzed	call on javax.swing.JList:setSelectedValue

method	void reloadGroups(ActionGroup)
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}

method not available - call not analyzed Info call on Map com.dmdirc.actions.ActionManager:getGro ups()

method	void changeActiveGroup(ActionGroup)
pre	init'ed(this.actions.model.actions)
pre	this.actions != null
pre	this.actions.add != null
pre	this.actions.model != null
pre	init'ed(this.groupPanel)
pre	this.info != null
pre	this.info.author != null
pre	this.info.infoLabel != null
pre	this.info.version != null
pre	init'ed(this.infoLabel)
pre	this.settings != null
pre	(soft) this.info.authorLabel != null
pre	(soft) init'ed(this.info.infoLabel.sas)
pre	(soft) this.info.versionLabel != 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	this.actions.group == group
post	init'ed(this.actions.group)
post	this.info.group == this.actions.group
post	init'ed(this.actions.model.actions)
post	this.activeSettings != null
post	new ArrayList(setActionGroup#1*) num objects <= 1
unanalyzed	call on java.util.ArrayList
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on com.dmdirc.actions.ActionGroup:getDescripti on
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on com.dmdirc.actions.ActionGroup:getAuthor
unanalyzed	call on com.dmdirc.actions.ActionGroup:getVersion
unanalyzed	call on java.lang.Integer:toString
unanalyzed	call on javax.swing.JLabel:setVisible
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.Map:values
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:getOkButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:getContentPane
unanalyzed	call on java.awt.Container:setLayout
unanalyzed	call on java.awt.Container:add
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 java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.actions.ActionGroup:getActions
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionTableModel:fireTableDataChange d
unanalyzed	call on java.util.Collection:isEmpty
test_vector	java.util.Map:containsKey(...)@274: {1}, {0}

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

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

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

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 Container com.dmdirc.addons.ui_swing. dialogs.actionsmanager.ActionsManagerDialog:getCont entPane()

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

method not available - call not analyzed Info call on Container com.dmdirc.addons.ui_swing. dialogs.actionsmanager.ActionsManagerDialog:getCont entPane()

method	void actionPerformed(ActionEvent)
pre	e != null
pre	init'ed(this.add)
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
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	me == One-of{old me, null}
post	init'ed(me)
post	new ActionEditorDialog(getActionEditorDialog#1*) num objects <= 1
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)
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on javax.swing.DefaultListModel:clear
unanalyzed	call on com.dmdirc.actions.ActionManager:getGroups
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on javax.swing.DefaultListModel:addElement
unanalyzed	call on javax.swing.JList:setSelectedValue
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.ListModel:getSize
unanalyzed	call on javax.swing.JList:setSelectedIndex
unanalyzed	call on com.dmdirc.config.prefs.validator. FileNameValidator
unanalyzed	call on com.dmdirc.config.prefs.validator. ActionGroupValidator
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidatorChain
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:display
unanalyzed	call on javax.swing.JList:getSelectedValue
unanalyzed	call on com.dmdirc.actions.ActionGroup:getName
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:setText
unanalyzed	call on javax.swing.JOptionPane:showConfirmDialog
unanalyzed	call on com.dmdirc.actions.ActionManager:getGroup
unanalyzed	call on javax.swing.DefaultListModel:indexOf
unanalyzed	call on com.dmdirc.actions.ActionManager:removeGrou p
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:dispose
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getOkButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getCancelButton
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.addons.ui_swing.dialogs. actioneditor.ActionConditionsPanel:addPropertyChang eListener
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:addWindowListener
unanalyzed	call on java.awt.Dimension
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setMinimumSize
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getLeftButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getRightButton
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setDefaultCloseOper ation
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setTitle
unanalyzed	call on initComponents
unanalyzed	call on doComponents
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setResizable
unanalyzed	call on com.dmdirc.config.prefs.PreferencesSetting: save
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}

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:getOkButton()

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:getCancelButton ()

method not available - call not analyzed Info call on Identity com.dmdirc.config.IdentityManager: getConfigIdentity()

method not available - call not analyzed Info call on void com.dmdirc.config.Identity:setOption(S tring, String, int)

method	void addGroup()
presumption	init'ed(java.awt.Dialog$ModalityType.DOCUMENT_ MODAL)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog

method not available - call not analyzed Info call on void com.dmdirc.config.prefs.validator. FileNameValidator()

method not available - call not analyzed Info call on void com.dmdirc.config.prefs.validator. ActionGroupValidator()

method not available - call not analyzed Info call on void com.dmdirc.config.prefs.validator. ValidatorChain(Validator[])

method

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. StandardInputDialog(Window, Dialog$ModalityType, String, String, Validator)

method	bool save()
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 javax.swing.JList:getModel
unanalyzed	call on javax.swing.DefaultListModel:clear
unanalyzed	call on com.dmdirc.actions.ActionManager:getGroups
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on javax.swing.DefaultListModel:addElement
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}

method not available - call not analyzed Info call on String com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog$2:getText()

method not available - call not analyzed Info call on Map com.dmdirc.actions.ActionManager:getGro ups()

method

void cancelled()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. StandardInputDialog:display(Component)

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

method not available - call not analyzed Info call on String com.dmdirc.actions.ActionGroup:getNa me()

method	void com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog$3(ActionsManage rDialog, Window, Dialog$ModalityType, String, String, Validator, String)
post	this.val$oldName == Param_7
post	init'ed(this.val$oldName)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. StandardInputDialog(Window, Dialog$ModalityType, String, String, Validator)

method	bool save()
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 javax.swing.JList:getModel
unanalyzed	call on javax.swing.DefaultListModel:clear
unanalyzed	call on com.dmdirc.actions.ActionManager:getGroups
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on javax.swing.DefaultListModel:addElement
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}

method not available - call not analyzed Info call on String com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog$3:getText()

method not available - call not analyzed Info call on String com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog$3:getText()

method not available - call not analyzed Info call on void com.dmdirc.actions.ActionManager:renam eGroup(String, String)

method

void cancelled()

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. StandardInputDialog:display(Component)

method	void delGroup()
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 javax.swing.JList:getModel
unanalyzed	call on javax.swing.DefaultListModel:clear
unanalyzed	call on com.dmdirc.actions.ActionManager:getGroups
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on javax.swing.DefaultListModel:addElement
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}

method not available - call not analyzed Info call on String com.dmdirc.actions.ActionGroup:getNa me()

method not available - call not analyzed Info call on ActionGroup com.dmdirc.actions. ActionManager:getGroup(String)

method not available - call not analyzed Info call on void com.dmdirc.actions.ActionManager:remov eGroup(String)

method	void valueChanged(ListSelectionEvent)
pre	e != null
pre	(soft) init'ed(this.actions.model.actions)
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) init'ed(this.groupPanel)
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) init'ed(this.info.infoLabel.sas)
pre	(soft) this.info.version != null
pre	(soft) this.info.versionLabel != null
pre	(soft) init'ed(this.infoLabel)
pre	(soft) this.settings != null
presumption	javax.swing.JList:getSelectedValue(...)@446 != null
post	possibly_updated(this.actions.group)
post	init'ed(this.actions.model.actions)
post	possibly_updated(this.activeSettings)
post	possibly_updated(this.info.group)
post	new ArrayList(setActionGroup#1*) num objects <= 1
unanalyzed	call on java.util.ArrayList
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on com.dmdirc.actions.ActionGroup:getDescripti on
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on com.dmdirc.actions.ActionGroup:getAuthor
unanalyzed	call on com.dmdirc.actions.ActionGroup:getVersion
unanalyzed	call on java.lang.Integer:toString
unanalyzed	call on javax.swing.JLabel:setVisible
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.Map:values
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupInformationPanel:setVisib le
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:getOkButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:getContentPane
unanalyzed	call on java.awt.Container:setLayout
unanalyzed	call on java.awt.Container:add
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 java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.actions.ActionGroup:getActions
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionTableModel:fireTableDataChange d
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:getBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:setBorder
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Collection:isEmpty
unanalyzed	call on java.awt.Container:setVisible
unanalyzed	call on java.awt.Container:removeAll
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:validate
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}

method not available - call not analyzed Info call on bool com.dmdirc.actions.ActionGroup:isDelib le()

method	void processEvent(ActionType, StringBuffer, Object[])
pre	this.groups != null
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
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 java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:indexOf
unanalyzed	call on java.util.List:contains
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionTableModel:fireTableCellUpdate d
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.List:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionTableModel:fireTableRowsInsert ed
unanalyzed	call on com.dmdirc.actions.Action:getName
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.List:remove
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionTableModel:fireTableRowsDelete d
test_vector	java.lang.Object:equals(...)@463: {1}, {0}
test_vector	java.lang.Object:equals(...)@463: {0}, {1}
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}

method not available - call not analyzed Info call on String com.dmdirc.actions.Action:getGroup()

method not available - call not analyzed Info call on String com.dmdirc.actions.ActionGroup:getNa me()

method not available - call not analyzed Info call on String com.dmdirc.actions.ActionGroup:getNa me()

method	void dispose()
pre	init'ed(me)
post	me == null
test_vector	me: Inverse{null}, Addr_Set{null}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. StandardDialog:dispose()

	method not available - call not analyzed	Info	call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()
	method not available - call not analyzed	Info	call on int com.dmdirc.config.ConfigManager:getOpti onInt(String, String)

	method not available - call not analyzed	Info	call on Border com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupInformationPanel:getBorde r()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupInformationPanel:setBorde r(Border)

	method not available - call not analyzed	Info	call on Container com.dmdirc.addons.ui_swing. dialogs.actionsmanager.ActionsManagerDialog:getCont entPane()
	method not available - call not analyzed	Info	call on void net.miginfocom.swing.MigLayout(String)

	method not available - call not analyzed	Info	call on bool com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupInformationPanel:isVisibl e()
	method not available - call not analyzed	Info	call on bool com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupSettingsPanel:isVisible()

	method not available - call not analyzed	Info	call on JButton com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:getOkButton()
	method not available - call not analyzed	Info	call on JButton com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:getCancelButton ()

	method not available - call not analyzed	Info	call on Identity com.dmdirc.config.IdentityManager: getConfigIdentity()
	method not available - call not analyzed	Info	call on void com.dmdirc.config.Identity:setOption(S tring, String, int)

method not available - call not analyzed	Info	call on void com.dmdirc.config.prefs.validator. FileNameValidator()
method not available - call not analyzed	Info	call on void com.dmdirc.config.prefs.validator. ActionGroupValidator()
method not available - call not analyzed	Info	call on void com.dmdirc.config.prefs.validator. ValidatorChain(Validator[])

	method not available - call not analyzed	Info	call on String com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog$2:getText()
	method not available - call not analyzed	Info	call on Map com.dmdirc.actions.ActionManager:getGro ups()

	method not available - call not analyzed	Info	call on String com.dmdirc.actions.Action:getGroup()
	method not available - call not analyzed	Info	call on String com.dmdirc.actions.ActionGroup:getNa me()