CommandManager.java

CommandManager.java

current inspection = 2009-09-03 21:56:13 (id #1)

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

char access$002(char)

Kind	Annotation Text
post	commandChar == x0
post	init'ed(commandChar)
post	return_value == commandChar

char access$102(char)

Kind	Annotation Text
post	init'ed(return_value)
post	return_value == x0
post	silenceChar == return_value

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

Kind	Annotation Text

com.dmdirc.commandparser.CommandManager$1__static_init

Kind	Annotation Text

void com.dmdirc.commandparser.CommandManager()

Kind	Annotation Text

com.dmdirc.commandparser.CommandManager__static_init

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

void configChanged(String, String)

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

Map$Entry getCommand(CommandType, String)

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

Map$Entry getCommand(String)

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

char getCommandChar()

Kind	Annotation Text
pre	init'ed(commandChar)
post	init'ed(return_value)
post	return_value == commandChar

List getCommandNames(CommandType)

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

Map getCommands(CommandType)

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

Map getCommands(CommandType, String)

Kind	Annotation Text
presumption	java.util.Iterator:next(...)@408 != null
presumption	java.util.Map:entrySet(...)@408 != null
presumption	java.util.Map_Entry:getKey(...)@409 != null
post	new HashMap(getCommands#1) num objects == 1
post	return_value == &new HashMap(getCommands#1)
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}
test_vector	name: Addr_Set{null}, Inverse{null}
test_vector	type: Addr_Set{null}, Inverse{null}

char getSilenceChar()

Kind	Annotation Text
pre	init'ed(silenceChar)
post	init'ed(return_value)
post	return_value == silenceChar

void initCommands()

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

bool isChannelCommand(String)

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

void loadCommands(CommandParser, CommandType[])

Kind	Annotation Text
pre	(soft) parser != null
pre	(soft) parser.commands != null
pre	(soft) supertypes[...] != null
pre	supertypes != null
pre	supertypes.length <= 2³²-1
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 com.dmdirc.commandparser.CommandType:equals
unanalyzed	call on getName
unanalyzed	call on getType
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Set:iterator
test_vector	java.util.Iterator:hasNext(...)@322: {0}, {1}

void registerCommand(CommandInfo, Command, List, bool)

Kind	Annotation Text
pre	(soft) info != null
pre	myParsers != 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	java.util.Iterator:hasNext(...)@163: {0}, {1}
test_vector	register: {0}, {1}

void registerCommand(CommandInfo, Command, bool)

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

void registerCommand(Command)

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

void registerCommand(Command, CommandInfo)

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

void registerCommandName(CommandInfo, bool)

Kind	Annotation Text
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}

void registerCommandName(TabCompleter, String, bool)

Kind	Annotation Text
pre	completer != null
presumption	init'ed(com.dmdirc.ui.input.TabCompletionType. COMMAND)
test_vector	register: {0}, {1}

void unregisterCommand(CommandInfo)

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