Messages

method

com.dmdirc.ui.input.InputHandler__static_init

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

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

method not available - call not analyzed Info call on ConfigManager com.dmdirc.ui.interfaces. InputWindow:getConfigManager()

method not available - call not analyzed Info call on int com.dmdirc.config.ConfigManager:getOpti onInt(String, String)

method not available - call not analyzed Info call on void com.dmdirc.util.RollingList(int, Object)

call too complex - analysis skipped Info call on void setStyle()

method not available - call not analyzed Info call on ConfigManager com.dmdirc.ui.interfaces. InputWindow:getConfigManager()

method not available - call not analyzed Info call on void com.dmdirc.config.ConfigManager:addCha ngeListener(String, String, ConfigChangeListener)

method not available - call not analyzed Info call on void addUpHandler()

method not available - call not analyzed Info call on void addDownHandler()

method not available - call not analyzed Info call on void addTabHandler()

method not available - call not analyzed Info call on void addKeyHandler()

method not available - call not analyzed Info call on void addEnterHandler()

method	void setTypes(bool, bool, bool, bool)
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}

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

method not available - call not analyzed Info call on ConfigManager com.dmdirc.ui.interfaces. InputWindow:getConfigManager()

method not available - call not analyzed Info call on String com.dmdirc.config.ConfigManager:getO ption(String, String)

method	void setTabCompleter(TabCompleter)
post	this.style == old this.style
post	this.tabCompleter == newTabCompleter
post	init'ed(this.tabCompleter)

call too complex - analysis skipped Info call on void setStyle()

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

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. InputField:hideColourPicker()

method	void validateText()
pre	this.target != null
pre	(soft) this.listeners != null
pre	(soft) this.parentWindow != 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.util.ListenerList:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.ui.interfaces.InputValidationLis tener:wrappedText
unanalyzed	call on com.dmdirc.ui.interfaces.InputValidationLis tener:legalCommand
unanalyzed	call on com.dmdirc.ui.interfaces.InputValidationLis tener:illegalCommand
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}

method not available - call not analyzed Info call on String com.dmdirc.ui.interfaces. InputField:getText()

method not available - call not analyzed Info call on void com.dmdirc.commandparser. CommandArguments(String)

method not available - call not analyzed Info call on bool com.dmdirc.commandparser. CommandArguments:isCommand()

method not available - call not analyzed Info call on String com.dmdirc.commandparser. CommandArguments:getCommandName()

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 ValidationResponse com.dmdirc. commandparser.commands.ValidatingCommand:validateAr guments(InputWindow, CommandArguments)

method not available - call not analyzed Info call on bool com.dmdirc.config.prefs.validator. ValidationResponse:isFailure()

method not available - call not analyzed Info call on String com.dmdirc.config.prefs.validator. ValidationResponse:getFailureReason()

method not available - call not analyzed Info call on int com.dmdirc.commandparser.commands. WrappableCommand:getLineCount(InputWindow, CommandArguments)

method not available - call not analyzed Info call on WritableFrameContainer com.dmdirc.ui. interfaces.InputWindow:getContainer()

method not available - call not analyzed Info call on int com.dmdirc.WritableFrameContainer:getNu mLines(String)

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

method not available - call not analyzed Info call on List com.dmdirc.util.ListenerList:get(Class )

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. InputValidationListener:illegalCommand(String)

method	void fireCommandPassed()
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}

method not available - call not analyzed Info call on List com.dmdirc.util.ListenerList:get(Class )

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. InputValidationListener:legalCommand()

method	void fireLineWrap(int)
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}

method not available - call not analyzed Info call on List com.dmdirc.util.ListenerList:get(Class )

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. InputValidationListener:wrappedText(int)

method	void addValidationListener(InputValidationListener )
pre	this.listeners != null

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

method	void handleControlKey(String, int, bool)
pre	(soft) line != null
pre	(soft) this.buffer != null
pre	(soft) this.commandParser != null
pre	(soft) init'ed(this.flags)
pre	(soft) this.target != null
unanalyzed	call on com.dmdirc.ui.interfaces.InputField:setText
unanalyzed	call on com.dmdirc.ui.interfaces.InputField:setCare tPosition
unanalyzed	call on java.lang.String:valueOf
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 java.lang.String:substring
unanalyzed	call on com.dmdirc.ui.interfaces.InputField:getSele ctedText
unanalyzed	call on java.lang.String:length
unanalyzed	call on com.dmdirc.ui.interfaces.InputField:getCare tPosition
unanalyzed	call on com.dmdirc.util.RollingList:add
unanalyzed	call on com.dmdirc.util.RollingList:seekToEnd
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}
test_vector	java.lang.String:isEmpty(...)@328: {1}, {0}

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. InputField:showColourPicker(bool, bool)

method not available - call not analyzed Info call on void com.dmdirc.commandparser.parsers. CommandParser:parseCommandCtrl(InputWindow, String)

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

method not available - call not analyzed Info call on bool com.dmdirc.util.RollingList:hasPreviou s()

method not available - call not analyzed Info call on Object com.dmdirc.util.RollingList:getPrevi ous()

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. InputField:setText(String)

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

method not available - call not analyzed Info call on bool com.dmdirc.util.RollingList:hasNext()

method not available - call not analyzed Info call on Object com.dmdirc.util.RollingList:getNext( )

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. InputField:setText(String)

method not available - call not analyzed Info call on String com.dmdirc.ui.interfaces. InputField:getText()

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. InputField:setText(String)

