CommandParser.java

CommandParser.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void addHistory(String)

Kind	Annotation Text
pre	this.history != null
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.Date:getTime

void com.dmdirc.commandparser.parsers.CommandParser()

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	com/dmdirc/config/IdentityManager.globalconfig == One-of{old com/dmdirc/config/IdentityManager. globalconfig, &new ConfigManager(getGlobalConfi g#1)}
post	init'ed(new ConfigManager(getGlobalConfig#1).file)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects <= 1
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 Hashtable(CommandParser#1) num objects == 1
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
post	new RollingList(CommandParser#2) num objects == 1
post	this.commands == &new Hashtable(CommandParser#1 )
post	this.history == &new RollingList(CommandParser# 2)
unanalyzed	call on addConfigManager
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.commandparser.CommandType:equals
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 com.dmdirc.util.MapList:add
unanalyzed	call on getName
unanalyzed	call on getOption
unanalyzed	call on getSources
unanalyzed	call on getTarget
unanalyzed	call on getType
unanalyzed	call on hasOption
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.String:trim
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.HashMap
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on loadCommands

com.dmdirc.commandparser.parsers.CommandParser__static_init

Kind	Annotation Text

CommandOptions getCommandOptions(Command)

Kind	Annotation Text
pre	command != null
presumption	java.lang.Object:getClass(...)@286 != null
post	init'ed(return_value)

long getCommandTime(String)

Kind	Annotation Text
pre	this.history != null
presumption	com.dmdirc.util.RollingList:getList(...)@191 != null
presumption	java.util.Iterator:next(...)@191 != null
presumption	pc.line@191 != null
post	init'ed(return_value)
test_vector	java.lang.String:matches(...)@192: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@191: {1}, {0}

Map getCommands()

Kind	Annotation Text
post	new HashMap(getCommands#1) num objects == 1
post	return_value == &new HashMap(getCommands#1)

void handleInvalidCommand(InputWindow, CommandArguments)

Kind	Annotation Text
pre	(soft) init'ed(com/dmdirc/commandparser/CommandMana ger.commandChar)
pre	(soft) init'ed(com/dmdirc/commandparser/CommandMana ger.silenceChar)
pre	args != null
pre	args.line != null
pre	init'ed(args.words)
presumption	init'ed(com.dmdirc.actions.CoreActionType.UNKNOWN_ COMMAND)
post	args.words != null
post	init'ed(java.lang.String:split(...)._tainted)
post	init'ed(java.lang.String:split(...).length)
post	init'ed(java.lang.String:split(...)[0])
post	java.lang.String:split(...)._tainted == 0
post	java.lang.String:split(...)[0]._tainted == 0
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.util.Arrays:copyOfRange
test_vector	origin: Inverse{null}, Addr_Set{null}

bool hasCommandOptions(Command)

Kind	Annotation Text
pre	command != null
presumption	java.lang.Object:getClass(...)@275 != null
post	init'ed(return_value)

void parseCommand(InputWindow, String)

Kind	Annotation Text
pre	(soft) init'ed(com/dmdirc/commandparser/CommandMana ger.commandChar)
pre	(soft) init'ed(com/dmdirc/commandparser/CommandMana ger.silenceChar)
pre	(soft) this.commands != null
pre	(soft) this.history != null
pre	line != null
unanalyzed	call on allowOffline
unanalyzed	call on com.dmdirc.Channel:getFrame
unanalyzed	call on com.dmdirc.Channel:sendLine
unanalyzed	call on com.dmdirc.MessageTarget:sendAction
unanalyzed	call on com.dmdirc.Query:sendLine
unanalyzed	call on com.dmdirc.Server:getChannel
unanalyzed	call on com.dmdirc.Server:getParser
unanalyzed	call on com.dmdirc.Server:getState
unanalyzed	call on com.dmdirc.Server:hasChannel
unanalyzed	call on com.dmdirc.Server:isValidChannelName
unanalyzed	call on com.dmdirc.Server:sendLine
unanalyzed	call on com.dmdirc.WritableFrameContainer:getServer
unanalyzed	call on com.dmdirc.actions.ActionManager:processEve nt
unanalyzed	call on com.dmdirc.commandparser.CommandArguments
unanalyzed	call on com.dmdirc.commandparser.CommandType:equals
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:sendLine
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCon tainer
unanalyzed	call on com.dmdirc.util.RollingList:add
unanalyzed	call on com.dmdirc.util.RollingList:remove
unanalyzed	call on execute
unanalyzed	call on executeCommand
unanalyzed	call on getArguments
unanalyzed	call on getArgumentsAsString
unanalyzed	call on getCommand
unanalyzed	call on getCommandChar
unanalyzed	call on getCommandName
unanalyzed	call on getCommandOptions
unanalyzed	call on getName
unanalyzed	call on getStrippedLine
unanalyzed	call on getType
unanalyzed	call on getWordsAsString
unanalyzed	call on handleInvalidCommand
unanalyzed	call on handleNonCommand
unanalyzed	call on hasCommandOptions
unanalyzed	call on isChannelCommand
unanalyzed	call on isCommand
unanalyzed	call on isSilent
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.lang.Class:getAnnotation
unanalyzed	call on java.lang.Class:isAnnotationPresent
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Arrays:copyOfRange
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.Date:getTime
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:containsKey
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:isEmpty
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.regex.Matcher:group
unanalyzed	call on java.util.regex.Matcher:matches
unanalyzed	call on java.util.regex.Pattern:compile
unanalyzed	call on java.util.regex.Pattern:matcher
unanalyzed	call on parseCommand
unanalyzed	call on showUsage

void parseCommand(InputWindow, String, bool)

Kind	Annotation Text
pre	(soft) init'ed(com/dmdirc/commandparser/CommandMana ger.commandChar)
pre	(soft) init'ed(com/dmdirc/commandparser/CommandMana ger.silenceChar)
pre	(soft) this.commands != null
pre	(soft) this.history != null
pre	line != null
presumption	args.words.length@131 <= 2³²-1
presumption	args.words.length@139 <= 2³²-1
presumption	cargs.length@131 >= 1
presumption	com.dmdirc.Channel:getFrame(...)@139 != null
presumption	com.dmdirc.Server:getChannel(...)@139 != null
presumption	com.dmdirc.WritableFrameContainer:getServer(... )@131 != null
presumption	com.dmdirc.WritableFrameContainer:getServer(... )@136 != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getCommandPars er(...).commands@139 != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getCommandPars er(...).history@139 != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getCommandPars er(...)@139 != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getContainer(. ..)@131 != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getContainer(. ..)@136 != null
presumption	java.util.Arrays:copyOfRange(...)@99 != null
presumption	java.util.Map:get(...)@158 != null
presumption	java.util.Map_Entry:getValue(...)@148 != null
unanalyzed	call on allowOffline
unanalyzed	call on com.dmdirc.Channel:getFrame
unanalyzed	call on com.dmdirc.Channel:sendLine
unanalyzed	call on com.dmdirc.MessageTarget:sendAction
unanalyzed	call on com.dmdirc.Query:sendLine
unanalyzed	call on com.dmdirc.Server:getChannel
unanalyzed	call on com.dmdirc.Server:getParser
unanalyzed	call on com.dmdirc.Server:getState
unanalyzed	call on com.dmdirc.Server:hasChannel
unanalyzed	call on com.dmdirc.Server:isValidChannelName
unanalyzed	call on com.dmdirc.Server:sendLine
unanalyzed	call on com.dmdirc.WritableFrameContainer:getServer
unanalyzed	call on com.dmdirc.actions.ActionManager:processEve nt
unanalyzed	call on com.dmdirc.commandparser.CommandArguments
unanalyzed	call on com.dmdirc.commandparser.CommandType:equals
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:sendLine
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCon tainer
unanalyzed	call on com.dmdirc.util.RollingList:add
unanalyzed	call on com.dmdirc.util.RollingList:remove
unanalyzed	call on execute
unanalyzed	call on executeCommand
unanalyzed	call on getArguments
unanalyzed	call on getArgumentsAsString
unanalyzed	call on getCommand
unanalyzed	call on getCommandChar
unanalyzed	call on getCommandName
unanalyzed	call on getCommandOptions
unanalyzed	call on getName
unanalyzed	call on getStrippedLine
unanalyzed	call on getType
unanalyzed	call on getWordsAsString
unanalyzed	call on handleInvalidCommand
unanalyzed	call on handleNonCommand
unanalyzed	call on hasCommandOptions
unanalyzed	call on isChannelCommand
unanalyzed	call on isCommand
unanalyzed	call on isSilent
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.lang.Class:getAnnotation
unanalyzed	call on java.lang.Class:isAnnotationPresent
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Arrays:copyOfRange
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.Date:getTime
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:containsKey
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:isEmpty
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.regex.Matcher:group
unanalyzed	call on java.util.regex.Matcher:matches
unanalyzed	call on java.util.regex.Pattern:compile
unanalyzed	call on java.util.regex.Pattern:matcher
unanalyzed	call on parseCommand
unanalyzed	call on showUsage
test_vector	com.dmdirc.Server:hasChannel(...)@138: {0}, {1}
test_vector	com.dmdirc.Server:isValidChannelName(...)@131: {0}, {1}
test_vector	com.dmdirc.WritableFrameContainer:getServer(... )@131: Addr_Set{null}, Inverse{null}
test_vector	com.dmdirc.ui.interfaces.InputWindow:getContainer(. ..)@131: Addr_Set{null}, Inverse{null}
test_vector	getArguments(...).length@131: {0}, {1..+Inf}
test_vector	java.util.Map:containsKey(...)@156: {0}, {1}
test_vector	origin: Addr_Set{null}, Inverse{null}
test_vector	parseChannel: {0}, {1}

void parseCommandCtrl(InputWindow, String)

Kind	Annotation Text
unanalyzed	call on com.dmdirc.Channel:sendLine
unanalyzed	call on com.dmdirc.Query:sendLine
unanalyzed	call on com.dmdirc.Server:sendLine
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e

void registerCommand(Command, CommandInfo)

Kind	Annotation Text
pre	info != null
pre	this.commands != null
presumption	getName(...)@91 != null

void unregisterCommand(CommandInfo)

Kind	Annotation Text
pre	info != null
pre	this.commands != null
presumption	getName(...)@101 != null