InputHandler.java

InputHandler.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void addControlCode(int, int)

Kind	Annotation Text
pre	code in {0..2¹⁶-1}
pre	this.target != null
presumption	com.dmdirc.ui.interfaces.InputField:getCaretPositio n(...)@502 <= 2³²-2
presumption	com.dmdirc.ui.interfaces.InputField:getSelectionEnd (...)@487 <= 2³²-3
presumption	com.dmdirc.ui.interfaces.InputField:getText(... )@490 != null
presumption	com.dmdirc.ui.interfaces.InputField:getText(... )@503 != null
presumption	com.dmdirc.ui.interfaces.InputField:getText(... )@504 != null
presumption	com.dmdirc.ui.interfaces.InputField:getText(... )@505 != null
test_vector	position: {-2³¹..0, 3..2³²-1}, {2}, {1}

void addToBuffer(String)

Kind	Annotation Text
pre	this.buffer != null

void addToBuffer(String[])

Kind	Annotation Text
pre	(soft) init'ed(lines[...])
pre	(soft) this.buffer != null
pre	lines != null
pre	lines.length <= 2³²-1
unanalyzed	call on com.dmdirc.util.RollingList:add
unanalyzed	call on com.dmdirc.util.RollingList:seekToEnd

void addValidationListener(InputValidationListener)

Kind	Annotation Text
pre	this.listeners != null

void com.dmdirc.ui.input.InputHandler(InputField, CommandParser, InputWindow)

