Messages

Last Msg First Msg

method

com.dmdirc.addons.ui_swing.dialogs.prefs. UpdateConfigPanel__static_init

method	void com.dmdirc.addons.ui_swing.dialogs.prefs. UpdateConfigPanel()
pre	init'ed(com/dmdirc/addons/ui_swing/dialogs/prefs/Sw ingPreferencesDialog.CLIENT_HEIGHT)
post	this.checkNow == &new JButton(initComponents#5)
post	this.enable == &new JCheckBox(initComponents#1)
post	this.scrollPane == &new JScrollPane(initCompone nts#2)
post	this.table == &new PackingTable(initComponents# 4)
post	this.tableModel == &new UpdateTableModel(initCo mponents#3)
post	new ArrayList(UpdateTableModel#1) num objects == 1
post	new HashMap(UpdateTableModel#2) num objects == 1
post	new JButton(initComponents#5) num objects == 1
post	new JCheckBox(initComponents#1) num objects == 1
post	new JScrollPane(initComponents#2) num objects == 1
post	new PackingTable(initComponents#4) num objects == 1
post	new UpdateTableModel(initComponents#3) num objects == 1
post	new UpdateTableModel(initComponents#3).enabled == &new HashMap(UpdateTableModel#2)
post	new UpdateTableModel(initComponents#3).updates == &new ArrayList(UpdateTableModel#1)
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on javax.swing.JCheckBox
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on com.dmdirc.updater.UpdateChecker:getCompone nts
unanalyzed	call on javax.swing.table.AbstractTableModel
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.updater.UpdateChecker:isEnabled
unanalyzed	call on java.lang.Boolean:valueOf
unanalyzed	call on java.util.Map:put
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable
unanalyzed	call on javax.swing.JButton
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on javax.swing.JCheckBox:setSelected
unanalyzed	call on javax.swing.JScrollPane:setViewportView
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. UpdateConfigPanel:setLayout
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. UpdateConfigPanel:add

method	void save()
pre	this.enable != null
pre	this.tableModel != null
pre	this.tableModel.updates != null
pre	(soft) this.tableModel.enabled != null
presumption	com.dmdirc.config.IdentityManager:getConfigIdentity (...)@78 != null
unanalyzed	call on java.util.List:size
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.IndexOutOfBoundsException
unanalyzed	call on java.util.List:get
unanalyzed	call on com.dmdirc.updater.UpdateComponent:getFrien dlyName
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.updater.UpdateComponent:getFrien dlyVersion
test_vector	java.lang.Boolean:booleanValue(...)@87: {0}, {1}
test_vector	javax.swing.JCheckBox:isSelected(...)@79: {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:setOption(S tring, String, bool)

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that getValueAt(...) != null

Prev Msg Next Msg

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 void com.dmdirc.config.Identity:setOption(S tring, String, bool)

method	void initComponents()
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@99 != null
post	this.checkNow == &new JButton(initComponents#5)
post	this.enable == &new JCheckBox(initComponents#1)
post	this.scrollPane == &new JScrollPane(initCompone nts#2)
post	this.table == &new PackingTable(initComponents# 4)
post	this.tableModel == &new UpdateTableModel(initCo mponents#3)
post	new ArrayList(UpdateTableModel#1) num objects == 1
post	new HashMap(UpdateTableModel#2) num objects == 1
post	new JButton(initComponents#5) num objects == 1
post	new JCheckBox(initComponents#1) num objects == 1
post	new JScrollPane(initComponents#2) num objects == 1
post	new PackingTable(initComponents#4) num objects == 1
post	new UpdateTableModel(initComponents#3) num objects == 1
post	this.tableModel.enabled == &new HashMap(UpdateTableModel#2)
post	this.tableModel.updates == &new ArrayList(UpdateTableModel#1)
unanalyzed	call on javax.swing.table.AbstractTableModel
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.updater.UpdateChecker:isEnabled
unanalyzed	call on java.lang.Boolean:valueOf
unanalyzed	call on java.util.Map:put

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

method not available - call not analyzed Info call on List com.dmdirc.updater.UpdateChecker:getCo mponents()

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

method not available - call not analyzed Info call on bool com.dmdirc.config.ConfigManager:getOpt ionBool(String, String)

method	void addListeners()
pre	this.checkNow != null

method	void layoutComponents()
pre	init'ed(com/dmdirc/addons/ui_swing/dialogs/prefs/Sw ingPreferencesDialog.CLIENT_HEIGHT)
pre	init'ed(this.checkNow)
pre	init'ed(this.enable)
pre	init'ed(this.scrollPane)

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

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

method

void actionPerformed(ActionEvent)

method not available - call not analyzed Info call on void com.dmdirc.updater.UpdateChecker:check Now()

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