CommandLineParser.java

CommandLineParser.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void applySettings()

Kind	Annotation Text
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/config/IdentityManager. config.globalConfig)
pre	(soft) init'ed(com/dmdirc/config/IdentityManager. config.myTarget.type)
pre	init'ed(this.disablereporting)
pre	this.launcherVersion != null
post	com/dmdirc/config/IdentityManager.config. globalConfig == One-of{old com/dmdirc/config/Identi tyManager.config.globalConfig, &new ConfigManager(setOption#2*)}
post	init'ed(com/dmdirc/config/IdentityManager.config. 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 <= 1
post	new MapList(ConfigManager#1) num objects <= 1
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.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:valueOf
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 setOption
test_vector	java.lang.String:isEmpty(...)@357: {1}, {0}
test_vector	this.disablereporting: {0}, {1}

bool checkArgument(char)

Kind	Annotation Text
pre	(soft) ARGUMENTS[...] != null
pre	(soft) ARGUMENTS[...].length >= 4
pre	(soft) ARGUMENTS[...][3] != null
pre	(soft) init'ed(ARGUMENTS[...][0])
pre	(soft) init'ed(ARGUMENTS[...][1])
pre	(soft) init'ed(ARGUMENTS[...][2])
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) this.addresses != null
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	init'ed(return_value)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects == 0
post	new ConfigManager(getGlobalConfig#1) num objects == 0
post	new MapList(ConfigManager#1) num objects == 0
post	possibly_updated(this.disablereporting)
post	possibly_updated(this.launcherVersion)
post	possibly_updated(this.server)
unanalyzed	call on addConfigManager
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.Main:setConfigDir
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:isKeyDomain
unanalyzed	call on com.dmdirc.util.InvalidAddressException:get Message
unanalyzed	call on com.dmdirc.util.IrcAddress
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on com.dmdirc.util.resourcemanager. DMDircResourceManager:getCurrentWorkingDirectory
unanalyzed	call on getOption
unanalyzed	call on getSources
unanalyzed	call on getTarget
unanalyzed	call on hasOption
unanalyzed	call on java.io.PrintStream:print
unanalyzed	call on java.io.PrintStream:println
unanalyzed	call on java.lang.Boolean:booleanValue
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:endsWith
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.rmi.registry.LocateRegistry:getRegistr y
unanalyzed	call on java.rmi.registry.Registry:lookup
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
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put

void com.dmdirc.commandline.CommandLineParser(String[])

Kind	Annotation Text
pre	(soft) ARGUMENTS[...] != null
pre	(soft) ARGUMENTS[...].length >= 4
pre	(soft) ARGUMENTS[...][0] != null
pre	(soft) ARGUMENTS[...][3] != null
pre	(soft) arguments[...] != null
pre	(soft) init'ed(ARGUMENTS[...][1])
pre	(soft) init'ed(ARGUMENTS[...][2])
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	arguments != null
pre	arguments.length <= 2³²-1
presumption	init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
post	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
post	init'ed(new ArrayList(getSources#1) num objects)
post	init'ed(new ConfigManager(getGlobalConfig#1) num objects)
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	init'ed(new MapList(ConfigManager#1) num objects)
post	init'ed(this.launcherVersion)
post	init'ed(this.server)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(CommandLineParser#1) num objects == 1
post	possibly_updated(this.disablereporting)
post	this.addresses == &new ArrayList(CommandLinePar ser#1)
unanalyzed	call on addConfigManager
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.Main:setConfigDir
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.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.InvalidAddressException:get Message
unanalyzed	call on com.dmdirc.util.IrcAddress
unanalyzed	call on com.dmdirc.util.IrcAddress:connect
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on com.dmdirc.util.resourcemanager. DMDircResourceManager:getCurrentWorkingDirectory
unanalyzed	call on getOption
unanalyzed	call on getSources
unanalyzed	call on getTarget
unanalyzed	call on hasOption
unanalyzed	call on java.io.PrintStream:print
unanalyzed	call on java.io.PrintStream:println
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on java.lang.Character:charValue
unanalyzed	call on java.lang.Character:valueOf
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:endsWith
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.rmi.registry.LocateRegistry:createRegi stry
unanalyzed	call on java.rmi.registry.LocateRegistry:getRegistr y
unanalyzed	call on java.rmi.registry.Registry:lookup
unanalyzed	call on java.rmi.registry.Registry:rebind
unanalyzed	call on java.rmi.server.UnicastRemoteObject:exportO bject
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
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
unanalyzed	call on processArgument
test_vector	java.lang.String:charAt(...)@92: {0..44, 46..2¹⁶-1}, {45}
test_vector	java.lang.String:startsWith(...)@89: {0}, {1}

com.dmdirc.commandline.CommandLineParser__static_init

Kind	Annotation Text
presumption	init'ed(java.lang.Boolean.FALSE)
presumption	init'ed(java.lang.Boolean.TRUE)
post	ARGUMENTS == &new Object[][](CommandLineParser_ _static_init#1)
post	ARGUMENTS.length == 9
post	ARGUMENTS[0] == &new Object[](CommandLineParser __static_init#2)
post	ARGUMENTS[0].length == 4
post	ARGUMENTS[0][1] == &"connect"
post	ARGUMENTS[0][2] == &"Connect to the specified server"
post	ARGUMENTS[0][3] == java.lang.Boolean.TRUE
post	ARGUMENTS[1] == &new Object[](CommandLineParser __static_init#3)
post	ARGUMENTS[1].length == 4
post	ARGUMENTS[1][1] == &"directory"
post	ARGUMENTS[1][2] == &"Use the specified configuration directory"
post	ARGUMENTS[1][3] == ARGUMENTS[0][3]
post	ARGUMENTS[2] == &new Object[](CommandLineParser __static_init#4)
post	ARGUMENTS[2].length == 4
post	ARGUMENTS[2][1] == &"existing"
post	ARGUMENTS[2][2] == &"Try to use an existing instance of DMDirc (use with -c)"
post	ARGUMENTS[2][3] == ARGUMENTS[8][3]
post	ARGUMENTS[3] == &new Object[](CommandLineParser __static_init#5)
post	ARGUMENTS[3].length == 4
post	ARGUMENTS[3][1] == &"help"
post	ARGUMENTS[3][2] == &"Show command line options and exit"
post	ARGUMENTS[3][3] == ARGUMENTS[8][3]
post	ARGUMENTS[4] == &new Object[](CommandLineParser __static_init#6)
post	ARGUMENTS[4].length == 4
post	ARGUMENTS[4][1] == &"launcher"
post	ARGUMENTS[4][2] == &"Specifies the version of DMDirc's launcher"
post	ARGUMENTS[4][3] == ARGUMENTS[0][3]
post	ARGUMENTS[5] == &new Object[](CommandLineParser __static_init#7)
post	ARGUMENTS[5].length == 4
post	ARGUMENTS[5][1] == &"portable"
post	ARGUMENTS[5][2] == &"Enable portable mode"
post	ARGUMENTS[5][3] == ARGUMENTS[8][3]
post	ARGUMENTS[6] == &new Object[](CommandLineParser __static_init#8)
post	ARGUMENTS[6].length == 4
post	ARGUMENTS[6][1] == &"disable-reporting"
post	ARGUMENTS[6][2] == &"Disable automatic error reporting"
post	ARGUMENTS[6][3] == ARGUMENTS[8][3]
post	ARGUMENTS[7] == &new Object[](CommandLineParser __static_init#9)
post	ARGUMENTS[7].length == 4
post	ARGUMENTS[7][1] == &"version"
post	ARGUMENTS[7][2] == &"Display client version and exit"
post	ARGUMENTS[7][3] == ARGUMENTS[8][3]
post	ARGUMENTS[8] == &new Object[](CommandLineParser __static_init#10)
post	ARGUMENTS[8].length == 4
post	ARGUMENTS[8][1] == &"check"
post	ARGUMENTS[8][2] == &"Check if an existing instance of DMDirc exists."
post	ARGUMENTS[8][3] == java.lang.Boolean.FALSE
post	init'ed(ARGUMENTS[0][0])
post	init'ed(ARGUMENTS[0][3])
post	init'ed(ARGUMENTS[1][0])
post	init'ed(ARGUMENTS[2][0])
post	init'ed(ARGUMENTS[3][0])
post	init'ed(ARGUMENTS[4][0])
post	init'ed(ARGUMENTS[5][0])
post	init'ed(ARGUMENTS[6][0])
post	init'ed(ARGUMENTS[7][0])
post	init'ed(ARGUMENTS[8][0])
post	init'ed(ARGUMENTS[8][3])
post	new Object[](CommandLineParser__static_init#10) num objects == 1
post	new Object[](CommandLineParser__static_init#2) num objects == 1
post	new Object[](CommandLineParser__static_init#3) num objects == 1
post	new Object[](CommandLineParser__static_init#4) num objects == 1
post	new Object[](CommandLineParser__static_init#5) num objects == 1
post	new Object[](CommandLineParser__static_init#6) num objects == 1
post	new Object[](CommandLineParser__static_init#7) num objects == 1
post	new Object[](CommandLineParser__static_init#8) num objects == 1
post	new Object[](CommandLineParser__static_init#9) num objects == 1
post	new Object[][](CommandLineParser__static_init#1) num objects == 1

void doConnect(String)

Kind	Annotation Text
pre	(soft) ARGUMENTS[...] != null
pre	(soft) ARGUMENTS[...].length >= 4
pre	(soft) ARGUMENTS[...][3] != null
pre	(soft) init'ed(ARGUMENTS[...][0])
pre	(soft) init'ed(ARGUMENTS[...][1])
pre	(soft) init'ed(ARGUMENTS[...][2])
pre	(soft) this.addresses != null
unanalyzed	call on java.io.PrintStream:print
unanalyzed	call on java.io.PrintStream:println
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on java.lang.String:length

void doDirectory(String)

Kind	Annotation Text
pre	dir != null
presumption	init'ed(java.io.File.separator)
test_vector	java.lang.String:endsWith(...)@292: {0}, {1}

void doExisting()

Kind	Annotation Text
presumption	java.lang.System.err != null
post	init'ed(this.server)
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.rmi.registry.LocateRegistry:getRegistr y
unanalyzed	call on java.rmi.registry.Registry:lookup

void doExistingCheck()

Kind	Annotation Text
presumption	java.lang.System.out != null
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.rmi.registry.LocateRegistry:getRegistr y
unanalyzed	call on java.rmi.registry.Registry:lookup

void doHelp()

Kind	Annotation Text
pre	(soft) ARGUMENTS[...] != null
pre	(soft) ARGUMENTS[...].length >= 4
pre	(soft) ARGUMENTS[...][3] != null
pre	(soft) init'ed(ARGUMENTS[...][0])
pre	(soft) init'ed(ARGUMENTS[...][1])
pre	(soft) init'ed(ARGUMENTS[...][2])
presumption	java.lang.System.out != null

void doUnknownArg(String)

Kind	Annotation Text
pre	(soft) ARGUMENTS[...] != null
pre	(soft) ARGUMENTS[...].length >= 4
pre	(soft) ARGUMENTS[...][3] != null
pre	(soft) init'ed(ARGUMENTS[...][0])
pre	(soft) init'ed(ARGUMENTS[...][1])
pre	(soft) init'ed(ARGUMENTS[...][2])
presumption	java.lang.System.out != null
unanalyzed	call on java.io.PrintStream:print
unanalyzed	call on java.io.PrintStream:println
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on java.lang.String:length

void doVersion()

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	getGlobalConfig(...).sources != null
presumption	java.lang.System.out != null
post	com/dmdirc/config/IdentityManager.globalconfig != null
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 ArrayList(getSources#1) num objects <= 1
post	new ArrayList(getSources#1) num objects == 0
post	new ConfigManager(getGlobalConfig#1) num objects == 0
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 == 0
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.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on getOption
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: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
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put

void exit()

Kind	Annotation Text

void processArgument(char, String)

Kind	Annotation Text
pre	(soft) ARGUMENTS[...] != null
pre	(soft) ARGUMENTS[...].length >= 4
pre	(soft) ARGUMENTS[...][3] != null
pre	(soft) init'ed(ARGUMENTS[...][0])
pre	(soft) init'ed(ARGUMENTS[...][1])
pre	(soft) init'ed(ARGUMENTS[...][2])
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) param != null
pre	(soft) this.addresses != null
presumption	com.dmdirc.util.resourcemanager.DMDircResourceManag er:getCurrentWorkingDirectory(...)@210 != null
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 ArrayList(getSources#1) num objects == 0
post	new ConfigManager(getGlobalConfig#1) num objects == 0
post	new MapList(ConfigManager#1) num objects == 0
post	possibly_updated(this.disablereporting)
post	possibly_updated(this.launcherVersion)
post	possibly_updated(this.server)
unanalyzed	call on addConfigManager
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.Main:setConfigDir
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:isKeyDomain
unanalyzed	call on com.dmdirc.util.InvalidAddressException:get Message
unanalyzed	call on com.dmdirc.util.IrcAddress
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on getOption
unanalyzed	call on getSources
unanalyzed	call on getTarget
unanalyzed	call on hasOption
unanalyzed	call on java.io.PrintStream:print
unanalyzed	call on java.io.PrintStream:println
unanalyzed	call on java.lang.Boolean:booleanValue
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:endsWith
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.rmi.registry.LocateRegistry:getRegistr y
unanalyzed	call on java.rmi.registry.Registry:lookup
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
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
test_vector	arg: {99}, {100}, {101}, {104}, {107}, {108}, {112}, {114}, {118}, {0..98, 102,103, 105,106, 109..111, 113, 115..117, 119..2¹⁶-1}

void processArguments()

Kind	Annotation Text
pre	this.addresses != null
presumption	java.util.Iterator:next(...)@367 != null
test_vector	java.util.Iterator:hasNext(...)@367: {0}, {1}

char processLongArg(String)

Kind	Annotation Text
pre	(soft) ARGUMENTS[...] != null
pre	(soft) ARGUMENTS[...].length >= 4
pre	(soft) ARGUMENTS[...][0] != null
pre	(soft) ARGUMENTS[...][3] != null
pre	(soft) arg != null
pre	(soft) init'ed(ARGUMENTS[...][1])
pre	(soft) init'ed(ARGUMENTS[...][2])
post	init'ed(return_value)
unanalyzed	call on java.io.PrintStream:print
unanalyzed	call on java.io.PrintStream:println
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on java.lang.String:length
test_vector	java.lang.String:equalsIgnoreCase(...)@153: {0}, {1}

char processShortArg(String)

Kind	Annotation Text
pre	(soft) ARGUMENTS[...] != null
pre	(soft) ARGUMENTS[...].length >= 4
pre	(soft) ARGUMENTS[...][0] != null
pre	(soft) ARGUMENTS[...][3] != null
pre	(soft) arg != null
pre	(soft) init'ed(ARGUMENTS[...][1])
pre	(soft) init'ed(ARGUMENTS[...][2])
post	init'ed(return_value)
unanalyzed	call on java.io.PrintStream:print
unanalyzed	call on java.io.PrintStream:println
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on java.lang.String:length
test_vector	java.lang.String:equals(...)@172: {0}, {1}