TabCompleter.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void addEntries(TabCompletionType, List)

    • Kind Annotation Text
    pre(soft) this.entries != null
    unanalyzedcall on com.dmdirc.util.MapList:add
    test_vectorjava.util.Iterator:hasNext(...)@158: {0}, {1}
    test_vectornewEntries: Inverse{null}, Addr_Set{null}

  • void addEntry(TabCompletionType, String)

    • Kind Annotation Text
    prethis.entries != null

  • void clear()

    • Kind Annotation Text
    prethis.entries != null

  • void clear(TabCompletionType)

    • Kind Annotation Text
    prethis.entries != null

  • void com.dmdirc.ui.input.TabCompleter()

    • Kind Annotation Text
    postnew MapList(TabCompleter#1) num objects == 1
    postthis.entries == &new MapList(TabCompleter#1)

  • void com.dmdirc.ui.input.TabCompleter(TabCompleter)

    • Kind Annotation Text
    postinit'ed(this.parent)
    postnew MapList(TabCompleter#1) num objects == 1
    postthis.entries == &new MapList(TabCompleter#1)
    postthis.parent == newParent

  • com.dmdirc.ui.input.TabCompleter__static_init

    • Kind Annotation Text

  • TabCompleterResult complete(String, AdditionalTabTargets)

    • Kind Annotation Text
    pre(soft) additionals.includes != null
    pre(soft) init'ed(this...parent)
    pre(soft) init'ed(this.parent)
    prepartial != null
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@92 != null
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@94 != null
    presumptioncom.dmdirc.util.MapList:entrySet(...)@105 != null
    presumptioncom.dmdirc.util.MapList:safeGet(...)@102 != null
    presumptioninit'ed(com.dmdirc.ui.input.TabCompletionType. ADDITIONAL)
    presumptionjava.util.Iterator:next(...)@105 != null
    presumptionjava.util.Iterator:next(...)@111 != null
    presumptionjava.util.Map_Entry:getValue(...)@111 != null
    postnew TabCompleterResult(complete#1) num objects == 1
    postreturn_value == &new TabCompleterResult(complet e#1)
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionBo ol
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.ui.input.AdditionalTabTargets:cl ear
    unanalyzedcall on com.dmdirc.ui.input.TabCompleterResult
    unanalyzedcall on com.dmdirc.ui.input.TabCompleterResult:addR esult
    unanalyzedcall on com.dmdirc.ui.input.TabCompleterResult:hasR esult
    unanalyzedcall on com.dmdirc.ui.input.TabCompleterResult:merg e
    unanalyzedcall on com.dmdirc.util.MapList
    unanalyzedcall on com.dmdirc.util.MapList:entrySet
    unanalyzedcall on com.dmdirc.util.MapList:safeGet
    unanalyzedcall on complete
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:startsWith
    unanalyzedcall on java.lang.String:toLowerCase
    unanalyzedcall on java.util.List:addAll
    unanalyzedcall on java.util.List:contains
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.Locale:getDefault
    unanalyzedcall on java.util.Map$Entry:getKey
    unanalyzedcall on java.util.Map$Entry:getValue
    unanalyzedcall on java.util.Set:iterator
    test_vectoradditionals: Addr_Set{null}, Inverse{null}
    test_vectorcom.dmdirc.config.ConfigManager:getOptionBool(... )@92: {0}, {1}
    test_vectorcom.dmdirc.config.ConfigManager:getOptionBool(... )@94: {1}, {0}
    test_vectorcom.dmdirc.ui.input.TabCompleterResult:hasResult(.. .)@113: {0}, {1}
    test_vectorjava.lang.String:isEmpty(...)@97: {0}, {1}
    test_vectorjava.lang.String:startsWith(...)@117: {0}, {1}
    test_vectorjava.lang.String:startsWith(...)@119: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@105: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@111: {0}, {1}
    test_vectorjava.util.List:contains(...)@61: {1}, {0}
    test_vectorthis.parent: Addr_Set{null}, Inverse{null}

  • AdditionalTabTargets getIntelligentResults(int, List, int)

    • Kind Annotation Text
    pre(soft) previousArgs != null
    presumptioninit'ed(com.dmdirc.ui.input.TabCompletionType. COMMAND)
    presumptionjava.util.List:subList(...)@216 != null
    postinit'ed(return_value)
    postnew AdditionalTabTargets(getIntelligentResults#1) num objects <= 1
    postnew AdditionalTabTargets(getIntelligentResults#1). includes == &amp;new ArrayList(AdditionalTabTargets #1)
    postnew ArrayList(AdditionalTabTargets#1) num objects <= 1
    unanalyzedcall on com.dmdirc.commandparser.CommandManager:get Command
    unanalyzedcall on com.dmdirc.commandparser.CommandManager:get CommandChar
    unanalyzedcall on com.dmdirc.commandparser.commands. IntelligentCommand:getSuggestions
    unanalyzedcall on com.dmdirc.commandparser.commands. IntelligentCommand:instanceof
    unanalyzedcall on com.dmdirc.ui.input.TabCompletionType:value s
    unanalyzedcall on java.lang.String:charAt
    unanalyzedcall on java.lang.String:substring
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.Arrays:asList
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:clear
    unanalyzedcall on java.util.List:contains
    unanalyzedcall on java.util.List:get
    unanalyzedcall on java.util.List:isEmpty
    unanalyzedcall on java.util.List:size
    unanalyzedcall on java.util.List:subList
    unanalyzedcall on java.util.Map$Entry:getValue
    test_vectoroffset - arg: {-6_442_450_943..-1, 1.. 6_442_450_943}, {0}

  • AdditionalTabTargets getIntelligentResults(String)

    • Kind Annotation Text
    pretext != null
    presumptionjava.util.Arrays:asList(...)@251 != null
    postinit'ed(return_value)
    unanalyzedcall on com.dmdirc.commandparser.CommandManager:get Command
    unanalyzedcall on com.dmdirc.commandparser.CommandManager:get CommandChar
    unanalyzedcall on com.dmdirc.commandparser.commands. IntelligentCommand:getSuggestions
    unanalyzedcall on com.dmdirc.commandparser.commands. IntelligentCommand:instanceof
    unanalyzedcall on java.lang.String:charAt
    unanalyzedcall on java.lang.String:substring
    unanalyzedcall on java.util.List:get
    unanalyzedcall on java.util.List:isEmpty
    unanalyzedcall on java.util.List:size
    unanalyzedcall on java.util.List:subList
    unanalyzedcall on java.util.Map$Entry:getValue

  • AdditionalTabTargets getIntelligentResults(List)

    • Kind Annotation Text
    preargs != null
    presumptionjava.util.List:get(...)@229 != null
    presumptionjava.util.List:get(...)@233 != null
    presumptionjava.util.List:size(...)@237 >= -231+1
    presumptionjava.util.Map_Entry:getValue(...)@237 != null
    postinit'ed(return_value)
    test_vectorcom.dmdirc.commandparser.CommandManager:getCommand( ...)@234: Addr_Set{null}, Inverse{null}
    test_vectorjava.util.List:isEmpty(...)@229: {1}, {0}

  • void removeEntry(TabCompletionType, String)

    • Kind Annotation Text
    prethis.entries != null

  • void replaceEntries(TabCompletionType, List)

    • Kind Annotation Text
    prethis.entries != null