Messages

method

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

method

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

method

com.dmdirc.addons.ui_swing.dialogs.actionsmanager. ActionsGroupPanel__static_init

method	JButton access$000(ActionsGroupPanel)
pre	x0 != null
pre	init'ed(x0.edit)
post	return_value == x0.edit
post	init'ed(return_value)

method	void com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsGroupPanel(Window, ActionGroup)
post	this.add == &new JButton(initComponents#6)
post	this.delete == &new JButton(initComponents#8)
post	this.edit == &new JButton(initComponents#7)
post	this.group == group
post	init'ed(this.group)
post	this.model == &new ActionTableModel(initCompone nts#2)
post	this.parent == parent
post	init'ed(this.parent)
post	this.scrollPane == &new JScrollPane(initCompone nts#1)
post	this.table == &new ActionsGroupPanel$1(initComp onents#4)
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 ArrayCellRenderer(ActionsGroupPanel$1#2) 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 JScrollPane(initComponents#1) num objects == 1
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	new ArrayList(ActionTableModel#1) num objects <= 1
post	new ArrayList(initComponents#3) num objects <= 1
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

method	void actionChanged(Action)
pre	this.model != null
pre	this.model.actions != 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 java.util.List:size
unanalyzed	call on java.util.List:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionTableModel:fireTableRowsInsert ed
test_vector	java.util.List:contains(...)@226: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionTableModel:fireTableCellUpdate d(int, int)

method	void actionDeleted(String)
pre	this.model != null
pre	this.model.actions != null
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.actions.Action:getName
unanalyzed	call on java.util.List:indexOf
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

method	void initComponents()
pre	init'ed(this.group)
presumption	com.dmdirc.addons.ui_swing.components. PackingTable:getRowSorter(...)@183 != null
post	this.add == &new JButton(initComponents#6)
post	this.delete == &new JButton(initComponents#8)
post	this.edit == &new JButton(initComponents#7)
post	this.model == &new ActionTableModel(initCompone nts#2)
post	this.scrollPane == &new JScrollPane(initCompone nts#1)
post	this.table == &new ActionsGroupPanel$1(initComp onents#4)
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 ArrayCellRenderer(ActionsGroupPanel$1#2) 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 JScrollPane(initComponents#1) num objects == 1
post	this.model.actions != null
post	this.table.arrayRenderer == &new ArrayCellRenderer(ActionsGroupPanel$1#2)
post	this.table.typeRenderer == &new ActionTypeTableCellRenderer(ActionsGroupPanel$1#1)
post	new ArrayList(ActionTableModel#1) num objects <= 1
post	new ArrayList(initComponents#3) num objects <= 1
unanalyzed	call on javax.swing.table.AbstractTableModel
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable
unanalyzed	call on javax.swing.table.DefaultTableCellRenderer
unanalyzed	call on java.awt.event.MouseAdapter
test_vector	this.group: Inverse{null}, Addr_Set{null}

method not available - call not analyzed Info call on List com.dmdirc.actions.ActionGroup:getActi ons()

method	void com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsGroupPanel$1(ActionsGroupPane l, TableModel, bool, JScrollPane, bool)
post	this.arrayRenderer == &new ArrayCellRenderer(Ac tionsGroupPanel$1#2)
post	this.typeRenderer == &new ActionTypeTableCellRe nderer(ActionsGroupPanel$1#1)
post	new ActionTypeTableCellRenderer(ActionsGroupPanel$1 #1) num objects == 1
post	new ArrayCellRenderer(ActionsGroupPanel$1#2) num objects == 1
unanalyzed	call on javax.swing.table.DefaultTableCellRenderer

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. PackingTable(TableModel, bool, JScrollPane, bool)

method	TableCellRenderer getCellRenderer(int, int)
post	init'ed(return_value)
test_vector	column: {1}, {2}, {-2³¹..0, 3..2³²-1}

method not available - call not analyzed Info call on TableCellRenderer com.dmdirc.addons.ui_ swing.components.PackingTable:getCellRenderer(int, int)

method

void com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsGroupPanel$2(ActionsGroupPane l)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. PackingTable:addMouseListener(MouseListener)

method	void mouseClicked(MouseEvent)
pre	e != null
pre	(soft) this.edit != null
test_vector	java.awt.event.MouseEvent:getClickCount(...)@165: {-2³¹..1, 3..2³²-1}, {2}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. PackingTable:setAutoCreateRowSorter(bool)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. PackingTable:setAutoCreateColumnsFromModel(bool)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. PackingTable:setColumnSelectionAllowed(bool)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. PackingTable:setCellSelectionEnabled(bool)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. PackingTable:setFillsViewportHeight(bool)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. PackingTable:setRowSelectionAllowed(bool)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. PackingTable:setSelectionMode(int)

method not available - call not analyzed Info call on RowSorter com.dmdirc.addons.ui_swing. components.PackingTable:getRowSorter()

method	void addListeners()
pre	this.add != null
pre	this.delete != null
pre	this.edit != null
pre	this.table != null
presumption	com.dmdirc.addons.ui_swing.components. PackingTable:getSelectionModel(...)@197 != null

method not available - call not analyzed Info call on ListSelectionModel com.dmdirc.addons.ui_ swing.components.PackingTable:getSelectionModel()

method	void layoutComponents()
pre	init'ed(this.add)
pre	init'ed(this.delete)
pre	init'ed(this.edit)
pre	init'ed(this.scrollPane)

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

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

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

method	void setActionGroup(ActionGroup)
pre	init'ed(this.model.actions)
pre	this.add != null
pre	this.model != null
post	this.group == group
post	init'ed(this.group)
post	init'ed(this.model.actions)
post	new ArrayList(setActionGroup#1*) num objects <= 1
unanalyzed	call on java.util.ArrayList
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

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(this.delete)
pre	(soft) init'ed(this.edit)
pre	(soft) this.group != null
pre	(soft) this.model != null
pre	(soft) this.model.actions != null
pre	(soft) init'ed(this.parent)
pre	(soft) this.table != null
presumption	com.dmdirc.addons.ui_swing.components. PackingTable:getRowSorter(...)@234 != null
presumption	com.dmdirc.addons.ui_swing.components. PackingTable:getRowSorter(...)@238 != null
presumption	java.util.List:get(...)@143 != null
post	com/dmdirc/addons/ui_swing/dialogs/actioneditor/Act ionEditorDialog.me == One-of{old com/dmdirc/addons/ ui_swing/dialogs/actioneditor/ActionEditorDialog. me, &new ActionEditorDialog(getActionEditorDial og#1)}
post	init'ed(com/dmdirc/addons/ui_swing/dialogs/actioned itor/ActionEditorDialog.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.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 java.lang.Throwable:__curr_excep_obj
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.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:pack
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setLocationRelative To
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setVisible
unanalyzed	call on java.util.List:get
test_vector	javax.swing.JOptionPane:showConfirmDialog(... )@241: {-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 String com.dmdirc.actions.ActionGroup:getNa me()

method not available - call not analyzed Info call on RowSorter com.dmdirc.addons.ui_swing. components.PackingTable:getRowSorter()

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing.components. PackingTable:getSelectedRow()

method not available - call not analyzed Info call on RowSorter com.dmdirc.addons.ui_swing. components.PackingTable:getRowSorter()

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing.components. PackingTable:getSelectedRow()

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

method not available - call not analyzed Info call on void com.dmdirc.actions.ActionManager:delet eAction(Action)

method	void valueChanged(ListSelectionEvent)
pre	e != null
pre	(soft) this.delete != null
pre	(soft) this.edit != null
pre	(soft) this.table != null
test_vector	com.dmdirc.addons.ui_swing.components. PackingTable:getSelectedRow(...)@258: {-2³¹..-2, 0..2³²-1}, {-1}
test_vector	javax.swing.event.ListSelectionEvent:getValueIsAdju sting(...)@254: {0}, {1}

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing.components. PackingTable:getSelectedRow()

	method not available - call not analyzed	Info	call on void net.miginfocom.swing.MigLayout(String)
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsGroupPanel:setLayout(LayoutMa nager)

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 RowSorter com.dmdirc.addons.ui_swing. components.PackingTable:getRowSorter()
method not available - call not analyzed	Info	call on int com.dmdirc.addons.ui_swing.components. PackingTable:getSelectedRow()