Debug.java

Debug.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void com.dmdirc.commandparser.commands.global.Debug$ValueComparator()

Kind	Annotation Text

com.dmdirc.commandparser.commands.global.Debug$ValueComparator__static_init

Kind	Annotation Text

void com.dmdirc.commandparser.commands.global.Debug()

Kind	Annotation Text
pre	init'ed(com/dmdirc/commandparser/CommandManager. commandChar)
unanalyzed	call on com.dmdirc.Channel:getTabCompleter
unanalyzed	call on com.dmdirc.Query:getTabCompleter
unanalyzed	call on com.dmdirc.Server:getChannel
unanalyzed	call on com.dmdirc.Server:getChannels
unanalyzed	call on com.dmdirc.Server:getQueries
unanalyzed	call on com.dmdirc.Server:getTabCompleter
unanalyzed	call on com.dmdirc.ServerManager:getServerManager
unanalyzed	call on com.dmdirc.ServerManager:getServers
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:addEntry
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:removeEntr y
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on getName
unanalyzed	call on getType
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:remove

com.dmdirc.commandparser.commands.global.Debug__static_init

Kind	Annotation Text

int compare(Object, Object)

Kind	Annotation Text
pre	x0 != null
pre	x1 != null
post	init'ed(return_value)
unanalyzed	call on java.lang.Integer:compareTo
unanalyzed	call on java.lang.String:compareToIgnoreCase
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue

int compare(Map$Entry, Map$Entry)

Kind	Annotation Text
pre	o1 != null
pre	o2 != null
presumption	java.lang.Integer:compareTo(...)@431 <= 2³¹
presumption	java.util.Map_Entry:getKey(...)@434 != null
presumption	java.util.Map_Entry:getValue(...)@431 != null
post	init'ed(return_value)
test_vector	java.lang.Integer:compareTo(...)@431: {-2³¹..-1, 1..2³¹}, {0}

void doBenchmark(InputWindow)

Kind	Annotation Text
pre	(soft) origin != null
presumption	java.lang.System:nanoTime(...)@319 - java.lang.System:nanoTime(...)@313 in {-2⁶³..18_446_744_073_709_55 1_615}

void doColourSpam(InputWindow, bool)

Kind	Annotation Text
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e

void doConfigInfo(InputWindow, bool)

Kind	Annotation Text
pre	origin != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getConfigManag er(...)@219 != null
presumption	java.util.Iterator:next(...)@219 != null
presumption	source.myTarget@219 != null
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e
unanalyzed	call on java.util.ArrayList
test_vector	java.util.Iterator:hasNext(...)@219: {0}, {1}

void doConfigStats(InputWindow, bool)

Kind	Annotation Text
presumption	java.util.Iterator:next(...)@164 != null
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e
test_vector	java.util.Iterator:hasNext(...)@164: {0}, {1}

void doError(String[])

Kind	Annotation Text
pre	(soft) args[1] != null
pre	(soft) args[2] != null
pre	args != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.FATAL)
presumption	init'ed(com.dmdirc.logger.ErrorLevel.HIGH)
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
presumption	init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
presumption	init'ed(com.dmdirc.logger.ErrorLevel.UNKNOWN)
test_vector	args.length: {0,1}, {3..+Inf}
test_vector	java.lang.String:equals(...)@121: {0}, {1}
test_vector	java.lang.String:equals(...)@123: {0}, {1}
test_vector	java.lang.String:equals(...)@125: {0}, {1}
test_vector	java.lang.String:equals(...)@127: {0}, {1}
test_vector	java.lang.String:equals(...)@132: {0}, {1}

void doForceUpdate()

Kind	Annotation Text

void doGarbage(InputWindow, bool)

Kind	Annotation Text
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e