Kind	Annotation Text
pre	thisParentWindow != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getConfigManag er(...)@110 != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getConfigManag er(...)@119 != null
post	init'ed(this.commandParser)
post	init'ed(this.style)
post	init'ed(this.tabCompleter)
post	init'ed(this.target)
post	new ListenerList(InputHandler#1) num objects == 1
post	new RollingList(InputHandler#2) num objects == 1
post	this.buffer == &new RollingList(InputHandler#2)
post	this.commandParser == thisCommandParser
post	this.flags == 15
post	this.listeners == &new ListenerList(InputHandle r#1)
post	this.parentWindow != null
post	this.parentWindow == thisParentWindow
post	this.target == thisTarget

com.dmdirc.ui.input.InputHandler__static_init

Kind	Annotation Text

void configChanged(String, String)

Kind	Annotation Text
post	this.style == old this.style

void doBufferDown()

Kind	Annotation Text
pre	(soft) this.buffer != null
pre	(soft) this.listeners != null
pre	(soft) this.parentWindow != null
pre	init'ed(this.flags)
pre	this.target != null
presumption	com.dmdirc.ui.interfaces.InputField:getText(... )@363 != null
presumption	java.awt.Toolkit:getDefaultToolkit(...)@364 != null
unanalyzed	call on com.dmdirc.WritableFrameContainer:getNumLin es
unanalyzed	call on com.dmdirc.commandparser.CommandArguments
unanalyzed	call on com.dmdirc.commandparser.CommandArguments:g etCommandName
unanalyzed	call on com.dmdirc.commandparser.CommandArguments:i sCommand
unanalyzed	call on com.dmdirc.commandparser.CommandManager:get Command
unanalyzed	call on com.dmdirc.commandparser.commands. ValidatingCommand:instanceof
unanalyzed	call on com.dmdirc.commandparser.commands. ValidatingCommand:validateArguments
unanalyzed	call on com.dmdirc.commandparser.commands. WrappableCommand:getLineCount
unanalyzed	call on com.dmdirc.commandparser.commands. WrappableCommand:instanceof
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:getFailureReason
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
unanalyzed	call on com.dmdirc.ui.interfaces.InputField:getText
unanalyzed	call on com.dmdirc.ui.interfaces.InputValidationLis tener:illegalCommand
unanalyzed	call on com.dmdirc.ui.interfaces.InputValidationLis tener:legalCommand
unanalyzed	call on com.dmdirc.ui.interfaces.InputValidationLis tener:wrappedText
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCon tainer
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on com.dmdirc.util.RollingList:add
unanalyzed	call on com.dmdirc.util.RollingList:seekToEnd
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map$Entry:getValue
test_vector	com.dmdirc.util.RollingList:hasNext(...)@361: {0}, {1}
test_vector	java.lang.String:isEmpty(...)@363: {0}, {1}
test_vector	this.flags & 2: {0}, {1,2}

void doBufferUp()

Kind	Annotation Text
pre	(soft) this.buffer != null
pre	(soft) this.listeners != null
pre	(soft) this.parentWindow != null
pre	init'ed(this.flags)
pre	this.target != null
presumption	java.awt.Toolkit:getDefaultToolkit(...)@349 != null
unanalyzed	call on com.dmdirc.WritableFrameContainer:getNumLin es
unanalyzed	call on com.dmdirc.commandparser.CommandArguments
unanalyzed	call on com.dmdirc.commandparser.CommandArguments:g etCommandName
unanalyzed	call on com.dmdirc.commandparser.CommandArguments:i sCommand
unanalyzed	call on com.dmdirc.commandparser.CommandManager:get Command
unanalyzed	call on com.dmdirc.commandparser.commands. ValidatingCommand:instanceof
unanalyzed	call on com.dmdirc.commandparser.commands. ValidatingCommand:validateArguments
unanalyzed	call on com.dmdirc.commandparser.commands. WrappableCommand:getLineCount
unanalyzed	call on com.dmdirc.commandparser.commands. WrappableCommand:instanceof
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:getFailureReason
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
unanalyzed	call on com.dmdirc.ui.interfaces.InputField:getText
unanalyzed	call on com.dmdirc.ui.interfaces.InputValidationLis tener:illegalCommand
unanalyzed	call on com.dmdirc.ui.interfaces.InputValidationLis tener:legalCommand
unanalyzed	call on com.dmdirc.ui.interfaces.InputValidationLis tener:wrappedText
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCon tainer
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map$Entry:getValue
test_vector	com.dmdirc.util.RollingList:hasPrevious(...)@346: {0}, {1}
test_vector	this.flags & 2: {0}, {1,2}

void doCommandTabCompletion(String, int, int)

Kind	Annotation Text
pre	(soft) this.target != null
pre	text != null
pre	this.style != null
unanalyzed	call on com.dmdirc.commandparser.CommandManager:get Command
unanalyzed	call on com.dmdirc.commandparser.CommandManager:get CommandChar
unanalyzed	call on com.dmdirc.commandparser.commands. IntelligentCommand:getSuggestions
unanalyzed	call on com.dmdirc.commandparser.commands. IntelligentCommand:instanceof
unanalyzed	call on com.dmdirc.ui.input.tabstyles. TabCompletionResult:getPosition
unanalyzed	call on com.dmdirc.ui.input.tabstyles. TabCompletionResult:getText
unanalyzed	call on com.dmdirc.ui.input.tabstyles. TabCompletionStyle:getResult
unanalyzed	call on com.dmdirc.ui.interfaces.InputField:setCare tPosition
unanalyzed	call on com.dmdirc.ui.interfaces.InputField:setText
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.util.Arrays:asList
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:isEmpty
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.List:subList
unanalyzed	call on java.util.Map$Entry:getValue

void doNormalTabCompletion(String, int, int, AdditionalTabTargets)

Kind	Annotation Text
pre	(soft) this.target != null
pre	this.style != null
test_vector	com.dmdirc.ui.input.tabstyles.TabCompletionStyle:ge tResult(...)@449: Addr_Set{null}, Inverse{null}

void doTabCompletion()

Kind	Annotation Text
pre	(soft) init'ed(this.flags)
pre	(soft) this.style != null
pre	(soft) this.target != null
pre	init'ed(this.tabCompleter)
presumption	com.dmdirc.ui.interfaces.InputField:getCaretPositio n(...)@398 >= -2³¹+1
presumption	com.dmdirc.ui.interfaces.InputField:getText(... )@391 != null
unanalyzed	call on com.dmdirc.commandparser.CommandManager:get Command
unanalyzed	call on com.dmdirc.commandparser.CommandManager:get CommandChar
unanalyzed	call on com.dmdirc.commandparser.commands. IntelligentCommand:getSuggestions
unanalyzed	call on com.dmdirc.commandparser.commands. IntelligentCommand:instanceof
unanalyzed	call on com.dmdirc.ui.input.tabstyles. TabCompletionResult:getPosition
unanalyzed	call on com.dmdirc.ui.input.tabstyles. TabCompletionResult:getText
unanalyzed	call on com.dmdirc.ui.input.tabstyles. TabCompletionStyle:getResult
unanalyzed	call on com.dmdirc.ui.interfaces.InputField:setCare tPosition
unanalyzed	call on com.dmdirc.ui.interfaces.InputField:setText
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.util.Arrays:asList
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:isEmpty
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.List:subList
unanalyzed	call on java.util.Map$Entry:getValue
test_vector	java.lang.String:charAt(...)@403: {32}, {0..31, 33..2¹⁶-1}
test_vector	java.lang.String:charAt(...)@406: {0..31, 33..2¹⁶-1}, {32}
test_vector	java.lang.String:charAt(...)@411: {32}, {0..31, 33..2¹⁶-1}
test_vector	java.lang.String:isEmpty(...)@393: {0}, {1}
test_vector	this.flags & 2: {1,2}, {0}
test_vector	this.tabCompleter: Addr_Set{null}, Inverse{null}

void enterPressed(String)

Kind	Annotation Text
pre	(soft) this.buffer != null
pre	(soft) this.commandParser != null
pre	(soft) this.parentWindow != null
pre	line != null
pre	this.listeners != null
presumption	init'ed(com.dmdirc.actions.CoreActionType.CLIENT_ USER_INPUT)
unanalyzed	call on com.dmdirc.ui.interfaces.InputValidationLis tener:legalCommand
unanalyzed	call on com.dmdirc.ui.interfaces.InputValidationLis tener:wrappedText
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on com.dmdirc.util.RollingList:add
unanalyzed	call on com.dmdirc.util.RollingList:seekToEnd
unanalyzed	call on java.util.List:iterator
test_vector	java.lang.String:isEmpty(...)@464: {1}, {0}

void fireCommandFailure(String)

Kind	Annotation Text
pre	this.listeners != null
presumption	com.dmdirc.util.ListenerList:get(...)@250 != null
presumption	java.util.Iterator:next(...)@250 != null
test_vector	java.util.Iterator:hasNext(...)@250: {0}, {1}

void fireCommandPassed()

Kind	Annotation Text
pre	this.listeners != null
presumption	com.dmdirc.util.ListenerList:get(...)@259 != null
presumption	java.util.Iterator:next(...)@259 != null
test_vector	java.util.Iterator:hasNext(...)@259: {0}, {1}

void fireLineWrap(int)

Kind	Annotation Text
pre	this.listeners != null
presumption	com.dmdirc.util.ListenerList:get(...)@270 != null
presumption	java.util.Iterator:next(...)@270 != null
test_vector	java.util.Iterator:hasNext(...)@270: {0}, {1}

List getBackBuffer()

Kind	Annotation Text
pre	this.buffer != null
post	new ArrayList(getBackBuffer#1) num objects == 1
post	return_value == &new ArrayList(getBackBuffer#1)

void handleControlKey(String, int, bool)

Kind	Annotation Text
pre	(soft) init'ed(this.flags)
pre	(soft) line != null
pre	(soft) this.buffer != null
pre	(soft) this.commandParser != null
pre	(soft) this.target != null
unanalyzed	call on com.dmdirc.ui.interfaces.InputField:getCare tPosition
unanalyzed	call on com.dmdirc.ui.interfaces.InputField:getSele ctedText
unanalyzed	call on com.dmdirc.ui.interfaces.InputField:getSele ctionEnd
unanalyzed	call on com.dmdirc.ui.interfaces.InputField:getSele ctionStart
unanalyzed	call on com.dmdirc.ui.interfaces.InputField:getText
unanalyzed	call on com.dmdirc.ui.interfaces.InputField:setCare tPosition
unanalyzed	call on com.dmdirc.ui.interfaces.InputField:setText
unanalyzed	call on com.dmdirc.util.RollingList:add
unanalyzed	call on com.dmdirc.util.RollingList:seekToEnd
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:valueOf
test_vector	java.lang.String:isEmpty(...)@328: {1}, {0}
test_vector	keyCode: {10}, {66}, {70}, {73}, {75}, {79}, {85}, {-2³¹..9, 11..65, 67..69, 71,72, 74, 76..78, 80..84, 86..2³²-1}
test_vector	shiftPressed: {0}, {1}
test_vector	this.flags & 8: {0}, {1..8}

void handleKeyPressed(String, int, bool, bool)

Kind	Annotation Text
pre	(soft) init'ed(this.flags)
pre	(soft) line != null
pre	(soft) this.buffer != null
pre	(soft) this.commandParser != null
pre	(soft) this.listeners != null
pre	(soft) this.parentWindow != null
pre	this.target != null
unanalyzed	call on com.dmdirc.WritableFrameContainer:getNumLin es
unanalyzed	call on com.dmdirc.commandparser.CommandArguments
unanalyzed	call on com.dmdirc.commandparser.CommandArguments:g etCommandName
unanalyzed	call on com.dmdirc.commandparser.CommandArguments:i sCommand
unanalyzed	call on com.dmdirc.commandparser.CommandManager:get Command
unanalyzed	call on com.dmdirc.commandparser.commands. ValidatingCommand:instanceof
unanalyzed	call on com.dmdirc.commandparser.commands. ValidatingCommand:validateArguments
unanalyzed	call on com.dmdirc.commandparser.commands. WrappableCommand:getLineCount
unanalyzed	call on com.dmdirc.commandparser.commands. WrappableCommand:instanceof
unanalyzed	call on com.dmdirc.commandparser.parsers. CommandParser:parseCommandCtrl
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:getFailureReason
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
unanalyzed	call on com.dmdirc.ui.interfaces.InputField:getCare tPosition
unanalyzed	call on com.dmdirc.ui.interfaces.InputField:getSele ctedText
unanalyzed	call on com.dmdirc.ui.interfaces.InputField:getSele ctionEnd
unanalyzed	call on com.dmdirc.ui.interfaces.InputField:getSele ctionStart
unanalyzed	call on com.dmdirc.ui.interfaces.InputField:getText
unanalyzed	call on com.dmdirc.ui.interfaces.InputField:setCare tPosition
unanalyzed	call on com.dmdirc.ui.interfaces.InputField:setText
unanalyzed	call on com.dmdirc.ui.interfaces.InputField:showCol ourPicker
unanalyzed	call on com.dmdirc.ui.interfaces.InputValidationLis tener:illegalCommand
unanalyzed	call on com.dmdirc.ui.interfaces.InputValidationLis tener:legalCommand
unanalyzed	call on com.dmdirc.ui.interfaces.InputValidationLis tener:wrappedText
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCon tainer
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on com.dmdirc.util.RollingList:add
unanalyzed	call on com.dmdirc.util.RollingList:seekToEnd
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map$Entry:getValue
test_vector	ctrlPressed: {0}, {1}
test_vector	this.flags & 4: {0}, {1..4}

void setStyle()

Kind	Annotation Text
pre	(soft) com/dmdirc/plugins/GlobalClassLoader.me != null
pre	init'ed(com/dmdirc/plugins/PluginManager.me)
pre	init'ed(this.tabCompleter)
pre	this.parentWindow != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getConfigManag er(...)@175 != null
presumption	getPluginManager(...).services != null
presumption	getServiceProvider(...).exports@175 != null
post	com/dmdirc/plugins/PluginManager.me != null
post	com/dmdirc/plugins/PluginManager.me == One-of{old com/dmdirc/plugins/PluginManager.me, &new PluginManager(getPluginManager#1)}
post	init'ed(com/dmdirc/plugins/GlobalClassLoader.me)
post	init'ed(new GlobalClassLoader(getGlobalClassLoader# 1).resourcesList)
post	init'ed(this.style)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new GlobalClassLoader(getGlobalClassLoader#1) num objects == 0
post	new HashMap(GlobalClassLoader#1) num objects == 0
post	new HashMap(PluginManager#2) num objects <= 1
post	new Hashtable(PluginManager#1) num objects == new HashMap(PluginManager#2) num objects
post	new PluginClassLoader(getSubClassLoader#1) num objects == 0, if init'ed
post	new PluginClassLoader(getSubClassLoader#1) num objects == undefined
post	new PluginClassLoader(getSubClassLoader#1). pluginInfo == null
post	new PluginClassLoader(getSubClassLoader#1). pluginInfo == undefined
post	new PluginManager(getPluginManager#1) num objects == new HashMap(PluginManager#2) num objects
post	new PluginManager(getPluginManager#1).knownPlugins == &new Hashtable(PluginManager#1)
post	new PluginManager(getPluginManager#1).myDir == &java.lang.StringBuilder:toString(...)
post	new PluginManager(getPluginManager#1).services == &new HashMap(PluginManager#2)
unanalyzed	call on activateServices
unanalyzed	call on addError
unanalyzed	call on addPlugin
unanalyzed	call on checkRequirements
unanalyzed	call on com.dmdirc.Main:getConfigDir
unanalyzed	call on com.dmdirc.actions.ActionManager:addListene r
unanalyzed	call on com.dmdirc.actions.ActionManager:processEve nt
unanalyzed	call on com.dmdirc.plugins.GlobalClassLoader:define Class
unanalyzed	call on com.dmdirc.plugins.GlobalClassLoader:findLo adedClass
unanalyzed	call on com.dmdirc.plugins.PluginClassLoader:define Class
unanalyzed	call on com.dmdirc.plugins.PluginClassLoader:findLo adedClass
unanalyzed	call on com.dmdirc.plugins.PluginClassLoader:getPar ent
unanalyzed	call on com.dmdirc.plugins.PluginClassLoader:resolv eClass
unanalyzed	call on com.dmdirc.plugins.PluginException:getMessa ge
unanalyzed	call on com.dmdirc.plugins.PluginInfo
unanalyzed	call on com.dmdirc.updater.components. PluginComponent
unanalyzed	call on com.dmdirc.util.ConfigFile:getFlatDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isFlatDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceBytes
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceManager
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourcesStartingWith
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:resourceExists
unanalyzed	call on delPlugin
unanalyzed	call on delProvider
unanalyzed	call on getClassList
unanalyzed	call on getFullFilename
unanalyzed	call on getMainClass
unanalyzed	call on getName
unanalyzed	call on getPersistentClasses
unanalyzed	call on getPluginClassLoader
unanalyzed	call on getPluginInfoByName
unanalyzed	call on getPluginInfos
unanalyzed	call on getPluginManager
unanalyzed	call on getPluginObject
unanalyzed	call on getPossiblePluginInfos
unanalyzed	call on getResourceManager
unanalyzed	call on getService
unanalyzed	call on isActive
unanalyzed	call on isPersistent
unanalyzed	call on isUnloadable
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:exists
unanalyzed	call on java.io.File:getName
unanalyzed	call on java.io.File:getPath
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on java.io.File:isFile
unanalyzed	call on java.io.File:listFiles
unanalyzed	call on java.lang.Class:getDeclaredMethods
unanalyzed	call on java.lang.ClassLoader
unanalyzed	call on java.lang.ClassLoader:loadClass
unanalyzed	call on java.lang.ClassNotFoundException
unanalyzed	call on java.lang.Exception
unanalyzed	call on java.lang.Exception:getMessage
unanalyzed	call on java.lang.Exception:printStackTrace
unanalyzed	call on java.lang.NoClassDefFoundError:getMessage
unanalyzed	call on java.lang.RuntimeException
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:matches
unanalyzed	call on java.lang.String:replace
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Throwable:getMessage
unanalyzed	call on java.lang.reflect.Method:getName
unanalyzed	call on java.lang.reflect.Method:invoke
unanalyzed	call on java.net.MalformedURLException:getMessage
unanalyzed	call on java.net.URL
unanalyzed	call on java.net.URL:getPath
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.Hashtable
unanalyzed	call on java.util.LinkedList
unanalyzed	call on java.util.LinkedList:add
unanalyzed	call on java.util.LinkedList:isEmpty
unanalyzed	call on java.util.LinkedList:pop
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:clear
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:remove
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Timer
unanalyzed	call on java.util.Timer:schedule
unanalyzed	call on java.util.TimerTask
unanalyzed	call on loadClass
unanalyzed	call on loadPlugin
unanalyzed	call on loadRequired
unanalyzed	call on onLoad
unanalyzed	call on onUnload
unanalyzed	call on unloadPlugin
unanalyzed	call on updateProvides

void setTabCompleter(TabCompleter)

Kind	Annotation Text
post	init'ed(this.tabCompleter)
post	this.style == old this.style
post	this.tabCompleter == newTabCompleter

void setTypes(bool, bool, bool, bool)

Kind	Annotation Text
post	this.flags == One-of{8, 0} \| One-of{4, 0} \| One-of{1, 0} \| One-of{2, 0}
post	this.flags in {0..15}

void validateText()

Kind	Annotation Text
pre	(soft) this.listeners != null
pre	(soft) this.parentWindow != null
pre	this.target != null
presumption	com.dmdirc.commandparser.commands.ValidatingCommand :validateArguments(...)@223 != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getContainer(. ..)@239 != null
presumption	java.util.Map_Entry:getValue(...)@223 != null
presumption	java.util.Map_Entry:getValue(...)@234 != null
unanalyzed	call on com.dmdirc.ui.interfaces.InputValidationLis tener:illegalCommand
unanalyzed	call on com.dmdirc.ui.interfaces.InputValidationLis tener:legalCommand
unanalyzed	call on com.dmdirc.ui.interfaces.InputValidationLis tener:wrappedText
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:iterator
test_vector	com.dmdirc.commandparser.CommandArguments:isCommand (...)@218: {0}, {1}
test_vector	com.dmdirc.commandparser.CommandManager:getCommand( ...)@219: Addr_Set{null}, Inverse{null}
test_vector	com.dmdirc.config.prefs.validator.ValidationRespons e:isFailure(...)@226: {0}, {1}