Messages

Last Msg First Msg

method

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

method

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

method	void com.dmdirc.addons.ui_swing.dialogs.aliases. AliasManagerDialog(Window)
presumption	init'ed(java.awt.Dialog$ModalityType.MODELESS)
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	init'ed(this.selectedRow)
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)
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 ValidatorChain(AliasPanel#2) 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	init'ed(new AliasPanel(initComponents#10).alias)
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). 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).aliases == &new ArrayList(AliasTableModel#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)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.actions.wrappers. AliasWrapper:getAliasWrapper
unanalyzed	call on com.dmdirc.actions.wrappers. AliasWrapper:iterator
unanalyzed	call on com.dmdirc.actions.Action:getConditions
unanalyzed	call on java.util.List:get
unanalyzed	call on com.dmdirc.actions.ActionCondition:getCompa rison
unanalyzed	call on com.dmdirc.actions.ActionCondition:getTarge t
unanalyzed	call on com.dmdirc.actions.Action:getResponse
unanalyzed	call on com.dmdirc.actions.wrappers.Alias
unanalyzed	call on java.util.List:add
unanalyzed	call on javax.swing.table.DefaultTableCellRenderer
unanalyzed	call on javax.swing.JButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.aliases. AliasManagerDialog:orderButtons
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.table.AbstractTableModel
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable
unanalyzed	call on javax.swing.JTable:setAutoCreateRowSorter
unanalyzed	call on javax.swing.JTable:setAutoCreateColumnsFrom Model
unanalyzed	call on javax.swing.JTable:setColumnSelectionAllowe d
unanalyzed	call on javax.swing.JTable:setCellSelectionEnabled
unanalyzed	call on javax.swing.JTable:setDragEnabled
unanalyzed	call on javax.swing.JTable:setFillsViewportHeight
unanalyzed	call on javax.swing.JTable:setRowSelectionAllowed
unanalyzed	call on javax.swing.JTable:setSelectionMode
unanalyzed	call on javax.swing.JTable:getRowSorter
unanalyzed	call on javax.swing.RowSorter:toggleSortOrder
unanalyzed	call on javax.swing.JTable:getTableHeader
unanalyzed	call on javax.swing.table.JTableHeader:setReorderin gAllowed
unanalyzed	call on javax.swing.JScrollPane:setViewportView
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.aliases. AliasPanel:setLayout
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.aliases. AliasPanel:add
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on javax.swing.JSpinner:setEnabled
unanalyzed	call on javax.swing.JTextField:getText
unanalyzed	call on javax.swing.JTextField:isEnabled
unanalyzed	call on com.dmdirc.config.prefs.validator. Validator:validate
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:getFailureReason
unanalyzed	call on javax.swing.JLabel:setToolTipText
unanalyzed	call on javax.swing.JLabel:isVisible
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:firePropertyChange
unanalyzed	call on javax.swing.JLabel:setVisible
unanalyzed	call on javax.swing.JTextField:setEnabled
unanalyzed	call on javax.swing.JComboBox:setEnabled
unanalyzed	call on javax.swing.JTextArea:setEnabled
unanalyzed	call on javax.swing.JTextField:setText
unanalyzed	call on javax.swing.JComboBox:setSelectedItem
unanalyzed	call on javax.swing.JSpinner:setValue
unanalyzed	call on javax.swing.JTextArea:setText
unanalyzed	call on javax.swing.JPanel
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. ValidatorChain
unanalyzed	call on javax.swing.JTextField:getDocument
unanalyzed	call on javax.swing.JComponent
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:add
unanalyzed	call on javax.swing.text.Document:addDocumentListen er
unanalyzed	call on javax.swing.JTextField
unanalyzed	call on javax.swing.JComboBox
unanalyzed	call on javax.swing.SpinnerNumberModel
unanalyzed	call on javax.swing.JSpinner
unanalyzed	call on javax.swing.JTextArea
unanalyzed	call on javax.swing.JTextArea:setRows
unanalyzed	call on javax.swing.DefaultListCellRenderer
unanalyzed	call on javax.swing.JComboBox:setRenderer
unanalyzed	call on javax.swing.JComboBox:putClientProperty
unanalyzed	call on javax.swing.JComboBox:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:addU ndoManager
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:getBorder
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel$Alignment:equals
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:setLayout
unanalyzed	call on setType
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.aliases. AliasSubstitutionsPanel:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.aliases. AliasManagerDialog:setLayout
unanalyzed	call on java.awt.Dimension
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.aliases. AliasManagerDialog:setMinimumSize
unanalyzed	call on javax.swing.JTable:setPreferredScrollableVi ewportSize
unanalyzed	call on javax.swing.JScrollPane:setMinimumSize
unanalyzed	call on javax.swing.JSplitPane
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getP anelInsets
unanalyzed	call on net.miginfocom.layout.UnitValue:getValue
unanalyzed	call on javax.swing.JSplitPane:setDividerSize
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.aliases. AliasManagerDialog:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.aliases. AliasManagerDialog:getLeftButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.aliases. AliasManagerDialog:getRightButton
unanalyzed	call on javax.swing.JTable:getSelectionModel
unanalyzed	call on javax.swing.ListSelectionModel:addListSelec tionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.aliases. AliasManagerDialog:getOkButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.aliases. AliasManagerDialog:getCancelButton

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. StandardDialog(Window, Dialog$ModalityType)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. aliases.AliasManagerDialog:setTitle(String)

method	void showAliasManagerDialog(Window)
pre	init'ed(me)
post	me == One-of{old me, &new AliasManagerDialog(ge tAliasManagerDialog#1)}
post	me != null
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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. aliases.AliasManagerDialog:setLocationRelativeTo(Co mponent)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. aliases.AliasManagerDialog:setVisible(bool)

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing.dialogs. aliases.AliasManagerDialog:requestFocusInWindow()

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

call too complex - analysis skipped Info call on void com.dmdirc.addons.ui_swing.dialogs. aliases.AliasManagerDialog(Window)

method	void initComponents()
presumption	javax.swing.JTable:getRowSorter(...)@178 != null
presumption	javax.swing.JTable:getTableHeader(...)@180 != null
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)
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 ValidatorChain(AliasPanel#2) num objects == 1
post	this.table.val$arrayRenderer == &new ArrayCellRenderer(initComponents#1)
post	this.table.val$conditionRenderer == &new ActionConditionCellRenderer(initComponents#2)
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.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.tableModel.aliases == &new ArrayList(AliasTableModel#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)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.actions.wrappers. AliasWrapper:getAliasWrapper
unanalyzed	call on com.dmdirc.actions.wrappers. AliasWrapper:iterator
unanalyzed	call on com.dmdirc.actions.Action:getConditions
unanalyzed	call on java.util.List:get
unanalyzed	call on com.dmdirc.actions.ActionCondition:getCompa rison
unanalyzed	call on com.dmdirc.actions.ActionCondition:getTarge t
unanalyzed	call on com.dmdirc.actions.Action:getResponse
unanalyzed	call on com.dmdirc.actions.wrappers.Alias
unanalyzed	call on java.util.List:add
unanalyzed	call on javax.swing.table.DefaultTableCellRenderer
unanalyzed	call on javax.swing.table.AbstractTableModel
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.aliases. AliasPanel:setLayout
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.aliases. AliasPanel:add
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on javax.swing.JSpinner:setEnabled
unanalyzed	call on javax.swing.JTextField:getText
unanalyzed	call on javax.swing.JTextField:isEnabled
unanalyzed	call on com.dmdirc.config.prefs.validator. Validator:validate
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:getFailureReason
unanalyzed	call on javax.swing.JLabel:setToolTipText
unanalyzed	call on javax.swing.JLabel:isVisible
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:firePropertyChange
unanalyzed	call on javax.swing.JLabel:setVisible
unanalyzed	call on javax.swing.JTextField:setEnabled
unanalyzed	call on javax.swing.JComboBox:setEnabled
unanalyzed	call on javax.swing.JTextArea:setEnabled
unanalyzed	call on javax.swing.JTextField:setText
unanalyzed	call on javax.swing.JComboBox:setSelectedItem
unanalyzed	call on javax.swing.JSpinner:setValue
unanalyzed	call on javax.swing.JTextArea:setText
unanalyzed	call on javax.swing.JPanel
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. ValidatorChain
unanalyzed	call on javax.swing.JTextField:getDocument
unanalyzed	call on javax.swing.JComponent
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:add
unanalyzed	call on javax.swing.text.Document:addDocumentListen er
unanalyzed	call on javax.swing.JTextField
unanalyzed	call on javax.swing.JComboBox
unanalyzed	call on javax.swing.SpinnerNumberModel
unanalyzed	call on javax.swing.JSpinner
unanalyzed	call on javax.swing.JTextArea
unanalyzed	call on javax.swing.JTextArea:setRows
unanalyzed	call on javax.swing.DefaultListCellRenderer
unanalyzed	call on javax.swing.JComboBox:setRenderer
unanalyzed	call on javax.swing.JComboBox:putClientProperty
unanalyzed	call on javax.swing.JComboBox:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:addU ndoManager
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:getBorder
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel$Alignment:equals
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:setLayout
unanalyzed	call on setType

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. aliases.AliasManagerDialog:orderButtons(JButton, JButton)

method	void com.dmdirc.addons.ui_swing.dialogs.aliases. AliasManagerDialog$1(AliasManagerDialog, TableModel, bool, JScrollPane, bool, TableCellRenderer, TableCellRenderer)
post	this.val$arrayRenderer == Param_7
post	init'ed(this.val$arrayRenderer)
post	this.val$conditionRenderer == Param_6
post	init'ed(this.val$conditionRenderer)

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 not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. aliases.AliasSubstitutionsPanel:setVisible(bool)

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

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

method not available - call not analyzed Info call on AliasWrapper com.dmdirc.actions.wrappers. AliasWrapper:getAliasWrapper()

method not available - call not analyzed Info call on Iterator com.dmdirc.actions.wrappers. AliasWrapper:iterator()

method not available - call not analyzed Info call on List com.dmdirc.actions.Action:getCondition s()

method not available - call not analyzed Info call on ActionComparison com.dmdirc.actions. ActionCondition:getComparison()

method not available - call not analyzed Info call on String com.dmdirc.actions.ActionCondition:g etTarget()

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

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

method	void initListeners()
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

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. aliases.AliasManagerDialog:getOkButton()

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. aliases.AliasManagerDialog:getCancelButton()

method	void layoutComponents()
pre	init'ed(this.addButton)
pre	init'ed(this.aliasDetails)
pre	init'ed(this.deleteButton)
pre	this.scrollPane != null
pre	init'ed(this.showSubs)
pre	init'ed(this.subsPanel)
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

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. aliases.AliasManagerDialog:setLayout(LayoutManager)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. aliases.AliasManagerDialog:setMinimumSize(Dimension )

method not available - call not analyzed Info call on UnitValue net.miginfocom.layout. PlatformDefaults:getPanelInsets(int)

method not available - call not analyzed Info call on float net.miginfocom.layout. UnitValue:getValue()

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

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. aliases.AliasManagerDialog:getLeftButton()

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

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. aliases.AliasManagerDialog:getRightButton()

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

method	void valueChanged(ListSelectionEvent)
pre	e != null
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
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 javax.swing.JTable:getRowSorter
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on javax.swing.JSpinner:setEnabled
unanalyzed	call on javax.swing.JTextField:getText
unanalyzed	call on clear
unanalyzed	call on javax.swing.JTextField:isEnabled
unanalyzed	call on com.dmdirc.config.prefs.validator. Validator:validate
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:getFailureReason
unanalyzed	call on javax.swing.JLabel:setToolTipText
unanalyzed	call on javax.swing.JLabel:isVisible
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:firePropertyChange
unanalyzed	call on javax.swing.JLabel:setVisible
unanalyzed	call on javax.swing.JTextField:setEnabled
unanalyzed	call on javax.swing.JComboBox:setEnabled
unanalyzed	call on javax.swing.JTextArea:setEnabled
unanalyzed	call on javax.swing.JTextField:setText
unanalyzed	call on javax.swing.JComboBox:setSelectedItem
unanalyzed	call on javax.swing.JSpinner:setValue
unanalyzed	call on javax.swing.JTextArea:setText
unanalyzed	call on javax.swing.RowSorter:convertRowIndexToMode l
unanalyzed	call on java.util.List:get
unanalyzed	call on javax.swing.JComboBox:getSelectedItem
unanalyzed	call on com.dmdirc.actions.CoreActionComparison:ord inal
unanalyzed	call on javax.swing.JSpinner:getValue
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on com.dmdirc.actions.ActionCondition
unanalyzed	call on javax.swing.JTextArea:getText
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on com.dmdirc.actions.wrappers.Alias
unanalyzed	call on com.dmdirc.actions.wrappers.Alias:update
unanalyzed	call on java.util.List:indexOf
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.aliases. AliasTableModel:fireTableRowsUpdated
unanalyzed	call on java.util.List:size
unanalyzed	call on com.dmdirc.actions.wrappers. Alias:getCommand
unanalyzed	call on com.dmdirc.actions.wrappers. Alias:getArguments
unanalyzed	call on com.dmdirc.actions.ActionCondition:getCompa rison
unanalyzed	call on com.dmdirc.actions.ActionCondition:getTarge t
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on com.dmdirc.actions.wrappers. Alias:getResponse
test_vector	this.selectedRow: {-2³¹..-1}, {0..2³²-2}
test_vector	javax.swing.JTable:getSelectedRow(...)@263: {-2³¹..-1}, {0..2³²-1}
test_vector	javax.swing.event.ListSelectionEvent:getValueIsAdju sting(...)@256: {1}, {0}

method	void updateAlias()
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	init'ed(this.selectedRow)
pre	this.table != null
pre	this.tableModel != null
pre	this.tableModel.aliases != null
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
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 javax.swing.JTextField:getText
unanalyzed	call on java.util.List:get
unanalyzed	call on javax.swing.JComboBox:getSelectedItem
unanalyzed	call on com.dmdirc.actions.CoreActionComparison:ord inal
unanalyzed	call on javax.swing.JSpinner:getValue
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on com.dmdirc.actions.ActionCondition
unanalyzed	call on javax.swing.JTextArea:getText
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on com.dmdirc.actions.wrappers.Alias
unanalyzed	call on java.util.List:indexOf

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

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

method	void actionPerformed(ActionEvent)
pre	e != null
pre	init'ed(this.deleteButton)
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) 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) init'ed(this.selectedRow)
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
presumption	com.dmdirc.actions.CoreActionComparison:values(... ).length >= 1
post	me == One-of{old me, null}
post	init'ed(me)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.actions.wrappers. AliasWrapper:getAliasWrapper
unanalyzed	call on com.dmdirc.actions.Action:getConditions
unanalyzed	call on com.dmdirc.actions.Action:getResponse
unanalyzed	call on java.util.List:add
unanalyzed	call on javax.swing.JTable:getRowSorter
unanalyzed	call on javax.swing.JTextField:getText
unanalyzed	call on javax.swing.JTable:getSelectionModel
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.RowSorter:convertRowIndexToMode l
unanalyzed	call on java.util.List:get
unanalyzed	call on javax.swing.JComboBox:getSelectedItem
unanalyzed	call on com.dmdirc.actions.CoreActionComparison:ord inal
unanalyzed	call on javax.swing.JSpinner:getValue
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on com.dmdirc.actions.ActionCondition
unanalyzed	call on javax.swing.JTextArea:getText
unanalyzed	call on java.lang.String:split
unanalyzed	call on com.dmdirc.actions.wrappers.Alias
unanalyzed	call on com.dmdirc.actions.wrappers.Alias:update
unanalyzed	call on java.util.List:indexOf
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.aliases. AliasTableModel:fireTableRowsUpdated
unanalyzed	call on javax.swing.JTable:getSelectedRow
unanalyzed	call on java.util.List:remove
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 javax.swing.RowSorter:convertRowIndexToView
unanalyzed	call on javax.swing.ListSelectionModel:setSelection Interval
unanalyzed	call on javax.swing.JTextField:requestFocusInWindow
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:dispose
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.actions.wrappers.Alias:matches
unanalyzed	call on com.dmdirc.actions.wrappers. AliasWrapper:getActions
unanalyzed	call on com.dmdirc.actions.Action:getName
unanalyzed	call on com.dmdirc.actions.wrappers.Alias:getName
unanalyzed	call on java.lang.String:equals
unanalyzed	call on com.dmdirc.actions.wrappers. Alias:getArguments
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on com.dmdirc.actions.wrappers. Alias:createAction
unanalyzed	call on com.dmdirc.actions.Action:save
unanalyzed	call on com.dmdirc.actions.Action:setName
unanalyzed	call on com.dmdirc.actions.Action:setConditions
unanalyzed	call on com.dmdirc.actions.wrappers. Alias:getResponse
unanalyzed	call on com.dmdirc.actions.Action:setResponse
unanalyzed	call on java.util.Arrays:equals
unanalyzed	call on com.dmdirc.actions.Action:delete
unanalyzed	call on com.dmdirc.actions.ActionManager:loadAction s
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}

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. aliases.AliasManagerDialog:getCancelButton()

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. aliases.AliasManagerDialog:getOkButton()

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing.dialogs. aliases.AliasSubstitutionsPanel:isVisible()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. aliases.AliasSubstitutionsPanel:setVisible(bool)

method	void add()
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 java.util.List:indexOf
unanalyzed	call on java.util.List:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.aliases. AliasTableModel:fireTableRowsInserted
unanalyzed	call on javax.swing.JTextField:requestFocusInWindow

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

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

method	void save()
pre	this.tableModel != null
pre	init'ed(this.tableModel.aliases)
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.wrappers. AliasWrapper:getAliasWrapper
unanalyzed	call on com.dmdirc.actions.Action:getConditions
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.actions.wrappers. AliasWrapper:getActions
unanalyzed	call on com.dmdirc.actions.Action:getName
unanalyzed	call on com.dmdirc.actions.wrappers.Alias:getName
unanalyzed	call on java.lang.String:equals
unanalyzed	call on com.dmdirc.actions.wrappers. Alias:getArguments
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on com.dmdirc.actions.wrappers. Alias:createAction
unanalyzed	call on com.dmdirc.actions.Action:save
unanalyzed	call on com.dmdirc.actions.Action:setName
unanalyzed	call on com.dmdirc.actions.Action:setConditions
unanalyzed	call on com.dmdirc.actions.wrappers. Alias:getResponse
unanalyzed	call on com.dmdirc.actions.Action:setResponse
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}

method not available - call not analyzed Info call on AliasWrapper com.dmdirc.actions.wrappers. AliasWrapper:getAliasWrapper()

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

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

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

method not available - call not analyzed Info call on List com.dmdirc.actions.Action:getCondition s()

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 String[] com.dmdirc.actions. Action:getResponse()

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

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

method not available - call not analyzed Info call on void com.dmdirc.actions.ActionManager:loadA ctions()

method	void saveNewAliases(List)
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}

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

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

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

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

method not available - call not analyzed Info call on void com.dmdirc.actions.Action:setName(Stri ng)

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.Action:setCondition s(List)

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

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

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

method	Action getAction(Alias)
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}

