Messages

Last Msg First Msg

method

com.dmdirc.addons.ui_swing.dialogs.channelsetting. ChannelModesPane__static_init

method	void com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelModesPane(Channel)
pre	channel != null
post	this.channel == channel
post	this.channel != null
post	this.modeCheckBoxes == &new Hashtable(initModes Panel#2)
post	this.modeInputs == &new Hashtable(initModesPane l#14)
post	new Hashtable(initModesPanel#14) num objects == 1
post	new Hashtable(initModesPanel#2) num objects == 1
unanalyzed	call on com.dmdirc.Channel:getServer
unanalyzed	call on com.dmdirc.Server:getParser
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getBoolChan Modes
unanalyzed	call on com.dmdirc.Channel:getChannelInfo
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getModeSt r
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getSetOnlyC hanModes
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getSetUnset ChanModes
unanalyzed	call on java.util.Hashtable
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:toCharArray
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.addons.ui_swing.UIUtilities:getT abbedPaneOpaque
unanalyzed	call on com.dmdirc.Channel: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 javax.swing.JCheckBox:setEnabled
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:isUserSetta ble
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getModePa ram
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ParamModePanel
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 com.dmdirc.addons.ui_swing.components. ParamModePanel:getCheckboxComponent
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ParamModePanel:getValueComponent
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. channelsetting.ChannelModesPane:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelModesPane: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. channelsetting.ChannelModesPane:setOpaque(bool)

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

method	void update()
pre	this.channel != null
post	this.modeCheckBoxes == &new Hashtable(initModes Panel#2)
post	this.modeInputs == &new Hashtable(initModesPane l#14)
post	new Hashtable(initModesPanel#14) num objects == 1
post	new Hashtable(initModesPanel#2) num objects == 1
unanalyzed	call on com.dmdirc.Channel:getServer
unanalyzed	call on com.dmdirc.Server:getParser
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getBoolChan Modes
unanalyzed	call on com.dmdirc.Channel:getChannelInfo
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getModeSt r
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getSetOnlyC hanModes
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getSetUnset ChanModes
unanalyzed	call on java.util.Hashtable
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:toCharArray
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.addons.ui_swing.UIUtilities:getT abbedPaneOpaque
unanalyzed	call on com.dmdirc.Channel: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 javax.swing.JCheckBox:setEnabled
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:isUserSetta ble
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getModePa ram
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ParamModePanel

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

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

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

method	void initModesPanel()
pre	this.channel != null
presumption	com.dmdirc.Channel:getChannelInfo(...)@144 != null
presumption	com.dmdirc.Channel:getChannelInfo(...)@86 != null
presumption	com.dmdirc.Channel:getConfigManager(...)@105 != null
presumption	com.dmdirc.Channel:getConfigManager(...)@107 != null
presumption	com.dmdirc.Channel:getConfigManager(...)@113 != null
presumption	com.dmdirc.Channel:getConfigManager(...)@114 != null
presumption	com.dmdirc.Channel:getConfigManager(...)@128 != null
presumption	com.dmdirc.Channel:getServer(...)@132 != null
presumption	com.dmdirc.Channel:getServer(...)@83 != null
presumption	com.dmdirc.Server:getParser(...)@132 != null
presumption	com.dmdirc.Server:getParser(...)@83 != null
presumption	com.dmdirc.parser.irc.ChannelInfo:getModeStr(... )@86 != null
presumption	com.dmdirc.parser.irc.IRCParser:getBoolChanModes(.. .)@85 != null
presumption	java.lang.String:toCharArray(...).length@97 >= 1
post	this.modeCheckBoxes == &new Hashtable(initModes Panel#2)
post	this.modeInputs == &new Hashtable(initModesPane l#14)
post	new Hashtable(initModesPanel#14) num objects == 1
post	new Hashtable(initModesPanel#2) num objects == 1
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@105: {0}, {1}
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@128: {0}, {1}
test_vector	com.dmdirc.config.ConfigManager:hasOptionString(... )@105: {0}, {1}
test_vector	com.dmdirc.config.ConfigManager:hasOptionString(... )@113: {0}, {1}
test_vector	com.dmdirc.config.ConfigManager:hasOptionString(... )@128: {0}, {1}
test_vector	com.dmdirc.parser.irc.IRCParser:isUserSettable(... )@132: {1}, {0}

method not available - call not analyzed Info call on Server com.dmdirc.Channel:getServer()

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:getBoolChanModes()

method not available - call not analyzed Info call on ChannelInfo com.dmdirc.Channel:getChannelIn fo()

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

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

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

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 bool com.dmdirc.addons.ui_swing. UIUtilities:getTabbedPaneOpaque()

method not available - call not analyzed Info call on ConfigManager com.dmdirc.Channel:getConfigM anager()

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.Channel:getConfigM anager()

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

method not available - call not analyzed Info call on ConfigManager com.dmdirc.Channel:getConfigM anager()

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 bool com.dmdirc.config.ConfigManager:getOpt ionBool(String, String)

method not available - call not analyzed Info call on Server com.dmdirc.Channel:getServer()

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

method not available - call not analyzed Info call on bool com.dmdirc.parser.irc.IRCParser:isUser Settable(Character)

method not available - call not analyzed Info call on ConfigManager com.dmdirc.Channel:getConfigM anager()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. ParamModePanel(String, bool, String, ConfigManager)

method	void layoutComponents()
pre	this.modeCheckBoxes != null
pre	this.modeInputs != null
presumption	java.util.Iterator:next(...)@167 != null
presumption	java.util.Map:values(...)@161 != null
presumption	java.util.Map:values(...)@167 != null
test_vector	java.util.Iterator:hasNext(...)@161: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@167: {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 Component com.dmdirc.addons.ui_swing. components.ParamModePanel:getCheckboxComponent()

method not available - call not analyzed Info call on Component com.dmdirc.addons.ui_swing. components.ParamModePanel:getValueComponent()

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. channelsetting.ChannelModesPane:setLayout(LayoutMan ager)

method not available - call not analyzed Info call on Component com.dmdirc.addons.ui_swing. dialogs.channelsetting.ChannelModesPane:add(Compone nt)

method	void setChangedBooleanModes()
pre	this.channel != null
pre	(soft) this.modeCheckBoxes != null
pre	(soft) this.modeInputs != null
presumption	com.dmdirc.Channel:getChannelInfo(...)@191 != null
presumption	com.dmdirc.Channel:getChannelInfo(...)@204 != null
presumption	com.dmdirc.Channel:getChannelInfo(...)@213 != null
presumption	com.dmdirc.Channel:getChannelInfo(...)@222 != null
presumption	com.dmdirc.Channel:getChannelInfo(...)@228 != null
presumption	com.dmdirc.Channel:getServer(...)@189 != null
presumption	com.dmdirc.Server:getParser(...)@189 != null
presumption	com.dmdirc.parser.irc.ChannelInfo:getModeParam(... )@213 != null
presumption	com.dmdirc.parser.irc.ChannelInfo:getModeStr(... )@191 != null
presumption	com.dmdirc.parser.irc.IRCParser:getBoolChanModes(.. .)@190 != null
presumption	java.lang.String:toCharArray(...).length@204 >= 1
presumption	java.lang.String:toCharArray(...).length@222 >= 1
presumption	java.util.Map:get(...)@201 != null
presumption	java.util.Map:get(...)@204 != null
presumption	java.util.Map:get(...)@217 != null
test_vector	java.lang.String:equals(...)@219: {1}, {0}
test_vector	java.util.Map:get(...)@201: Addr_Set{null}, Inverse{null}

method not available - call not analyzed Info call on Server com.dmdirc.Channel:getServer()

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:getBoolChanModes()

method not available - call not analyzed Info call on ChannelInfo com.dmdirc.Channel:getChannelIn fo()

method not available - call not analyzed Info call on void com.dmdirc.parser.irc.ChannelInfo:alte rMode(bool, Character, String)

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing.components. ParamModePanel:getState()

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

method not available - call not analyzed Info call on ChannelInfo com.dmdirc.Channel:getChannelIn fo()

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing.components. ParamModePanel:getState()

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

method not available - call not analyzed Info call on void com.dmdirc.parser.irc.ChannelInfo:alte rMode(bool, Character, 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 com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelModesPane:setOpaque(bool)

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

	method not available - call not analyzed	Info	call on ChannelInfo com.dmdirc.Channel:getChannelIn fo()
	method not available - call not analyzed	Info	call on String com.dmdirc.parser.irc. ChannelInfo:getModeStr()

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

method not available - call not analyzed	Info	call on ConfigManager com.dmdirc.Channel:getConfigM anager()
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. channelsetting.ChannelModesPane:setLayout(LayoutMan ager)