Messages

method

com.dmdirc.addons.ui_swing.dialogs.aliases. AliasTableModel__static_init

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

method	void com.dmdirc.addons.ui_swing.dialogs.aliases. AliasTableModel(List)
post	this.aliases == &new ArrayList(AliasTableModel# 1)
post	new ArrayList(AliasTableModel#1) num objects == 1

method	void setAliases(List)
post	this.aliases == &new ArrayList(setAliases#1)
post	new ArrayList(setAliases#1) num objects == 1

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. aliases.AliasTableModel:fireTableDataChanged()

method	int getRowCount()
pre	this.aliases != 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{&"Command",&"# of Arguments",&"Response"}
test_vector	columnIndex: {0}, {1}, {2}

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

method	bool isCellEditable(int, int)
post	return_value == 0

method	Object getValueAt(int, int)
pre	columnIndex in {0..2}
pre	rowIndex in {0..2³²-2}
pre	this.aliases != null
presumption	java.util.List:get(...)@130 != null
presumption	java.util.List:get(...)@132 != null
presumption	java.util.List:get(...)@134 != null
presumption	java.util.List:size(...)@122 >= 1
presumption	java.util.List:size(...)@122 - rowIndex in {1..2³²-1}
post	init'ed(return_value)
test_vector	columnIndex: {0}, {1}, {2}

method not available - call not analyzed Info call on String com.dmdirc.actions.wrappers. Alias:getCommand()

method not available - call not analyzed Info call on ActionCondition com.dmdirc.actions. wrappers.Alias:getArgsArgument()

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

method	void setValueAt(Object, int, int)
pre	columnIndex in {0..2}
pre	rowIndex in {0..2³²-2}
pre	this.aliases != null
presumption	com.dmdirc.actions.wrappers.Alias:getArguments(... )@155 != null
presumption	java.util.List:get(...)@152 != null
presumption	java.util.List:get(...)@155 != null
presumption	java.util.List:get(...)@158 != null
presumption	java.util.List:size(...)@144 >= 1
presumption	java.util.List:size(...)@144 - rowIndex in {1..2³²-1}
test_vector	columnIndex: {0}, {1}, {2}

method not available - call not analyzed Info call on void com.dmdirc.actions.wrappers. Alias:setCommand(String)

method not available - call not analyzed Info call on List com.dmdirc.actions.wrappers. Alias:getArguments()

method not available - call not analyzed Info call on void com.dmdirc.actions.wrappers. Alias:setResponse(String[])

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. aliases.AliasTableModel:fireTableCellUpdated(int, int)

method	Alias getAlias(int)
pre	this.aliases != null
post	init'ed(return_value)

method	List getAliases()
pre	init'ed(this.aliases)
post	return_value == &new ArrayList(getAliases#1)
post	new ArrayList(getAliases#1) num objects == 1

method	void addRow(Alias)
pre	this.aliases != null

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. aliases.AliasTableModel:fireTableRowsInserted(int, int)

method	void removeRow(int)
pre	this.aliases != null

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. aliases.AliasTableModel:fireTableRowsDeleted(int, int)

method	int indexOf(Alias)
pre	this.aliases != null
post	init'ed(return_value)