AliasManagerDialog.java

AliasManagerDialog.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void actionPerformed(ActionEvent)

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.addons.ui_swing.dialogs. aliases.AliasPanel$1__static_init.new int[](AliasPanel$1__static_init#1)[...])
pre	(soft) init'ed(me)
pre	(soft) init'ed(this.addButton)
pre	(soft) init'ed(this.selectedRow)
pre	(soft) this.aliasDetails != null
pre	(soft) this.aliasDetails.argumentComponent != null
pre	(soft) this.aliasDetails.argumentNumber != null
pre	(soft) this.aliasDetails.command != null
pre	(soft) this.aliasDetails.command.textField != null
pre	(soft) this.aliasDetails.response != null
pre	(soft) this.showSubs != null
pre	(soft) this.subsPanel != null
pre	(soft) this.table != null
pre	(soft) this.tableModel != null
pre	(soft) this.tableModel.aliases != null
pre	e != null
pre	init'ed(this.deleteButton)
presumption	com.dmdirc.actions.CoreActionComparison:values(... ).length >= 1
post	init'ed(me)
post	me == One-of{old me, null}
unanalyzed	call on com.dmdirc.actions.Action:delete
unanalyzed	call on com.dmdirc.actions.Action:getConditions
unanalyzed	call on com.dmdirc.actions.Action:getName
unanalyzed	call on com.dmdirc.actions.Action:getResponse
unanalyzed	call on com.dmdirc.actions.Action:save
unanalyzed	call on com.dmdirc.actions.Action:setConditions
unanalyzed	call on com.dmdirc.actions.Action:setName
unanalyzed	call on com.dmdirc.actions.Action:setResponse
unanalyzed	call on com.dmdirc.actions.ActionCondition
unanalyzed	call on com.dmdirc.actions.ActionManager:loadAction s
unanalyzed	call on com.dmdirc.actions.CoreActionComparison:ord inal
unanalyzed	call on com.dmdirc.actions.wrappers.Alias
unanalyzed	call on com.dmdirc.actions.wrappers. Alias:createAction
unanalyzed	call on com.dmdirc.actions.wrappers. Alias:getArguments
unanalyzed	call on com.dmdirc.actions.wrappers.Alias:getName
unanalyzed	call on com.dmdirc.actions.wrappers. Alias:getResponse
unanalyzed	call on com.dmdirc.actions.wrappers.Alias:matches
unanalyzed	call on com.dmdirc.actions.wrappers.Alias:update
unanalyzed	call on com.dmdirc.actions.wrappers. AliasWrapper:getActions
unanalyzed	call on com.dmdirc.actions.wrappers. AliasWrapper:getAliasWrapper
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:dispose
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.aliases. AliasTableModel:fireTableRowsDeleted
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.aliases. AliasTableModel:fireTableRowsInserted
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.aliases. AliasTableModel:fireTableRowsUpdated
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Arrays:equals
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:indexOf
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:remove
unanalyzed	call on javax.swing.JComboBox:getSelectedItem
unanalyzed	call on javax.swing.JSpinner:getValue
unanalyzed	call on javax.swing.JTable:getRowSorter
unanalyzed	call on javax.swing.JTable:getSelectedRow
unanalyzed	call on javax.swing.JTable:getSelectionModel
unanalyzed	call on javax.swing.JTextArea:getText
unanalyzed	call on javax.swing.JTextField:getText
unanalyzed	call on javax.swing.JTextField:requestFocusInWindow
unanalyzed	call on javax.swing.ListSelectionModel:setSelection Interval
unanalyzed	call on javax.swing.RowSorter:convertRowIndexToMode l
unanalyzed	call on javax.swing.RowSorter:convertRowIndexToView
test_vector	com.dmdirc.addons.ui_swing.dialogs.aliases. AliasSubstitutionsPanel:isVisible(...)@314: {0}, {1}
test_vector	javax.swing.JTable:getSelectedRow(...)@301: {-1}, {-2³¹..-2, 0..2³²-1}

void add()

Kind	Annotation Text
pre	this.aliasDetails != null
pre	this.aliasDetails.command != null
pre	this.aliasDetails.command.textField != null
pre	this.table != null
pre	this.tableModel != null
pre	this.tableModel.aliases != null
presumption	javax.swing.JTable:getRowSorter(...)@328 != null
presumption	javax.swing.JTable:getSelectionModel(...)@330 != null
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.aliases. AliasTableModel:fireTableRowsInserted
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:indexOf
unanalyzed	call on javax.swing.JTextField:requestFocusInWindow

bool checkForDuplicates()

Kind	Annotation Text
pre	init'ed(this.tableModel.aliases)
pre	this.tableModel != null
presumption	java.util.Iterator:next(...)@439 != null
post	init'ed(return_value)
unanalyzed	call on java.util.ArrayList
test_vector	com.dmdirc.actions.wrappers.Alias:matches(... )@440: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@436: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@439: {0}, {1}

void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasManagerDialog$1(AliasManagerDialog, TableModel, bool, JScrollPane, bool, TableCellRenderer, TableCellRenderer)

Kind	Annotation Text
post	init'ed(this.val$arrayRenderer)
post	init'ed(this.val$conditionRenderer)
post	this.val$arrayRenderer == Param_7
post	this.val$conditionRenderer == Param_6

com.dmdirc.addons.ui_swing.dialogs.aliases.AliasManagerDialog$1__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasManagerDialog(Window)

Kind	Annotation Text
presumption	init'ed(java.awt.Dialog$ModalityType.MODELESS)
post	init'ed(new AliasPanel(initComponents#10).alias)
post	init'ed(this.selectedRow)
post	new ActionConditionCellRenderer(initComponents#2) num objects == 1
post	new AliasManagerDialog$1(initComponents#9) num objects == 1
post	new AliasManagerDialog$1(initComponents#9). val$arrayRenderer == &new ArrayCellRenderer(ini tComponents#1)
post	new AliasManagerDialog$1(initComponents#9). val$conditionRenderer == &new ActionConditionCe llRenderer(initComponents#2)
post	new AliasPanel(initComponents#10) num objects == 1
post	new AliasPanel(initComponents#10).argumentComponent == &new JComboBox(AliasPanel#6)
post	new AliasPanel(initComponents#10).argumentNumber == &new JSpinner(AliasPanel#8)
post	new AliasPanel(initComponents#10).command == &new ValidatingJTextField(AliasPanel#1)
post	new AliasPanel(initComponents#10).response == &new JTextArea(AliasPanel#10)
post	new AliasSubstitutionsPanel(initComponents#11) num objects == 1
post	new AliasSubstitutionsPanel(initComponents#11). alignment == &com.dmdirc.addons.ui_swing. components.substitutions.SubstitutionsPanel$Alignme nt__static_init.new SubstitutionsPanel$Alignment(Su bstitutionsPanel$Alignment__static_init#2)
post	new AliasSubstitutionsPanel(initComponents#11). description == &"Substitutions may be used in the response field"
post	new AliasTableModel(initComponents#8) num objects == 1
post	new AliasTableModel(initComponents#8).aliases == &new ArrayList(AliasTableModel#1)
post	new ArrayCellRenderer(initComponents#1) num objects == 1
post	new ArrayList(AliasTableModel#1) num objects == 1
post	new JButton(initComponents#12) num objects == 1
post	new JButton(initComponents#5) num objects == 1
post	new JButton(initComponents#6) num objects == 1
post	new JComboBox(AliasPanel#6) num objects == 1
post	new JLabel(ValidatingJTextField#1) num objects == 1
post	new JScrollPane(initComponents#7) num objects == 1
post	new JSpinner(AliasPanel#8) num objects == 1
post	new JTextArea(AliasPanel#10) num objects == 1
post	new JTextField(ValidatingJTextField#1) num objects == 1
post	new ValidatingJTextField(AliasPanel#1) num objects == 1
post	new ValidatingJTextField(AliasPanel#1).errorIcon == &new JLabel(ValidatingJTextField#1)
post	new ValidatingJTextField(AliasPanel#1).textField == &new JTextField(ValidatingJTextField#1)
post	new ValidatingJTextField(AliasPanel#1).validator == &new ValidatorChain(AliasPanel#2)
post	new ValidatorChain(AliasPanel#2) num objects == 1
post	this.addButton == &new JButton(initComponents#5 )
post	this.aliasDetails == &new AliasPanel(initCompon ents#10)
post	this.deleteButton == &new JButton(initComponent s#6)
post	this.scrollPane == &new JScrollPane(initCompone nts#7)
post	this.showSubs == &new JButton(initComponents#12 )
post	this.subsPanel == &new AliasSubstitutionsPanel( initComponents#11)
post	this.table == &new AliasManagerDialog$1(initCom ponents#9)
post	this.tableModel == &new AliasTableModel(initCom ponents#8)
unanalyzed	call on com.dmdirc.actions.Action:getConditions
unanalyzed	call on com.dmdirc.actions.Action:getResponse
unanalyzed	call on com.dmdirc.actions.ActionCondition:getCompa rison
unanalyzed	call on com.dmdirc.actions.ActionCondition:getTarge t
unanalyzed	call on com.dmdirc.actions.wrappers.Alias
unanalyzed	call on com.dmdirc.actions.wrappers. AliasWrapper:getAliasWrapper
unanalyzed	call on com.dmdirc.actions.wrappers. AliasWrapper:iterator
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:addU ndoManager
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel$Alignment:equals
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:getBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:firePropertyChange
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.aliases. AliasManagerDialog:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.aliases. AliasManagerDialog:getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.aliases. AliasManagerDialog:getLeftButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.aliases. AliasManagerDialog:getOkButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.aliases. AliasManagerDialog:getRightButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.aliases. AliasManagerDialog:orderButtons
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.aliases. AliasManagerDialog:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.aliases. AliasManagerDialog:setMinimumSize
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.aliases. AliasPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.aliases. AliasPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.aliases. AliasSubstitutionsPanel:setVisible
unanalyzed	call on com.dmdirc.config.prefs.validator. CommandNameValidator
unanalyzed	call on com.dmdirc.config.prefs.validator. FileNameValidator
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:getFailureReason
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
unanalyzed	call on com.dmdirc.config.prefs.validator. Validator:validate
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidatorChain
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:get
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on javax.swing.DefaultListCellRenderer
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.JComboBox
unanalyzed	call on javax.swing.JComboBox:addActionListener
unanalyzed	call on javax.swing.JComboBox:putClientProperty
unanalyzed	call on javax.swing.JComboBox:setEnabled
unanalyzed	call on javax.swing.JComboBox:setRenderer
unanalyzed	call on javax.swing.JComboBox:setSelectedItem
unanalyzed	call on javax.swing.JComponent
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JLabel:isVisible
unanalyzed	call on javax.swing.JLabel:setToolTipText
unanalyzed	call on javax.swing.JLabel:setVisible
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.JScrollPane:setMinimumSize
unanalyzed	call on javax.swing.JScrollPane:setViewportView
unanalyzed	call on javax.swing.JSpinner
unanalyzed	call on javax.swing.JSpinner:setEnabled
unanalyzed	call on javax.swing.JSpinner:setValue
unanalyzed	call on javax.swing.JSplitPane
unanalyzed	call on javax.swing.JSplitPane:setDividerSize
unanalyzed	call on javax.swing.JTable:getRowSorter
unanalyzed	call on javax.swing.JTable:getSelectionModel
unanalyzed	call on javax.swing.JTable:getTableHeader
unanalyzed	call on javax.swing.JTable:setAutoCreateColumnsFrom Model
unanalyzed	call on javax.swing.JTable:setAutoCreateRowSorter
unanalyzed	call on javax.swing.JTable:setCellSelectionEnabled
unanalyzed	call on javax.swing.JTable:setColumnSelectionAllowe d
unanalyzed	call on javax.swing.JTable:setDragEnabled
unanalyzed	call on javax.swing.JTable:setFillsViewportHeight
unanalyzed	call on javax.swing.JTable:setPreferredScrollableVi ewportSize
unanalyzed	call on javax.swing.JTable:setRowSelectionAllowed
unanalyzed	call on javax.swing.JTable:setSelectionMode
unanalyzed	call on javax.swing.JTextArea
unanalyzed	call on javax.swing.JTextArea:setEnabled
unanalyzed	call on javax.swing.JTextArea:setRows
unanalyzed	call on javax.swing.JTextArea:setText
unanalyzed	call on javax.swing.JTextField
unanalyzed	call on javax.swing.JTextField:getDocument
unanalyzed	call on javax.swing.JTextField:getText
unanalyzed	call on javax.swing.JTextField:isEnabled
unanalyzed	call on javax.swing.JTextField:setEnabled
unanalyzed	call on javax.swing.JTextField:setText
unanalyzed	call on javax.swing.ListSelectionModel:addListSelec tionListener
unanalyzed	call on javax.swing.RowSorter:toggleSortOrder
unanalyzed	call on javax.swing.SpinnerNumberModel
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on javax.swing.table.AbstractTableModel
unanalyzed	call on javax.swing.table.DefaultTableCellRenderer
unanalyzed	call on javax.swing.table.JTableHeader:setReorderin gAllowed
unanalyzed	call on javax.swing.text.Document:addDocumentListen er
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getP anelInsets
unanalyzed	call on net.miginfocom.layout.UnitValue:getValue
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on setType

com.dmdirc.addons.ui_swing.dialogs.aliases.AliasManagerDialog__static_init

Kind	Annotation Text

void delete()

Kind	Annotation Text
pre	(soft) this.tableModel != null
pre	(soft) this.tableModel.aliases != null
pre	this.table != null
presumption	javax.swing.JTable:getRowSorter(...)@337 != null
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.aliases. AliasTableModel:fireTableRowsDeleted
unanalyzed	call on java.util.List:remove
test_vector	javax.swing.JTable:getSelectedRow(...)@336: {-1}, {-2³¹..-2, 0..2³²-1}

void dispose()

Kind	Annotation Text
pre	init'ed(me)
post	me == null
test_vector	me: Inverse{null}, Addr_Set{null}

Action getAction(Alias)

Kind	Annotation Text
pre	(soft) alias != null
presumption	com.dmdirc.actions.Action:getConditions(...)@418 != null
presumption	com.dmdirc.actions.Action:getName(...)@418 != null
presumption	com.dmdirc.actions.wrappers.AliasWrapper:getActions (...)@413 != null
presumption	com.dmdirc.actions.wrappers.AliasWrapper:getAliasWr apper(...)@413 != null
presumption	java.util.Iterator:next(...)@417 != null
post	init'ed(return_value)
test_vector	java.lang.Object:equals(...)@418: {0}, {1}
test_vector	java.lang.String:equals(...)@418: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@417: {0}, {1}

AliasManagerDialog getAliasManagerDialog(Window)

Kind	Annotation Text
pre	init'ed(me)
post	me != null
post	me == One-of{old me, &new AliasManagerDialog(ge tAliasManagerDialog#1)}
post	new AliasManagerDialog(getAliasManagerDialog#1) num objects <= 1
post	return_value != null
post	return_value == One-of{old me, &new AliasManagerDialog(getAliasManagerDialog#1)}

TableCellRenderer getCellRenderer(int, int)

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

List getTableData()

Kind	Annotation Text
presumption	com.dmdirc.actions.Action:getConditions(...)@206 != null
presumption	com.dmdirc.actions.wrappers.AliasWrapper:getAliasWr apper(...)@205 != null
presumption	com.dmdirc.actions.wrappers.AliasWrapper:iterator(. ..)@205 != null
presumption	init'ed(com.dmdirc.actions.CoreActionComparison. STRING_EQUALS)
presumption	java.util.Iterator:next(...)@205 != null
presumption	java.util.List:get(...)@210 != null
presumption	java.util.List:get(...)@213 != null
post	new ArrayList(getTableData#1) num objects == 1
post	return_value == &new ArrayList(getTableData#1)
test_vector	java.util.Iterator:hasNext(...)@205: {0}, {1}

void initComponents()

Kind	Annotation Text
presumption	javax.swing.JTable:getRowSorter(...)@178 != null
presumption	javax.swing.JTable:getTableHeader(...)@180 != null
post	new ActionConditionCellRenderer(initComponents#2) num objects == 1
post	new AliasManagerDialog$1(initComponents#9) num objects == 1
post	new AliasPanel(initComponents#10) num objects == 1
post	new AliasSubstitutionsPanel(initComponents#11) num objects == 1
post	new AliasTableModel(initComponents#8) num objects == 1
post	new ArrayCellRenderer(initComponents#1) num objects == 1
post	new ArrayList(AliasTableModel#1) num objects == 1
post	new JButton(initComponents#12) num objects == 1
post	new JButton(initComponents#5) num objects == 1
post	new JButton(initComponents#6) num objects == 1
post	new JComboBox(AliasPanel#6) num objects == 1
post	new JLabel(ValidatingJTextField#1) num objects == 1
post	new JScrollPane(initComponents#7) num objects == 1
post	new JSpinner(AliasPanel#8) num objects == 1
post	new JTextArea(AliasPanel#10) num objects == 1
post	new JTextField(ValidatingJTextField#1) num objects == 1
post	new ValidatingJTextField(AliasPanel#1) num objects == 1
post	new ValidatingJTextField(AliasPanel#1).errorIcon == &new JLabel(ValidatingJTextField#1)
post	new ValidatingJTextField(AliasPanel#1).textField == &new JTextField(ValidatingJTextField#1)
post	new ValidatingJTextField(AliasPanel#1).validator == &new ValidatorChain(AliasPanel#2)
post	new ValidatorChain(AliasPanel#2) num objects == 1
post	this.addButton == &new JButton(initComponents#5 )
post	this.aliasDetails == &new AliasPanel(initCompon ents#10)
post	this.aliasDetails.alias == null
post	this.aliasDetails.argumentComponent == &new JComboBox(AliasPanel#6)
post	this.aliasDetails.argumentNumber == &new JSpinner(AliasPanel#8)
post	this.aliasDetails.command == &new ValidatingJTextField(AliasPanel#1)
post	this.aliasDetails.response == &new JTextArea(AliasPanel#10)
post	this.deleteButton == &new JButton(initComponent s#6)
post	this.scrollPane == &new JScrollPane(initCompone nts#7)
post	this.showSubs == &new JButton(initComponents#12 )
post	this.subsPanel == &new AliasSubstitutionsPanel( initComponents#11)
post	this.subsPanel.alignment == &com.dmdirc.addons. ui_swing.components.substitutions.SubstitutionsPane l$Alignment__static_init.new SubstitutionsPanel$Ali gnment(SubstitutionsPanel$Alignment__static_init#2)
post	this.subsPanel.description == &"Substitutions may be used in the response field"
post	this.table == &new AliasManagerDialog$1(initCom ponents#9)
post	this.table.val$arrayRenderer == &new ArrayCellRenderer(initComponents#1)
post	this.table.val$conditionRenderer == &new ActionConditionCellRenderer(initComponents#2)
post	this.tableModel == &new AliasTableModel(initCom ponents#8)
post	this.tableModel.aliases == &new ArrayList(AliasTableModel#1)
unanalyzed	call on com.dmdirc.actions.Action:getConditions
unanalyzed	call on com.dmdirc.actions.Action:getResponse
unanalyzed	call on com.dmdirc.actions.ActionCondition:getCompa rison
unanalyzed	call on com.dmdirc.actions.ActionCondition:getTarge t
unanalyzed	call on com.dmdirc.actions.wrappers.Alias
unanalyzed	call on com.dmdirc.actions.wrappers. AliasWrapper:getAliasWrapper
unanalyzed	call on com.dmdirc.actions.wrappers. AliasWrapper:iterator
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:addU ndoManager
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel$Alignment:equals
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:getBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:firePropertyChange
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.aliases. AliasPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.aliases. AliasPanel:setLayout
unanalyzed	call on com.dmdirc.config.prefs.validator. CommandNameValidator
unanalyzed	call on com.dmdirc.config.prefs.validator. FileNameValidator
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:getFailureReason
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
unanalyzed	call on com.dmdirc.config.prefs.validator. Validator:validate
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidatorChain
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:get
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on javax.swing.DefaultListCellRenderer
unanalyzed	call on javax.swing.JComboBox
unanalyzed	call on javax.swing.JComboBox:addActionListener
unanalyzed	call on javax.swing.JComboBox:putClientProperty
unanalyzed	call on javax.swing.JComboBox:setEnabled
unanalyzed	call on javax.swing.JComboBox:setRenderer
unanalyzed	call on javax.swing.JComboBox:setSelectedItem
unanalyzed	call on javax.swing.JComponent
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JLabel:isVisible
unanalyzed	call on javax.swing.JLabel:setToolTipText
unanalyzed	call on javax.swing.JLabel:setVisible
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.JSpinner
unanalyzed	call on javax.swing.JSpinner:setEnabled
unanalyzed	call on javax.swing.JSpinner:setValue
unanalyzed	call on javax.swing.JTextArea
unanalyzed	call on javax.swing.JTextArea:setEnabled
unanalyzed	call on javax.swing.JTextArea:setRows
unanalyzed	call on javax.swing.JTextArea:setText
unanalyzed	call on javax.swing.JTextField
unanalyzed	call on javax.swing.JTextField:getDocument
unanalyzed	call on javax.swing.JTextField:getText
unanalyzed	call on javax.swing.JTextField:isEnabled
unanalyzed	call on javax.swing.JTextField:setEnabled
unanalyzed	call on javax.swing.JTextField:setText
unanalyzed	call on javax.swing.SpinnerNumberModel
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on javax.swing.table.AbstractTableModel
unanalyzed	call on javax.swing.table.DefaultTableCellRenderer
unanalyzed	call on javax.swing.text.Document:addDocumentListen er
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on setType

void initListeners()

Kind	Annotation Text
pre	this.addButton != null
pre	this.deleteButton != null
pre	this.showSubs != null
pre	this.table != null
presumption	com.dmdirc.addons.ui_swing.dialogs.aliases. AliasManagerDialog:getCancelButton(...)@227 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.aliases. AliasManagerDialog:getOkButton(...)@226 != null
presumption	javax.swing.JTable:getSelectionModel(...)@225 != null

void layoutComponents()

Kind	Annotation Text
pre	init'ed(this.addButton)
pre	init'ed(this.aliasDetails)
pre	init'ed(this.deleteButton)
pre	init'ed(this.showSubs)
pre	init'ed(this.subsPanel)
pre	this.scrollPane != null
pre	this.table != null
presumption	(int) (net.miginfocom.layout.UnitValue:getValue(... )@241) in {-2³¹..2³²-1}
presumption	net.miginfocom.layout.PlatformDefaults:getPanelInse ts(...)@241 != null

void save()

Kind	Annotation Text
pre	init'ed(this.tableModel.aliases)
pre	this.tableModel != null
presumption	com.dmdirc.actions.Action:getConditions(...)@357 != null
presumption	com.dmdirc.actions.Action:getName(...)@357 != null
presumption	com.dmdirc.actions.wrappers.AliasWrapper:getActions (...)@344 != null
presumption	com.dmdirc.actions.wrappers.AliasWrapper:getAliasWr apper(...)@344 != null
presumption	java.util.Iterator:next(...)@351 != null
presumption	java.util.Iterator:next(...)@366 != null
unanalyzed	call on com.dmdirc.actions.Action:getConditions
unanalyzed	call on com.dmdirc.actions.Action:getName
unanalyzed	call on com.dmdirc.actions.Action:save
unanalyzed	call on com.dmdirc.actions.Action:setConditions
unanalyzed	call on com.dmdirc.actions.Action:setName
unanalyzed	call on com.dmdirc.actions.Action:setResponse
unanalyzed	call on com.dmdirc.actions.wrappers. Alias:createAction
unanalyzed	call on com.dmdirc.actions.wrappers. Alias:getArguments
unanalyzed	call on com.dmdirc.actions.wrappers.Alias:getName
unanalyzed	call on com.dmdirc.actions.wrappers. Alias:getResponse
unanalyzed	call on com.dmdirc.actions.wrappers. AliasWrapper:getActions
unanalyzed	call on com.dmdirc.actions.wrappers. AliasWrapper:getAliasWrapper
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:iterator
test_vector	java.lang.Object:equals(...)@357: {0}, {1}
test_vector	java.lang.String:equals(...)@357: {0}, {1}
test_vector	java.util.Arrays:equals(...)@357: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@351: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@366: {0}, {1}

void saveModifiedAliases(List)

Kind	Annotation Text
pre	aliases != null
presumption	java.util.Iterator:next(...)@394 != null
unanalyzed	call on com.dmdirc.actions.Action:getConditions
unanalyzed	call on com.dmdirc.actions.Action:getName
unanalyzed	call on com.dmdirc.actions.wrappers. Alias:getArguments
unanalyzed	call on com.dmdirc.actions.wrappers.Alias:getName
unanalyzed	call on com.dmdirc.actions.wrappers. AliasWrapper:getActions
unanalyzed	call on com.dmdirc.actions.wrappers. AliasWrapper:getAliasWrapper
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.List:iterator
test_vector	java.util.Iterator:hasNext(...)@394: {0}, {1}

void saveNewAliases(List)

Kind	Annotation Text
pre	aliases != null
presumption	com.dmdirc.actions.wrappers.Alias:createAction(... )@384 != null
presumption	java.util.Iterator:next(...)@383 != null
test_vector	java.util.Iterator:hasNext(...)@383: {0}, {1}

void showAliasManagerDialog(Window)

Kind	Annotation Text
pre	init'ed(me)
post	me != null
post	me == One-of{old me, &new AliasManagerDialog(ge tAliasManagerDialog#1)}
post	new AliasManagerDialog(getAliasManagerDialog#1) num objects <= 1
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.aliases. AliasManagerDialog
unanalyzed	call on java.lang.Throwable:__curr_excep_obj

void updateAlias()

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.addons.ui_swing.dialogs. aliases.AliasPanel$1__static_init.new int[](AliasPanel$1__static_init#1)[...])
pre	(soft) this.aliasDetails.argumentNumber != null
pre	init'ed(this.selectedRow)
pre	this.aliasDetails != null
pre	this.aliasDetails.argumentComponent != null
pre	this.aliasDetails.command != null
pre	this.aliasDetails.command.textField != null
pre	this.aliasDetails.response != null
pre	this.table != null
pre	this.tableModel != null
pre	this.tableModel.aliases != null
presumption	com.dmdirc.actions.CoreActionComparison:values(... ).length >= 1
presumption	java.util.List:get(...)@175 != null
presumption	javax.swing.JTable:getRowSorter(...)@278 != null
unanalyzed	call on com.dmdirc.actions.ActionCondition
unanalyzed	call on com.dmdirc.actions.CoreActionComparison:ord inal
unanalyzed	call on com.dmdirc.actions.wrappers.Alias
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:indexOf
unanalyzed	call on javax.swing.JComboBox:getSelectedItem
unanalyzed	call on javax.swing.JSpinner:getValue
unanalyzed	call on javax.swing.JTextArea:getText
unanalyzed	call on javax.swing.JTextField:getText

void updateTableData()

Kind	Annotation Text
pre	this.tableModel != null
post	new ArrayList(setAliases#1) num objects == 1
post	this.tableModel.aliases == &new ArrayList(setAliases#1)
unanalyzed	call on com.dmdirc.actions.Action:getConditions
unanalyzed	call on com.dmdirc.actions.Action:getResponse
unanalyzed	call on com.dmdirc.actions.ActionCondition:getCompa rison
unanalyzed	call on com.dmdirc.actions.ActionCondition:getTarge t
unanalyzed	call on com.dmdirc.actions.wrappers.Alias
unanalyzed	call on com.dmdirc.actions.wrappers. AliasWrapper:getAliasWrapper
unanalyzed	call on com.dmdirc.actions.wrappers. AliasWrapper:iterator
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.aliases. AliasTableModel:fireTableDataChanged
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:get

void valueChanged(ListSelectionEvent)

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.addons.ui_swing.dialogs. aliases.AliasPanel$1__static_init.new int[](AliasPanel$1__static_init#1)[...])
pre	(soft) init'ed(this.aliasDetails.alias)
pre	(soft) init'ed(this.selectedRow)
pre	(soft) this.aliasDetails != null
pre	(soft) this.aliasDetails.argumentComponent != null
pre	(soft) this.aliasDetails.argumentNumber != null
pre	(soft) this.aliasDetails.command != null
pre	(soft) this.aliasDetails.command.errorIcon != null
pre	(soft) this.aliasDetails.command.textField != null
pre	(soft) this.aliasDetails.command.validator != null
pre	(soft) this.aliasDetails.response != null
pre	(soft) this.deleteButton != null
pre	(soft) this.table != null
pre	(soft) this.tableModel != null
pre	(soft) this.tableModel.aliases != null
pre	e != null
presumption	com.dmdirc.actions.CoreActionComparison:values(... ).length >= 1
presumption	javax.swing.JTable:getRowSorter(...)@258 != null
presumption	javax.swing.JTable:getRowSorter(...)@264 != null
post	init'ed(this.aliasDetails.alias)
post	init'ed(this.selectedRow)
unanalyzed	call on clear
unanalyzed	call on com.dmdirc.actions.ActionCondition
unanalyzed	call on com.dmdirc.actions.ActionCondition:getCompa rison
unanalyzed	call on com.dmdirc.actions.ActionCondition:getTarge t
unanalyzed	call on com.dmdirc.actions.CoreActionComparison:ord inal
unanalyzed	call on com.dmdirc.actions.wrappers.Alias
unanalyzed	call on com.dmdirc.actions.wrappers. Alias:getArguments
unanalyzed	call on com.dmdirc.actions.wrappers. Alias:getCommand
unanalyzed	call on com.dmdirc.actions.wrappers. Alias:getResponse
unanalyzed	call on com.dmdirc.actions.wrappers.Alias:update
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:firePropertyChange
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.aliases. AliasTableModel:fireTableRowsUpdated
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:getFailureReason
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
unanalyzed	call on com.dmdirc.config.prefs.validator. Validator:validate
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:indexOf
unanalyzed	call on java.util.List:size
unanalyzed	call on javax.swing.JComboBox:getSelectedItem
unanalyzed	call on javax.swing.JComboBox:setEnabled
unanalyzed	call on javax.swing.JComboBox:setSelectedItem
unanalyzed	call on javax.swing.JLabel:isVisible
unanalyzed	call on javax.swing.JLabel:setToolTipText
unanalyzed	call on javax.swing.JLabel:setVisible
unanalyzed	call on javax.swing.JSpinner:getValue
unanalyzed	call on javax.swing.JSpinner:setEnabled
unanalyzed	call on javax.swing.JSpinner:setValue
unanalyzed	call on javax.swing.JTable:getRowSorter
unanalyzed	call on javax.swing.JTextArea:getText
unanalyzed	call on javax.swing.JTextArea:setEnabled
unanalyzed	call on javax.swing.JTextArea:setText
unanalyzed	call on javax.swing.JTextField:getText
unanalyzed	call on javax.swing.JTextField:isEnabled
unanalyzed	call on javax.swing.JTextField:setEnabled
unanalyzed	call on javax.swing.JTextField:setText
unanalyzed	call on javax.swing.RowSorter:convertRowIndexToMode l
test_vector	javax.swing.JTable:getSelectedRow(...)@263: {-2³¹..-1}, {0..2³²-1}
test_vector	javax.swing.event.ListSelectionEvent:getValueIsAdju sting(...)@256: {1}, {0}
test_vector	this.selectedRow: {-2³¹..-1}, {0..2³²-2}