Messages

method

com.dmdirc.commandparser.parsers.GlobalCommandPars er__static_init

method	void com.dmdirc.commandparser.parsers. GlobalCommandParser()
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	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	GlobalCommandParser getGlobalCommandParser()
pre	init'ed(me)
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	me == One-of{old me, &new GlobalCommandParser(g etGlobalCommandParser#1)}
post	me != null
post	return_value == me
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(getGlobalConfig#1) num objects <= 1
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).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 GlobalCommandParser(getGlobalCommandParser#1) num objects <= 1
post	new GlobalCommandParser(getGlobalCommandParser#1). commands == &new Hashtable(CommandParser#1)
post	new GlobalCommandParser(getGlobalCommandParser#1). history == &new RollingList(CommandParser#2)
post	new Hashtable(CommandParser#1) num objects <= 1
post	new MapList(ConfigManager#1) num objects <= 1
post	new RollingList(CommandParser#2) num objects <= 1
unanalyzed	call on com.dmdirc.commandparser.parsers. CommandParser
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
test_vector	me: Inverse{null}, Addr_Set{null}

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

call too complex - analysis skipped Info call on void execute(InputWindow, bool, CommandArguments)

method	void handleNonCommand(InputWindow, String)
presumption	init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
test_vector	origin: Inverse{null}, Addr_Set{null}

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:userError(Err orLevel, String)

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. InputWindow:addLine(String, Object[])