method com.dmdirc.addons.tabcompletion_bash.BashStyle__ static_init










method void com.dmdirc.addons.tabcompletion_bash. BashStyle(TabCompleter, InputWindow)
postthis.lastPosition == -1
postthis.lastWord == &""
postthis.tabCompleter == completer
postinit'ed(this.tabCompleter)
postthis.tabCount == 0
postthis.window == window
postinit'ed(this.window)










method TabCompletionResult getResult(String, int, int, AdditionalTabTargets)
preinit'ed(this.lastPosition)
preoriginal != null
prethis.tabCompleter != null
pre(soft) init'ed(this.lastWord)
pre(soft) this.tabCount <= 232-2
pre(soft) this.window != null
presumptioncom.dmdirc.ui.input.TabCompleter:complete(...)@67 != null
presumptioncom.dmdirc.ui.input.TabCompleterResult:getBestSubst ring(...)@92 != null
presumptioncom.dmdirc.ui.input.TabCompleterResult:getResults(. ..)@84 != null
presumptionjava.awt.Toolkit:getDefaultToolkit(...)@78 != null
presumptionjava.util.List:get(...)@84 != null
presumptionstart + java.lang.String:length(...)@86 in {-231..232-1}
presumptionstart + java.lang.String:length(...)@98 in {-231..232-1}
postjava.lang.String:substring(...)._tainted == original._tainted
postinit'ed(java.lang.String:substring(...)._tainted)
postreturn_value in Addr_Set{null,&amp;new TabCompletionResult(getResult#4),&amp;new TabCompletionResult(getResult#1)}
postthis.lastPosition == One-of{old this.lastPosition, start}
postinit'ed(this.lastPosition)
postthis.lastWord == One-of{old this.lastWord, &amp;java.lang.String:substring(...)}
postinit'ed(this.lastWord)
postthis.tabCount == One-of{old this.tabCount + 1, 1}
postthis.tabCount >= -231+1
postnew TabCompletionResult(getResult#1) num objects <= 1
postnew TabCompletionResult(getResult#4) num objects <= 1
test_vectorthis.lastPosition - start: {-6_442_450_943..-1, 1..6_442_450_943}, {0}
test_vectorcom.dmdirc.ui.input.TabCompleterResult:getResultCou nt(...)@77: {-231..-1, 1..232-1}, {0}
test_vectorcom.dmdirc.ui.input.TabCompleterResult:getResultCou nt(...)@81: {-231..0, 2..232-1}, {1}
test_vectorjava.lang.String:equals(...)@69: {0}, {1}
test_vectorjava.lang.String:equalsIgnoreCase(...)@93: {0}, {1}









  method not available - call not analyzedInfocall on TabCompleterResult com.dmdirc.ui.input. TabCompleter:complete(String, AdditionalTabTargets)










  method not available - call not analyzedInfocall on int com.dmdirc.ui.input.TabCompleterResult: getResultCount()










  method not available - call not analyzedInfocall on int com.dmdirc.ui.input.TabCompleterResult: getResultCount()










  method not available - call not analyzedInfocall on List com.dmdirc.ui.input.TabCompleterResult :getResults()










  method not available - call not analyzedInfocall on void com.dmdirc.ui.input.tabstyles. TabCompletionResult(String, int)










  method not available - call not analyzedInfocall on String com.dmdirc.ui.input.TabCompleterResu lt:getBestSubstring()










  method not available - call not analyzedInfocall on String com.dmdirc.ui.input.TabCompleterResu lt:toString()
  method not available - call not analyzedInfocall on void com.dmdirc.ui.interfaces. InputWindow:addLine(String, Object[])










  method not available - call not analyzedInfocall on void com.dmdirc.ui.input.tabstyles. TabCompletionResult(String, int)