Messages

method

com.dmdirc.addons.ui_swing.dialogs.actionsmanager. ActionTableModel__static_init

method	void com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionTableModel()
post	this.actions == &new ArrayList(ActionTableModel #1)
post	new ArrayList(ActionTableModel#1) num objects == 1
post	new ArrayList(ActionTableModel#1) num objects == 0
unanalyzed	call on javax.swing.table.AbstractTableModel
unanalyzed	call on java.util.ArrayList

method	void com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionTableModel(List)
post	this.actions == One-of{&new ArrayList(ActionTab leModel#1), actions}
post	this.actions != null
post	new ArrayList(ActionTableModel#1) num objects <= 1
test_vector	actions: Inverse{null}, Addr_Set{null}

method	int getRowCount()
pre	this.actions != null
post	init'ed(return_value)

method	int getColumnCount()
post	return_value == 3

method	String getColumnName(int)
pre	columnIndex in {0..2}
post	return_value in Addr_Set{&"Name", &"Trigger",&"Response"}
test_vector	columnIndex: {0}, {1}, {2}

method	Class getColumnClass(int)
pre	columnIndex in {0..2}
test_vector	columnIndex: {0}, {1}, {2}

method	Object getValueAt(int, int)
pre	columnIndex in {0..2}
pre	this.actions != null
presumption	com.dmdirc.actions.Action:getTriggers(...). length@124 >= 1
presumption	com.dmdirc.actions.Action:getTriggers(...)@124 != null
presumption	java.util.List:get(...)@122 != null
presumption	java.util.List:get(...)@124 != null
presumption	java.util.List:get(...)@126 != null
post	init'ed(return_value)
test_vector	columnIndex: {0}, {1}, {2}

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

method not available - call not analyzed Info call on ActionType[] com.dmdirc.actions. Action:getTriggers()

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

method	Action getAction(int)
pre	this.actions != null
post	init'ed(return_value)

method	int getAction(Action)
pre	this.actions != null
post	init'ed(return_value)

method	void setActionGroup(ActionGroup)
pre	init'ed(this.actions)
post	init'ed(this.actions)
post	new ArrayList(setActionGroup#1) num objects <= 1
test_vector	group: Inverse{null}, Addr_Set{null}

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

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

method	void add(Action)
pre	(soft) this.actions != null
presumption	java.util.List:size(...)@187 >= -2³¹+1
test_vector	action: Inverse{null}, Addr_Set{null}

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

method	void remove(Action)
pre	(soft) this.actions != null
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:remove
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionTableModel:fireTableRowsDelete d
test_vector	action: Inverse{null}, Addr_Set{null}

method	void remove(int)
pre	(soft) this.actions != null

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

method	bool contains(Action)
pre	this.actions != null
post	init'ed(return_value)

method	int findAction(String)
pre	this.actions != null
presumption	com.dmdirc.actions.Action:getName(...)@234 != null
presumption	java.util.Iterator:next(...)@233 != null
post	init'ed(return_value)
test_vector	java.lang.String:equals(...)@234: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@233: {1}, {0}

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