Messages

method

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

method

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

method

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

method	URLHandlerTableModel access$000(URLConfigPanel)
pre	x0 != null
pre	init'ed(x0.model)
post	return_value == x0.model
post	init'ed(return_value)

method	Map access$100(URLConfigPanel)
pre	x0 != null
pre	init'ed(x0.details)
post	return_value == x0.details
post	init'ed(return_value)

method	void com.dmdirc.addons.ui_swing.dialogs.prefs. URLConfigPanel(Window)
pre	init'ed(com/dmdirc/addons/ui_swing/dialogs/prefs/Sw ingPreferencesDialog.CLIENT_HEIGHT)
post	this.activeComponent == &new URLProtocolPanel(i nitComponents#5)
post	this.empty == &new URLProtocolPanel(initCompone nts#5)
post	this.add == &new JButton(initComponents#6)
post	this.details == &new HashMap(initComponents#4)
post	this.model == &new URLHandlerTableModel(initCom ponents#2)
post	this.parentWindow == parentWindow
post	init'ed(this.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)
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	new URLHandlerTableModel(initComponents#2). handlers == &new ArrayList(URLHandlerTableModel #2)
post	new URLHandlerTableModel(initComponents#2).uris == &new ArrayList(URLHandlerTableModel#1)
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. URLConfigPanel:removeAll
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. URLConfigPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. URLConfigPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable:getSelectionModel
unanalyzed	call on javax.swing.ListSelectionModel:addListSelec tionListener
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on java.util.List:size
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable:getRowSorter
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptions
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.net.URI
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.table.AbstractTableModel
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable:setAutoCreateRowSorter
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable:setAutoCreateColumnsFromModel
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable:setColumnSelectionAllowed
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable:setCellSelectionEnabled
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 javax.swing.RowSorter:toggleSortOrder
unanalyzed	call on java.util.HashMap
unanalyzed	call on com.dmdirc.addons.ui_swing.components. URLProtocolPanel
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JScrollPane:setViewportView
unanalyzed	call on java.net.URI:getScheme
unanalyzed	call on com.dmdirc.config.ConfigManager:hasOptionSt ring
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on java.util.List:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. URLHandlerTableModel:fireTableRowsInserted
unanalyzed	call on java.util.Map:put

method	void initComponents()
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	this.activeComponent == &new URLProtocolPanel(i nitComponents#5)
post	this.empty == &new URLProtocolPanel(initCompone nts#5)
post	this.add == &new JButton(initComponents#6)
post	this.details == &new HashMap(initComponents#4)
post	this.model == &new URLHandlerTableModel(initCom ponents#2)
post	this.remove == &new JButton(initComponents#7)
post	this.table == &new URLConfigPanel$1(initCompone nts#3)
post	this.tableScrollPane == &new JScrollPane(initCo mponents#1)
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.model.handlers == &new ArrayList(URLHandle rTableModel#2)
post	this.model.uris == &new ArrayList(URLHandlerTab leModel#1)
unanalyzed	call on java.util.List:size
unanalyzed	call on javax.swing.table.AbstractTableModel
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on java.net.URI:getScheme
unanalyzed	call on com.dmdirc.config.ConfigManager:hasOptionSt ring
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on java.util.List:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. URLHandlerTableModel:fireTableRowsInserted
test_vector	java.util.Iterator:hasNext(...)@149: {0}, {1}

method

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. PackingTable(TableModel, bool, JScrollPane)

method	TableCellRenderer getCellRenderer(int, int)
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}

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.components. PackingTable:setAutoCreateRowSorter(bool)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. PackingTable:setAutoCreateColumnsFromModel(bool)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. PackingTable:setColumnSelectionAllowed(bool)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. PackingTable:setCellSelectionEnabled(bool)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. PackingTable:setFillsViewportHeight(bool)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. PackingTable:setRowSelectionAllowed(bool)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. PackingTable:setSelectionMode(int)

method not available - call not analyzed Info call on RowSorter com.dmdirc.addons.ui_swing. components.PackingTable:getRowSorter()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. URLProtocolPanel(URI, bool)

method not available - call not analyzed Info call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()

method not available - call not analyzed Info call on Map com.dmdirc.config.ConfigManager:getOpti ons(String)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. URLProtocolPanel(URI, bool)

method	void addListeners()
pre	this.add != null
pre	this.remove != null
pre	this.table != null
presumption	com.dmdirc.addons.ui_swing.components. PackingTable:getSelectionModel(...)@164 != null

method not available - call not analyzed Info call on ListSelectionModel com.dmdirc.addons.ui_ swing.components.PackingTable:getSelectionModel()

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. prefs.URLConfigPanel:removeAll()

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. prefs.URLConfigPanel:setLayout(LayoutManager)

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

method	void save()
pre	(soft) init'ed(com/dmdirc/addons/ui_ swing/dialogs/prefs/SwingPreferencesDialog. CLIENT_HEIGHT)
pre	(soft) this.selectedRow >= -1
pre	(soft) this.add != null
pre	(soft) this.details != null
pre	(soft) init'ed(this.empty)
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.table != null
pre	(soft) init'ed(this.tableScrollPane)
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	possibly_updated(this.activeComponent)
post	init'ed(this.selectedRow)
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on com.dmdirc.config.IdentityManager:getConfig Identity
unanalyzed	call on com.dmdirc.config.Identity:unsetOption
unanalyzed	call on com.dmdirc.config.Identity:setOption
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. URLConfigPanel:removeAll
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. URLConfigPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. URLConfigPanel:add
unanalyzed	call on javax.swing.event.ListSelectionEvent:getVal ueIsAdjusting
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. URLConfigPanel:setVisible
unanalyzed	call on java.util.List:size
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.IndexOutOfBoundsException
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.addons.ui_swing.components. URLProtocolPanel:getSelection
unanalyzed	call on java.net.URI:instanceof
unanalyzed	call on java.util.List:set
unanalyzed	call on java.lang.String:instanceof
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. URLHandlerTableModel:fireTableCellUpdated
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable:getSelectedRow
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable:getRowSorter
unanalyzed	call on javax.swing.RowSorter:convertRowIndexToMode l
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.Map:put
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}

method	void saveHandler(String, String)
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}

method not available - call not analyzed Info call on Identity com.dmdirc.config.IdentityManager: getConfigIdentity()

method not available - call not analyzed Info call on void com.dmdirc.config.Identity:unsetOption (String, String)

method	void valueChanged(ListSelectionEvent)
pre	(soft) init'ed(com/dmdirc/addons/ui_ swing/dialogs/prefs/SwingPreferencesDialog. CLIENT_HEIGHT)
pre	(soft) this.selectedRow >= -1
pre	(soft) this.add != null
pre	(soft) this.details != null
pre	(soft) init'ed(this.empty)
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.table != null
pre	(soft) init'ed(this.tableScrollPane)
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	possibly_updated(this.activeComponent)
post	init'ed(this.selectedRow)
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. URLConfigPanel:removeAll
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. URLConfigPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. URLConfigPanel:add
unanalyzed	call on java.util.List:size
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.IndexOutOfBoundsException
unanalyzed	call on java.util.List:get
unanalyzed	call on java.net.URI:instanceof
unanalyzed	call on java.util.List:set
unanalyzed	call on java.lang.String:instanceof
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. URLHandlerTableModel:fireTableCellUpdated
test_vector	e: Addr_Set{null}, Inverse{null}
test_vector	this.selectedRow: {-1}, {0..2³²-2}
test_vector	com.dmdirc.addons.ui_swing.components. PackingTable:getSelectedRow(...)@237: {-2³¹..-2, 0..2³²-1}, {-1}
test_vector	javax.swing.event.ListSelectionEvent:getValueIsAdju sting(...)@230: {1}, {0}

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

method not available - call not analyzed Info call on String com.dmdirc.addons.ui_swing. components.URLProtocolPanel:getSelection()

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing.components. PackingTable:getSelectedRow()

method not available - call not analyzed Info call on RowSorter com.dmdirc.addons.ui_swing. components.PackingTable:getRowSorter()

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing.components. PackingTable:getSelectedRow()

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

method	void actionPerformed(ActionEvent)
pre	e != null
pre	init'ed(this.add)
pre	(soft) this.model != null
pre	(soft) this.model.handlers != null
pre	(soft) this.model.uris != null
pre	(soft) init'ed(this.parentWindow)
pre	(soft) init'ed(this.remove)
pre	(soft) this.table != null
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 java.util.List:remove
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. URLHandlerTableModel:fireTableRowsDeleted

method not available - call not analyzed Info call on void com.dmdirc.config.prefs.validator. URLProtocolValidator()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. prefs.URLConfigPanel$2:display()

method

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

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

method	bool save()
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 java.util.List:size
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on java.net.URI:getScheme
unanalyzed	call on com.dmdirc.config.ConfigManager:hasOptionSt ring
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on java.util.List:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. URLHandlerTableModel:fireTableRowsInserted

method not available - call not analyzed Info call on String com.dmdirc.addons.ui_swing.dialogs. prefs.URLConfigPanel$2:getText()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. URLProtocolPanel(URI, bool)

method

void cancelled()

	method not available - call not analyzed	Info	call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()
	method not available - call not analyzed	Info	call on Map com.dmdirc.config.ConfigManager:getOpti ons(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. prefs.URLConfigPanel:setLayout(LayoutManager)

	method not available - call not analyzed	Info	call on Identity com.dmdirc.config.IdentityManager: getConfigIdentity()
	method not available - call not analyzed	Info	call on void com.dmdirc.config.Identity:unsetOption (String, String)

	method not available - call not analyzed	Info	call on RowSorter com.dmdirc.addons.ui_swing. components.PackingTable:getRowSorter()
	method not available - call not analyzed	Info	call on int com.dmdirc.addons.ui_swing.components. PackingTable:getSelectedRow()

	method not available - call not analyzed	Info	call on void com.dmdirc.config.prefs.validator. URLProtocolValidator()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.dialogs. prefs.URLConfigPanel$2:display()