| method | void com.dmdirc.commandparser.parsers. ServerCommandParser(Server) |
| pre | init'ed(com/dmdirc/config/IdentityManager. globalconfig) |
| pre | (soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...]) |
| 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 | java.lang.StringBuilder:toString(...)._tainted == 0 |
| post | this.commands == &new Hashtable(CommandParser#1 ) |
| post | this.history == &new RollingList(CommandParser# 2) |
| post | this.server == newServer |
| post | init'ed(this.server) |
| 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 Hashtable(CommandParser#1) num objects == 1 |
| post | new RollingList(CommandParser#2) num objects == 1 |
| unanalyzed | call on loadCommands |
| unanalyzed | call on java.util.Hashtable |
| 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 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 hasOption |
| unanalyzed | call on getOption |
| unanalyzed | call on java.lang.IllegalArgumentException |
| unanalyzed | call on java.lang.String:trim |
| unanalyzed | call on java.lang.Integer:parseInt |
| unanalyzed | call on com.dmdirc.util.ConfigFile:getKeyDomain |
| unanalyzed | call on com.dmdirc.util.ConfigFile:isKeyDomain |
| unanalyzed | call on com.dmdirc.util.RollingList |
| unanalyzed | call on java.util.HashMap |
| unanalyzed | call on getName |
| unanalyzed | call on java.lang.String:toLowerCase |
| unanalyzed | call on getType |
| unanalyzed | call on java.util.Map:entrySet |
| unanalyzed | call on java.util.Set:iterator |
| unanalyzed | call on java.util.Map$Entry:getKey |
| unanalyzed | call on com.dmdirc.commandparser.CommandType:equals |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on java.util.Map$Entry:getValue |
| unanalyzed | call on com.dmdirc.util.MapList:add |
| method | void loadCommands() |
| pre | (soft) this.commands != null |
| unanalyzed | call on java.util.HashMap |
| unanalyzed | call on getName |
| unanalyzed | call on java.lang.String:toLowerCase |
| unanalyzed | call on java.util.Map:put |
| unanalyzed | call on getType |
| unanalyzed | call on java.util.Map:entrySet |
| unanalyzed | call on java.util.Set:iterator |
| unanalyzed | call on java.util.Map$Entry:getKey |
| unanalyzed | call on com.dmdirc.commandparser.CommandType:equals |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on java.util.Map$Entry:getValue |
| unanalyzed | call on com.dmdirc.util.MapList:add |
| method | void executeCommand(InputWindow, bool, Command, CommandArguments) |
| pre | command != null |
| pre | (soft) origin != null |
| pre | (soft) this.server != null |
| presumption | init'ed(com.dmdirc.ServerState.CONNECTED) |
| presumption | init'ed(com.dmdirc.ServerState.CONNECTING) |
| presumption | java.lang.Class:getAnnotation(...)@286 != null |
| unanalyzed | call on java.lang.Object:getClass |
| unanalyzed | call on java.lang.Class:isAnnotationPresent |
| unanalyzed | call on java.lang.Class:getAnnotation |
| test_vector | isSilent: {1}, {0} |
| test_vector | allowOffline(...)@74: {1}, {0} |
| test_vector | com.dmdirc.Server:getParser(...)@74: Inverse{null}, Addr_Set{null} |
| test_vector | java.lang.Class:isAnnotationPresent(...)@275: {0}, {1} |