DCCPlugin.java

DCCPlugin.java

current inspection = 2009-09-03 21:56:13 (id #1)

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void addWindow(DCCFrame)

Kind	Annotation Text
pre	(soft) init'ed(this.container.myWindow)
pre	(soft) this.childFrames != null
pre	(soft) window != null
pre	(soft) window.myWindow != null
pre	init'ed(this.container)
post	init'ed(new DCCPlugin$3(createContainer#1). notification)
post	new DCCPlugin$3(createContainer#1) num objects <= 1
post	new DCCPlugin$3(createContainer#1).changer == &new FrameContainer$IconChanger(FrameContainer #2)
post	new DCCPlugin$3(createContainer#1).config != null
post	new DCCPlugin$3(createContainer#1).icon == &"dcc"
post	new DCCPlugin$3(createContainer#1).listeners == &new ListenerList(FrameContainer#1)
post	new DCCPlugin$3(createContainer#1).myWindow != null
post	new DCCPlugin$3(createContainer#1).notification == com/dmdirc/FrameContainer.java.awt.Color.BLACK
post	new DCCPlugin$3(createContainer#1).plugin != null
post	new DCCPlugin$3(createContainer#1).plugin == this
post	new DCCPlugin$3(createContainer#1).title == &"DCCs"
post	new DCCPlugin$3(createContainer#1).windowClosing == 0
post	new FrameContainer$IconChanger(FrameContainer#2) num objects <= 1
post	new ListenerList(FrameContainer#1) num objects <= 1
post	this.container != null
post	this.container == One-of{old this.container, &new DCCPlugin$3(createContainer#1)}
unanalyzed	call on com.dmdirc.FrameContainer
unanalyzed	call on com.dmdirc.addons.dcc.DCCFrame
unanalyzed	call on com.dmdirc.addons.dcc.DCCPlugin$3
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keAndWait
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getContentPane
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.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.config.ConfigManager:removeListe ner
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.interfaces.IconChangeListener:ic onChanged
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.WindowManager:addWindow
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:open
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on getFrame
unanalyzed	call on java.awt.Container:add
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:iterator
test_vector	this.container: Inverse{null}, Addr_Set{null}
test_vector	window == this.container: {0}, {1}

void askQuestion(String, String, int, ActionType, StringBuffer, Object[])

Kind	Annotation Text

void com.dmdirc.addons.dcc.DCCPlugin$1(DCCPlugin, String, String, int, ActionType, StringBuffer, Object[])

Kind	Annotation Text
post	init'ed(this.val$arguments)
post	init'ed(this.val$desiredAnswer)
post	init'ed(this.val$format)
post	init'ed(this.val$question)
post	init'ed(this.val$title)
post	init'ed(this.val$type)
post	this.val$arguments == Param_7
post	this.val$desiredAnswer == Param_4
post	this.val$format == Param_6
post	this.val$question == Param_2
post	this.val$title == Param_3
post	this.val$type == Param_5

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

Kind	Annotation Text

void com.dmdirc.addons.dcc.DCCPlugin$2(DCCPlugin, String, DCCSend, String, IRCParser, bool, String)

Kind	Annotation Text
post	init'ed(this.val$nickname)
post	init'ed(this.val$parser)
post	init'ed(this.val$reverse)
post	init'ed(this.val$send)
post	init'ed(this.val$sendFilename)
post	init'ed(this.val$token)
post	this.val$nickname == Param_4
post	this.val$parser == Param_5
post	this.val$reverse == Param_6
post	this.val$send == Param_3
post	this.val$sendFilename == Param_2
post	this.val$token == Param_7

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

Kind	Annotation Text

void com.dmdirc.addons.dcc.DCCPlugin$3(DCCPlugin, DCCPlugin, String, String)

Kind	Annotation Text
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@138 != null
presumption	init'ed(com/dmdirc/FrameContainer.java.awt.Color. BLACK)
post	init'ed(this.icon)
post	init'ed(this.myWindow)
post	init'ed(this.notification)
post	init'ed(this.plugin)
post	init'ed(this.title)
post	new FrameContainer$IconChanger(FrameContainer#2) num objects == 1
post	new ListenerList(FrameContainer#1) num objects == 1
post	this.changer == &new FrameContainer$IconChanger (FrameContainer#2)
post	this.config != null
post	this.icon == x2
post	this.listeners == &new ListenerList(FrameContai ner#1)
post	this.notification == com/dmdirc/FrameContainer. java.awt.Color.BLACK
post	this.plugin == x0
post	this.title == x1
post	this.windowClosing == 0
unanalyzed	call on com.dmdirc.FrameContainer
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keAndWait
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.config.ConfigManager:removeListe ner
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.interfaces.IconChangeListener:ic onChanged
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on getFrame
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:iterator

com.dmdirc.addons.dcc.DCCPlugin$3__static_init

Kind	Annotation Text

void com.dmdirc.addons.dcc.DCCPlugin()

Kind	Annotation Text
post	new ArrayList(DCCPlugin#1) num objects == 1
post	this.childFrames == &new ArrayList(DCCPlugin#1)

com.dmdirc.addons.dcc.DCCPlugin__static_init

Kind	Annotation Text

void createContainer()

Kind	Annotation Text
presumption	com.dmdirc.addons.ui_swing.components.frames. TextFrame:getContentPane(...)@411 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@138 != null
presumption	init'ed(com/dmdirc/FrameContainer.java.awt.Color. BLACK)
post	init'ed(this.container.notification)
post	new DCCPlugin$3(createContainer#1) num objects == 1
post	new FrameContainer$IconChanger(FrameContainer#2) num objects == 1
post	new ListenerList(FrameContainer#1) num objects == 1
post	this.container == &new DCCPlugin$3(createContai ner#1)
post	this.container.changer == &new FrameContainer$I conChanger(FrameContainer#2)
post	this.container.config != null
post	this.container.icon == &"dcc"
post	this.container.listeners == &new ListenerList(FrameContainer#1)
post	this.container.myWindow != null
post	this.container.notification == com/dmdirc/FrameCont ainer.java.awt.Color.BLACK
post	this.container.plugin != null
post	this.container.plugin == this
post	this.container.title == &"DCCs"
post	this.container.windowClosing == 0
unanalyzed	call on com.dmdirc.FrameContainer
unanalyzed	call on com.dmdirc.addons.dcc.DCCFrame
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keAndWait
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.config.ConfigManager:removeListe ner
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.interfaces.IconChangeListener:ic onChanged
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on getFrame
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:iterator

void delWindow(DCCFrame)

Kind	Annotation Text
pre	(soft) this.childFrames != null
pre	init'ed(this.container)
presumption	java.util.Iterator:next(...)@439 != null
post	init'ed(this.container)
post	this.container == One-of{old this.container, null}
test_vector	java.util.Iterator:hasNext(...)@439: {0}, {1}
test_vector	java.util.List:isEmpty(...)@447: {0}, {1}
test_vector	this.container: Inverse{null}, Addr_Set{null}
test_vector	window == this.container: {0}, {1}

void domainUpdated()

Kind	Annotation Text
pre	init'ed(com/dmdirc/Main.configdir)
presumption	com.dmdirc.config.IdentityManager:getAddonIdentity( ...)@457 != null
post	com/dmdirc/Main.configdir != null
post	com/dmdirc/Main.configdir == One-of{old com/dmdirc/Main.configdir, &java.lang. StringBuilder:toString(...)}
post	java.lang.StringBuilder:toString(...)._tainted == 0
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.System:getenv

String getListenIP()

Kind	Annotation Text
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.addons.dcc.DCCPlugin:getDomain
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getHost
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getMyself
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.net.InetAddress:getByName
unanalyzed	call on java.net.InetAddress:getHostAddress
unanalyzed	call on java.net.InetAddress:getLocalHost

String getListenIP(IRCParser)

Kind	Annotation Text
presumption	com.dmdirc.config.ConfigManager:getOption(...)@515 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@515 != null
presumption	com.dmdirc.parser.irc.ClientInfo:getHost(...)@519 != null
presumption	com.dmdirc.parser.irc.IRCParser:getMyself(...)@519 != null
presumption	java.net.InetAddress:getByName(...)@522 != null
presumption	java.net.InetAddress:getLocalHost(...)@527 != null
post	init'ed(return_value)
test_vector	java.lang.String:isEmpty(...)@516: {1}, {0}
test_vector	java.lang.String:isEmpty(...)@520: {1}, {0}
test_vector	parser: Addr_Set{null}, Inverse{null}

void handleProcessEvent(ActionType, StringBuffer, bool, Object[])

Kind	Annotation Text
pre	(soft) arguments != null
pre	(soft) arguments.length >= 4
pre	(soft) arguments[2] != null
pre	(soft) arguments[3] != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@235 != null
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 ArrayList(ServerManager#1) num objects == 0
post	new BufferedReader(socketOpened#2) num objects == 0
post	new DCCPlugin$3(createContainer#1) num objects == 0
post	new DataInputStream(setFileName#2) num objects == 0
post	new DataInputStream(socketOpened#5) num objects == 0
post	new DataOutputStream(socketOpened#2) num objects == 0
post	new DataOutputStream(socketOpened#4) num objects == 0
post	new File(setFileName#1) num objects == 0
post	new File(socketOpened#1) num objects == 0
post	new FrameContainer$IconChanger(FrameContainer#2) num objects == 0
post	new ListenerList(FrameContainer#1) num objects == 0
post	new PrintWriter(socketOpened#1) num objects == 0
post	new ServerManager(getServerManager#1) num objects == 0
post	new ServerSocket(listen#1*) num objects == 0
post	new Socket(connect#1) num objects == 0
post	new Thread(connect#2) num objects == 0
post	possibly_updated(com/dmdirc/ServerManager.me)
post	possibly_updated(new ServerManager(getServerManager #1).servers)
post	possibly_updated(this.container)
unanalyzed	call on [Ljava.lang.String;:instanceof
unanalyzed	call on addLine
unanalyzed	call on com.dmdirc.FrameContainer
unanalyzed	call on com.dmdirc.ServerState:equals
unanalyzed	call on com.dmdirc.actions.ConditionTree$OPERATION: ordinal
unanalyzed	call on com.dmdirc.addons.dcc.DCC
unanalyzed	call on com.dmdirc.addons.dcc.DCCFrame
unanalyzed	call on com.dmdirc.addons.dcc.DCCPlugin$3
unanalyzed	call on com.dmdirc.addons.dcc.DCCPlugin:getDomain
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keAndWait
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getContentPane
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.commandparser.parsers. CommandParser:parseCommand
unanalyzed	call on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionIn t
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptions
unanalyzed	call on com.dmdirc.config.ConfigManager:removeListe ner
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.interfaces.ActionListener:proces sEvent
unanalyzed	call on com.dmdirc.interfaces.IconChangeListener:ic onChanged
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getHost
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.WindowManager:addWindow
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:instan ceof
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:open
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:setTit le
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getAc tiveWindow
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getIn putWindow
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on connect
unanalyzed	call on doComponentSubstitutions
unanalyzed	call on doServerSubstitutions
unanalyzed	call on evaluate
unanalyzed	call on get
unanalyzed	call on getArgTypes
unanalyzed	call on getArity
unanalyzed	call on getCompatibleComponents
unanalyzed	call on getFrame
unanalyzed	call on getServer
unanalyzed	call on getState
unanalyzed	call on getType
unanalyzed	call on getUI
unanalyzed	call on isWindowClosing
unanalyzed	call on java.awt.Container:add
unanalyzed	call on java.io.BufferedReader
unanalyzed	call on java.io.DataInputStream
unanalyzed	call on java.io.DataInputStream:close
unanalyzed	call on java.io.DataInputStream:skipBytes
unanalyzed	call on java.io.DataOutputStream
unanalyzed	call on java.io.DataOutputStream:close
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:getAbsolutePath
unanalyzed	call on java.io.FileInputStream
unanalyzed	call on java.io.FileOutputStream
unanalyzed	call on java.io.IOException
unanalyzed	call on java.io.InputStreamReader
unanalyzed	call on java.io.PrintWriter
unanalyzed	call on java.lang.Character:charValue
unanalyzed	call on java.lang.Character:instanceof
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.lang.Double:valueOf
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Long:parseLong
unanalyzed	call on java.lang.Long:valueOf
unanalyzed	call on java.lang.Math:floor
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:format
unanalyzed	call on java.lang.String:instanceof
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.System:currentTimeMillis
unanalyzed	call on java.lang.Thread
unanalyzed	call on java.lang.Thread:start
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.net.ServerSocket
unanalyzed	call on java.net.ServerSocket:getLocalPort
unanalyzed	call on java.net.Socket
unanalyzed	call on java.net.Socket:getInputStream
unanalyzed	call on java.net.Socket:getOutputStream
unanalyzed	call on java.util.ArrayDeque
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on java.util.Deque:add
unanalyzed	call on java.util.Deque:addFirst
unanalyzed	call on java.util.Deque:isEmpty
unanalyzed	call on java.util.Deque:poll
unanalyzed	call on java.util.Deque:pollFirst
unanalyzed	call on java.util.Deque:pollLast
unanalyzed	call on java.util.Deque:size
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.concurrent.Semaphore
unanalyzed	call on java.util.concurrent.Semaphore:acquireUnint erruptibly
unanalyzed	call on java.util.concurrent.Semaphore:release
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on javax.swing.JProgressBar:setValue
unanalyzed	call on listen
unanalyzed	call on parseStack
unanalyzed	call on readTerm
unanalyzed	call on setIcon
unanalyzed	call on socketClosed
unanalyzed	call on socketOpened
unanalyzed	call on test
unanalyzed	call on trigger
unanalyzed	call on triggerActions
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@235: {0}, {1}
test_vector	dontAsk: {1}, {0}
test_vector	java.lang.String:equalsIgnoreCase(...)@243: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@244: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@260: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@340: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@340: {1}, {0}

bool listen(DCC)

Kind	Annotation Text
pre	(soft) dcc != null
pre	(soft) dcc.serverSocket != null
pre	(soft) dcc.serverSocketSem != null
pre	(soft) init'ed(dcc.address)
pre	(soft) init'ed(dcc.port)
presumption	com.dmdirc.config.ConfigManager:getOptionInt(... )@211 <= 2³²-2
presumption	com.dmdirc.config.ConfigManager:getOptionInt(... )@212 <= 2³²-2
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@210 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@211 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@212 != null
post	dcc.address == One-of{old dcc.address, 0}
post	dcc.handler.timeStarted == old dcc.handler. timeStarted
post	dcc.myThread == One-of{old dcc.myThread, &new Thread(connect#2)}
post	dcc.serverSocket != null
post	dcc.serverSocket == One-of{old dcc.serverSocket, &new ServerSocket(listen#1*)}
post	dcc.socket == old dcc.socket
post	init'ed(dcc.address)
post	init'ed(dcc.port)
post	init'ed(return_value)
post	new BufferedReader(socketOpened#2) num objects == 0
post	new DataInputStream(socketOpened#5) num objects == 0
post	new DataOutputStream(socketOpened#2) num objects == 0
post	new DataOutputStream(socketOpened#4) num objects == 0
post	new File(socketOpened#1) num objects == 0
post	new PrintWriter(socketOpened#1) num objects == 0
post	new ServerSocket(listen#1*) num objects <= 1
post	new Socket(connect#1) num objects == 0
post	new Thread(connect#2) num objects <= 1
post	possibly_updated(dcc.fileOut)
post	possibly_updated(dcc.in)
post	possibly_updated(dcc.listen)
post	possibly_updated(dcc.out)
post	possibly_updated(dcc.transferFile)
unanalyzed	call on addLine
unanalyzed	call on com.dmdirc.interfaces.ActionListener:proces sEvent
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on connect
unanalyzed	call on getArity
unanalyzed	call on getType
unanalyzed	call on isWindowClosing
unanalyzed	call on java.io.BufferedReader
unanalyzed	call on java.io.DataInputStream
unanalyzed	call on java.io.DataInputStream:close
unanalyzed	call on java.io.DataOutputStream
unanalyzed	call on java.io.DataOutputStream:close
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:getAbsolutePath
unanalyzed	call on java.io.FileOutputStream
unanalyzed	call on java.io.IOException
unanalyzed	call on java.io.InputStreamReader
unanalyzed	call on java.io.PrintWriter
unanalyzed	call on java.lang.Double:valueOf
unanalyzed	call on java.lang.Long:valueOf
unanalyzed	call on java.lang.Math:floor
unanalyzed	call on java.lang.String:format
unanalyzed	call on java.lang.System:currentTimeMillis
unanalyzed	call on java.lang.Thread
unanalyzed	call on java.lang.Thread:start
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.net.ServerSocket
unanalyzed	call on java.net.ServerSocket:getLocalPort
unanalyzed	call on java.net.Socket
unanalyzed	call on java.net.Socket:getInputStream
unanalyzed	call on java.net.Socket:getOutputStream
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.concurrent.Semaphore:acquireUnint erruptibly
unanalyzed	call on java.util.concurrent.Semaphore:release
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on javax.swing.JProgressBar:setValue
unanalyzed	call on setIcon
unanalyzed	call on socketClosed
unanalyzed	call on socketOpened
unanalyzed	call on trigger
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@210: {0}, {1}

void onLoad()

Kind	Annotation Text
pre	(soft) com.dmdirc.addons.dcc.actions.DCCActions__ static_init.new DCCActions[](DCCActions__static_ini t#12)[...] != null
pre	(soft) com.dmdirc.addons.dcc.actions.DCCActions__ static_init.new DCCActions[](DCCActions__static_ini t#12)[...].type != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@468 != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
post	new DCCCommand(onLoad#2) num objects == 1
post	this.command == &new DCCCommand(onLoad#2)
post	this.command.myPlugin != null
post	this.command.myPlugin == this
unanalyzed	call on com.dmdirc.commandparser.CommandManager:reg isterCommand
unanalyzed	call on com.dmdirc.commandparser.commands. ServerCommand
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.util.MapList:add
unanalyzed	call on getGroup
unanalyzed	call on getType
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:contains
test_vector	java.io.File:exists(...)@469: {0}, {1}
test_vector	java.io.File:isDirectory(...)@470: {1}, {0}

void onUnload()

Kind	Annotation Text
pre	init'ed(this.command)
pre	init'ed(this.container)
unanalyzed	call on com.dmdirc.util.MapList:removeFromAll
test_vector	this.container: Addr_Set{null}, Inverse{null}

void processEvent(ActionType, StringBuffer, Object[])

Kind	Annotation Text

void run()

Kind	Annotation Text
pre	(soft) com/dmdirc/Main.controller != null
pre	(soft) init'ed(this.container)
pre	(soft) init'ed(this.val$send.address)
pre	(soft) init'ed(this.val$send.listen)
pre	(soft) init'ed(this.val$send.port)
pre	(soft) init'ed(this.val$send.size)
pre	(soft) init'ed(this.val$send.transferType)
pre	(soft) this.childFrames != null
pre	(soft) this.val$parser != null
pre	(soft) this.val$send.serverSocket != null
pre	(soft) this.val$send.serverSocketSem != null
pre	(soft) this.val$token != null
pre	init'ed(this.val$send.filename)
pre	this.val$send != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@125 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@131 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@141 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@149 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@161 != null
presumption	javax.swing.JFileChooser:getSelectedFile(...)@137 != null
presumption	javax.swing.JFileChooser:getSelectedFile(...)@139 != null
presumption	javax.swing.JFileChooser:getSelectedFile(...)@140 != null
presumption	javax.swing.JFileChooser:getSelectedFile(...)@162 != null
presumption	javax.swing.JFileChooser:getSelectedFile(...)@164 != null
presumption	javax.swing.JFileChooser:getSelectedFile(...)@176 != null
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	init'ed(this.container)
post	init'ed(this.val$send.address)
post	init'ed(this.val$send.filename)
post	init'ed(this.val$send.listen)
post	init'ed(this.val$send.port)
post	new BufferedReader(socketOpened#2) num objects == 0
post	new DCCPlugin$3(createContainer#1) num objects <= 1
post	new DataInputStream(setFileName#2) num objects <= 1
post	new DataInputStream(socketOpened#5) num objects <= 1
post	new DataInputStream(socketOpened#5) num objects == 0
post	new DataOutputStream(socketOpened#2) num objects <= 1
post	new DataOutputStream(socketOpened#2) num objects == 0
post	new DataOutputStream(socketOpened#4) num objects <= 1
post	new DataOutputStream(socketOpened#4) num objects == 0
post	new File(setFileName#1) num objects <= 1
post	new File(socketOpened#1) num objects <= 1
post	new File(socketOpened#1) num objects == 0
post	new FrameContainer$IconChanger(FrameContainer#2) num objects <= 1
post	new ListenerList(FrameContainer#1) num objects <= 1
post	new PrintWriter(socketOpened#1) num objects == 0
post	new ServerSocket(listen#1*) num objects <= 1
post	new Socket(connect#1) num objects <= 1
post	new Socket(connect#1) num objects == 0
post	new Thread(connect#2) num objects <= 1
post	possibly_updated(this.val$send.fileOut)
post	possibly_updated(this.val$send.handler)
post	possibly_updated(this.val$send.in)
post	possibly_updated(this.val$send.out)
post	possibly_updated(this.val$send.transferFile)
post	this.val$send.address == One-of{old this.val$send.address, 0}
post	this.val$send.fileIn == One-of{old this.val$send. fileIn, &new DataInputStream(setFileName#2), null}
post	this.val$send.handler.timeStarted == old this.val$send.handler.timeStarted
post	this.val$send.myThread == One-of{old this.val$send.myThread, &new Thread(connect#2) }
post	this.val$send.serverSocket != null
post	this.val$send.serverSocket == One-of{old this.val$send.serverSocket, &new ServerSocket(listen#1*)}
post	this.val$send.socket == One-of{old this.val$send. socket, &new Socket(connect#1)}
post	this.val$send.token == One-of{old this.val$send. token, this.val$token}
unanalyzed	call on addLine
unanalyzed	call on com.dmdirc.FrameContainer
unanalyzed	call on com.dmdirc.addons.dcc.DCCFrame
unanalyzed	call on com.dmdirc.addons.dcc.DCCPlugin$3
unanalyzed	call on com.dmdirc.addons.dcc.DCCPlugin:getDomain
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keAndWait
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getContentPane
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.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionIn t
unanalyzed	call on com.dmdirc.config.ConfigManager:removeListe ner
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.interfaces.ActionListener:proces sEvent
unanalyzed	call on com.dmdirc.interfaces.IconChangeListener:ic onChanged
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getHost
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getCallback Manager
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getMyself
unanalyzed	call on com.dmdirc.parser.irc.callbacks. CallbackManager:addNonCriticalCallback
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.WindowManager:addWindow
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:open
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on connect
unanalyzed	call on getArity
unanalyzed	call on getContentPane
unanalyzed	call on getFrame
unanalyzed	call on getType
unanalyzed	call on isWindowClosing
unanalyzed	call on java.awt.Container:add
unanalyzed	call on java.awt.Container:setLayout
unanalyzed	call on java.io.BufferedReader
unanalyzed	call on java.io.DataInputStream
unanalyzed	call on java.io.DataInputStream:close
unanalyzed	call on java.io.DataOutputStream
unanalyzed	call on java.io.DataOutputStream:close
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:getAbsolutePath
unanalyzed	call on java.io.File:getName
unanalyzed	call on java.io.FileInputStream
unanalyzed	call on java.io.FileOutputStream
unanalyzed	call on java.io.IOException
unanalyzed	call on java.io.InputStreamReader
unanalyzed	call on java.io.PrintWriter
unanalyzed	call on java.lang.Double:valueOf
unanalyzed	call on java.lang.Long:parseLong
unanalyzed	call on java.lang.Long:valueOf
unanalyzed	call on java.lang.Math:floor
unanalyzed	call on java.lang.String:format
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.System:currentTimeMillis
unanalyzed	call on java.lang.Thread
unanalyzed	call on java.lang.Thread:start
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
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.net.ServerSocket
unanalyzed	call on java.net.ServerSocket:getLocalPort
unanalyzed	call on java.net.Socket
unanalyzed	call on java.net.Socket:getInputStream
unanalyzed	call on java.net.Socket:getOutputStream
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.concurrent.Semaphore:acquireUnint erruptibly
unanalyzed	call on java.util.concurrent.Semaphore:release
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JFileChooser
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on javax.swing.JProgressBar
unanalyzed	call on javax.swing.JProgressBar:setMaximum
unanalyzed	call on javax.swing.JProgressBar:setMinimum
unanalyzed	call on javax.swing.JProgressBar:setStringPainted
unanalyzed	call on javax.swing.JProgressBar:setValue
unanalyzed	call on listen
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on setIcon
unanalyzed	call on socketClosed
unanalyzed	call on socketOpened
unanalyzed	call on trigger
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@131: {0}, {1}
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@141: {0}, {1}
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@149: {0}, {1}
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@161: {0}, {1}
test_vector	java.io.File:exists(...)@139: {0}, {1}
test_vector	java.lang.String:isEmpty(...)@157: {1}, {0}
test_vector	this.val$reverse: {0}, {1}
test_vector	this.val$send.size: {-2⁶³.. -1}, {0..2⁶⁴-1}

void run()

Kind	Annotation Text

void saveFile(String, DCCSend, IRCParser, bool, String, String)

Kind	Annotation Text

void showConfig(PreferencesManager)

Kind	Annotation Text
pre	manager != null
presumption	com.dmdirc.config.prefs.PreferencesManager:getCateg ory(...)@543 != null
presumption	init'ed(com.dmdirc.config.prefs.PreferencesType. BOOLEAN)
presumption	init'ed(com.dmdirc.config.prefs.PreferencesType. INTEGER)
presumption	init'ed(com.dmdirc.config.prefs.PreferencesType. TEXT)