UrlCatcherPlugin.java


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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void addURL(String)

  • Kind Annotation Text
    prethis.urls != null
    presumptionjava.lang.Integer:intValue(...)@82 <= 232-2
    presumptionjava.util.Map:get(...)@82 != null
    test_vectorjava.util.Map:containsKey(...)@81: {0}, {1}

  • void com.dmdirc.addons.urlcatcher.UrlCatcherPlugin()

  • Kind Annotation Text
    postnew HashMap(UrlCatcherPlugin#1) num objects == 1
    postnew UrlListCommand(UrlCatcherPlugin#2) num objects == 1
    postthis.command == &amp;new UrlListCommand(UrlCatcherP lugin#2)
    postthis.command.plugin != null
    postthis.command.plugin == this
    postthis.urls == &amp;new HashMap(UrlCatcherPlugin#1)

  • com.dmdirc.addons.urlcatcher.UrlCatcherPlugin__static_init

  • Kind Annotation Text

  • Map getURLS()

  • Kind Annotation Text
    postinit'ed(return_value)
    postreturn_value == this.urls

  • void onLoad()

  • Kind Annotation Text
    preinit'ed(com/dmdirc/commandparser/CommandManager. commandChar)
    prethis.command != null
    presumptioninit'ed(com.dmdirc.actions.CoreActionType.CLIENT_ LINE_ADDED)
    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

  • void onUnload()

  • Kind Annotation Text
    preinit'ed(com/dmdirc/commandparser/CommandManager. commandChar)
    prethis.command != null
    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:get
    unanalyzedcall on java.util.Map:put
    unanalyzedcall on java.util.Map:remove

  • void processEvent(ActionType, StringBuffer, Object[])

  • Kind Annotation Text
    prearguments != null
    prearguments.length >= 2
    preinit'ed(arguments[1])
    presumptioncom.dmdirc.ui.messages.Styliser:doLinks(...)@64 != null
    unanalyzedcall on java.lang.Integer:intValue
    unanalyzedcall on java.lang.Integer:valueOf
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on java.util.Map:put
    test_vectorjava.lang.String:indexOf(...)@66: {-231.. -1}, {0..232-1}