method com.dmdirc.ui.input.TabCompleterResult__static_ init










method void com.dmdirc.ui.input.TabCompleterResult()
postthis.results == &new ArrayList(TabCompleterResu lt#1)
postnew ArrayList(TabCompleterResult#1) num objects == 1










method void com.dmdirc.ui.input.TabCompleterResult(List)
postthis.results == newResults
postinit'ed(this.results)










method void addResult(String)
prethis.results != null










method bool hasResult(String)
prethis.results != null
postinit'ed(return_value)










method void merge(TabCompleterResult)
preadditional != null
preadditional.results != null
pre(soft) this.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}










method int getResultCount()
prethis.results != null
postinit'ed(return_value)










method String getBestSubstring()
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}









  method not available - call not analyzedInfocall on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()
  method not available - call not analyzedInfocall on bool com.dmdirc.config.ConfigManager:getOpt ionBool(String, String)











method List getResults()
postreturn_value == this.results
postinit'ed(return_value)










method String toString()
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}