Ifplugin.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.commands.global.Ifplugin()

    • Kind Annotation Text
    preinit'ed(com/dmdirc/commandparser/CommandManager. commandChar)
    unanalyzedcall on com.dmdirc.Channel:getTabCompleter
    unanalyzedcall on com.dmdirc.Query:getTabCompleter
    unanalyzedcall on com.dmdirc.Server:getChannel
    unanalyzedcall on com.dmdirc.Server:getChannels
    unanalyzedcall on com.dmdirc.Server:getQueries
    unanalyzedcall on com.dmdirc.Server:getTabCompleter
    unanalyzedcall on com.dmdirc.ServerManager:getServerManager
    unanalyzedcall on com.dmdirc.ServerManager:getServers
    unanalyzedcall on com.dmdirc.ui.input.TabCompleter:addEntry
    unanalyzedcall on com.dmdirc.ui.input.TabCompleter:removeEntr y
    unanalyzedcall on com.dmdirc.util.MapList:containsKey
    unanalyzedcall on com.dmdirc.util.MapList:get
    unanalyzedcall on getName
    unanalyzedcall on getType
    unanalyzedcall on java.lang.String:toLowerCase
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.Map:put
    unanalyzedcall on java.util.Map:remove

  • com.dmdirc.commandparser.commands.global.Ifplugin__static_init

    • Kind Annotation Text

  • void execute(InputWindow, bool, CommandArguments)

    • Kind Annotation Text
    pre(soft) args.line != null
    pre(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
    pre(soft) init'ed(com/dmdirc/commandparser/CommandMana ger.commandChar)
    pre(soft) init'ed(com/dmdirc/commandparser/CommandMana ger.silenceChar)
    pre(soft) init'ed(com/dmdirc/commandparser/parsers/Glo balCommandParser.me)
    pre(soft) init'ed(com/dmdirc/config/IdentityManager. globalconfig)
    preargs != null
    preinit'ed(args.words)
    presumptioncom.dmdirc.plugins.PluginManager:getPluginManager(. ..)@68 != null
    presumptioncom.dmdirc.ui.interfaces.InputWindow:getCommandPars er(...).commands@81 != null
    presumptioncom.dmdirc.ui.interfaces.InputWindow:getCommandPars er(...).history@81 != null
    presumptioncom.dmdirc.ui.interfaces.InputWindow:getCommandPars er(...)@81 != null
    presumptiongetArguments(...).length@64 >= 1
    presumptiongetArguments(...).length@66 >= 1
    presumptiongetArguments(...)[0]@64 != null
    presumptiongetArguments(...)[0]@66 != null
    presumptiongetGlobalCommandParser(...).commands != null
    presumptiongetGlobalCommandParser(...).history != null
    presumptionjava.util.Arrays:copyOfRange(...)@99 != null
    postargs.words != null
    postcom/dmdirc/commandparser/parsers/GlobalCommandParse r.me == One-of{old com/dmdirc/commandparser/parsers /GlobalCommandParser.me, &new GlobalCommandPars er(getGlobalCommandParser#1)}
    postcom/dmdirc/config/IdentityManager.globalconfig == One-of{old com/dmdirc/config/IdentityManager. globalconfig, &new ConfigManager(getGlobalConfi g#1)}
    postinit'ed(com/dmdirc/commandparser/parsers/GlobalComm andParser.me)
    postinit'ed(com/dmdirc/config/IdentityManager. globalconfig)
    postinit'ed(java.lang.String:split(...)._tainted)
    postinit'ed(java.lang.String:split(...).length)
    postinit'ed(new ConfigManager(getGlobalConfig#1). channel)
    postinit'ed(new ConfigManager(getGlobalConfig#1).file)
    postinit'ed(new ConfigManager(getGlobalConfig#1).ircd)
    postinit'ed(new ConfigManager(getGlobalConfig#1). listeners)
    postinit'ed(new ConfigManager(getGlobalConfig#1). network)
    postinit'ed(new ConfigManager(getGlobalConfig#1). server)
    postinit'ed(new ConfigManager(getGlobalConfig#1). sources)
    postinit'ed(new GlobalCommandParser(getGlobalCommandPar ser#1).channel)
    postinit'ed(new GlobalCommandParser(getGlobalCommandPar ser#1).commands)
    postinit'ed(new GlobalCommandParser(getGlobalCommandPar ser#1).history)
    postinit'ed(new GlobalCommandParser(getGlobalCommandPar ser#1).query)
    postinit'ed(new GlobalCommandParser(getGlobalCommandPar ser#1).server)
    postjava.lang.String:split(...)._tainted == 0
    postjava.lang.StringBuilder:toString(...)._tainted == 0
    postnew ArrayList(getSources#1) num objects <= 1
    postnew ConfigManager(getGlobalConfig#1) num objects <= 1
    postnew GlobalCommandParser(getGlobalCommandParser#1) num objects <= 1
    postnew Hashtable(CommandParser#1) num objects <= 1
    postnew MapList(ConfigManager#1) num objects <= 1
    postnew RollingList(CommandParser#2) num objects <= 1
    unanalyzedcall on addConfigManager
    unanalyzedcall on addListener
    unanalyzedcall on allowOffline
    unanalyzedcall on com.dmdirc.Channel:getFrame
    unanalyzedcall on com.dmdirc.Channel:sendLine
    unanalyzedcall on com.dmdirc.MessageTarget:sendAction
    unanalyzedcall on com.dmdirc.Query:sendLine
    unanalyzedcall on com.dmdirc.Server:getChannel
    unanalyzedcall on com.dmdirc.Server:getParser
    unanalyzedcall on com.dmdirc.Server:getState
    unanalyzedcall on com.dmdirc.Server:hasChannel
    unanalyzedcall on com.dmdirc.Server:isValidChannelName
    unanalyzedcall on com.dmdirc.Server:sendLine
    unanalyzedcall on com.dmdirc.WritableFrameContainer:getServer
    unanalyzedcall on com.dmdirc.actions.ActionManager:processEve nt
    unanalyzedcall on com.dmdirc.commandparser.CommandArguments
    unanalyzedcall on com.dmdirc.commandparser.CommandType:equals
    unanalyzedcall on com.dmdirc.commandparser.parsers. CommandParser
    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.logger.Logger:userError
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:sendLine
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:addLin e
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:getCon tainer
    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 com.dmdirc.util.RollingList:add
    unanalyzedcall on com.dmdirc.util.RollingList:remove
    unanalyzedcall on execute
    unanalyzedcall on executeCommand
    unanalyzedcall on getArguments
    unanalyzedcall on getArgumentsAsString
    unanalyzedcall on getCommand
    unanalyzedcall on getCommandChar
    unanalyzedcall on getCommandName
    unanalyzedcall on getCommandOptions
    unanalyzedcall on getName
    unanalyzedcall on getOption
    unanalyzedcall on getSources
    unanalyzedcall on getStrippedLine
    unanalyzedcall on getTarget
    unanalyzedcall on getType
    unanalyzedcall on getWordsAsString
    unanalyzedcall on handleInvalidCommand
    unanalyzedcall on handleNonCommand
    unanalyzedcall on hasCommandOptions
    unanalyzedcall on hasOption
    unanalyzedcall on isChannelCommand
    unanalyzedcall on isCommand
    unanalyzedcall on isSilent
    unanalyzedcall on java.lang.Character:valueOf
    unanalyzedcall on java.lang.Class:getAnnotation
    unanalyzedcall on java.lang.Class:isAnnotationPresent
    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.Object:getClass
    unanalyzedcall on java.lang.String:charAt
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:equalsIgnoreCase
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.String:split
    unanalyzedcall on java.lang.String:substring
    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.Arrays:copyOfRange
    unanalyzedcall on java.util.Collections:sort
    unanalyzedcall on java.util.Date
    unanalyzedcall on java.util.Date:getTime
    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:isEmpty
    unanalyzedcall on java.util.Map:put
    unanalyzedcall on java.util.Set:iterator
    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 loadCommands
    unanalyzedcall on parseCommand
    unanalyzedcall on showUsage
    test_vectorcom.dmdirc.plugins.PluginInfo:isLoaded(...)@72: {1}, {0}
    test_vectorcom.dmdirc.plugins.PluginManager:getPluginInfoByNam e(...)@68: Addr_Set{null}, Inverse{null}
    test_vectorgetArguments(...).length@59: {2..+Inf}, {0,1}
    test_vectororigin: Inverse{null}, Addr_Set{null}

  • String getHelp()

    • Kind Annotation Text
    postreturn_value == &amp;"ifplugin <[!]plugin> <command> - executes a command if the specified plugin is.isn't loaded"

  • String getName()

    • Kind Annotation Text
    postreturn_value == &amp;"ifplugin"

  • AdditionalTabTargets getSuggestions(int, List)

    • Kind Annotation Text
    presumptioncom.dmdirc.plugins.PluginManager:getPluginInfos(... )@114 != null
    presumptioncom.dmdirc.plugins.PluginManager:getPluginManager(. ..)@114 != null
    presumptioncom.dmdirc.ui.input.AdditionalTabTargets:excludeAll (...)@111 != null
    presumptionjava.util.Iterator:next(...)@114 != null
    postinit'ed(return_value)
    test_vectorarg: {-231..-1, 1..232-1}, {0}

  • bool showInHelp()

    • Kind Annotation Text
    postreturn_value == 1