method not available - call not analyzed Info call on AliasWrapper com.dmdirc.actions.wrappers. AliasWrapper:getAliasWrapper()

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

method	bool checkForDuplicates()
pre	this.tableModel != null
pre	init'ed(this.tableModel.aliases)
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}

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

Prev Msg Next Msg

overflow

click for all messages in this file Low Prob.

check that matches in {-2³¹-1.. 2³²-2}

Prev Msg Next Msg

method	void dispose()
pre	init'ed(me)
post	me == null
test_vector	me: Inverse{null}, Addr_Set{null}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. StandardDialog:dispose()

	method not available - call not analyzed	Info	call on AliasWrapper com.dmdirc.actions.wrappers. AliasWrapper:getAliasWrapper()
	method not available - call not analyzed	Info	call on Iterator com.dmdirc.actions.wrappers. AliasWrapper:iterator()

method not available - call not analyzed	Info	call on String com.dmdirc.actions.ActionCondition:g etTarget()
method not available - call not analyzed	Info	call on String[] com.dmdirc.actions. Action:getResponse()
method not available - call not analyzed	Info	call on void com.dmdirc.actions.wrappers. Alias(String, List, String[])

	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. aliases.AliasManagerDialog:setLayout(LayoutManager)

	method not available - call not analyzed	Info	call on UnitValue net.miginfocom.layout. PlatformDefaults:getPanelInsets(int)
	method not available - call not analyzed	Info	call on float net.miginfocom.layout. UnitValue:getValue()

	method not available - call not analyzed	Info	call on JButton com.dmdirc.addons.ui_swing.dialogs. aliases.AliasManagerDialog:getLeftButton()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.dialogs. aliases.AliasManagerDialog:add(Component, Object)

	method not available - call not analyzed	Info	call on Action com.dmdirc.actions.wrappers. Alias:createAction()
	method not available - call not analyzed	Info	call on void com.dmdirc.actions.Action:save()

	method not available - call not analyzed	Info	call on String com.dmdirc.actions.wrappers. Alias:getName()
	method not available - call not analyzed	Info	call on void com.dmdirc.actions.Action:setName(Stri ng)

	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.Action:setCondition s(List)

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