Messages

Last Msg First Msg

method

com.dmdirc.addons.dcc.DCCCommand$2__static_init

method

com.dmdirc.addons.dcc.DCCCommand$1__static_init

method

com.dmdirc.addons.dcc.DCCCommand__static_init

method	DCCPlugin access$000(DCCCommand)
pre	x0 != null
post	return_value == x0.myPlugin
post	init'ed(return_value)

method	void access$100(DCCCommand, InputWindow, bool, String, Object[])
pre	x0 != null

method	void access$200(DCCCommand, InputWindow, bool, String, Object[])
pre	x0 != null

method not available - call not analyzed Info call on void com.dmdirc.addons.dcc.DCCCommand:sendL ine(InputWindow, bool, String, Object[])

method not available - call not analyzed Info call on void com.dmdirc.addons.dcc.DCCCommand:sendL ine(InputWindow, bool, String, Object[])

method	void com.dmdirc.addons.dcc.DCCCommand(DCCPlugin)
post	this.myPlugin == plugin
post	init'ed(this.myPlugin)

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	args != null
pre	(soft) com.dmdirc.addons.dcc.actions.DCCActions__ static_init.new DCCActions(DCCActions__static_init# 2).type != null
pre	(soft) com/dmdirc/Main.controller != null
pre	(soft) init'ed(com/dmdirc/actions/ActionManager. killSwitch)
pre	(soft) init'ed(this.myPlugin.container)
pre	(soft) server != null
pre	(soft) server.parser != null
pre	(soft) this.myPlugin != null
pre	(soft) this.myPlugin.childFrames != null
presumption	chat.serverSocket != null
presumption	com.dmdirc.commandparser.CommandArguments:getArgume nts(...).length@73 >= 1
presumption	com.dmdirc.commandparser.CommandArguments:getArgume nts(...).length@74 >= 2
presumption	com.dmdirc.commandparser.CommandArguments:getArgume nts(...)@72 != null
presumption	com.dmdirc.commandparser.CommandArguments:getArgume nts(...)@73 != null
presumption	com.dmdirc.commandparser.CommandArguments:getArgume nts(...)@74 != null
presumption	com.dmdirc.commandparser.CommandArguments:getArgume nts(...)[0]@73 != null
presumption	com.dmdirc.parser.irc.IRCParser:getIRCStringConvert er(...)@78 != null
post	com/dmdirc/ServerManager.me == old com/dmdirc/Serve rManager.me
post	possibly_updated(this.myPlugin.container)
post	possibly_updated(new ArrayList(ServerManager#1) num objects)
post	possibly_updated(new DCCPlugin$3(createContainer#1) num objects)
post	possibly_updated(new DCCPlugin$3(createContainer#1) .changer)
post	possibly_updated(new DCCPlugin$3(createContainer#1) .config)
post	possibly_updated(new DCCPlugin$3(createContainer#1) .icon)
post	possibly_updated(new DCCPlugin$3(createContainer#1) .listeners)
post	possibly_updated(new DCCPlugin$3(createContainer#1) .myWindow)
post	possibly_updated(new DCCPlugin$3(createContainer#1) .notification)
post	possibly_updated(new DCCPlugin$3(createContainer#1) .plugin)
post	possibly_updated(new DCCPlugin$3(createContainer#1) .title)
post	possibly_updated(new DCCPlugin$3(createContainer#1) .windowClosing)
post	possibly_updated(new FrameContainer$IconChanger(Fra meContainer#2) num objects)
post	possibly_updated(new ListenerList(FrameContainer#1) num objects)
post	possibly_updated(new ServerManager(getServerManager #1) num objects)
post	possibly_updated(new ServerManager(getServerManager #1).servers)
unanalyzed	call on java.io.File
unanalyzed	call on java.lang.Thread
unanalyzed	call on java.lang.Thread:start
unanalyzed	call on getFrame
unanalyzed	call on com.dmdirc.addons.dcc.DCC
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.addons.dcc.DCCPlugin:getDomain
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionIn t
unanalyzed	call on listen
unanalyzed	call on com.dmdirc.FrameContainer
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keAndWait
unanalyzed	call on getUI
unanalyzed	call on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getIn putWindow
unanalyzed	call on com.dmdirc.addons.dcc.DCCPlugin$3
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:getText
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setText
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getContentPane
unanalyzed	call on java.awt.Container:add
unanalyzed	call on com.dmdirc.ui.WindowManager:addWindow
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:open
unanalyzed	call on java.util.List:add
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:setTit le
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getMyself
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getHost
unanalyzed	call on java.net.InetAddress:getByName
unanalyzed	call on java.net.InetAddress:getHostAddress
unanalyzed	call on java.net.InetAddress:getLocalHost
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.Long:parseLong
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on getType
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on trigger
unanalyzed	call on getArity
unanalyzed	call on com.dmdirc.interfaces.ActionListener:proces sEvent
unanalyzed	call on triggerActions
unanalyzed	call on java.util.concurrent.Semaphore
unanalyzed	call on connect
unanalyzed	call on java.util.concurrent.Semaphore:acquireUnint erruptibly
unanalyzed	call on java.net.ServerSocket
unanalyzed	call on java.util.concurrent.Semaphore:release
unanalyzed	call on java.io.IOException
unanalyzed	call on socketClosed
unanalyzed	call on java.net.Socket:getOutputStream
unanalyzed	call on java.io.PrintWriter
unanalyzed	call on java.net.Socket:getInputStream
unanalyzed	call on java.io.InputStreamReader
unanalyzed	call on java.io.BufferedReader
unanalyzed	call on socketOpened
unanalyzed	call on java.net.ServerSocket:getLocalPort
unanalyzed	call on java.net.Socket
unanalyzed	call on setIcon
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.interfaces.IconChangeListener:ic onChanged
unanalyzed	call on com.dmdirc.config.ConfigManager:removeListe ner
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.addons.dcc.DCCFrame
unanalyzed	call on com.dmdirc.actions.ConditionTree$OPERATION: ordinal
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.Deque:pollFirst
unanalyzed	call on java.lang.Character:instanceof
unanalyzed	call on java.lang.Character:charValue
unanalyzed	call on java.util.Deque:isEmpty
unanalyzed	call on readTerm
unanalyzed	call on java.util.ArrayDeque
unanalyzed	call on java.util.Deque:pollLast
unanalyzed	call on java.util.Deque:addFirst
unanalyzed	call on parseStack
unanalyzed	call on java.util.Deque:poll
unanalyzed	call on java.util.Deque:add
unanalyzed	call on java.util.Deque:size
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptions
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 java.util.Map$Entry:getValue
unanalyzed	call on [Ljava.lang.String;:instanceof
unanalyzed	call on java.lang.String:instanceof
unanalyzed	call on doServerSubstitutions
unanalyzed	call on doComponentSubstitutions
unanalyzed	call on getServer
unanalyzed	call on getState
unanalyzed	call on com.dmdirc.ServerState:equals
unanalyzed	call on getCompatibleComponents
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on get
unanalyzed	call on getArgTypes
unanalyzed	call on test
unanalyzed	call on evaluate
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getAc tiveWindow
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:instan ceof
unanalyzed	call on java.util.List:get
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
unanalyzed	call on com.dmdirc.commandparser.parsers. CommandParser:parseCommand
unanalyzed	call on java.io.File:getAbsolutePath
unanalyzed	call on java.io.DataInputStream
unanalyzed	call on addLine
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.io.DataOutputStream:close
unanalyzed	call on java.io.DataInputStream:close
unanalyzed	call on java.io.FileOutputStream
unanalyzed	call on java.io.DataOutputStream
unanalyzed	call on java.lang.Long:valueOf
unanalyzed	call on java.lang.String:format
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on java.lang.System:currentTimeMillis
unanalyzed	call on java.lang.Math:floor
unanalyzed	call on javax.swing.JProgressBar:setValue
unanalyzed	call on java.lang.Double:valueOf
unanalyzed	call on isWindowClosing
test_vector	com.dmdirc.commandparser.CommandArguments:getArgume nts(...).length@72: {0,1}, {2..+Inf}
test_vector	com.dmdirc.parser.irc.IRCParser:isValidChannelName( ...)@78: {1}, {0}
test_vector	com.dmdirc.parser.irc.IRCStringConverter:equalsIgno reCase(...)@78: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@107: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@93: {0}, {1}

method not available - call not analyzed Info call on String[] com.dmdirc.commandparser. CommandArguments:getArguments()

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. IRCParser:getMyNickname()

method not available - call not analyzed Info call on bool com.dmdirc.parser.irc.IRCParser:isVali dChannelName(String)

method not available - call not analyzed Info call on IRCStringConverter com.dmdirc.parser.irc. IRCParser:getIRCStringConverter()

method not available - call not analyzed Info call on bool com.dmdirc.parser.irc.IRCStringConvert er:equalsIgnoreCase(String, String)

method	void com.dmdirc.addons.dcc.DCCCommand$1(DCCCommand , IRCParser, String, String)
post	this.val$myNickname == Param_4
post	init'ed(this.val$myNickname)
post	this.val$parser == Param_2
post	init'ed(this.val$parser)
post	this.val$target == Param_3
post	init'ed(this.val$target)

method	void run()
pre	this.val$parser != null
presumption	com.dmdirc.parser.irc.IRCParser:getIRCStringConvert er(...)@83 != null
test_vector	com.dmdirc.parser.irc.IRCStringConverter:equalsIgno reCase(...)@83: {0}, {1}

method not available - call not analyzed Info call on IRCStringConverter com.dmdirc.parser.irc. IRCParser:getIRCStringConverter()

method not available - call not analyzed Info call on bool com.dmdirc.parser.irc.IRCStringConvert er:equalsIgnoreCase(String, String)

Prev Msg Next Msg

precondition failure

click for all messages in this file Medium Prob.

com/dmdirc/addons/dcc/DCC.ipToLong: ip != null

method not available - call not analyzed Info call on void com.dmdirc.parser.irc.IRCParser:sendCT CP(String, String, String)

Prev Msg Next Msg

method not available - call not analyzed Info call on void com.dmdirc.addons.dcc.DCCCommand:sendL ine(InputWindow, bool, String, Object[])

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

method not available - call not analyzed Info call on void com.dmdirc.addons.dcc.DCCCommand:sendL ine(InputWindow, bool, String, Object[])

method not available - call not analyzed Info call on String com.dmdirc.commandparser. CommandArguments:getArgumentsAsString(int)

method not available - call not analyzed Info call on void com.dmdirc.addons.dcc.DCCCommand:sendL ine(InputWindow, bool, String, Object[])

method

void sendFile(String, InputWindow, Server, bool, String)

method	void com.dmdirc.addons.dcc.DCCCommand$2(DCCCommand , File, String, Server, InputWindow, bool)
post	this.val$givenFile == Param_2
post	init'ed(this.val$givenFile)
post	this.val$isSilent == Param_6
post	init'ed(this.val$isSilent)
post	this.val$origin == Param_5
post	init'ed(this.val$origin)
post	this.val$server == Param_4
post	init'ed(this.val$server)
post	this.val$target == Param_3
post	init'ed(this.val$target)

method	void run()
pre	this.val$givenFile != null
pre	(soft) com.dmdirc.addons.dcc.actions.DCCActions__ static_init.new DCCActions(DCCActions__static_init# 11).type != null
pre	(soft) com/dmdirc/Main.controller != null
pre	(soft) init'ed(com/dmdirc/actions/ActionManager. killSwitch)
pre	(soft) init'ed(this.myPlugin.container)
pre	(soft) this.myPlugin != null
pre	(soft) this.myPlugin.childFrames != null
pre	(soft) this.val$server != null
pre	(soft) this.val$server.parser != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@154 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@155 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@165 != null
presumption	javax.swing.JFileChooser:getSelectedFile(...)@146 != null
presumption	javax.swing.JFileChooser:getSelectedFile(...)@149 != null
presumption	javax.swing.JFileChooser:getSelectedFile(...)@162 != null
presumption	javax.swing.JFileChooser:getSelectedFile(...)@163 != null
presumption	javax.swing.JFileChooser:getSelectedFile(...)@167 != null
presumption	javax.swing.JFileChooser:getSelectedFile(...)@171 != null
presumption	send.serverSocket@162 != null
post	com/dmdirc/ServerManager.me == old com/dmdirc/Serve rManager.me
post	init'ed(this.myPlugin.container)
post	new ArrayList(ServerManager#1) num objects == 0, if init'ed
post	new DCCPlugin$3(createContainer#1) num objects <= 1
post	init'ed(new DCCPlugin$3(createContainer#1). changer)
post	init'ed(new DCCPlugin$3(createContainer#1).config)
post	init'ed(new DCCPlugin$3(createContainer#1).icon)
post	init'ed(new DCCPlugin$3(createContainer#1). listeners)
post	init'ed(new DCCPlugin$3(createContainer#1). myWindow)
post	init'ed(new DCCPlugin$3(createContainer#1). notification)
post	init'ed(new DCCPlugin$3(createContainer#1).plugin)
post	init'ed(new DCCPlugin$3(createContainer#1).title)
post	init'ed(new DCCPlugin$3(createContainer#1). windowClosing)
post	new FrameContainer$IconChanger(FrameContainer#2) num objects <= 1
post	new ListenerList(FrameContainer#1) num objects <= 1
post	new ServerManager(getServerManager#1) num objects == 0, if init'ed
post	new ServerManager(getServerManager#1).servers == null
unanalyzed	call on getUI
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.addons.dcc.DCCPlugin:getDomain
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on javax.swing.JFileChooser
unanalyzed	call on java.util.concurrent.Semaphore
unanalyzed	call on java.util.List:add
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on getType
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on trigger
unanalyzed	call on getArity
unanalyzed	call on com.dmdirc.interfaces.ActionListener:proces sEvent
unanalyzed	call on triggerActions
unanalyzed	call on com.dmdirc.addons.dcc.DCCCommand:sendLine
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:getAbsolutePath
unanalyzed	call on java.io.FileInputStream
unanalyzed	call on java.io.DataInputStream
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getCallback Manager
unanalyzed	call on javax.swing.JProgressBar:setValue
unanalyzed	call on com.dmdirc.addons.dcc.DCCFrame
unanalyzed	call on javax.swing.JProgressBar
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JButton
unanalyzed	call on com.dmdirc.parser.irc.callbacks. CallbackManager:addNonCriticalCallback
unanalyzed	call on getContentPane
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on java.awt.Container:setLayout
unanalyzed	call on javax.swing.JProgressBar:setMinimum
unanalyzed	call on javax.swing.JProgressBar:setMaximum
unanalyzed	call on javax.swing.JProgressBar:setStringPainted
unanalyzed	call on java.io.File:getName
unanalyzed	call on java.awt.Container:add
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on com.dmdirc.addons.dcc.DCCPlugin$3
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:getText
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setText
unanalyzed	call on getFrame
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getContentPane
unanalyzed	call on com.dmdirc.ui.WindowManager:addWindow
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:open
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getMyself
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getHost
unanalyzed	call on java.net.InetAddress:getByName
unanalyzed	call on java.net.InetAddress:getHostAddress
unanalyzed	call on java.net.InetAddress:getLocalHost
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.Long:parseLong
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:hashCode
unanalyzed	call on java.lang.Math:abs
unanalyzed	call on java.lang.Integer:toString
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionIn t
unanalyzed	call on listen
unanalyzed	call on com.dmdirc.actions.ConditionTree$OPERATION: ordinal
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.Deque:pollFirst
unanalyzed	call on java.lang.Character:instanceof
unanalyzed	call on java.lang.Character:charValue
unanalyzed	call on java.util.Deque:isEmpty
unanalyzed	call on readTerm
unanalyzed	call on java.util.ArrayDeque
unanalyzed	call on java.util.Deque:pollLast
unanalyzed	call on java.util.Deque:addFirst
unanalyzed	call on parseStack
unanalyzed	call on java.util.Deque:poll
unanalyzed	call on java.util.Deque:add
unanalyzed	call on java.util.Deque:size
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptions
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 java.util.Map$Entry:getValue
unanalyzed	call on [Ljava.lang.String;:instanceof
unanalyzed	call on java.lang.String:instanceof
unanalyzed	call on doServerSubstitutions
unanalyzed	call on doComponentSubstitutions
unanalyzed	call on getServer
unanalyzed	call on getState
unanalyzed	call on com.dmdirc.ServerState:equals
unanalyzed	call on getCompatibleComponents
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on get
unanalyzed	call on getArgTypes
unanalyzed	call on test
unanalyzed	call on evaluate
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getAc tiveWindow
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:instan ceof
unanalyzed	call on java.util.List:get
unanalyzed	call on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
unanalyzed	call on com.dmdirc.commandparser.parsers. CommandParser:parseCommand
unanalyzed	call on com.dmdirc.FrameContainer
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keAndWait
unanalyzed	call on connect
unanalyzed	call on java.util.concurrent.Semaphore:acquireUnint erruptibly
unanalyzed	call on java.net.ServerSocket
unanalyzed	call on java.util.concurrent.Semaphore:release
unanalyzed	call on java.io.IOException
unanalyzed	call on socketClosed
unanalyzed	call on java.net.Socket:getOutputStream
unanalyzed	call on java.io.PrintWriter
unanalyzed	call on java.net.Socket:getInputStream
unanalyzed	call on java.io.InputStreamReader
unanalyzed	call on java.io.BufferedReader
unanalyzed	call on socketOpened
unanalyzed	call on java.net.ServerSocket:getLocalPort
unanalyzed	call on java.net.Socket
unanalyzed	call on java.lang.Thread
unanalyzed	call on java.lang.Thread:start
unanalyzed	call on setIcon
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on com.dmdirc.interfaces.IconChangeListener:ic onChanged
unanalyzed	call on com.dmdirc.config.ConfigManager:removeListe ner
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on addLine
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.io.DataOutputStream:close
unanalyzed	call on java.io.DataInputStream:close
unanalyzed	call on java.io.FileOutputStream
unanalyzed	call on java.io.DataOutputStream
unanalyzed	call on java.lang.Long:valueOf
unanalyzed	call on java.lang.String:format
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on java.lang.System:currentTimeMillis
unanalyzed	call on java.lang.Math:floor
unanalyzed	call on java.lang.Double:valueOf
unanalyzed	call on isWindowClosing
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@165: {0}, {1}
test_vector	java.io.File:exists(...)@134: {0}, {1}
test_vector	java.io.File:exists(...)@136: {0}, {1}
test_vector	java.io.File:exists(...)@149: {1}, {0}
test_vector	java.io.File:isFile(...)@136: {1}, {0}
test_vector	java.io.File:length(...)@146: {-9_223_372_036_854_7 75_808..-1, 1..2⁶⁴-1}, {0}

method not available - call not analyzed Info call on MainWindow com.dmdirc.ui.interfaces. UIController:getMainWindow()

method not available - call not analyzed Info call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()

method not available - call not analyzed Info call on String com.dmdirc.addons.dcc. DCCPlugin:getDomain()

method not available - call not analyzed Info call on int com.dmdirc.config.ConfigManager:getOpti onInt(String, String)

method not available - call not analyzed Info call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()

method not available - call not analyzed Info call on String com.dmdirc.addons.dcc. DCCPlugin:getDomain()

method not available - call not analyzed Info call on bool com.dmdirc.config.ConfigManager:getOpt ionBool(String, String)

method	String getName()
post	return_value == &"dcc"

method	bool showInHelp()
post	return_value == 1

method	String getHelp()
post	return_value == &"dcc - Allows DCC"

method	AdditionalTabTargets getSuggestions(int, List)
presumption	init'ed(com.dmdirc.ui.input.TabCompletionType. CHANNEL)
presumption	init'ed(com.dmdirc.ui.input.TabCompletionType. COMMAND)
post	return_value == &new AdditionalTabTargets(getSu ggestions#1)
post	new AdditionalTabTargets(getSuggestions#1) num objects == 1
test_vector	arg: {-2³¹..-1, 2..2³²-1}, {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.ui.input.AdditionalTabTarge ts()

method not available - call not analyzed Info call on bool com.dmdirc.ui.input.AdditionalTabTarge ts:add(Object)

method not available - call not analyzed Info call on AdditionalTabTargets com.dmdirc.ui.input. AdditionalTabTargets:excludeAll()

method not available - call not analyzed Info call on void com.dmdirc.ui.input.AdditionalTabTarge ts:exclude(TabCompletionType)

method not available - call not analyzed Info call on AdditionalTabTargets com.dmdirc.ui.input. AdditionalTabTargets:excludeAll()

	method not available - call not analyzed	Info	call on void com.dmdirc.addons.dcc.DCCCommand:sendL ine(InputWindow, bool, String, Object[])
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.dcc.DCCCommand:sendL ine(InputWindow, bool, String, Object[])

method not available - call not analyzed	Info	call on bool com.dmdirc.parser.irc.IRCParser:isVali dChannelName(String)
method not available - call not analyzed	Info	call on IRCStringConverter com.dmdirc.parser.irc. IRCParser:getIRCStringConverter()
method not available - call not analyzed	Info	call on bool com.dmdirc.parser.irc.IRCStringConvert er:equalsIgnoreCase(String, String)

method not available - call not analyzed	Info	call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()
method not available - call not analyzed	Info	call on String com.dmdirc.addons.dcc. DCCPlugin:getDomain()
method not available - call not analyzed	Info	call on int com.dmdirc.config.ConfigManager:getOpti onInt(String, String)