URLConfigPanel.java

URLConfigPanel.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

URLHandlerTableModel access$000(URLConfigPanel)

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

Map access$100(URLConfigPanel)

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

void actionPerformed(ActionEvent)

Kind	Annotation Text
pre	(soft) init'ed(this.parentWindow)
pre	(soft) init'ed(this.remove)
pre	(soft) this.model != null
pre	(soft) this.model.handlers != null
pre	(soft) this.model.uris != null
pre	(soft) this.table != null
pre	e != null
pre	init'ed(this.add)
presumption	com.dmdirc.addons.ui_swing.components. PackingTable:getRowSorter(...)@299 != null
presumption	init'ed(java.awt.Dialog$ModalityType.MODELESS)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. URLHandlerTableModel:fireTableRowsDeleted
unanalyzed	call on java.util.List:remove

void addListeners()

Kind	Annotation Text
pre	this.add != null
pre	this.remove != null
pre	this.table != null
presumption	com.dmdirc.addons.ui_swing.components. PackingTable:getSelectionModel(...)@164 != null

void cancelled()

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.dialogs.prefs.URLConfigPanel$1(URLConfigPanel, TableModel, bool, JScrollPane)

Kind	Annotation Text

com.dmdirc.addons.ui_swing.dialogs.prefs.URLConfigPanel$1__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.dialogs.prefs.URLConfigPanel$2(URLConfigPanel, Window, Dialog$ModalityType, String, String, Validator)

Kind	Annotation Text

com.dmdirc.addons.ui_swing.dialogs.prefs.URLConfigPanel$2__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.dialogs.prefs.URLConfigPanel(Window)

