Messages

Last Msg First Msg

method

com.dmdirc.addons.dcc.DCCSendWindow$1__static_ init

method

com.dmdirc.addons.dcc.DCCSendWindow__static_init

method	void com.dmdirc.addons.dcc.DCCSendWindow(DCCPlugin , DCCSend, String, String, IRCParser)
pre	dcc != null
pre	init'ed(dcc.filename)
pre	init'ed(dcc.transferType)
pre	init'ed(plugin.container)
pre	plugin != null
pre	(soft) plugin.childFrames != null
presumption	com.dmdirc.addons.ui_swing.components.frames. TextFrame:getContentPane(...)@192 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@138 init'ed
presumption	com.dmdirc.parser.irc.IRCParser:getCallbackManager( ...)@101 != null
presumption	(soft) init'ed(com/dmdirc/FrameContainer.java.awt. Color.BLACK)
post	dcc.handler == this
post	dcc.handler != null
post	plugin.container == One-of{old plugin.container, &new DCCPlugin$3(createContainer#1)}
post	plugin.container != null
post	this.button == &new JButton(DCCSendWindow#6)
post	this.changer == &new FrameContainer$IconChanger (FrameContainer#2)
post	this.config != null
post	this.dcc == dcc
post	this.dcc != null
post	this.icon in Addr_Set{&"dcc-receive-inactive", &"dcc-send-inactive"}
post	this.listeners == &new ListenerList(FrameContai ner#1)
post	this.myPlugin == plugin
post	this.myPlugin != null
post	this.myWindow != null
post	this.notification == com/dmdirc/FrameContainer. java.awt.Color.BLACK
post	init'ed(this.notification)
post	this.otherNickname == targetNick
post	init'ed(this.otherNickname)
post	this.parser == parser
post	init'ed(this.parser)
post	this.plugin == plugin
post	this.plugin != null
post	this.progress == &new JProgressBar(DCCSendWindo w#1)
post	this.remaining == &new JLabel(DCCSendWindow#4)
post	this.speed == &new JLabel(DCCSendWindow#3)
post	this.status == &new JLabel(DCCSendWindow#2)
post	this.taken == &new JLabel(DCCSendWindow#5)
post	init'ed(this.timeStarted)
post	this.title == title
post	init'ed(this.title)
post	this.transferCount == 0
post	init'ed(this.windowClosing)
post	new DCCPlugin$3(createContainer#1) num objects <= 1
post	new FrameContainer$IconChanger(FrameContainer#2) num objects == new DCCPlugin$3(createContainer#1) num objects
post	new ListenerList(FrameContainer#1) num objects == new DCCPlugin$3(createContainer#1) num objects
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	init'ed(new DCCPlugin$3(createContainer#1). notification)
post	new DCCPlugin$3(createContainer#1).plugin == plugin
post	new DCCPlugin$3(createContainer#1).plugin != null
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 JButton(DCCSendWindow#6) num objects == 1
post	new JLabel(DCCSendWindow#2) num objects == 1
post	new JLabel(DCCSendWindow#3) num objects == 1
post	new JLabel(DCCSendWindow#4) num objects == 1
post	new JLabel(DCCSendWindow#5) num objects == 1
post	new JProgressBar(DCCSendWindow#1) num objects == 1
post	new ListenerList(FrameContainer#1) num objects == 1
unanalyzed	call on java.io.File
unanalyzed	call on com.dmdirc.addons.dcc.DCCFrame
unanalyzed	call on java.io.File:getName
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 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.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
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.config.IdentityManager:getGlobal Config
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 com.dmdirc.util.ListenerList
test_vector	parser: Addr_Set{null}, Inverse{null}

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

method not available - call not analyzed Info call on bool com.dmdirc.parser.irc.callbacks. CallbackManager:addNonCriticalCallback(String, ICallbackInterface)

Prev Msg Next Msg

precondition failure

click for all messages in this file Medium Prob.

com/dmdirc/addons/dcc/DCCFrame.getContentPane: this.myWindow != null

method not available - call not analyzed Info call on void net.miginfocom.swing.MigLayout()

Prev Msg Next Msg

method	void onSocketClosed(IRCParser)
pre	this.parser != null
pre	this.button != null
presumption	com.dmdirc.parser.irc.IRCParser:getCallbackManager( ...)@137 != null
post	this.parser == null
test_vector	java.lang.String:equals(...)@140: {0}, {1}

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

method not available - call not analyzed Info call on void com.dmdirc.parser.irc.callbacks. CallbackManager:delAllCallback(ICallbackInterface)

method	DCCSend getDCC()
post	return_value == this.dcc
post	init'ed(return_value)

method	void actionPerformed(ActionEvent)
pre	e != null
pre	(soft) init'ed(this.dcc.address)
pre	(soft) init'ed(this.dcc.fileIn)
pre	(soft) init'ed(this.dcc.filename)
pre	(soft) init'ed(this.dcc.port)
pre	(soft) init'ed(this.dcc.serverSocket)
pre	(soft) init'ed(this.dcc.socket)
pre	(soft) init'ed(this.dcc.startpos)
pre	(soft) this.button != null
pre	(soft) this.dcc != null
pre	(soft) this.dcc.serverListeningSem != null
pre	(soft) this.dcc.serverSocketSem != null
pre	(soft) init'ed(this.dcc.size)
pre	(soft) init'ed(this.dcc.transferType)
pre	(soft) init'ed(this.dcc.turbo)
pre	(soft) this.myPlugin != null
pre	(soft) init'ed(this.parser)
pre	(soft) this.plugin != null
pre	(soft) this.status != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@187 != null
presumption	com.dmdirc.parser.irc.IRCParser:getIRCStringConvert er(...)@176 != null
presumption	init'ed(com.dmdirc.parser.irc.SocketState.OPEN)
presumption	java.awt.event.ActionEvent:getActionCommand(... )@157 != null
presumption	java.awt.event.ActionEvent:getActionCommand(... )@165 != null
presumption	java.awt.event.ActionEvent:getActionCommand(... )@199 != null
post	java.lang.Integer:toString(...)._tainted == 0
post	this.dcc.address == One-of{old this.dcc.address, 0}
post	init'ed(this.dcc.address)
post	this.dcc.fileIn == One-of{old this.dcc.fileIn, &new DataInputStream(setFileName#2), null}
post	init'ed(this.dcc.fileIn)
post	possibly_updated(this.dcc.fileOut)
post	this.dcc.filename == old this.dcc.filename
post	init'ed(this.dcc.filename)
post	this.dcc.handler.timeStarted == old this.dcc.handler.timeStarted
post	possibly_updated(this.dcc.in)
post	possibly_updated(this.dcc.listen)
post	this.dcc.myThread == One-of{old this.dcc.myThread, &new Thread(connect#2)}
post	possibly_updated(this.dcc.out)
post	init'ed(this.dcc.port)
post	this.dcc.readSize == One-of{old this.dcc.startpos, old this.dcc.readSize}
post	init'ed(this.dcc.serverSocket)
post	init'ed(this.dcc.socket)
post	init'ed(this.dcc.startpos)
post	this.dcc.token == One-of{old this.dcc.token, &java.lang.Integer:toString(...)}
post	possibly_updated(this.dcc.transferFile)
post	this.transferCount == One-of{0, old this.transferCount}
post	new BufferedReader(socketOpened#2) num objects == 0
post	new DataInputStream(setFileName#2) num objects <= 1
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 <= 1
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
unanalyzed	call on java.lang.Long:valueOf
unanalyzed	call on java.lang.String:format
unanalyzed	call on javax.swing.JButton:setText
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 javax.swing.JLabel:setText
unanalyzed	call on java.lang.System:currentTimeMillis
unanalyzed	call on setIcon
unanalyzed	call on java.lang.Math:floor
unanalyzed	call on javax.swing.JProgressBar:setValue
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.concurrent.Semaphore:release
unanalyzed	call on java.util.concurrent.Semaphore:tryAcquire
unanalyzed	call on java.lang.Thread:sleep
unanalyzed	call on java.net.ServerSocket:isClosed
unanalyzed	call on java.net.ServerSocket:close
unanalyzed	call on java.net.Socket:isClosed
unanalyzed	call on java.net.Socket:close
unanalyzed	call on socketClosed
unanalyzed	call on java.lang.Double:valueOf
unanalyzed	call on isWindowClosing
unanalyzed	call on java.io.File
unanalyzed	call on java.io.DataInputStream:skipBytes
unanalyzed	call on java.io.File:getAbsolutePath
unanalyzed	call on java.io.FileInputStream
unanalyzed	call on java.io.DataInputStream
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: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:getOptionBo ol
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionIn t
unanalyzed	call on listen
unanalyzed	call on getFrame
unanalyzed	call on addLine
unanalyzed	call on java.io.DataOutputStream:close
unanalyzed	call on java.io.DataInputStream:close
unanalyzed	call on connect
unanalyzed	call on java.util.concurrent.Semaphore:acquireUnint erruptibly
unanalyzed	call on java.net.ServerSocket
unanalyzed	call on java.io.IOException
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 com.dmdirc.ui.interfaces.Window:close
unanalyzed	call on java.io.FileOutputStream
unanalyzed	call on java.io.DataOutputStream
test_vector	this.parser: Addr_Set{null}, Inverse{null}
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@187: {0}, {1}
test_vector	com.dmdirc.parser.irc.IRCStringConverter:equalsIgno reCase(...)@176: {0}, {1}
test_vector	java.lang.String:equals(...)@157: {0}, {1}
test_vector	java.lang.String:equals(...)@165: {0}, {1}
test_vector	java.lang.String:equals(...)@199: {0}, {1}

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

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 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.DCCSendWindow$1(DCCSend Window)

method

void run()

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)

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	void dataTransfered(DCCSend, int)
pre	(float) (dcc.size) != +0
pre	init'ed(com/dmdirc/actions/ActionManager. killSwitch)
pre	dcc != null
pre	init'ed(dcc.size)
pre	init'ed(dcc.startpos)
pre	init'ed(dcc.transferType)
pre	this.dcc != null
pre	init'ed(this.dcc.size)
pre	init'ed(this.dcc.startpos)
pre	this.progress != null
pre	this.remaining != null
pre	this.speed != null
pre	this.status != null
pre	this.taken != null
pre	init'ed(this.timeStarted)
pre	(soft) com.dmdirc.addons.dcc.actions.DCCActions__ static_init.new DCCActions(DCCActions__static_init# 9).type != null
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
presumption	(int) (java.lang.Math:floor(...)@226) in {-2³¹..2³²-1}
presumption	bytes + this.transferCount in {-9_223_372_036_854_7 75_808..2⁶⁴-1}
post	com/dmdirc/ServerManager.me == old com/dmdirc/Serve rManager.me
post	init'ed(this.transferCount)
post	new ArrayList(ServerManager#1) num objects == 0, if init'ed
post	new ServerManager(getServerManager#1) num objects == 0, if init'ed
post	new ServerManager(getServerManager#1).servers == null
unanalyzed	call on java.lang.Long:valueOf
unanalyzed	call on java.lang.String:format
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 javax.swing.JLabel:setText
unanalyzed	call on java.lang.System:currentTimeMillis
unanalyzed	call on java.lang.Math:floor
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Double:valueOf
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 java.util.List:iterator
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
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 java.lang.String:split
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 getUI
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getAc tiveWindow
unanalyzed	call on getFrame
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

method	void updateSpeedAndTime()
pre	this.dcc != null
pre	init'ed(this.dcc.size)
pre	init'ed(this.dcc.startpos)
pre	this.remaining != null
pre	this.speed != null
pre	this.taken != null
pre	init'ed(this.timeStarted)
presumption	(int) (java.lang.Math:floor(...)@255) in {-2⁶³..18_446_744_073_709_55 1_615}
presumption	(this.dcc.startpos - this.dcc.size) + this.transferCount in {-2⁶⁴+1 ..2⁶³}
unanalyzed	call on java.lang.Long:valueOf
unanalyzed	call on java.lang.String:format

method	String duration(long)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value == &java.lang.StringBuilder:toStri ng(...)
test_vector	secondsInput: {-2⁶³..3_599}, {3_600..2⁶⁴-1}
test_vector	secondsInput/3_600: {-2_562_047_788_015_215..0}, {1..5_124_095_576_030_431}
test_vector	secondsInput/60: {-153_722_867_280_912_930..59}, {60..307_445_734_561_825_860}

method	void socketClosed(DCCSend)
pre	init'ed(com/dmdirc/actions/ActionManager. killSwitch)
pre	init'ed(this.windowClosing)
pre	(soft) com.dmdirc.addons.dcc.actions.DCCActions__ static_init.new DCCActions(DCCActions__static_init# 7).type != null
pre	(soft) dcc != null
pre	(soft) init'ed(dcc.size)
pre	(soft) init'ed(dcc.transferType)
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
pre	(soft) this.button != null
pre	(soft) this.config != null
pre	(soft) this.dcc != null
pre	(soft) init'ed(this.dcc.size)
pre	(soft) init'ed(this.dcc.startpos)
pre	(soft) this.listeners != null
pre	(soft) this.progress != null
pre	(soft) this.remaining != null
pre	(soft) this.speed != null
pre	(soft) this.status != null
pre	(soft) this.taken != null
pre	(soft) init'ed(this.timeStarted)
post	com/dmdirc/ServerManager.me == old com/dmdirc/Serve rManager.me
post	this.icon == One-of{old this.icon, &"dcc-send-d one", &"dcc-receive-done", &"dcc-send-faile d", &"dcc-receive-failed"}
post	new ArrayList(ServerManager#1) num objects == undefined
post	new ArrayList(ServerManager#1) num objects == 0, if init'ed
post	new ServerManager(getServerManager#1) num objects == new ArrayList(ServerManager#1) num objects
post	new ServerManager(getServerManager#1).servers == undefined
post	new ServerManager(getServerManager#1).servers == null
unanalyzed	call on java.lang.Long:valueOf
unanalyzed	call on java.lang.String:format
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 javax.swing.JLabel:setText
unanalyzed	call on java.lang.System:currentTimeMillis
unanalyzed	call on java.lang.Math:floor
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Double:valueOf
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 java.util.List:iterator
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
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 java.lang.String:split
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 getUI
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getAc tiveWindow
unanalyzed	call on getFrame
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.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
test_vector	this.windowClosing: {1}, {0}

method	void socketOpened(DCCSend)
pre	init'ed(com/dmdirc/actions/ActionManager. killSwitch)
pre	dcc != null
pre	init'ed(dcc.transferType)
pre	this.config != null
pre	this.listeners != null
pre	this.status != null
pre	(soft) com.dmdirc.addons.dcc.actions.DCCActions__ static_init.new DCCActions(DCCActions__static_init# 8).type != null
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
post	com/dmdirc/ServerManager.me == old com/dmdirc/Serve rManager.me
post	this.icon == One-of{&"dcc-send-active", &"dcc-receive-active"}
post	this.icon in Addr_Set{&"dcc-receive-active", &"dcc-send-active"}
post	init'ed(this.timeStarted)
post	new ArrayList(ServerManager#1) num objects == undefined
post	new ArrayList(ServerManager#1) num objects == 0, if init'ed
post	new ServerManager(getServerManager#1) num objects == new ArrayList(ServerManager#1) num objects
post	new ServerManager(getServerManager#1).servers == undefined
post	new ServerManager(getServerManager#1).servers == null
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.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.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
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 java.lang.String:split
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 getUI
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getAc tiveWindow
unanalyzed	call on getFrame
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.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

method	void windowClosing()
pre	this.myWindow != null
pre	init'ed(this.plugin.container)
pre	this.dcc != null
pre	this.dcc.serverSocketSem != null
pre	this.plugin != null
pre	(soft) init'ed(this.dcc.serverSocket)
pre	(soft) init'ed(this.dcc.socket)
pre	(soft) this.dcc.serverListeningSem != null
pre	(soft) this.plugin.childFrames != null
post	possibly_updated(this.dcc.in)
post	possibly_updated(this.dcc.out)
post	this.dcc.serverSocket == null
post	this.dcc.socket == null
post	this.myWindow == null
post	this.plugin.container == One-of{old this.plugin.container, null}
post	init'ed(this.plugin.container)
post	this.windowClosing == 1
unanalyzed	call on java.lang.Long:valueOf
unanalyzed	call on java.lang.String:format
unanalyzed	call on javax.swing.JButton:setText
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 javax.swing.JLabel:setText
unanalyzed	call on java.lang.System:currentTimeMillis
unanalyzed	call on setIcon
unanalyzed	call on java.lang.Math:floor
unanalyzed	call on javax.swing.JProgressBar:setValue
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.concurrent.Semaphore:release
unanalyzed	call on java.util.concurrent.Semaphore:tryAcquire
unanalyzed	call on java.lang.Thread:sleep
unanalyzed	call on java.net.ServerSocket:isClosed
unanalyzed	call on java.net.ServerSocket:close
unanalyzed	call on java.net.Socket:isClosed
unanalyzed	call on java.net.Socket:close
unanalyzed	call on socketClosed
unanalyzed	call on java.lang.Double:valueOf
unanalyzed	call on isWindowClosing
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:setVis ible
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.addons.dcc.DCCFrame:close
unanalyzed	call on java.util.List:clear
unanalyzed	call on java.util.List:isEmpty
unanalyzed	call on com.dmdirc.ui.WindowManager:removeWindow
unanalyzed	call on addLine
unanalyzed	call on java.io.DataOutputStream:close
unanalyzed	call on java.io.DataInputStream:close

	method not available - call not analyzed	Info	call on CallbackManager com.dmdirc.parser.irc. IRCParser:getCallbackManager()
	method not available - call not analyzed	Info	call on bool com.dmdirc.parser.irc.callbacks. CallbackManager:addNonCriticalCallback(String, ICallbackInterface)

	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 bool com.dmdirc.config.ConfigManager:getOpt ionBool(String, String)