Messages

method

com.dmdirc.ui.input.TabCompleter__static_init

method not available - call not analyzed Info call on void com.dmdirc.util.MapList()

method not available - call not analyzed Info call on void com.dmdirc.util.MapList()

method	void com.dmdirc.ui.input.TabCompleter()
post	this.entries == &new MapList(TabCompleter#1)
post	new MapList(TabCompleter#1) num objects == 1

method	void com.dmdirc.ui.input.TabCompleter(TabCompleter )
post	this.entries == &new MapList(TabCompleter#1)
post	this.parent == newParent
post	init'ed(this.parent)
post	new MapList(TabCompleter#1) num objects == 1

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

method not available - call not analyzed Info call on void com.dmdirc.ui.input.TabCompleterResult ()

method not available - call not analyzed Info call on void com.dmdirc.util.MapList(MapList)

method not available - call not analyzed Info call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()

method not available - call not analyzed Info call on bool com.dmdirc.config.ConfigManager:getOpt ionBool(String, String)

method not available - call not analyzed Info call on List com.dmdirc.util.MapList:safeGet(Object )

method not available - call not analyzed Info call on Set com.dmdirc.util.MapList:entrySet()

method not available - call not analyzed Info call on bool com.dmdirc.ui.input.TabCompleterResult :hasResult(String)

method not available - call not analyzed Info call on void com.dmdirc.ui.input.TabCompleterResult :addResult(String)

method not available - call not analyzed Info call on void com.dmdirc.ui.input.AdditionalTabTarge ts:clear()

method not available - call not analyzed Info call on void com.dmdirc.ui.input.TabCompleterResult :merge(TabCompleterResult)

method	void addEntry(TabCompletionType, String)
pre	this.entries != null

method not available - call not analyzed Info call on void com.dmdirc.util.MapList:add(Object, Object)

method	void addEntries(TabCompletionType, List)
pre	(soft) this.entries != null
unanalyzed	call on com.dmdirc.util.MapList:add
test_vector	newEntries: Inverse{null}, Addr_Set{null}
test_vector	java.util.Iterator:hasNext(...)@158: {0}, {1}

method	void removeEntry(TabCompletionType, String)
pre	this.entries != null

method not available - call not analyzed Info call on void com.dmdirc.util.MapList:remove(Object, Object)

method	void replaceEntries(TabCompletionType, List)
pre	this.entries != null

method not available - call not analyzed Info call on void com.dmdirc.util.MapList:clear(Object)

method not available - call not analyzed Info call on void com.dmdirc.util.MapList:add(Object, Collection)

method	void clear()
pre	this.entries != null

method not available - call not analyzed Info call on void com.dmdirc.util.MapList:clear()

method	void clear(TabCompletionType)
pre	this.entries != null

method not available - call not analyzed Info call on void com.dmdirc.util.MapList:clear(Object)

method	AdditionalTabTargets getIntelligentResults(int, List, int)
pre	(soft) previousArgs != null
presumption	init'ed(com.dmdirc.ui.input.TabCompletionType. COMMAND)
presumption	java.util.List:subList(...)@216 != null
post	init'ed(return_value)
post	new AdditionalTabTargets(getIntelligentResults#1) num objects <= 1
post	new AdditionalTabTargets(getIntelligentResults#1). includes == &new ArrayList(AdditionalTabTargets #1)
post	new ArrayList(AdditionalTabTargets#1) num objects <= 1
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.util.List:isEmpty
unanalyzed	call on java.util.List:get
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on com.dmdirc.commandparser.CommandManager:get CommandChar
unanalyzed	call on java.lang.String:substring
unanalyzed	call on com.dmdirc.commandparser.CommandManager:get Command
unanalyzed	call on com.dmdirc.commandparser.commands. IntelligentCommand:instanceof
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.List:subList
unanalyzed	call on com.dmdirc.commandparser.commands. IntelligentCommand:getSuggestions
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.ui.input.TabCompletionType:value s
unanalyzed	call on java.util.Arrays:asList
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:clear
test_vector	offset - arg: {-6_442_450_943..-1, 1.. 6_442_450_943}, {0}

method	AdditionalTabTargets getIntelligentResults(List)
pre	args != null
presumption	java.util.List:get(...)@229 != null
presumption	java.util.List:get(...)@233 != null
presumption	java.util.List:size(...)@237 >= -2³¹+1
presumption	java.util.Map_Entry:getValue(...)@237 != null
post	init'ed(return_value)
test_vector	com.dmdirc.commandparser.CommandManager:getCommand( ...)@234: Addr_Set{null}, Inverse{null}
test_vector	java.util.List:isEmpty(...)@229: {1}, {0}

method not available - call not analyzed Info call on char com.dmdirc.commandparser. CommandManager:getCommandChar()

method not available - call not analyzed Info call on Map$Entry com.dmdirc.commandparser. CommandManager:getCommand(String)

method not available - call not analyzed Info call on AdditionalTabTargets com.dmdirc. commandparser.commands.IntelligentCommand:getSugges tions(int, List)

method	AdditionalTabTargets getIntelligentResults(String)
pre	text != null
presumption	java.util.Arrays:asList(...)@251 != null
post	init'ed(return_value)
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.util.List:isEmpty
unanalyzed	call on java.util.List:get
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on com.dmdirc.commandparser.CommandManager:get CommandChar
unanalyzed	call on java.lang.String:substring
unanalyzed	call on com.dmdirc.commandparser.CommandManager:get Command
unanalyzed	call on com.dmdirc.commandparser.commands. IntelligentCommand:instanceof
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.List:subList
unanalyzed	call on com.dmdirc.commandparser.commands. IntelligentCommand:getSuggestions

	method not available - call not analyzed	Info	call on void com.dmdirc.util.MapList()
	method not available - call not analyzed	Info	call on void com.dmdirc.util.MapList()

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