Kind	Annotation Text
pre	init'ed(com/dmdirc/addons/ui_swing/dialogs/prefs/Sw ingPreferencesDialog.CLIENT_HEIGHT)
post	init'ed(this.parentWindow)
post	new ArrayList(URLHandlerTableModel#1) num objects == 1
post	new ArrayList(URLHandlerTableModel#2) num objects == 1
post	new HashMap(initComponents#4) num objects == 1
post	new JButton(initComponents#6) num objects == 1
post	new JButton(initComponents#7) num objects == 1
post	new JScrollPane(initComponents#1) num objects == 1
post	new URLConfigPanel$1(initComponents#3) num objects == 1
post	new URLHandlerTableModel(initComponents#2) num objects == 1
post	new URLHandlerTableModel(initComponents#2). handlers == &new ArrayList(URLHandlerTableModel #2)
post	new URLHandlerTableModel(initComponents#2).uris == &new ArrayList(URLHandlerTableModel#1)
post	new URLProtocolPanel(initComponents#5) num objects == 1
post	this.activeComponent == &new URLProtocolPanel(i nitComponents#5)
post	this.add == &new JButton(initComponents#6)
post	this.details == &new HashMap(initComponents#4)
post	this.empty == &new URLProtocolPanel(initCompone nts#5)
post	this.model == &new URLHandlerTableModel(initCom ponents#2)
post	this.parentWindow == parentWindow
post	this.remove == &new JButton(initComponents#7)
post	this.selectedRow == -1
post	this.table == &new URLConfigPanel$1(initCompone nts#3)
post	this.tableScrollPane == &new JScrollPane(initCo mponents#1)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable
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.components. URLProtocolPanel
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. URLConfigPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. URLConfigPanel:removeAll
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. URLConfigPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. URLHandlerTableModel:fireTableRowsInserted
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptions
unanalyzed	call on com.dmdirc.config.ConfigManager:hasOptionSt ring
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.net.URI
unanalyzed	call on java.net.URI:getScheme
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Set:iterator
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 net.miginfocom.swing.MigLayout

com.dmdirc.addons.ui_swing.dialogs.prefs.URLConfigPanel__static_init

Kind	Annotation Text

TableCellRenderer getCellRenderer(int, int)

Kind	Annotation Text
post	init'ed(return_value)
post	new URIHandlerCellRenderer(getCellRenderer#2) num objects <= 1
post	new URISchemeCellRenderer(getCellRenderer#1) num objects <= 1
unanalyzed	call on javax.swing.table.DefaultTableCellRenderer
test_vector	column: {0}, {1}, {-2³¹..-1, 2..2³²-1}

void initComponents()

Kind	Annotation Text
presumption	com.dmdirc.addons.ui_swing.components. PackingTable:getRowSorter(...)@136 != null
presumption	com.dmdirc.config.ConfigManager:getOptions(... )@146 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@146 != null
presumption	java.util.Map:keySet(...)@146 != null
post	new ArrayList(URLHandlerTableModel#1) num objects == 1
post	new ArrayList(URLHandlerTableModel#2) num objects == 1
post	new HashMap(initComponents#4) num objects == 1
post	new JButton(initComponents#6) num objects == 1
post	new JButton(initComponents#7) num objects == 1
post	new JScrollPane(initComponents#1) num objects == 1
post	new URLConfigPanel$1(initComponents#3) num objects == 1
post	new URLHandlerTableModel(initComponents#2) num objects == 1
post	new URLProtocolPanel(initComponents#5) num objects == 1
post	this.activeComponent == &new URLProtocolPanel(i nitComponents#5)
post	this.add == &new JButton(initComponents#6)
post	this.details == &new HashMap(initComponents#4)
post	this.empty == &new URLProtocolPanel(initCompone nts#5)
post	this.model == &new URLHandlerTableModel(initCom ponents#2)
post	this.model.handlers == &new ArrayList(URLHandle rTableModel#2)
post	this.model.uris == &new ArrayList(URLHandlerTab leModel#1)
post	this.remove == &new JButton(initComponents#7)
post	this.table == &new URLConfigPanel$1(initCompone nts#3)
post	this.tableScrollPane == &new JScrollPane(initCo mponents#1)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. URLHandlerTableModel:fireTableRowsInserted
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on com.dmdirc.config.ConfigManager:hasOptionSt ring
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on java.net.URI:getScheme
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:size
unanalyzed	call on javax.swing.table.AbstractTableModel
test_vector	java.util.Iterator:hasNext(...)@149: {0}, {1}

void layoutComponents()

Kind	Annotation Text
pre	init'ed(com/dmdirc/addons/ui_swing/dialogs/prefs/Sw ingPreferencesDialog.CLIENT_HEIGHT)
pre	init'ed(this.activeComponent)
pre	init'ed(this.add)
pre	init'ed(this.remove)
pre	init'ed(this.tableScrollPane)

void save()

Kind	Annotation Text
pre	(soft) init'ed(com/dmdirc/addons/ui_ swing/dialogs/prefs/SwingPreferencesDialog. CLIENT_HEIGHT)
pre	(soft) init'ed(this.empty)
pre	(soft) init'ed(this.tableScrollPane)
pre	(soft) this.add != null
pre	(soft) this.details != null
pre	(soft) this.model != null
pre	(soft) this.model.handlers != null
pre	(soft) this.model.uris != null
pre	(soft) this.remove != null
pre	(soft) this.selectedRow >= -1
pre	(soft) this.table != null
presumption	com.dmdirc.config.ConfigManager:getOptions(... )@188 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@188 != null
presumption	java.util.Iterator:next(...)@204 != null
presumption	java.util.Map:entrySet(...)@204 != null
presumption	java.util.Map:get(...)@198 != null
presumption	java.util.Map:keySet(...)@188 != null
presumption	java.util.Map_Entry:getKey(...)@205 != null
presumption	java.util.Map_Entry:getValue(...)@205 != null
post	init'ed(this.selectedRow)
post	possibly_updated(this.activeComponent)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable:getRowSorter
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable:getSelectedRow
unanalyzed	call on com.dmdirc.addons.ui_swing.components. URLProtocolPanel:getSelection
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. URLConfigPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. URLConfigPanel:removeAll
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. URLConfigPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. URLConfigPanel:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. URLHandlerTableModel:fireTableCellUpdated
unanalyzed	call on com.dmdirc.config.Identity:setOption
unanalyzed	call on com.dmdirc.config.Identity:unsetOption
unanalyzed	call on com.dmdirc.config.IdentityManager:getConfig Identity
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.IndexOutOfBoundsException
unanalyzed	call on java.lang.String:instanceof
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.net.URI:instanceof
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:set
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.RowSorter:convertRowIndexToMode l
unanalyzed	call on javax.swing.event.ListSelectionEvent:getVal ueIsAdjusting
unanalyzed	call on net.miginfocom.swing.MigLayout
test_vector	java.util.Iterator:hasNext(...)@190: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@204: {0}, {1}
test_vector	java.util.Map:containsKey(...)@197: {0}, {1}

bool save()

Kind	Annotation Text
pre	(soft) this.details != null
pre	(soft) this.model != null
pre	(soft) this.model.handlers != null
pre	(soft) this.model.uris != null
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. URLHandlerTableModel:fireTableRowsInserted
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on com.dmdirc.config.ConfigManager:hasOptionSt ring
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on java.net.URI:getScheme
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:size

void saveHandler(String, String)

Kind	Annotation Text
pre	handler != null
presumption	com.dmdirc.config.IdentityManager:getConfigIdentity (...)@217 != null
presumption	com.dmdirc.config.IdentityManager:getConfigIdentity (...)@220 != null
test_vector	java.lang.String:isEmpty(...)@216: {0}, {1}

void valueChanged(ListSelectionEvent)

Kind	Annotation Text
pre	(soft) init'ed(com/dmdirc/addons/ui_ swing/dialogs/prefs/SwingPreferencesDialog. CLIENT_HEIGHT)
pre	(soft) init'ed(this.empty)
pre	(soft) init'ed(this.tableScrollPane)
pre	(soft) this.add != null
pre	(soft) this.details != null
pre	(soft) this.model != null
pre	(soft) this.model.handlers != null
pre	(soft) this.model.uris != null
pre	(soft) this.remove != null
pre	(soft) this.selectedRow >= -1
pre	(soft) this.table != null
presumption	com.dmdirc.addons.ui_swing.components. PackingTable:getRowSorter(...)@244 != null
presumption	com.dmdirc.addons.ui_swing.components. PackingTable:getRowSorter(...)@250 != null
presumption	java.util.Map:get(...)@233 != null
presumption	javax.swing.RowSorter:convertRowIndexToModel(... )@244 in {0..2³²-2}
post	init'ed(this.selectedRow)
post	possibly_updated(this.activeComponent)
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. URLConfigPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. URLConfigPanel:removeAll
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. URLConfigPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. URLHandlerTableModel:fireTableCellUpdated
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.IndexOutOfBoundsException
unanalyzed	call on java.lang.String:instanceof
unanalyzed	call on java.net.URI:instanceof
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:set
unanalyzed	call on java.util.List:size
unanalyzed	call on net.miginfocom.swing.MigLayout
test_vector	com.dmdirc.addons.ui_swing.components. PackingTable:getSelectedRow(...)@237: {-2³¹..-2, 0..2³²-1}, {-1}
test_vector	e: Addr_Set{null}, Inverse{null}
test_vector	javax.swing.event.ListSelectionEvent:getValueIsAdju sting(...)@230: {1}, {0}
test_vector	this.selectedRow: {-1}, {0..2³²-2}