void doGlobalConfigInfo(InputWindow, bool)

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
presumption	java.util.Iterator:next(...)@232 != null
presumption	source.myTarget@232 != null
post	com/dmdirc/config/IdentityManager.globalconfig != null
post	com/dmdirc/config/IdentityManager.globalconfig == One-of{old com/dmdirc/config/IdentityManager. globalconfig, &new ConfigManager(getGlobalConfi g#1)}
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(getGlobalConfig#1) num objects == new ArrayList(getSources#1) num objects
post	new ConfigManager(getGlobalConfig#1).channel == &java.lang.StringBuilder:toString(...)
post	new ConfigManager(getGlobalConfig#1).ircd == &""
post	new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1)
post	new ConfigManager(getGlobalConfig#1).network == &""
post	new ConfigManager(getGlobalConfig#1).server == &""
post	new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#1)
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
unanalyzed	call on addConfigManager
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on getSources
unanalyzed	call on getTarget
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:iterator
test_vector	java.util.Iterator:hasNext(...)@232: {0}, {1}

void doMemInfo(InputWindow, bool)

Kind	Annotation Text
presumption	java.lang.Runtime:freeMemory(...)@181 - java.lang.Runtime:totalMemory(...)@181 in {-2⁶⁴+1..9_223_372_036_854_77 5_808}
presumption	java.lang.Runtime:getRuntime(...)@177 != null
presumption	java.lang.Runtime:getRuntime(...)@179 != null
presumption	java.lang.Runtime:getRuntime(...)@181 != null
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e

void doServerInfo(InputWindow, bool)

Kind	Annotation Text
pre	origin != null
presumption	com.dmdirc.Server:getParser(...)@290 != null
presumption	com.dmdirc.Server:getParser(...)@293 != null
presumption	com.dmdirc.Server:getParser(...)@296 != null
presumption	com.dmdirc.WritableFrameContainer:getServer(... )@288 != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getContainer(. ..)@285 != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getContainer(. ..)@288 != null
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e
test_vector	com.dmdirc.WritableFrameContainer:getServer(... )@285: Inverse{null}, Addr_Set{null}

void doServerState(InputWindow, bool)

Kind	Annotation Text
pre	origin != null
presumption	com.dmdirc.Server:getStatus(...)@274 != null
presumption	com.dmdirc.WritableFrameContainer:getServer(... )@273 != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getContainer(. ..)@270 != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getContainer(. ..)@273 != null
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e
test_vector	com.dmdirc.WritableFrameContainer:getServer(... )@270: Inverse{null}, Addr_Set{null}

void doServices(InputWindow, bool, String[])

Kind	Annotation Text
pre	(soft) args != null
pre	(soft) args[1] != null
presumption	com.dmdirc.plugins.PluginManager:getAllServices(... )@340 != null
presumption	com.dmdirc.plugins.PluginManager:getPluginManager(. ..)@340 != null
presumption	com.dmdirc.plugins.Service:getProviders(...)@343 != null
presumption	java.util.Iterator:next(...)@340 != null
presumption	java.util.Iterator:next(...)@343 != null
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e
test_vector	args.length: {0,1}, {2..+Inf}
test_vector	java.lang.String:equals(...)@342: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@340: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@343: {0}, {1}

void doShowRaw(InputWindow, bool)

Kind	Annotation Text
presumption	com.dmdirc.WritableFrameContainer:getServer(... )@150 != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getContainer(. ..)@146 != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getContainer(. ..)@150 != null
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e
test_vector	com.dmdirc.WritableFrameContainer:getServer(... )@146: Inverse{null}, Addr_Set{null}
test_vector	com.dmdirc.ui.interfaces.InputWindow:getContainer(. ..)@146: Addr_Set{null}, Inverse{null}
test_vector	origin: Addr_Set{null}, Inverse{null}

void doThreads(InputWindow, bool)

Kind	Annotation Text
presumption	arr$.length@256 <= 2³²-1
presumption	arr$[i$]@256 != null
presumption	java.lang.Thread:getAllStackTraces(...)@252 != null
presumption	java.util.Iterator:next(...)@252 != null
presumption	java.util.Map:entrySet(...)@252 != null
presumption	java.util.Map_Entry:getKey(...)@253 != null
presumption	java.util.Map_Entry:getValue(...)@256 != null
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e
test_vector	java.util.Iterator:hasNext(...)@252: {0}, {1}

void execute(InputWindow, bool, CommandArguments)

Kind	Annotation Text
pre	(soft) args.line != null
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	(soft) init'ed(com/dmdirc/commandparser/CommandMana ger.commandChar)
pre	(soft) init'ed(com/dmdirc/config/IdentityManager. globalconfig)
pre	(soft) origin != null
pre	args != null
pre	init'ed(args.words)
presumption	com.dmdirc.Main:getUI(...)@100 != null
presumption	com.dmdirc.Main:getUI(...)@102 != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getContainer(. ..)@104 != null
presumption	getArguments(...).length@101 >= 1
presumption	getArguments(...).length@103 >= 1
presumption	getArguments(...).length@71 >= 1
presumption	getArguments(...).length@73 >= 1
presumption	getArguments(...).length@75 >= 1
presumption	getArguments(...).length@77 >= 1
presumption	getArguments(...).length@79 >= 1
presumption	getArguments(...).length@81 >= 1
presumption	getArguments(...).length@83 >= 1
presumption	getArguments(...).length@85 >= 1
presumption	getArguments(...).length@87 >= 1
presumption	getArguments(...).length@89 >= 1
presumption	getArguments(...).length@91 >= 1
presumption	getArguments(...).length@93 >= 1
presumption	getArguments(...).length@95 >= 1
presumption	getArguments(...).length@97 >= 1
presumption	getArguments(...).length@99 >= 1
presumption	getArguments(...)[1]@72 != null
presumption	getArguments(...)[1]@98 != null
presumption	getArguments(...)[2]@72 != null
presumption	java.util.Arrays:copyOfRange(...)@99 != null
post	args.words != null
post	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
post	init'ed(java.lang.String:split(...)._tainted)
post	init'ed(java.lang.String:split(...).length)
post	init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	init'ed(new ConfigManager(getGlobalConfig#1).ircd)
post	init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	init'ed(new ConfigManager(getGlobalConfig#1). network)
post	init'ed(new ConfigManager(getGlobalConfig#1). server)
post	init'ed(new ConfigManager(getGlobalConfig#1). sources)
post	java.lang.String:split(...)._tainted == 0
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(getGlobalConfig#1) num objects <= 1
post	new MapList(ConfigManager#1) num objects <= 1
unanalyzed	call on addConfigManager
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.Server:addRaw
unanalyzed	call on com.dmdirc.Server:getName
unanalyzed	call on com.dmdirc.Server:getNetwork
unanalyzed	call on com.dmdirc.Server:getParser
unanalyzed	call on com.dmdirc.Server:getStatus
unanalyzed	call on com.dmdirc.ServerStatus:getTransitionHistor y
unanalyzed	call on com.dmdirc.WritableFrameContainer:getServer
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getBoolChan Modes
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getIRCD
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getListChan Modes
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getServerNa me
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getSetOnlyC hanModes
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getSetUnset ChanModes
unanalyzed	call on com.dmdirc.plugins.PluginManager:getAllServ ices
unanalyzed	call on com.dmdirc.plugins.PluginManager:getPluginM anager
unanalyzed	call on com.dmdirc.plugins.Service:getProviders
unanalyzed	call on com.dmdirc.plugins.Service:toString
unanalyzed	call on com.dmdirc.plugins.ServiceProvider:getProvi derName
unanalyzed	call on com.dmdirc.plugins.ServiceProvider:isActive
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCon figManager
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCon tainer
unanalyzed	call on com.dmdirc.updater.UpdateChecker
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on getCommandChar
unanalyzed	call on getSources
unanalyzed	call on getTarget
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.lang.Exception
unanalyzed	call on java.lang.Runtime:freeMemory
unanalyzed	call on java.lang.Runtime:getRuntime
unanalyzed	call on java.lang.Runtime:totalMemory
unanalyzed	call on java.lang.StackTraceElement:toString
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.System:gc
unanalyzed	call on java.lang.System:nanoTime
unanalyzed	call on java.lang.Thread
unanalyzed	call on java.lang.Thread:getAllStackTraces
unanalyzed	call on java.lang.Thread:getName
unanalyzed	call on java.lang.Thread:start
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Arrays:copyOfRange
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.TreeSet
unanalyzed	call on java.util.TreeSet:addAll
unanalyzed	call on java.util.TreeSet:iterator
unanalyzed	call on sendLine
test_vector	getArguments(...).length@69: {1..+Inf}, {0}
test_vector	java.lang.String:equals(...)@101: {0}, {1}
test_vector	java.lang.String:equals(...)@103: {0}, {1}
test_vector	java.lang.String:equals(...)@71: {0}, {1}
test_vector	java.lang.String:equals(...)@73: {0}, {1}
test_vector	java.lang.String:equals(...)@75: {0}, {1}
test_vector	java.lang.String:equals(...)@77: {0}, {1}
test_vector	java.lang.String:equals(...)@79: {0}, {1}
test_vector	java.lang.String:equals(...)@81: {0}, {1}
test_vector	java.lang.String:equals(...)@83: {0}, {1}
test_vector	java.lang.String:equals(...)@85: {0}, {1}
test_vector	java.lang.String:equals(...)@87: {0}, {1}
test_vector	java.lang.String:equals(...)@89: {0}, {1}
test_vector	java.lang.String:equals(...)@91: {0}, {1}
test_vector	java.lang.String:equals(...)@93: {0}, {1}
test_vector	java.lang.String:equals(...)@95: {0}, {1}
test_vector	java.lang.String:equals(...)@97: {0}, {1}
test_vector	java.lang.String:equals(...)@99: {0}, {1}

String getHelp()

Kind	Annotation Text
post	return_value == null

String getName()

Kind	Annotation Text
post	return_value == &"debug"

AdditionalTabTargets getSuggestions(int, List)

Kind	Annotation Text
pre	(soft) previousArgs != null
post	new AdditionalTabTargets(getSuggestions#1) num objects == 1
post	return_value == &new AdditionalTabTargets(getSu ggestions#1)
test_vector	arg: {2}, {0}, {1}
test_vector	java.lang.String:equals(...)@395: {0}, {1}
test_vector	java.lang.String:equals(...)@398: {0}, {1}
test_vector	java.lang.String:equals(...)@400: {0}, {1}

bool showInHelp()

Kind	Annotation Text
post	return_value == 0