| method | void execute(InputWindow, bool, CommandArguments) |
| pre | args != null |
| pre | init'ed(args.words) |
| pre | init'ed(com/dmdirc/config/IdentityManager. globalconfig) |
| 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) 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/IdentityManager. config.myTarget.type) |
| pre | (soft) init'ed(com/dmdirc/config/IdentityManager. config.globalConfig) |
| presumption | i < getArguments(...).length@75 |
| presumption | i < getArguments(...).length@78 |
| presumption | i <= getArguments(...).length@78 - 2 |
| presumption | i < getArguments(...).length@82 |
| presumption | i <= getArguments(...).length@83 - 2 |
| presumption | i <= getArguments(...).length@83 - 3 |
| presumption | i < getArguments(...).length@85 |
| presumption | i <= getArguments(...).length@87 - 2 |
| presumption | i <= getArguments(...).length@87 - 3 |
| presumption | i < getArguments(...).length@91 |
| presumption | i <= getArguments(...).length@91 - 2 |
| 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 | 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 | init'ed(com/dmdirc/config/IdentityManager.config. globalConfig) |
| post | possibly_updated(com/dmdirc/config/IdentityManager. config.needSave) |
| post | com/dmdirc/config/IdentityManager.globalconfig == One-of{old com/dmdirc/config/IdentityManager. globalconfig, &new ConfigManager(getGlobalConfi g#1)} |
| post | com/dmdirc/config/IdentityManager.globalconfig != null |
| post | init'ed(java.lang.String:split(...)._tainted) |
| post | java.lang.String:split(...)._tainted == 0 |
| post | init'ed(java.lang.String:split(...).length) |
| 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 MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects |
| post | new ConfigManager(getGlobalConfig#1).channel == &java.lang.StringBuilder:toString(...) |
| post | init'ed(new ConfigManager(getGlobalConfig#1).file) |
| post | new ConfigManager(getGlobalConfig#1).ircd == &"" |
| post | new ConfigManager(getGlobalConfig#1).network == &"" |
| post | new ConfigManager(getGlobalConfig#1).server == &"" |
| post | new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1) |
| post | new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#1) |
| post | new ConfigManager(setOption#2) num objects <= 1 |
| 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 | new MapList(ConfigManager#1) num objects <= 1 |
| unanalyzed | call on hasOption |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| 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 java.util.List:iterator |
| 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 |
| unanalyzed | call on sendLine |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on java.util.ArrayList:iterator |
| unanalyzed | call on com.dmdirc.interfaces.ConfigChangeListener: configChanged |
| unanalyzed | call on com.dmdirc.util.ConfigFile:getKeyDomains |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on java.util.Map:remove |
| unanalyzed | call on java.util.Map:keySet |
| unanalyzed | call on java.util.HashMap |
| unanalyzed | call on java.util.List:remove |
| unanalyzed | call on java.util.HashSet |
| unanalyzed | call on java.util.logging.Logger:finer |
| unanalyzed | call on getSources |
| unanalyzed | call on addListener |
| unanalyzed | call on com.dmdirc.config.ConfigSource |
| unanalyzed | call on com.dmdirc.util.MapList |
| unanalyzed | call on addConfigManager |
| unanalyzed | call on com.dmdirc.util.MapList:containsKey |
| unanalyzed | call on com.dmdirc.util.MapList:get |
| unanalyzed | call on java.util.List:addAll |
| unanalyzed | call on getDomains |
| unanalyzed | call on java.util.List:contains |
| unanalyzed | call on java.util.Set:iterator |
| unanalyzed | call on getOptions |
| unanalyzed | call on equals |
| unanalyzed | call on removeListener |
| unanalyzed | call on com.dmdirc.logger.Logger:assertTrue |
| unanalyzed | call on getTarget |
| unanalyzed | call on com.dmdirc.config.ConfigTarget$TYPE:ordinal |
| unanalyzed | call on java.lang.String:equalsIgnoreCase |
| unanalyzed | call on java.util.Collections:sort |
| unanalyzed | call on java.util.List:size |
| unanalyzed | call on java.util.List:get |
| unanalyzed | call on java.util.Map:putAll |
| unanalyzed | call on java.util.Set:addAll |
| unanalyzed | call on getCommandChar |
| unanalyzed | call on com.dmdirc.ui.interfaces.InputWindow:addLin e |
| unanalyzed | call on java.lang.String:split |
| unanalyzed | call on java.util.Arrays:copyOfRange |
| unanalyzed | call on java.util.regex.Pattern:compile |
| unanalyzed | call on java.util.regex.Pattern:matcher |
| unanalyzed | call on java.util.regex.Matcher:matches |
| unanalyzed | call on java.util.regex.Matcher:group |
| test_vector | origin: Addr_Set{null}, Inverse{null} |
| 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} |
| method | void doSetOption(InputWindow, bool, Identity, String, String, String) |
| pre | identity != null |
| pre | identity.file != null |
| pre | identity.myTarget != null |
| pre | init'ed(identity.myTarget.type) |
| pre | (soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...]) |
| pre | (soft) identity.listeners != null |
| pre | (soft) init'ed(identity.globalConfig) |
| post | identity.globalConfig == One-of{old identity.globalConfig, &new ConfigManager(setO ption#2)} |
| post | init'ed(identity.globalConfig) |
| post | possibly_updated(identity.needSave) |
| 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 | 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) |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| 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 java.util.List:iterator |
| unanalyzed | call on hasOption |
| 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 |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on java.util.ArrayList:iterator |
| unanalyzed | call on com.dmdirc.interfaces.ConfigChangeListener: configChanged |
| unanalyzed | call on com.dmdirc.util.ConfigFile:getKeyDomains |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on java.util.Map:remove |
| unanalyzed | call on java.util.Map:keySet |
| unanalyzed | call on java.util.HashMap |
| unanalyzed | call on java.util.List:remove |
| unanalyzed | call on java.util.HashSet |
| unanalyzed | call on java.util.logging.Logger:finer |
| unanalyzed | call on getSources |
| unanalyzed | call on addListener |
| unanalyzed | call on com.dmdirc.config.ConfigSource |
| unanalyzed | call on com.dmdirc.util.MapList |
| unanalyzed | call on addConfigManager |
| unanalyzed | call on com.dmdirc.util.MapList:containsKey |
| unanalyzed | call on com.dmdirc.util.MapList:get |
| unanalyzed | call on java.util.List:addAll |
| unanalyzed | call on getDomains |
| unanalyzed | call on java.util.List:contains |
| unanalyzed | call on java.util.Set:iterator |
| unanalyzed | call on getOptions |
| unanalyzed | call on equals |
| unanalyzed | call on removeListener |
| unanalyzed | call on com.dmdirc.logger.Logger:assertTrue |
| unanalyzed | call on getTarget |
| unanalyzed | call on com.dmdirc.config.ConfigTarget$TYPE:ordinal |
| unanalyzed | call on java.lang.String:equalsIgnoreCase |
| unanalyzed | call on java.util.Collections:sort |
| unanalyzed | call on com.dmdirc.ui.interfaces.InputWindow:addLin e |
| method | void doAppendOption(InputWindow, bool, Identity, ConfigManager, String, String, String) |
| pre | identity != null |
| pre | identity.file != null |
| pre | identity.myTarget != null |
| pre | init'ed(identity.myTarget.type) |
| pre | manager != null |
| pre | (soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...]) |
| pre | (soft) identity.listeners != null |
| pre | (soft) manager.sources != null |
| pre | (soft) init'ed(identity.globalConfig) |
| post | identity.globalConfig == One-of{old identity.globalConfig, &new ConfigManager(setO ption#2)} |
| post | init'ed(identity.globalConfig) |
| post | possibly_updated(identity.needSave) |
| 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 | 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) |
| unanalyzed | call on hasOption |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| 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 java.util.List:iterator |
| 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 |
| unanalyzed | call on sendLine |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on java.util.ArrayList:iterator |
| unanalyzed | call on com.dmdirc.interfaces.ConfigChangeListener: configChanged |
| unanalyzed | call on com.dmdirc.util.ConfigFile:getKeyDomains |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on java.util.Map:remove |
| unanalyzed | call on java.util.Map:keySet |
| unanalyzed | call on java.util.HashMap |
| unanalyzed | call on java.util.List:remove |
| unanalyzed | call on java.util.HashSet |
| unanalyzed | call on java.util.logging.Logger:finer |
| unanalyzed | call on getSources |
| unanalyzed | call on addListener |
| unanalyzed | call on com.dmdirc.config.ConfigSource |
| unanalyzed | call on com.dmdirc.util.MapList |
| unanalyzed | call on addConfigManager |
| unanalyzed | call on com.dmdirc.util.MapList:containsKey |
| unanalyzed | call on com.dmdirc.util.MapList:get |
| unanalyzed | call on java.util.List:addAll |
| unanalyzed | call on getDomains |
| unanalyzed | call on java.util.List:contains |
| unanalyzed | call on java.util.Set:iterator |
| unanalyzed | call on getOptions |
| unanalyzed | call on equals |
| unanalyzed | call on removeListener |
| unanalyzed | call on com.dmdirc.logger.Logger:assertTrue |
| unanalyzed | call on getTarget |
| unanalyzed | call on com.dmdirc.config.ConfigTarget$TYPE:ordinal |
| unanalyzed | call on java.lang.String:equalsIgnoreCase |
| unanalyzed | call on java.util.Collections:sort |
| unanalyzed | call on com.dmdirc.ui.interfaces.InputWindow:addLin e |
| method | AdditionalTabTargets getSuggestions(int, List) |
| 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 | java.lang.StringBuilder:toString(...)._tainted == 0 |
| post | return_value == &new AdditionalTabTargets(getSu ggestions#1) |
| 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 | 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 | new MapList(ConfigManager#1) num objects <= 1 |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on com.dmdirc.util.ConfigFile:getKeyDomain |
| unanalyzed | call on com.dmdirc.util.ConfigFile:getKeyDomains |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on java.util.Map:keySet |
| unanalyzed | call on java.util.HashMap |
| unanalyzed | call on java.util.HashSet |
| unanalyzed | call on getSources |
| unanalyzed | call on addListener |
| unanalyzed | call on com.dmdirc.config.ConfigSource |
| unanalyzed | call on com.dmdirc.util.MapList |
| unanalyzed | call on addConfigManager |
| unanalyzed | call on getDomains |
| unanalyzed | call on getOptions |
| unanalyzed | call on com.dmdirc.logger.Logger:assertTrue |
| unanalyzed | call on getTarget |
| unanalyzed | call on com.dmdirc.config.ConfigTarget$TYPE:ordinal |
| unanalyzed | call on java.lang.String:equalsIgnoreCase |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on java.util.Collections:sort |
| unanalyzed | call on java.util.List:size |
| unanalyzed | call on java.util.List:get |
| 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: {1}, {0} |
| test_vector | java.lang.String:equalsIgnoreCase(...)@259: {0}, {1} |
| test_vector | java.lang.String:equalsIgnoreCase(...)@267: {1}, {0} |
| test_vector | java.lang.String:equalsIgnoreCase(...)@267: {0}, {1} |
| test_vector | java.util.List:size(...)@258: {-231..0}, {1..232-1} |