Messages

method

com.dmdirc.addons.identd.IdentdPlugin__static_ init

method	void com.dmdirc.addons.identd.IdentdPlugin()
post	this.servers == &new ArrayList(IdentdPlugin#1)
post	new ArrayList(IdentdPlugin#1) num objects == 1

method not available - call not analyzed Info call on void com.dmdirc.plugins.Plugin()

method	void onLoad()
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@68 != null
post	this.myServer == &new IdentdServer(onLoad#2)
post	init'ed(this.myServer.myThread)
post	init'ed(this.myServer.serverSocket)
post	new ArrayList(IdentdServer#1) num objects == 1
post	new IdentdServer(onLoad#2) num objects == 1
post	this.myServer.clientList == &new ArrayList(IdentdServer#1)
post	this.myServer.myPlugin == this
post	this.myServer.myPlugin != null
post	new ServerSocket(startServer#1) num objects <= 1
post	new Thread(startServer#2) num objects <= 1
unanalyzed	call on com.dmdirc.util.MapList:add
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.io.IOException:getMessage
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.addons.identd.IdentdPlugin:getDo main
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionIn t
unanalyzed	call on java.net.ServerSocket
unanalyzed	call on java.lang.Thread
unanalyzed	call on java.lang.Thread:start
unanalyzed	call on java.lang.String:equals
unanalyzed	call on com.dmdirc.plugins.PluginManager:getPluginM anager
unanalyzed	call on com.dmdirc.plugins.PluginManager:getPluginI nfoByName
unanalyzed	call on com.dmdirc.plugins.PluginInfo:getRelativeFi lename
unanalyzed	call on com.dmdirc.plugins.PluginManager:delPlugin
unanalyzed	call on com.dmdirc.plugins.PluginManager:updateAuto Load
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@68: {0}, {1}

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

method not available - call not analyzed Info call on String com.dmdirc.addons.identd. IdentdPlugin:getDomain()

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

method	void onUnload()
pre	init'ed(this.myServer.myThread)
pre	this.myServer != null
pre	this.servers != null
pre	(soft) this.myServer.clientList != null
pre	(soft) this.myServer.serverSocket != null
post	this.myServer.myThread == null
unanalyzed	call on com.dmdirc.util.MapList:removeFromAll
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.List:get
unanalyzed	call on java.lang.Thread:interrupt
unanalyzed	call on java.net.ServerSocket:close
unanalyzed	call on close
unanalyzed	call on java.util.List:clear
unanalyzed	call on java.net.Socket:close

method	void processEvent(ActionType, StringBuffer, Object[])
pre	(soft) arguments != null
pre	(soft) arguments.length >= 1
pre	(soft) init'ed(arguments[0])
pre	(soft) init'ed(this.myServer.myThread)
pre	(soft) this.myServer.serverSocket != null
pre	(soft) this.myServer != null
pre	(soft) this.myServer.clientList != null
pre	(soft) this.myServer.myPlugin != null
pre	(soft) this.servers != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@103 != null
post	this.myServer.myThread == One-of{old this.myServer.myThread, &new Thread(startServe r#2), null}
post	init'ed(this.myServer.myThread)
post	this.myServer.serverSocket == One-of{old this.myServer.serverSocket, &new ServerSocket(startServer#1)}
post	this.myServer.serverSocket != null
post	new ServerSocket(startServer#1) num objects <= 1
post	new Thread(startServer#2) num objects <= 1
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.io.IOException:getMessage
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.addons.identd.IdentdPlugin:getDo main
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionIn t
unanalyzed	call on java.net.ServerSocket
unanalyzed	call on java.lang.Thread
unanalyzed	call on java.lang.Thread:start
unanalyzed	call on java.lang.String:equals
unanalyzed	call on com.dmdirc.plugins.PluginManager:getPluginM anager
unanalyzed	call on com.dmdirc.plugins.PluginManager:getPluginI nfoByName
unanalyzed	call on com.dmdirc.plugins.PluginInfo:getRelativeFi lename
unanalyzed	call on com.dmdirc.plugins.PluginManager:delPlugin
unanalyzed	call on com.dmdirc.plugins.PluginManager:updateAuto Load
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.List:get
unanalyzed	call on java.lang.Thread:interrupt
unanalyzed	call on java.net.ServerSocket:close
unanalyzed	call on close
unanalyzed	call on java.util.List:clear
unanalyzed	call on java.net.Socket:close
test_vector	java.util.List:isEmpty(...)@94: {0}, {1}

method	void showConfig(PreferencesManager)
pre	manager != null
presumption	com.dmdirc.config.prefs.PreferencesManager:getCateg ory(...)@167 != null
presumption	init'ed(com.dmdirc.config.prefs.PreferencesType. BOOLEAN)
presumption	init'ed(com.dmdirc.config.prefs.PreferencesType. INTEGER)
presumption	init'ed(com.dmdirc.config.prefs.PreferencesType. TEXT)

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesCategory(String, String)

method not available - call not analyzed Info call on String com.dmdirc.addons.identd. IdentdPlugin:getDomain()

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesSetting(PreferencesType, String, String, String, String)

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesCategory:addSetting(PreferencesSetting)

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

method not available - call not analyzed Info call on String com.dmdirc.addons.identd. IdentdPlugin:getDomain()

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesSetting(PreferencesType, Validator, String, String, String, String)

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesCategory:addSetting(PreferencesSetting)

method not available - call not analyzed Info call on PreferencesCategory com.dmdirc.config. prefs.PreferencesManager:getCategory(String)

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesCategory:addSubCategory(PreferencesCateg ory)

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesCategory:addSubCategory(PreferencesCateg ory)

method not available - call not analyzed	Info	call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()
method not available - call not analyzed	Info	call on String com.dmdirc.addons.identd. IdentdPlugin:getDomain()
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 void com.dmdirc.config.prefs.validator. PortValidator()
method not available - call not analyzed	Info	call on String com.dmdirc.addons.identd. IdentdPlugin:getDomain()
method not available - call not analyzed	Info	call on void com.dmdirc.config.prefs. PreferencesSetting(PreferencesType, Validator, String, String, String, String)
method not available - call not analyzed	Info	call on void com.dmdirc.config.prefs. PreferencesCategory:addSetting(PreferencesSetting)

	method not available - call not analyzed	Info	call on PreferencesCategory com.dmdirc.config. prefs.PreferencesManager:getCategory(String)
	method not available - call not analyzed	Info	call on void com.dmdirc.config.prefs. PreferencesCategory:addSubCategory(PreferencesCateg ory)