Messages

Last Msg First Msg

method

com.dmdirc.addons.ui_swing.dialogs.serversetting. UserModesPane__static_init

method	void com.dmdirc.addons.ui_swing.dialogs. serversetting.UserModesPane(Server)
pre	server != null
post	this.modeCheckBoxes == &new Hashtable(initModes Panel#1)
post	this.server == server
post	this.server != null
post	new Hashtable(initModesPanel#1) num objects == 1
unanalyzed	call on com.dmdirc.Server:getParser
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getUserMode String
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getMyself
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getUserMod eStr
unanalyzed	call on java.util.Hashtable
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:getT abbedPaneOpaque
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:subSequence
unanalyzed	call on java.lang.String:contains
unanalyzed	call on com.dmdirc.Server:getConfigManager
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.ConfigManager:hasOptionSt ring
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on javax.swing.JCheckBox
unanalyzed	call on java.awt.Insets
unanalyzed	call on javax.swing.JCheckBox:setMargin
unanalyzed	call on javax.swing.JCheckBox:setToolTipText
unanalyzed	call on javax.swing.JCheckBox:setOpaque
unanalyzed	call on java.util.Map:put
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on javax.swing.JPanel:setBorder
unanalyzed	call on javax.swing.JPanel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.UserModesPane:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.UserModesPane:add

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing. UIUtilities:getTabbedPaneOpaque()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. serversetting.UserModesPane:setOpaque(bool)

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

method	void update()
pre	this.server != null
post	this.modeCheckBoxes == &new Hashtable(initModes Panel#1)
post	new Hashtable(initModesPanel#1) num objects == 1
unanalyzed	call on com.dmdirc.Server:getParser
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getUserMode String
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getMyself
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getUserMod eStr
unanalyzed	call on java.util.Hashtable
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:getT abbedPaneOpaque
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:subSequence
unanalyzed	call on java.lang.String:contains
unanalyzed	call on com.dmdirc.Server:getConfigManager
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.ConfigManager:hasOptionSt ring
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on javax.swing.JCheckBox
unanalyzed	call on java.awt.Insets
unanalyzed	call on javax.swing.JCheckBox:setMargin
unanalyzed	call on javax.swing.JCheckBox:setToolTipText
unanalyzed	call on javax.swing.JCheckBox:setOpaque
unanalyzed	call on java.util.Map:put

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

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

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

method	void initModesPanel()
pre	this.server != null
presumption	com.dmdirc.Server:getConfigManager(...)@101 != null
presumption	com.dmdirc.Server:getConfigManager(...)@107 != null
presumption	com.dmdirc.Server:getConfigManager(...)@108 != null
presumption	com.dmdirc.Server:getConfigManager(...)@99 != null
presumption	com.dmdirc.Server:getParser(...)@80 != null
presumption	com.dmdirc.parser.irc.ClientInfo:getUserModeStr(... )@83 != null
presumption	com.dmdirc.parser.irc.IRCParser:getMyself(...)@83 != null
presumption	com.dmdirc.parser.irc.IRCParser:getUserModeString(. ..)@82 != null
post	this.modeCheckBoxes == &new Hashtable(initModes Panel#1)
post	new Hashtable(initModesPanel#1) num objects == 1
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@99: {0}, {1}
test_vector	com.dmdirc.config.ConfigManager:hasOptionString(... )@107: {0}, {1}
test_vector	com.dmdirc.config.ConfigManager:hasOptionString(... )@99: {0}, {1}

method not available - call not analyzed Info call on IRCParser com.dmdirc.Server:getParser()

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. IRCParser:getUserModeString()

method not available - call not analyzed Info call on ClientInfo com.dmdirc.parser.irc. IRCParser:getMyself()

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ClientInfo:getUserModeStr()

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing. UIUtilities:getTabbedPaneOpaque()

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that not_init'ed(java/lang/String:split(... )[0])

use of default init

Low Prob.

check if init'ed(java/lang/String:split(...). length)

Prev Msg Next Msg

method not available - call not analyzed Info call on ConfigManager com.dmdirc.Server:getConfigMa nager()

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

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

method not available - call not analyzed Info call on ConfigManager com.dmdirc.Server:getConfigMa nager()

method not available - call not analyzed Info call on String com.dmdirc.config.ConfigManager:getO ption(String, String)

method	void layoutComponents()
pre	this.modeCheckBoxes != null
presumption	java.util.Map:values(...)@127 != null
test_vector	java.util.Iterator:hasNext(...)@127: {0}, {1}

method not available - call not analyzed Info call on void net.miginfocom.swing.MigLayout(String)

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing. UIUtilities:getTabbedPaneOpaque()

method not available - call not analyzed Info call on void net.miginfocom.swing.MigLayout(String, String, String)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. serversetting.UserModesPane:setLayout(LayoutManager )

method not available - call not analyzed Info call on Component com.dmdirc.addons.ui_swing. dialogs.serversetting.UserModesPane:add(Component)

method	void save()
pre	(soft) this.modeCheckBoxes != null
presumption	com.dmdirc.Server:getParser(...)@146 != null
presumption	com.dmdirc.Server:getParser(...)@159 != null
presumption	com.dmdirc.Server:getParser(...)@165 != null
presumption	com.dmdirc.parser.irc.ClientInfo:getUserModeStr(... )@148 != null
presumption	com.dmdirc.parser.irc.IRCParser:getMyself(...)@148 != null
presumption	com.dmdirc.parser.irc.IRCParser:getMyself(...)@159 != null
presumption	com.dmdirc.parser.irc.IRCParser:getMyself(...)@165 != null
presumption	com.dmdirc.parser.irc.IRCParser:getUserModeString(. ..)@147 != null
presumption	java.lang.String:toCharArray(...).length@159 >= 1
presumption	java.util.Map:get(...)@156 != null
presumption	java.util.Map:get(...)@159 != null
test_vector	this.server: Addr_Set{null}, Inverse{null}
test_vector	com.dmdirc.Server:getParser(...)@142: Inverse{null}, Addr_Set{null}
test_vector	java.util.Map:get(...)@156: Addr_Set{null}, Inverse{null}

method not available - call not analyzed Info call on IRCParser com.dmdirc.Server:getParser()

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. IRCParser:getUserModeString()

method not available - call not analyzed Info call on IRCParser com.dmdirc.Server:getParser()

method not available - call not analyzed Info call on ClientInfo com.dmdirc.parser.irc. IRCParser:getMyself()

method not available - call not analyzed Info call on void com.dmdirc.parser.irc.ClientInfo:alter Mode(bool, Character)

	method not available - call not analyzed	Info	call on bool com.dmdirc.addons.ui_swing. UIUtilities:getTabbedPaneOpaque()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.dialogs. serversetting.UserModesPane:setOpaque(bool)

	method not available - call not analyzed	Info	call on ClientInfo com.dmdirc.parser.irc. IRCParser:getMyself()
	method not available - call not analyzed	Info	call on String com.dmdirc.parser.irc. ClientInfo:getUserModeStr()

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

	method not available - call not analyzed	Info	call on void net.miginfocom.swing.MigLayout(String, String, String)
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.dialogs. serversetting.UserModesPane:setLayout(LayoutManager )

method not available - call not analyzed	Info	call on IRCParser com.dmdirc.Server:getParser()
method not available - call not analyzed	Info	call on ClientInfo com.dmdirc.parser.irc. IRCParser:getMyself()
method not available - call not analyzed	Info	call on void com.dmdirc.parser.irc.ClientInfo:alter Mode(bool, Character)