Active.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.Active()

    • 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.Active__static_init

    • Kind Annotation Text

  • void execute(InputWindow, bool, CommandArguments)

    • Kind Annotation Text
    pre(soft) args.line != null
    pre(soft) init'ed(com/dmdirc/commandparser/CommandMana ger.commandChar)
    pre(soft) init'ed(com/dmdirc/commandparser/CommandMana ger.silenceChar)
    preargs != null
    preinit'ed(args.words)
    presumptioncom.dmdirc.Main:getUI(...)@57 != null
    presumptioncom.dmdirc.ui.interfaces.InputWindow:getCommandPars er(...).commands@60 != null
    presumptioncom.dmdirc.ui.interfaces.InputWindow:getCommandPars er(...).history@60 != null
    presumptioncom.dmdirc.ui.interfaces.InputWindow:getCommandPars er(...)@60 != null
    postargs.words != null
    postinit'ed(java.lang.String:split(...)._tainted)
    postinit'ed(java.lang.String:split(...).length)
    postjava.lang.String:split(...)._tainted == 0
    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.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.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 getStrippedLine
    unanalyzedcall on getType
    unanalyzedcall on getWordsAsString
    unanalyzedcall on handleInvalidCommand
    unanalyzedcall on handleNonCommand
    unanalyzedcall on hasCommandOptions
    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.Object:getClass
    unanalyzedcall on java.lang.String:charAt
    unanalyzedcall on java.lang.String:equals
    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.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.Arrays:copyOfRange
    unanalyzedcall on java.util.Date
    unanalyzedcall on java.util.Date:getTime
    unanalyzedcall on java.util.HashMap
    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 parseCommand
    unanalyzedcall on showUsage
    test_vectorcom.dmdirc.ui.interfaces.UIController:getActiveWind ow(...)@57: Addr_Set{null}, Inverse{null}

  • String getHelp()

    • Kind Annotation Text
    postreturn_value == &amp;"active <command> - executes the command as though it had been typed in the active window"

  • String getName()

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

  • AdditionalTabTargets getSuggestions(int, List)

    • Kind Annotation Text
    postinit'ed(return_value)

  • bool showInHelp()

    • Kind Annotation Text
    postreturn_value == 1