ChannelCommandParser.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void com.dmdirc.commandparser.parsers.ChannelCommandParser(Server, Channel)

    • Kind Annotation Text
    pre(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
    preinit'ed(com/dmdirc/config/IdentityManager. globalconfig)
    postcom/dmdirc/config/IdentityManager.globalconfig != null
    postcom/dmdirc/config/IdentityManager.globalconfig == One-of{old com/dmdirc/config/IdentityManager. globalconfig, &new ConfigManager(getGlobalConfi g#1)}
    postinit'ed(new ConfigManager(getGlobalConfig#1).file)
    postinit'ed(this.channel)
    postinit'ed(this.server)
    postjava.lang.StringBuilder:toString(...)._tainted == 0
    postnew ArrayList(getSources#1) num objects <= 1
    postnew ConfigManager(getGlobalConfig#1) num objects == new ArrayList(getSources#1) num objects
    postnew ConfigManager(getGlobalConfig#1).channel == &amp;java.lang.StringBuilder:toString(...)
    postnew ConfigManager(getGlobalConfig#1).ircd == &amp;""
    postnew ConfigManager(getGlobalConfig#1).listeners == &amp;new MapList(ConfigManager#1)
    postnew ConfigManager(getGlobalConfig#1).network == &amp;""
    postnew ConfigManager(getGlobalConfig#1).server == &amp;""
    postnew ConfigManager(getGlobalConfig#1).sources == &amp;new ArrayList(getSources#1)
    postnew Hashtable(CommandParser#1) num objects == 1
    postnew MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
    postnew RollingList(CommandParser#2) num objects == 1
    postthis.channel == newChannel
    postthis.commands == &amp;new Hashtable(CommandParser#1 )
    postthis.history == &amp;new RollingList(CommandParser# 2)
    postthis.server == newServer
    unanalyzedcall on addConfigManager
    unanalyzedcall on addListener
    unanalyzedcall on com.dmdirc.commandparser.CommandType:equals
    unanalyzedcall on com.dmdirc.config.ConfigSource
    unanalyzedcall on com.dmdirc.config.ConfigTarget$TYPE:ordinal
    unanalyzedcall on com.dmdirc.logger.Logger:assertTrue
    unanalyzedcall on com.dmdirc.util.ConfigFile:getKeyDomain
    unanalyzedcall on com.dmdirc.util.ConfigFile:isKeyDomain
    unanalyzedcall on com.dmdirc.util.MapList
    unanalyzedcall on com.dmdirc.util.MapList:add
    unanalyzedcall on com.dmdirc.util.RollingList
    unanalyzedcall on getName
    unanalyzedcall on getOption
    unanalyzedcall on getSources
    unanalyzedcall on getTarget
    unanalyzedcall on getType
    unanalyzedcall on hasOption
    unanalyzedcall on java.lang.IllegalArgumentException
    unanalyzedcall on java.lang.Integer:intValue
    unanalyzedcall on java.lang.Integer:parseInt
    unanalyzedcall on java.lang.Integer:valueOf
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:equalsIgnoreCase
    unanalyzedcall on java.lang.String:toLowerCase
    unanalyzedcall on java.lang.String:trim
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.Collections:sort
    unanalyzedcall on java.util.HashMap
    unanalyzedcall on java.util.Hashtable
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.Map$Entry:getKey
    unanalyzedcall on java.util.Map$Entry:getValue
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:entrySet
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on java.util.Map:put
    unanalyzedcall on java.util.Set:iterator
    unanalyzedcall on loadCommands

  • com.dmdirc.commandparser.parsers.ChannelCommandParser__static_init

    • Kind Annotation Text

  • void executeCommand(InputWindow, bool, Command, CommandArguments)

    • Kind Annotation Text
    pre(soft) args != null
    pre(soft) args.line != null
    pre(soft) init'ed(args.words)
    pre(soft) init'ed(com/dmdirc/commandparser/CommandMana ger.commandChar)
    pre(soft) this.channel != null
    precommand != null
    postinit'ed(args.words)
    postinit'ed(java.lang.String:split(...)._tainted)
    postinit'ed(java.lang.String:split(...).length)
    postjava.lang.String:split(...)._tainted == 0
    unanalyzedcall on com.dmdirc.MessageTarget:sendAction
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:addLin e
    unanalyzedcall on getArguments
    unanalyzedcall on getArgumentsAsString
    unanalyzedcall on getCommandChar
    unanalyzedcall on java.lang.Character:valueOf
    unanalyzedcall on java.lang.String:split
    unanalyzedcall on java.util.Arrays:copyOfRange
    unanalyzedcall on java.util.regex.Matcher:group
    unanalyzedcall on java.util.regex.Matcher:matches
    unanalyzedcall on java.util.regex.Pattern:compile
    unanalyzedcall on java.util.regex.Pattern:matcher
    unanalyzedcall on showUsage

  • void handleNonCommand(InputWindow, String)

    • Kind Annotation Text
    prethis.channel != null

  • void loadCommands()

    • Kind Annotation Text
    pre(soft) this.commands != null
    unanalyzedcall on com.dmdirc.commandparser.CommandType:equals
    unanalyzedcall on com.dmdirc.util.MapList:add
    unanalyzedcall on getName
    unanalyzedcall on getType
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:toLowerCase
    unanalyzedcall on java.util.HashMap
    unanalyzedcall on java.util.Map$Entry:getKey
    unanalyzedcall on java.util.Map$Entry:getValue
    unanalyzedcall on java.util.Map:entrySet
    unanalyzedcall on java.util.Map:put
    unanalyzedcall on java.util.Set:iterator