Messages

Last Msg First Msg

method

com.dmdirc.commandparser.CommandManager$1__static_ init

method	char access$002(char)
post	commandChar == x0
post	init'ed(commandChar)
post	return_value == commandChar

method	char access$102(char)
post	return_value == x0
post	init'ed(return_value)
post	silenceChar == return_value

method	com.dmdirc.commandparser.CommandManager__static_ init
pre	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
post	"commandchar"._tainted == 0
post	"general"._tainted == 0
post	"silencechar"._tainted == 0
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects == 0
post	new ConfigManager(getGlobalConfig#1) num objects == 0
post	new MapList(ConfigManager#1) num objects == 0
post	com/dmdirc/config/IdentityManager.globalconfig != null
post	init'ed(commandChar)
post	commands == &new HashMap(CommandManager__ static_init#1)
post	parsers == &new MapList(CommandManager__static_ init#2)
post	init'ed(silenceChar)
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(getGlobalConfig#1) num objects == new ArrayList(getSources#1) num objects
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
post	new ConfigManager(getGlobalConfig#1).channel == &java.lang.StringBuilder:toString(...)
post	init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	init'ed(new ConfigManager(getGlobalConfig#1).file)
post	new ConfigManager(getGlobalConfig#1).ircd == &""
post	new ConfigManager(getGlobalConfig#1).network == &""
post	new ConfigManager(getGlobalConfig#1).server == &""
post	init'ed(new ConfigManager(getGlobalConfig#1).ircd)
post	new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1)
post	init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	init'ed(new ConfigManager(getGlobalConfig#1). network)
post	init'ed(new ConfigManager(getGlobalConfig#1). server)
post	new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#1)
post	init'ed(new ConfigManager(getGlobalConfig#1). sources)
post	new HashMap(CommandManager__static_init#1) num objects == 1
post	new MapList(CommandManager__static_init#2) num objects == 1
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:add
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on addListener
unanalyzed	call on getSources
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on addConfigManager
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.util.Map:put
unanalyzed	call on hasOption
unanalyzed	call on getOption
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain

method not available - call not analyzed Info call on void com.dmdirc.util.MapList()

method

void com.dmdirc.commandparser.CommandManager()

method	char getCommandChar()
pre	init'ed(commandChar)
post	return_value == commandChar
post	init'ed(return_value)

method	char getSilenceChar()
pre	init'ed(silenceChar)
post	return_value == silenceChar
post	init'ed(return_value)

method	void registerCommand(Command, CommandInfo)
pre	init'ed(commandChar)
pre	info != null
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getName
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:remove
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:addEntry
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:removeEntr y
unanalyzed	call on com.dmdirc.ServerManager:getServerManager
unanalyzed	call on com.dmdirc.ServerManager:getServers
unanalyzed	call on getType
unanalyzed	call on com.dmdirc.Server:getTabCompleter
unanalyzed	call on com.dmdirc.Server:getChannels
unanalyzed	call on com.dmdirc.Server:getChannel
unanalyzed	call on com.dmdirc.Channel:getTabCompleter
unanalyzed	call on com.dmdirc.Server:getQueries
unanalyzed	call on com.dmdirc.Query:getTabCompleter
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get

method	void registerCommand(Command)
pre	command != null
pre	init'ed(commandChar)
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getName
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:remove
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:addEntry
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:removeEntr y
unanalyzed	call on com.dmdirc.ServerManager:getServerManager
unanalyzed	call on com.dmdirc.ServerManager:getServers
unanalyzed	call on getType
unanalyzed	call on com.dmdirc.Server:getTabCompleter
unanalyzed	call on com.dmdirc.Server:getChannels
unanalyzed	call on com.dmdirc.Server:getChannel
unanalyzed	call on com.dmdirc.Channel:getTabCompleter
unanalyzed	call on com.dmdirc.Server:getQueries
unanalyzed	call on com.dmdirc.Query:getTabCompleter
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get

method	void unregisterCommand(CommandInfo)
pre	init'ed(commandChar)
pre	info != null
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getName
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:remove
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:addEntry
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:removeEntr y
unanalyzed	call on com.dmdirc.ServerManager:getServerManager
unanalyzed	call on com.dmdirc.ServerManager:getServers
unanalyzed	call on getType
unanalyzed	call on com.dmdirc.Server:getTabCompleter
unanalyzed	call on com.dmdirc.Server:getChannels
unanalyzed	call on com.dmdirc.Server:getChannel
unanalyzed	call on com.dmdirc.Channel:getTabCompleter
unanalyzed	call on com.dmdirc.Server:getQueries
unanalyzed	call on com.dmdirc.Query:getTabCompleter
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get

method	void registerCommand(CommandInfo, Command, bool)
pre	init'ed(commandChar)
pre	info != null
presumption	com.dmdirc.util.MapList:get(...)@141 != null
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getName
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:remove
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:addEntry
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:removeEntr y
unanalyzed	call on com.dmdirc.ServerManager:getServerManager
unanalyzed	call on com.dmdirc.ServerManager:getServers
unanalyzed	call on getType
unanalyzed	call on com.dmdirc.Server:getTabCompleter
unanalyzed	call on com.dmdirc.Server:getChannels
unanalyzed	call on com.dmdirc.Server:getChannel
unanalyzed	call on com.dmdirc.Channel:getTabCompleter
unanalyzed	call on com.dmdirc.Server:getQueries
unanalyzed	call on com.dmdirc.Query:getTabCompleter
test_vector	register: {0}, {1}
test_vector	com.dmdirc.util.MapList:containsKey(...)@140: {0}, {1}

method not available - call not analyzed Info call on bool com.dmdirc.util.MapList:containsKey(Ob ject)

method not available - call not analyzed Info call on List com.dmdirc.util.MapList:get(Object)

method	void registerCommand(CommandInfo, Command, List, bool)
pre	myParsers != null
pre	(soft) info != null
presumption	java.util.Iterator:next(...)@163 != null
presumption	parser.commands@163 != null
unanalyzed	call on getName
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:remove
test_vector	register: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@163: {0}, {1}

method	void registerCommandName(CommandInfo, bool)
pre	command != null
pre	init'ed(commandChar)
presumption	com.dmdirc.Channel:getTabCompleter(...)@196 != null
presumption	com.dmdirc.Query:getTabCompleter(...)@204 != null
presumption	com.dmdirc.Server:getChannel(...)@196 != null
presumption	com.dmdirc.Server:getChannels(...)@195 != null
presumption	com.dmdirc.Server:getQueries(...)@203 != null
presumption	com.dmdirc.Server:getTabCompleter(...)@190 != null
presumption	com.dmdirc.ServerManager:getServerManager(...)@187 != null
presumption	com.dmdirc.ServerManager:getServers(...)@187 != null
presumption	java.util.Iterator:next(...)@187 != null
presumption	java.util.Iterator:next(...)@203 != null
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:addEntry
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:removeEntr y
test_vector	java.util.Iterator:hasNext(...)@187: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@195: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@203: {0}, {1}

call too complex - analysis skipped Info call on String getName()

method not available - call not analyzed Info call on ServerManager com.dmdirc.ServerManager:getS erverManager()

method not available - call not analyzed Info call on List com.dmdirc.ServerManager:getServers()

method not available - call not analyzed Info call on TabCompleter com.dmdirc.Server:getTabComple ter()

method not available - call not analyzed Info call on List com.dmdirc.Server:getChannels()

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

method not available - call not analyzed Info call on TabCompleter com.dmdirc.Channel:getTabCompl eter()

method not available - call not analyzed Info call on List com.dmdirc.Server:getQueries()

method not available - call not analyzed Info call on TabCompleter com.dmdirc.Query:getTabComplet er()

method	void registerCommandName(TabCompleter, String, bool)
pre	completer != null
presumption	init'ed(com.dmdirc.ui.input.TabCompletionType. COMMAND)
test_vector	register: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.ui.input.TabCompleter:addEn try(TabCompletionType, String)

method not available - call not analyzed Info call on void com.dmdirc.ui.input.TabCompleter:remov eEntry(TabCompletionType, String)

method	void initCommands()
pre	init'ed(commandChar)
pre	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
presumption	getGlobalConfig(...).listeners != null
post	com/dmdirc/config/IdentityManager.globalconfig != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects == 0
post	new ConfigManager(getGlobalConfig#1) num objects == 0
post	new MapList(ConfigManager#1) num objects == 0
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(getGlobalConfig#1) num objects == new ArrayList(getSources#1) num objects
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
post	new ConfigManager(getGlobalConfig#1).channel == &java.lang.StringBuilder:toString(...)
post	init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	new ConfigManager(getGlobalConfig#1).ircd == &""
post	new ConfigManager(getGlobalConfig#1).network == &""
post	new ConfigManager(getGlobalConfig#1).server == &""
post	init'ed(new ConfigManager(getGlobalConfig#1).ircd)
post	new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1)
post	init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	init'ed(new ConfigManager(getGlobalConfig#1). network)
post	init'ed(new ConfigManager(getGlobalConfig#1). server)
post	new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#1)
post	init'ed(new ConfigManager(getGlobalConfig#1). sources)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:add
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on addListener
unanalyzed	call on getSources
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on addConfigManager
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on getName
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:remove
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:addEntry
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:removeEntr y
unanalyzed	call on com.dmdirc.ServerManager:getServerManager
unanalyzed	call on com.dmdirc.ServerManager:getServers
unanalyzed	call on getType
unanalyzed	call on com.dmdirc.Server:getTabCompleter
unanalyzed	call on com.dmdirc.Server:getChannels
unanalyzed	call on com.dmdirc.Server:getChannel
unanalyzed	call on com.dmdirc.Channel:getTabCompleter
unanalyzed	call on com.dmdirc.Server:getQueries
unanalyzed	call on com.dmdirc.Query:getTabCompleter
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on com.dmdirc.commandparser.commands. ChatCommand
unanalyzed	call on registerCommand
unanalyzed	call on com.dmdirc.commandparser.commands.Command
unanalyzed	call on com.dmdirc.commandparser.commands. ChannelCommand
unanalyzed	call on com.dmdirc.commandparser.commands. ServerCommand
unanalyzed	call on com.dmdirc.commandparser.commands. GlobalCommand
unanalyzed	call on com.dmdirc.util.MapList:add

method

void com.dmdirc.commandparser.CommandManager$1()

method	void configChanged(String, String)
pre	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
post	init'ed(com/dmdirc/commandparser/CommandManager. commandChar)
post	init'ed(com/dmdirc/commandparser/CommandManager. silenceChar)
post	com/dmdirc/config/IdentityManager.globalconfig != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects == 0
post	new ConfigManager(getGlobalConfig#1) num objects == 0
post	new MapList(ConfigManager#1) num objects == 0
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(getGlobalConfig#1) num objects == new ArrayList(getSources#1) num objects
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
post	new ConfigManager(getGlobalConfig#1).channel == &java.lang.StringBuilder:toString(...)
post	init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	init'ed(new ConfigManager(getGlobalConfig#1).file)
post	new ConfigManager(getGlobalConfig#1).ircd == &""
post	new ConfigManager(getGlobalConfig#1).network == &""
post	new ConfigManager(getGlobalConfig#1).server == &""
post	init'ed(new ConfigManager(getGlobalConfig#1).ircd)
post	new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1)
post	init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	init'ed(new ConfigManager(getGlobalConfig#1). network)
post	init'ed(new ConfigManager(getGlobalConfig#1). server)
post	new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#1)
post	init'ed(new ConfigManager(getGlobalConfig#1). sources)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:add
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on addListener
unanalyzed	call on getSources
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on addConfigManager
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.util.Map:put
unanalyzed	call on hasOption
unanalyzed	call on getOption
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain

method	void loadCommands(CommandParser, CommandType[])
pre	supertypes != null
pre	supertypes.length <= 2³²-1
pre	(soft) parser != null
pre	(soft) parser.commands != null
pre	(soft) supertypes[...] != null
presumption	java.util.Iterator:next(...)@322 != null
presumption	java.util.Map:entrySet(...)@322 != null
presumption	java.util.Map_Entry:getKey(...)@323 != null
unanalyzed	call on java.util.HashMap
unanalyzed	call on getName
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.Map:put
unanalyzed	call on getType
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on com.dmdirc.commandparser.CommandType:equals
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.Map$Entry:getValue
test_vector	java.util.Iterator:hasNext(...)@322: {0}, {1}

Prev Msg Next Msg

use of default init

click for all messages in this file Low Prob.

check if init'ed(arr$.length)

Prev Msg Next Msg

method not available - call not analyzed Info call on void com.dmdirc.util.MapList:add(Object, Object)

method	Map$Entry getCommand(String)
post	init'ed(return_value)
unanalyzed	call on java.util.HashMap
unanalyzed	call on getName
unanalyzed	call on getType
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on com.dmdirc.commandparser.CommandType:equals
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.util.Map:isEmpty

method	Map$Entry getCommand(CommandType, String)
presumption	java.util.Map:entrySet(...)@353 != null
post	init'ed(return_value)
unanalyzed	call on java.util.HashMap
unanalyzed	call on getName
unanalyzed	call on getType
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on com.dmdirc.commandparser.CommandType:equals
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.Map$Entry:getValue

method	bool isChannelCommand(String)
post	init'ed(return_value)
unanalyzed	call on java.util.HashMap
unanalyzed	call on getName
unanalyzed	call on getType
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on com.dmdirc.commandparser.CommandType:equals
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.util.Map:isEmpty

method	List getCommandNames(CommandType)
pre	(soft) init'ed(commandChar)
presumption	java.util.Iterator:next(...)@376 != null
presumption	java.util.Map:keySet(...)@376 != null
post	return_value == &new ArrayList(getCommandNames# 1)
post	new ArrayList(getCommandNames#1) num objects == 1
unanalyzed	call on java.util.HashMap
unanalyzed	call on getName
unanalyzed	call on getType
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on com.dmdirc.commandparser.CommandType:equals
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.Map$Entry:getValue
test_vector	java.util.Iterator:hasNext(...)@376: {0}, {1}

call too complex - analysis skipped Info call on String getName()

method	Map getCommands(CommandType)
post	return_value == &new HashMap(getCommands#1*)
post	new HashMap(getCommands#1*) num objects == 1
unanalyzed	call on java.util.HashMap
unanalyzed	call on getName
unanalyzed	call on getType
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on com.dmdirc.commandparser.CommandType:equals
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.Map$Entry:getValue

method	Map getCommands(CommandType, String)
presumption	java.util.Iterator:next(...)@408 != null
presumption	java.util.Map:entrySet(...)@408 != null
presumption	java.util.Map_Entry:getKey(...)@409 != null
post	return_value == &new HashMap(getCommands#1)
post	new HashMap(getCommands#1) num objects == 1
test_vector	name: Addr_Set{null}, Inverse{null}
test_vector	type: Addr_Set{null}, Inverse{null}
test_vector	com.dmdirc.commandparser.CommandType:equals(... )@409: {0}, {1}
test_vector	java.lang.String:equals(...)@409: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@408: {0}, {1}

method not available - call not analyzed Info call on bool com.dmdirc.commandparser. CommandType:equals(Object)

call too complex - analysis skipped Info call on String getName()

	method not available - call not analyzed	Info	call on ServerManager com.dmdirc.ServerManager:getS erverManager()
	method not available - call not analyzed	Info	call on List com.dmdirc.ServerManager:getServers()

	method not available - call not analyzed	Info	call on Channel com.dmdirc.Server:getChannel(String )
	method not available - call not analyzed	Info	call on TabCompleter com.dmdirc.Channel:getTabCompl eter()

	method not available - call not analyzed	Info	call on bool com.dmdirc.commandparser. CommandType:equals(Object)
	call too complex - analysis skipped	Info	call on String getName()