method

com.dmdirc.config.prefs.validator.URLProtocolValid ator__static_init

method

void com.dmdirc.config.prefs.validator. URLProtocolValidator()

method	ValidationResponse validate(Object)
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)
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	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value == One-of{&new ValidationResponse( validate#1*), &new ValidationResponse(validate# 2*), &new ValidationResponse(validate#3*)}
post	return_value in Addr_Set{&new ValidationRespons e(validate#1*),&new ValidationResponse(validate #2*),&new ValidationResponse(validate#3*)}
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(getGlobalConfig#1) num objects == new ArrayList(getSources#1) num objects
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
post	init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	init'ed(new ConfigManager(getGlobalConfig#1).file)
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	new ValidationResponse(validate#1*) num objects <= 1
post	new ValidationResponse(validate#1*).failure == &amp;"Cannot be empty"
post	new ValidationResponse(validate#2*) num objects <= 1
post	new ValidationResponse(validate#2*).failure == &amp;"Cannot already exist"
post	new ValidationResponse(validate#3*) num objects <= 1
post	new ValidationResponse(validate#3*).failure == null
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:add
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on addListener
unanalyzed	call on getSources
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on addConfigManager
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on hasOption
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.util.Map:put
unanalyzed	call on getOption
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain

method	ValidationResponse validate(String)
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)
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	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value in Addr_Set{&new ValidationRespons e(validate#3),&new ValidationResponse(validate# 2),&new ValidationResponse(validate#1)}
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(getGlobalConfig#1) num objects <= 1
post	init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	init'ed(new ConfigManager(getGlobalConfig#1).file)
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	new MapList(ConfigManager#1) num objects <= 1
post	new ValidationResponse(validate#1) num objects <= 1
post	new ValidationResponse(validate#1).failure == &amp;"Cannot be empty"
post	new ValidationResponse(validate#2) num objects <= 1
post	new ValidationResponse(validate#2).failure == &amp;"Cannot already exist"
post	new ValidationResponse(validate#3) num objects <= 1
post	new ValidationResponse(validate#3).failure == null
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:add
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on addListener
unanalyzed	call on getSources
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on addConfigManager
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on hasOption
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.util.Map:put
unanalyzed	call on getOption
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
test_vector	object: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:isEmpty(...)@35: {0}, {1}