TabCompleterResult.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void addResult(String)

    • Kind Annotation Text
    prethis.results != null

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

    • Kind Annotation Text
    postnew ArrayList(TabCompleterResult#1) num objects == 1
    postthis.results == &new ArrayList(TabCompleterResu lt#1)

  • void com.dmdirc.ui.input.TabCompleterResult(List)

    • Kind Annotation Text
    postinit'ed(this.results)
    postthis.results == newResults

  • com.dmdirc.ui.input.TabCompleterResult__static_init

    • Kind Annotation Text

  • String getBestSubstring()

    • Kind Annotation Text
    prethis.results != null
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@103 != null
    presumptionjava.util.Iterator:next(...)@107 != null
    presumptionjava.util.List:get(...)@106 != null
    postjava.lang.String:substring(...)._tainted == 0
    postreturn_value != null
    unanalyzedcall on java.util.List:size
    test_vectorcom.dmdirc.config.ConfigManager:getOptionBool(... )@103: {0}, {1}
    test_vectorjava.lang.String:startsWith(...)@109: {1}, {0}
    test_vectorjava.lang.String:startsWith(...)@113: {1}, {0}
    test_vectorjava.util.Iterator:hasNext(...)@107: {0}, {1}
    test_vectorjava.util.List:size(...)@91: {-231..-1, 1..232-1}, {0}

  • int getResultCount()

    • Kind Annotation Text
    prethis.results != null
    postinit'ed(return_value)

  • List getResults()

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

  • bool hasResult(String)

    • Kind Annotation Text
    prethis.results != null
    postinit'ed(return_value)

  • void merge(TabCompleterResult)

    • Kind Annotation Text
    pre(soft) this.results != null
    preadditional != null
    preadditional.results != null
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:contains
    test_vectorjava.util.Iterator:hasNext(...)@79: {0}, {1}
    test_vectorjava.util.List:contains(...)@71: {1}, {0}

  • String toString()

    • Kind Annotation Text
    prethis.results != null
    postjava.lang.StringBuffer:toString(...)._tainted == 0
    postreturn_value == &java.lang.StringBuffer:toStrin g(...)
    test_vectorjava.lang.StringBuffer:length(...)@137: {-231..0}, {1..232-1}
    test_vectorjava.util.Iterator:hasNext(...)@136: {0}, {1}