Set.java

Set.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.Set()

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.Set__static_init

Kind	Annotation Text

void doAppendOption(InputWindow, bool, Identity, ConfigManager, String, String, String)

Kind	Annotation Text
pre	(soft) identity.listeners != null
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	(soft) init'ed(identity.globalConfig)
pre	(soft) manager.sources != null
pre	identity != null
pre	identity.file != null
pre	identity.myTarget != null
pre	init'ed(identity.myTarget.type)
pre	manager != null
post	identity.globalConfig == One-of{old identity.globalConfig, &new ConfigManager(setO ption#2)}
post	init'ed(identity.globalConfig)
post	init'ed(new ConfigManager(setOption#2).channel)
post	init'ed(new ConfigManager(setOption#2).ircd)
post	init'ed(new ConfigManager(setOption#2).listeners)
post	init'ed(new ConfigManager(setOption#2).network)
post	init'ed(new ConfigManager(setOption#2).server)
post	init'ed(new ConfigManager(setOption#2).sources)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(setOption#2) num objects == new ArrayList(getSources#1) num objects
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
post	possibly_updated(identity.needSave)
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.interfaces.ConfigChangeListener: configChanged
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomains
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on equals
unanalyzed	call on getDomains
unanalyzed	call on getOption
unanalyzed	call on getOptions
unanalyzed	call on getSources
unanalyzed	call on getTarget
unanalyzed	call on hasOption
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
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.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:addAll
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:keySet
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:remove
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.logging.Logger:finer
unanalyzed	call on removeListener
unanalyzed	call on sendLine

void doDomainList(InputWindow, bool, ConfigManager)

Kind	Annotation Text
pre	init'ed(com/dmdirc/commandparser/CommandManager. commandChar)
pre	manager != null
pre	manager.sources != null
presumption	java.lang.StringBuffer:length(...)@117 >= -2³¹+2
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomains
unanalyzed	call on getDomains
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on java.util.Set:addAll
test_vector	java.util.Iterator:hasNext(...)@112: {0}, {1}

void doOptionsList(InputWindow, bool, ConfigManager, String)

Kind	Annotation Text
pre	manager != null
pre	manager.sources != null
presumption	java.lang.StringBuffer:length(...)@145 >= -2³¹+2
presumption	java.util.Map:keySet(...)@138 != null
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on getOptions
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.Map:putAll
test_vector	java.util.Iterator:hasNext(...)@138: {0}, {1}

void doSetOption(InputWindow, bool, Identity, String, String, String)

Kind	Annotation Text
pre	(soft) identity.listeners != null
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	(soft) init'ed(identity.globalConfig)
pre	identity != null
pre	identity.file != null
pre	identity.myTarget != null
pre	init'ed(identity.myTarget.type)
post	identity.globalConfig == One-of{old identity.globalConfig, &new ConfigManager(setO ption#2)}
post	init'ed(identity.globalConfig)
post	init'ed(new ConfigManager(setOption#2).channel)
post	init'ed(new ConfigManager(setOption#2).ircd)
post	init'ed(new ConfigManager(setOption#2).listeners)
post	init'ed(new ConfigManager(setOption#2).network)
post	init'ed(new ConfigManager(setOption#2).server)
post	init'ed(new ConfigManager(setOption#2).sources)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(setOption#2) num objects == new ArrayList(getSources#1) num objects
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
post	possibly_updated(identity.needSave)
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.interfaces.ConfigChangeListener: configChanged
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomains
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on equals
unanalyzed	call on getDomains
unanalyzed	call on getOption
unanalyzed	call on getOptions
unanalyzed	call on getSources
unanalyzed	call on getTarget
unanalyzed	call on hasOption
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.String:equals
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.ArrayList:iterator
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:addAll
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:keySet
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:remove
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.logging.Logger:finer
unanalyzed	call on removeListener

void doShowOption(InputWindow, bool, ConfigManager, String, String)

Kind	Annotation Text
pre	(soft) manager.sources != null
pre	manager != null
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on getOption
unanalyzed	call on hasOption
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put

void doUnsetOption(InputWindow, bool, Identity, String, String)

Kind	Annotation Text
pre	identity != null
pre	identity.file != null
post	identity.needSave == 1
unanalyzed	call on com.dmdirc.interfaces.ConfigChangeListener: configChanged
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on java.util.Map:remove

void execute(InputWindow, bool, CommandArguments)

Kind	Annotation Text
pre	(soft) args.line != null
pre	(soft) com/dmdirc/config/IdentityManager.config != null
pre	(soft) com/dmdirc/config/IdentityManager.config. file != null
pre	(soft) com/dmdirc/config/IdentityManager.config. listeners != null
pre	(soft) com/dmdirc/config/IdentityManager.config. myTarget != 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. config.globalConfig)
pre	(soft) init'ed(com/dmdirc/config/IdentityManager. config.myTarget.type)
pre	args != null
pre	init'ed(args.words)
pre	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
presumption	com.dmdirc.Server:getConfigManager(...)@67 != null
presumption	com.dmdirc.Server:getServerIdentity(...)@66 != null
presumption	com.dmdirc.WritableFrameContainer:getServer(... )@66 != null
presumption	com.dmdirc.WritableFrameContainer:getServer(... )@67 != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getContainer(. ..)@62 != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getContainer(. ..)@66 != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getContainer(. ..)@67 != null
presumption	getArguments(...).length@62 >= 1
presumption	getArguments(...).length@75 >= 1
presumption	getArguments(...).length@78 >= 1
presumption	getArguments(...).length@78 >= 2
presumption	getArguments(...).length@82 >= 1
presumption	getArguments(...).length@83 >= 2
presumption	getArguments(...).length@83 >= 3
presumption	getArguments(...).length@85 >= 1
presumption	getArguments(...).length@87 >= 2
presumption	getArguments(...).length@87 >= 3
presumption	getArguments(...).length@91 >= 1
presumption	getArguments(...).length@91 >= 2
presumption	getArguments(...)[i]@82 != null
presumption	getArguments(...)[i]@85 != null
presumption	i < getArguments(...).length@75
presumption	i < getArguments(...).length@78
presumption	i < getArguments(...).length@82
presumption	i < getArguments(...).length@85
presumption	i < getArguments(...).length@91
presumption	i <= getArguments(...).length@78 - 2
presumption	i <= getArguments(...).length@83 - 2
presumption	i <= getArguments(...).length@83 - 3
presumption	i <= getArguments(...).length@87 - 2
presumption	i <= getArguments(...).length@87 - 3
presumption	i <= getArguments(...).length@91 - 2
presumption	identity.file@67 != null
presumption	identity.listeners@66 != null
presumption	identity.myTarget@66 != null
presumption	java.util.Arrays:copyOfRange(...)@99 != null
presumption	manager.sources != null
post	args.words != 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	init'ed(com/dmdirc/config/IdentityManager.config. globalConfig)
post	init'ed(java.lang.String:split(...)._tainted)
post	init'ed(java.lang.String:split(...).length)
post	init'ed(new ConfigManager(getGlobalConfig#1).file)
post	init'ed(new ConfigManager(setOption#2).channel)
post	init'ed(new ConfigManager(setOption#2).ircd)
post	init'ed(new ConfigManager(setOption#2).listeners)
post	init'ed(new ConfigManager(setOption#2).network)
post	init'ed(new ConfigManager(setOption#2).server)
post	init'ed(new ConfigManager(setOption#2).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 == 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 ConfigManager(setOption#2) num objects <= 1
post	new MapList(ConfigManager#1) num objects <= 1
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
post	possibly_updated(com/dmdirc/config/IdentityManager. config.needSave)
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.interfaces.ConfigChangeListener: configChanged
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomains
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on equals
unanalyzed	call on getCommandChar
unanalyzed	call on getDomains
unanalyzed	call on getOption
unanalyzed	call on getOptions
unanalyzed	call on getSources
unanalyzed	call on getTarget
unanalyzed	call on hasOption
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
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:split
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on java.util.Arrays:copyOfRange
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:addAll
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:putAll
unanalyzed	call on java.util.Map:remove
unanalyzed	call on java.util.Set:addAll
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.logging.Logger:finer
unanalyzed	call on java.util.regex.Matcher:group
unanalyzed	call on java.util.regex.Matcher:matches
unanalyzed	call on java.util.regex.Pattern:compile
unanalyzed	call on java.util.regex.Pattern:matcher
unanalyzed	call on removeListener
unanalyzed	call on sendLine
test_vector	com.dmdirc.WritableFrameContainer:getServer(... )@62: Addr_Set{null}, Inverse{null}
test_vector	getArguments(...).length@62: {0}, {1..+Inf}
test_vector	getArguments(...).length@70: {0}, {2}
test_vector	java.lang.String:equalsIgnoreCase(...)@62: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@82: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@85: {0}, {1}
test_vector	origin: Addr_Set{null}, Inverse{null}

String getHelp()

Kind	Annotation Text
post	return_value == &"set [--server] [domain [option [newvalue]]] - inspect or change config ... set [--server] --unset <domain> <option> - unsets the specified option"

String getName()

Kind	Annotation Text
post	return_value == &"set"

AdditionalTabTargets getSuggestions(int, List)

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	(soft) init'ed(com/dmdirc/config/IdentityManager. globalconfig)
pre	(soft) previousArgs != null
presumption	getGlobalConfig(...).sources != null
presumption	java.util.List:get(...)@259 != null
presumption	java.util.List:get(...)@267 != null
post	com/dmdirc/config/IdentityManager.globalconfig == One-of{old com/dmdirc/config/IdentityManager. globalconfig, &new ConfigManager(getGlobalConfi g#1)}
post	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
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.StringBuilder:toString(...)._tainted == 0
post	new AdditionalTabTargets(getSuggestions#1) num objects == 1
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(getGlobalConfig#1) num objects <= 1
post	new MapList(ConfigManager#1) num objects <= 1
post	return_value == &new AdditionalTabTargets(getSu ggestions#1)
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.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomains
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on getDomains
unanalyzed	call on getOptions
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.HashMap
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on java.util.Map:putAll
unanalyzed	call on java.util.Set:addAll
test_vector	arg: {2}, {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@259: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@259: {1}, {0}
test_vector	java.lang.String:equalsIgnoreCase(...)@267: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@267: {1}, {0}
test_vector	java.util.List:size(...)@258: {-2³¹..0}, {1..2³²-1}

bool showInHelp()

Kind	Annotation Text
post	return_value == 1