Messages

method

com.dmdirc.addons.logging.LoggingCommand__static_ init

method

void com.dmdirc.addons.logging.LoggingCommand()

method not available - call not analyzed Info call on void com.dmdirc.commandparser.commands. ServerCommand()

method not available - call not analyzed Info call on void com.dmdirc.commandparser. CommandManager:registerCommand(Command)

method	void execute(InputWindow, Server, bool, CommandArguments)
pre	(soft) args != null
pre	(soft) origin != null
presumption	com.dmdirc.commandparser.CommandArguments:getArgume nts(...).length@71 >= 1
presumption	com.dmdirc.commandparser.CommandArguments:getArgume nts(...).length@77 >= 1
presumption	com.dmdirc.commandparser.CommandArguments:getArgume nts(...).length@81 >= 1
presumption	com.dmdirc.commandparser.CommandArguments:getArgume nts(...).length@86 >= 1
presumption	com.dmdirc.commandparser.CommandArguments:getArgume nts(...)@70 != null
presumption	com.dmdirc.commandparser.CommandArguments:getArgume nts(...)@71 != null
presumption	com.dmdirc.commandparser.CommandArguments:getArgume nts(...)@77 != null
presumption	com.dmdirc.commandparser.CommandArguments:getArgume nts(...)@81 != null
presumption	com.dmdirc.commandparser.CommandArguments:getArgume nts(...)@86 != null
presumption	com.dmdirc.commandparser.CommandArguments:getArgume nts(...)[0]@71 != null
presumption	com.dmdirc.commandparser.CommandArguments:getArgume nts(...)[0]@77 != null
presumption	com.dmdirc.commandparser.CommandArguments:getArgume nts(...)[0]@81 != null
presumption	com.dmdirc.plugins.PluginManager:getPluginManager(. ..)@56 != null
presumption	com.dmdirc.plugins.PluginManager:getPluginManager(. ..)@72 != null
unanalyzed	call on java.text.SimpleDateFormat
unanalyzed	call on com.dmdirc.addons.logging.LoggingPlugin:get Domain
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:exists
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on java.io.File:mkdirs
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getNicknam e
unanalyzed	call on java.security.MessageDigest:getInstance
unanalyzed	call on java.lang.String:getBytes
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.security.MessageDigest:update
unanalyzed	call on java.security.MessageDigest:digest
unanalyzed	call on java.math.BigInteger
unanalyzed	call on java.math.BigInteger:toString
unanalyzed	call on java.util.Date
unanalyzed	call on com.dmdirc.Channel:getChannelInfo
unanalyzed	call on getLogFile
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCon tainer
unanalyzed	call on com.dmdirc.Channel:instanceof
unanalyzed	call on com.dmdirc.Query:instanceof
unanalyzed	call on com.dmdirc.Query:getServer
unanalyzed	call on com.dmdirc.Server:getParser
unanalyzed	call on com.dmdirc.Query:getHost
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getClientIn fo
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:setFake
unanalyzed	call on com.dmdirc.Server:instanceof
unanalyzed	call on com.dmdirc.WritableFrameContainer:getServer
unanalyzed	call on java.io.RandomAccessFile:seek
unanalyzed	call on java.io.RandomAccessFile:length
unanalyzed	call on java.io.RandomAccessFile
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionIn t
unanalyzed	call on com.dmdirc.ui.interfaces.Window:getConfigMa nager
unanalyzed	call on com.dmdirc.FrameContainer
unanalyzed	call on com.dmdirc.Main:getUI
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getWi ndow
unanalyzed	call on com.dmdirc.ui.WindowManager:addWindow
unanalyzed	call on com.dmdirc.ui.interfaces.Window:setTitle
unanalyzed	call on com.dmdirc.ui.interfaces.Window:open
unanalyzed	call on java.lang.Math:min
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.io.RandomAccessFile:getFilePointer
unanalyzed	call on java.io.RandomAccessFile:read
unanalyzed	call on java.lang.Byte:valueOf
unanalyzed	call on java.util.ArrayList:add
unanalyzed	call on java.util.ArrayList:size
unanalyzed	call on java.util.ArrayList:get
unanalyzed	call on java.lang.Byte:byteValue
unanalyzed	call on java.nio.charset.Charset:forName
unanalyzed	call on java.lang.String
unanalyzed	call on com.dmdirc.ui.interfaces.Window:addLine
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:instanceo f
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getParser
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getNetworkN ame
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getName
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:instanceof
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getParser
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on java.text.SimpleDateFormat:format
test_vector	com.dmdirc.commandparser.CommandArguments:getArgume nts(...).length@70: {0}, {1..+Inf}
test_vector	com.dmdirc.plugins.PluginManager:getPluginInfoByNam e(...)@56: Inverse{null}, Addr_Set{null}
test_vector	com.dmdirc.plugins.PluginManager:reloadPlugin(... )@72: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@71: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@77: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@81: {0}, {1}

method not available - call not analyzed Info call on PluginManager com.dmdirc.plugins. PluginManager:getPluginManager()

method not available - call not analyzed Info call on PluginInfo com.dmdirc.plugins. PluginManager:getPluginInfoByName(String)