method	List getBackBuffer()
pre	this.buffer != null
post	return_value == &new ArrayList(getBackBuffer#1)
post	new ArrayList(getBackBuffer#1) num objects == 1

method not available - call not analyzed Info call on List com.dmdirc.util.RollingList:getList()

method	void doTabCompletion()
pre	init'ed(this.tabCompleter)
pre	(soft) init'ed(this.flags)
pre	(soft) this.style != null
pre	(soft) this.target != null
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.ui.input.tabstyles. TabCompletionStyle:getResult
unanalyzed	call on com.dmdirc.ui.input.tabstyles. TabCompletionResult:getText
unanalyzed	call on com.dmdirc.ui.interfaces.InputField:setText
unanalyzed	call on com.dmdirc.ui.input.tabstyles. TabCompletionResult:getPosition
unanalyzed	call on com.dmdirc.ui.interfaces.InputField:setCare tPosition
unanalyzed	call on java.lang.String:substring
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 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.lang.String:split
unanalyzed	call on java.util.Arrays:asList
test_vector	this.flags & 2: {1,2}, {0}
test_vector	this.tabCompleter: Addr_Set{null}, Inverse{null}
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}

method not available - call not analyzed Info call on String com.dmdirc.ui.interfaces. InputField:getText()

method not available - call not analyzed Info call on int com.dmdirc.ui.interfaces. InputField:getCaretPosition()

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

method	void doCommandTabCompletion(String, int, int)
pre	text != null
pre	this.style != null
pre	(soft) this.target != null
unanalyzed	call on com.dmdirc.ui.input.tabstyles. TabCompletionStyle:getResult
unanalyzed	call on com.dmdirc.ui.input.tabstyles. TabCompletionResult:getText
unanalyzed	call on com.dmdirc.ui.interfaces.InputField:setText
unanalyzed	call on com.dmdirc.ui.input.tabstyles. TabCompletionResult:getPosition
unanalyzed	call on com.dmdirc.ui.interfaces.InputField:setCare tPosition
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.lang.String:split
unanalyzed	call on java.util.Arrays:asList

method	void doNormalTabCompletion(String, int, int, AdditionalTabTargets)
pre	this.style != null
pre	(soft) this.target != null
test_vector	com.dmdirc.ui.input.tabstyles.TabCompletionStyle:ge tResult(...)@449: Addr_Set{null}, Inverse{null}

method not available - call not analyzed Info call on TabCompletionResult com.dmdirc.ui.input. tabstyles.TabCompletionStyle:getResult(String, int, int, AdditionalTabTargets)

method not available - call not analyzed Info call on String com.dmdirc.ui.input.tabstyles. TabCompletionResult:getText()

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. InputField:setText(String)

method not available - call not analyzed Info call on int com.dmdirc.ui.input.tabstyles. TabCompletionResult:getPosition()

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. InputField:setCaretPosition(int)

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

method not available - call not analyzed Info call on WritableFrameContainer com.dmdirc.ui. interfaces.InputWindow:getContainer()

method not available - call not analyzed Info call on void com.dmdirc.actions.ActionManager:proce ssEvent(ActionType, StringBuffer, Object[])

method not available - call not analyzed Info call on void com.dmdirc.commandparser.parsers. CommandParser:parseCommand(InputWindow, String)

method	void addControlCode(int, int)
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}

method not available - call not analyzed Info call on int com.dmdirc.ui.interfaces. InputField:getSelectionEnd()

method not available - call not analyzed Info call on int com.dmdirc.ui.interfaces. InputField:getSelectionStart()

method not available - call not analyzed Info call on String com.dmdirc.ui.interfaces. InputField:getText()

method not available - call not analyzed Info call on String com.dmdirc.ui.interfaces. InputField:getSelectedText()

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. InputField:setText(String)

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. InputField:setCaretPosition(int)

method not available - call not analyzed Info call on int com.dmdirc.ui.interfaces. InputField:getCaretPosition()

method not available - call not analyzed Info call on String com.dmdirc.ui.interfaces. InputField:getText()

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. InputField:setText(String)

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. InputField:setCaretPosition(int)

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

method	void addToBuffer(String)
pre	this.buffer != null

method not available - call not analyzed Info call on bool com.dmdirc.util.RollingList:add(Object )

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

method	void configChanged(String, String)
post	this.style == old this.style

call too complex - analysis skipped Info call on void setStyle()

method not available - call not analyzed	Info	call on ConfigManager com.dmdirc.ui.interfaces. InputWindow:getConfigManager()
method not available - call not analyzed	Info	call on int com.dmdirc.config.ConfigManager:getOpti onInt(String, String)
method not available - call not analyzed	Info	call on void com.dmdirc.util.RollingList(int, Object)

	method not available - call not analyzed	Info	call on String com.dmdirc.commandparser. CommandArguments:getCommandName()
	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 WritableFrameContainer com.dmdirc.ui. interfaces.InputWindow:getContainer()
	method not available - call not analyzed	Info	call on int com.dmdirc.WritableFrameContainer:getNu mLines(String)

	method not available - call not analyzed	Info	call on Object com.dmdirc.util.RollingList:getPrevi ous()
	method not available - call not analyzed	Info	call on void com.dmdirc.ui.interfaces. InputField:setText(String)

	method not available - call not analyzed	Info	call on String com.dmdirc.ui.input.tabstyles. TabCompletionResult:getText()
	method not available - call not analyzed	Info	call on void com.dmdirc.ui.interfaces. InputField:setText(String)

	method not available - call not analyzed	Info	call on int com.dmdirc.ui.input.tabstyles. TabCompletionResult:getPosition()
	method not available - call not analyzed	Info	call on void com.dmdirc.ui.interfaces. InputField:setCaretPosition(int)