ActionsGroupPanel.java

ActionsGroupPanel.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

JButton access$000(ActionsGroupPanel)

Kind	Annotation Text
pre	init'ed(x0.edit)
pre	x0 != null
post	init'ed(return_value)
post	return_value == x0.edit

void actionChanged(Action)

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

void actionDeleted(String)

Kind	Annotation Text
pre	this.model != null
pre	this.model.actions != null
unanalyzed	call on com.dmdirc.actions.Action:getName
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionTableModel:fireTableRowsDelete d
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:indexOf
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:remove

void actionPerformed(ActionEvent)

Kind	Annotation Text
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) init'ed(this.parent)
pre	(soft) this.group != null
pre	(soft) this.model != null
pre	(soft) this.model.actions != null
pre	(soft) this.table != null
pre	e != null
pre	init'ed(this.add)
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	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	new ActionEditorDialog(getActionEditorDialog#1) num objects <= 1
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
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:pack
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:setLocationRelative To
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.ActionEditorDialog:setVisible
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 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.List:get
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on net.miginfocom.swing.MigLayout
test_vector	javax.swing.JOptionPane:showConfirmDialog(... )@241: {-2³¹..-1, 1..2³²-1}, {0}

void addListeners()

Kind	Annotation Text
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

void com.dmdirc.addons.ui_swing.dialogs.actionsmanager.ActionsGroupPanel$1(ActionsGroupPanel, TableModel, bool, JScrollPane, bool)

Kind	Annotation Text
post	new ActionTypeTableCellRenderer(ActionsGroupPanel$1 #1) num objects == 1
post	new ArrayCellRenderer(ActionsGroupPanel$1#2) num objects == 1
post	this.arrayRenderer == &new ArrayCellRenderer(Ac tionsGroupPanel$1#2)
post	this.typeRenderer == &new ActionTypeTableCellRe nderer(ActionsGroupPanel$1#1)
unanalyzed	call on javax.swing.table.DefaultTableCellRenderer

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

Kind	Annotation Text

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

Kind	Annotation Text

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

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.dialogs.actionsmanager.ActionsGroupPanel(Window, ActionGroup)

Kind	Annotation Text
post	init'ed(this.group)
post	init'ed(this.parent)
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 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 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.add == &new JButton(initComponents#6)
post	this.delete == &new JButton(initComponents#8)
post	this.edit == &new JButton(initComponents#7)
post	this.group == group
post	this.model == &new ActionTableModel(initCompone nts#2)
post	this.parent == parent
post	this.scrollPane == &new JScrollPane(initCompone nts#1)
post	this.table == &new ActionsGroupPanel$1(initComp onents#4)
unanalyzed	call on com.dmdirc.actions.ActionGroup:getActions
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.dialogs. actionsmanager.ActionsGroupPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsGroupPanel:setLayout
unanalyzed	call on java.awt.event.MouseAdapter
unanalyzed	call on java.util.ArrayList
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.JScrollPane
unanalyzed	call on javax.swing.JScrollPane:setViewportView
unanalyzed	call on javax.swing.ListSelectionModel:addListSelec tionListener
unanalyzed	call on javax.swing.RowSorter:toggleSortOrder
unanalyzed	call on javax.swing.table.AbstractTableModel
unanalyzed	call on javax.swing.table.DefaultTableCellRenderer
unanalyzed	call on net.miginfocom.swing.MigLayout

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

Kind	Annotation Text

TableCellRenderer getCellRenderer(int, int)

Kind	Annotation Text
post	init'ed(return_value)
test_vector	column: {1}, {2}, {-2³¹..0, 3..2³²-1}

void initComponents()

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

void layoutComponents()

Kind	Annotation Text
pre	init'ed(this.add)
pre	init'ed(this.delete)
pre	init'ed(this.edit)
pre	init'ed(this.scrollPane)

void mouseClicked(MouseEvent)

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

void setActionGroup(ActionGroup)

Kind	Annotation Text
pre	init'ed(this.model.actions)
pre	this.add != null
pre	this.model != null
post	init'ed(this.group)
post	init'ed(this.model.actions)
post	new ArrayList(setActionGroup#1*) num objects <= 1
post	this.group == group
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.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList

void valueChanged(ListSelectionEvent)

Kind	Annotation Text
pre	(soft) this.delete != null
pre	(soft) this.edit != null
pre	(soft) this.table != null
pre	e != 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}