DCCSendWindow.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void actionPerformed(ActionEvent)

    • Kind Annotation Text
    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.size)
    pre(soft) init'ed(this.dcc.socket)
    pre(soft) init'ed(this.dcc.startpos)
    pre(soft) init'ed(this.dcc.transferType)
    pre(soft) init'ed(this.dcc.turbo)
    pre(soft) init'ed(this.parser)
    pre(soft) this.button != null
    pre(soft) this.dcc != null
    pre(soft) this.dcc.serverListeningSem != null
    pre(soft) this.dcc.serverSocketSem != null
    pre(soft) this.myPlugin != null
    pre(soft) this.plugin != null
    pre(soft) this.status != null
    pree != null
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@187 != null
    presumptioncom.dmdirc.parser.irc.IRCParser:getIRCStringConvert er(...)@176 != null
    presumptioninit'ed(com.dmdirc.parser.irc.SocketState.OPEN)
    presumptionjava.awt.event.ActionEvent:getActionCommand(... )@157 != null
    presumptionjava.awt.event.ActionEvent:getActionCommand(... )@165 != null
    presumptionjava.awt.event.ActionEvent:getActionCommand(... )@199 != null
    postinit'ed(this.dcc.address)
    postinit'ed(this.dcc.fileIn)
    postinit'ed(this.dcc.filename)
    postinit'ed(this.dcc.port)
    postinit'ed(this.dcc.serverSocket)
    postinit'ed(this.dcc.socket)
    postinit'ed(this.dcc.startpos)
    postjava.lang.Integer:toString(...)._tainted == 0
    postnew BufferedReader(socketOpened#2) num objects == 0
    postnew DataInputStream(setFileName#2) num objects <= 1
    postnew DataInputStream(socketOpened#5) num objects == 0
    postnew DataOutputStream(socketOpened#2) num objects == 0
    postnew DataOutputStream(socketOpened#4) num objects == 0
    postnew File(setFileName#1) num objects <= 1
    postnew File(socketOpened#1) num objects == 0
    postnew PrintWriter(socketOpened#1) num objects == 0
    postnew ServerSocket(listen#1*) num objects <= 1
    postnew Socket(connect#1) num objects == 0
    postnew Thread(connect#2) num objects <= 1
    postpossibly_updated(this.dcc.fileOut)
    postpossibly_updated(this.dcc.in)
    postpossibly_updated(this.dcc.listen)
    postpossibly_updated(this.dcc.out)
    postpossibly_updated(this.dcc.transferFile)
    postthis.dcc.address == One-of{old this.dcc.address, 0}
    postthis.dcc.fileIn == One-of{old this.dcc.fileIn, &amp;new DataInputStream(setFileName#2), null}
    postthis.dcc.filename == old this.dcc.filename
    postthis.dcc.handler.timeStarted == old this.dcc.handler.timeStarted
    postthis.dcc.myThread == One-of{old this.dcc.myThread, &amp;new Thread(connect#2)}
    postthis.dcc.readSize == One-of{old this.dcc.startpos, old this.dcc.readSize}
    postthis.dcc.token == One-of{old this.dcc.token, &amp;java.lang.Integer:toString(...)}
    postthis.transferCount == One-of{0, old this.transferCount}
    unanalyzedcall on addLine
    unanalyzedcall on com.dmdirc.addons.dcc.DCCPlugin:getDomain
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOption
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionBo ol
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionIn t
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.interfaces.ActionListener:proces sEvent
    unanalyzedcall on com.dmdirc.logger.Logger:assertTrue
    unanalyzedcall on com.dmdirc.parser.irc.ClientInfo:getHost
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getMyself
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:close
    unanalyzedcall on com.dmdirc.util.MapList:containsKey
    unanalyzedcall on com.dmdirc.util.MapList:get
    unanalyzedcall on connect
    unanalyzedcall on getArity
    unanalyzedcall on getFrame
    unanalyzedcall on getType
    unanalyzedcall on isWindowClosing
    unanalyzedcall on java.io.BufferedReader
    unanalyzedcall on java.io.DataInputStream
    unanalyzedcall on java.io.DataInputStream:close
    unanalyzedcall on java.io.DataInputStream:skipBytes
    unanalyzedcall on java.io.DataOutputStream
    unanalyzedcall on java.io.DataOutputStream:close
    unanalyzedcall on java.io.File
    unanalyzedcall on java.io.File:getAbsolutePath
    unanalyzedcall on java.io.FileInputStream
    unanalyzedcall on java.io.FileOutputStream
    unanalyzedcall on java.io.IOException
    unanalyzedcall on java.io.InputStreamReader
    unanalyzedcall on java.io.PrintWriter
    unanalyzedcall on java.lang.Double:valueOf
    unanalyzedcall on java.lang.Integer:toString
    unanalyzedcall on java.lang.Long:parseLong
    unanalyzedcall on java.lang.Long:valueOf
    unanalyzedcall on java.lang.Math:abs
    unanalyzedcall on java.lang.Math:floor
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:format
    unanalyzedcall on java.lang.String:hashCode
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:split
    unanalyzedcall on java.lang.System:currentTimeMillis
    unanalyzedcall on java.lang.Thread
    unanalyzedcall on java.lang.Thread:sleep
    unanalyzedcall on java.lang.Thread:start
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.net.InetAddress:getByName
    unanalyzedcall on java.net.InetAddress:getHostAddress
    unanalyzedcall on java.net.InetAddress:getLocalHost
    unanalyzedcall on java.net.ServerSocket
    unanalyzedcall on java.net.ServerSocket:close
    unanalyzedcall on java.net.ServerSocket:getLocalPort
    unanalyzedcall on java.net.ServerSocket:isClosed
    unanalyzedcall on java.net.Socket
    unanalyzedcall on java.net.Socket:close
    unanalyzedcall on java.net.Socket:getInputStream
    unanalyzedcall on java.net.Socket:getOutputStream
    unanalyzedcall on java.net.Socket:isClosed
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.ArrayList:iterator
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:remove
    unanalyzedcall on java.util.concurrent.Semaphore:acquireUnint erruptibly
    unanalyzedcall on java.util.concurrent.Semaphore:release
    unanalyzedcall on java.util.concurrent.Semaphore:tryAcquire
    unanalyzedcall on javax.swing.JButton:setText
    unanalyzedcall on javax.swing.JLabel:setText
    unanalyzedcall on javax.swing.JProgressBar:setValue
    unanalyzedcall on listen
    unanalyzedcall on setIcon
    unanalyzedcall on socketClosed
    unanalyzedcall on socketOpened
    unanalyzedcall on trigger
    test_vectorcom.dmdirc.config.ConfigManager:getOptionBool(... )@187: {0}, {1}
    test_vectorcom.dmdirc.parser.irc.IRCStringConverter:equalsIgno reCase(...)@176: {0}, {1}
    test_vectorjava.lang.String:equals(...)@157: {0}, {1}
    test_vectorjava.lang.String:equals(...)@165: {0}, {1}
    test_vectorjava.lang.String:equals(...)@199: {0}, {1}
    test_vectorthis.parser: Addr_Set{null}, Inverse{null}

  • void com.dmdirc.addons.dcc.DCCSendWindow$1(DCCSendWindow)

    • Kind Annotation Text

  • com.dmdirc.addons.dcc.DCCSendWindow$1__static_init

    • Kind Annotation Text

  • void com.dmdirc.addons.dcc.DCCSendWindow(DCCPlugin, DCCSend, String, String, IRCParser)

    • Kind Annotation Text
    pre(soft) plugin.childFrames != null
    predcc != null
    preinit'ed(dcc.filename)
    preinit'ed(dcc.transferType)
    preinit'ed(plugin.container)
    preplugin != null
    presumption(soft) init'ed(com/dmdirc/FrameContainer.java.awt. Color.BLACK)
    presumptioncom.dmdirc.addons.ui_swing.components.frames. TextFrame:getContentPane(...)@192 != null
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@138 init'ed
    presumptioncom.dmdirc.parser.irc.IRCParser:getCallbackManager( ...)@101 != null
    postdcc.handler != null
    postdcc.handler == this
    postinit'ed(new DCCPlugin$3(createContainer#1). notification)
    postinit'ed(this.notification)
    postinit'ed(this.otherNickname)
    postinit'ed(this.parser)
    postinit'ed(this.timeStarted)
    postinit'ed(this.title)
    postinit'ed(this.windowClosing)
    postnew DCCPlugin$3(createContainer#1) num objects <= 1
    postnew DCCPlugin$3(createContainer#1).changer == &amp;new FrameContainer$IconChanger(FrameContainer #2)
    postnew DCCPlugin$3(createContainer#1).config != null
    postnew DCCPlugin$3(createContainer#1).icon == &amp;"dcc"
    postnew DCCPlugin$3(createContainer#1).listeners == &amp;new ListenerList(FrameContainer#1)
    postnew DCCPlugin$3(createContainer#1).myWindow != null
    postnew DCCPlugin$3(createContainer#1).notification == com/dmdirc/FrameContainer.java.awt.Color.BLACK
    postnew DCCPlugin$3(createContainer#1).plugin != null
    postnew DCCPlugin$3(createContainer#1).plugin == plugin
    postnew DCCPlugin$3(createContainer#1).title == &amp;"DCCs"
    postnew DCCPlugin$3(createContainer#1).windowClosing == 0
    postnew FrameContainer$IconChanger(FrameContainer#2) num objects == 1
    postnew FrameContainer$IconChanger(FrameContainer#2) num objects == new DCCPlugin$3(createContainer#1) num objects
    postnew JButton(DCCSendWindow#6) num objects == 1
    postnew JLabel(DCCSendWindow#2) num objects == 1
    postnew JLabel(DCCSendWindow#3) num objects == 1
    postnew JLabel(DCCSendWindow#4) num objects == 1
    postnew JLabel(DCCSendWindow#5) num objects == 1
    postnew JProgressBar(DCCSendWindow#1) num objects == 1
    postnew ListenerList(FrameContainer#1) num objects == 1
    postnew ListenerList(FrameContainer#1) num objects == new DCCPlugin$3(createContainer#1) num objects
    postplugin.container != null
    postplugin.container == One-of{old plugin.container, &amp;new DCCPlugin$3(createContainer#1)}
    postthis.button == &amp;new JButton(DCCSendWindow#6)
    postthis.changer == &amp;new FrameContainer$IconChanger (FrameContainer#2)
    postthis.config != null
    postthis.dcc != null
    postthis.dcc == dcc
    postthis.icon in Addr_Set{&amp;"dcc-receive-inactive", &amp;"dcc-send-inactive"}
    postthis.listeners == &amp;new ListenerList(FrameContai ner#1)
    postthis.myPlugin != null
    postthis.myPlugin == plugin
    postthis.myWindow != null
    postthis.notification == com/dmdirc/FrameContainer. java.awt.Color.BLACK
    postthis.otherNickname == targetNick
    postthis.parser == parser
    postthis.plugin != null
    postthis.plugin == plugin
    postthis.progress == &amp;new JProgressBar(DCCSendWindo w#1)
    postthis.remaining == &amp;new JLabel(DCCSendWindow#4)
    postthis.speed == &amp;new JLabel(DCCSendWindow#3)
    postthis.status == &amp;new JLabel(DCCSendWindow#2)
    postthis.taken == &amp;new JLabel(DCCSendWindow#5)
    postthis.title == title
    postthis.transferCount == 0
    unanalyzedcall on com.dmdirc.FrameContainer
    unanalyzedcall on com.dmdirc.addons.dcc.DCCFrame
    unanalyzedcall on com.dmdirc.addons.dcc.DCCPlugin$3
    unanalyzedcall on com.dmdirc.addons.ui_swing.UIUtilities:invo keAndWait
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getContentPane
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:getText
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setText
    unanalyzedcall on com.dmdirc.config.ConfigManager:addChangeLi stener
    unanalyzedcall on com.dmdirc.config.ConfigManager:removeListe ner
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.interfaces.IconChangeListener:ic onChanged
    unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
    unanalyzedcall on com.dmdirc.ui.WindowManager:addWindow
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:open
    unanalyzedcall on com.dmdirc.util.ListenerList
    unanalyzedcall on com.dmdirc.util.ListenerList:get
    unanalyzedcall on com.dmdirc.util.ReturnableThread
    unanalyzedcall on getFrame
    unanalyzedcall on java.awt.Container:add
    unanalyzedcall on java.io.File
    unanalyzedcall on java.io.File:getName
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:iterator
    test_vectorparser: Addr_Set{null}, Inverse{null}

  • com.dmdirc.addons.dcc.DCCSendWindow__static_init

    • Kind Annotation Text

  • void dataTransfered(DCCSend, int)

    • Kind Annotation Text
    pre(float) (dcc.size) != +0
    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)
    predcc != null
    preinit'ed(com/dmdirc/actions/ActionManager. killSwitch)
    preinit'ed(dcc.size)
    preinit'ed(dcc.startpos)
    preinit'ed(dcc.transferType)
    preinit'ed(this.dcc.size)
    preinit'ed(this.dcc.startpos)
    preinit'ed(this.timeStarted)
    prethis.dcc != null
    prethis.progress != null
    prethis.remaining != null
    prethis.speed != null
    prethis.status != null
    prethis.taken != null
    presumption(int) (java.lang.Math:floor(...)@226) in {-231..232-1}
    presumptionbytes + this.transferCount in {-9_223_372_036_854_7 75_808..264-1}
    postcom/dmdirc/ServerManager.me == old com/dmdirc/Serve rManager.me
    postinit'ed(this.transferCount)
    postnew ArrayList(ServerManager#1) num objects == 0, if init'ed
    postnew ServerManager(getServerManager#1) num objects == 0, if init'ed
    postnew ServerManager(getServerManager#1).servers == null
    unanalyzedcall on [Ljava.lang.String;:instanceof
    unanalyzedcall on com.dmdirc.ServerState:equals
    unanalyzedcall on com.dmdirc.actions.ConditionTree$OPERATION: ordinal
    unanalyzedcall on com.dmdirc.commandparser.parsers. CommandParser:parseCommand
    unanalyzedcall on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptions
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.interfaces.ActionListener:proces sEvent
    unanalyzedcall on com.dmdirc.logger.Logger:assertTrue
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:instan ceof
    unanalyzedcall on com.dmdirc.ui.interfaces.UIController:getAc tiveWindow
    unanalyzedcall on com.dmdirc.util.MapList:containsKey
    unanalyzedcall on com.dmdirc.util.MapList:get
    unanalyzedcall on doComponentSubstitutions
    unanalyzedcall on doServerSubstitutions
    unanalyzedcall on evaluate
    unanalyzedcall on get
    unanalyzedcall on getArgTypes
    unanalyzedcall on getArity
    unanalyzedcall on getCompatibleComponents
    unanalyzedcall on getFrame
    unanalyzedcall on getServer
    unanalyzedcall on getState
    unanalyzedcall on getType
    unanalyzedcall on getUI
    unanalyzedcall on java.lang.Character:charValue
    unanalyzedcall on java.lang.Character:instanceof
    unanalyzedcall on java.lang.Character:valueOf
    unanalyzedcall on java.lang.Double:valueOf
    unanalyzedcall on java.lang.Integer:parseInt
    unanalyzedcall on java.lang.Long:valueOf
    unanalyzedcall on java.lang.Math:floor
    unanalyzedcall on java.lang.Object:toString
    unanalyzedcall on java.lang.String:charAt
    unanalyzedcall on java.lang.String:format
    unanalyzedcall on java.lang.String:instanceof
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.String:split
    unanalyzedcall on java.lang.String:valueOf
    unanalyzedcall on java.lang.System:currentTimeMillis
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayDeque
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.ArrayList:iterator
    unanalyzedcall on java.util.Deque:add
    unanalyzedcall on java.util.Deque:addFirst
    unanalyzedcall on java.util.Deque:isEmpty
    unanalyzedcall on java.util.Deque:poll
    unanalyzedcall on java.util.Deque:pollFirst
    unanalyzedcall on java.util.Deque:pollLast
    unanalyzedcall on java.util.Deque:size
    unanalyzedcall on java.util.List:get
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:size
    unanalyzedcall on java.util.Map$Entry:getKey
    unanalyzedcall on java.util.Map$Entry:getValue
    unanalyzedcall on java.util.Map:entrySet
    unanalyzedcall on java.util.Set:iterator
    unanalyzedcall on javax.swing.JLabel:setText
    unanalyzedcall on parseStack
    unanalyzedcall on readTerm
    unanalyzedcall on test
    unanalyzedcall on trigger
    unanalyzedcall on triggerActions

  • String duration(long)

    • Kind Annotation Text
    postjava.lang.StringBuilder:toString(...)._tainted == 0
    postreturn_value == &amp;java.lang.StringBuilder:toStri ng(...)
    test_vectorsecondsInput/3_600: {-2_562_047_788_015_215..0}, {1..5_124_095_576_030_431}
    test_vectorsecondsInput/60: {-153_722_867_280_912_930..59}, {60..307_445_734_561_825_860}
    test_vectorsecondsInput: {-263..3_599}, {3_600..264-1}

  • DCCSend getDCC()

    • Kind Annotation Text
    postinit'ed(return_value)
    postreturn_value == this.dcc

  • void onSocketClosed(IRCParser)

    • Kind Annotation Text
    prethis.button != null
    prethis.parser != null
    presumptioncom.dmdirc.parser.irc.IRCParser:getCallbackManager( ...)@137 != null
    postthis.parser == null
    test_vectorjava.lang.String:equals(...)@140: {0}, {1}

  • void run()

    • Kind Annotation Text

  • void socketClosed(DCCSend)

    • Kind Annotation Text
    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(com/dmdirc/ServerManager.me)
    pre(soft) init'ed(dcc.size)
    pre(soft) init'ed(dcc.transferType)
    pre(soft) init'ed(this.dcc.size)
    pre(soft) init'ed(this.dcc.startpos)
    pre(soft) init'ed(this.timeStarted)
    pre(soft) this.button != null
    pre(soft) this.config != null
    pre(soft) this.dcc != null
    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
    preinit'ed(com/dmdirc/actions/ActionManager. killSwitch)
    preinit'ed(this.windowClosing)
    postcom/dmdirc/ServerManager.me == old com/dmdirc/Serve rManager.me
    postnew ArrayList(ServerManager#1) num objects == 0, if init'ed
    postnew ArrayList(ServerManager#1) num objects == undefined
    postnew ServerManager(getServerManager#1) num objects == new ArrayList(ServerManager#1) num objects
    postnew ServerManager(getServerManager#1).servers == null
    postnew ServerManager(getServerManager#1).servers == undefined
    postthis.icon == One-of{old this.icon, &amp;"dcc-send-d one", &amp;"dcc-receive-done", &amp;"dcc-send-faile d", &amp;"dcc-receive-failed"}
    unanalyzedcall on [Ljava.lang.String;:instanceof
    unanalyzedcall on com.dmdirc.ServerState:equals
    unanalyzedcall on com.dmdirc.actions.ConditionTree$OPERATION: ordinal
    unanalyzedcall on com.dmdirc.commandparser.parsers. CommandParser:parseCommand
    unanalyzedcall on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
    unanalyzedcall on com.dmdirc.config.ConfigManager:addChangeLi stener
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptions
    unanalyzedcall on com.dmdirc.config.ConfigManager:removeListe ner
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.interfaces.ActionListener:proces sEvent
    unanalyzedcall on com.dmdirc.interfaces.IconChangeListener:ic onChanged
    unanalyzedcall on com.dmdirc.logger.Logger:assertTrue
    unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:instan ceof
    unanalyzedcall on com.dmdirc.ui.interfaces.UIController:getAc tiveWindow
    unanalyzedcall on com.dmdirc.util.ListenerList:get
    unanalyzedcall on com.dmdirc.util.MapList:containsKey
    unanalyzedcall on com.dmdirc.util.MapList:get
    unanalyzedcall on doComponentSubstitutions
    unanalyzedcall on doServerSubstitutions
    unanalyzedcall on evaluate
    unanalyzedcall on get
    unanalyzedcall on getArgTypes
    unanalyzedcall on getArity
    unanalyzedcall on getCompatibleComponents
    unanalyzedcall on getFrame
    unanalyzedcall on getServer
    unanalyzedcall on getState
    unanalyzedcall on getType
    unanalyzedcall on getUI
    unanalyzedcall on java.lang.Character:charValue
    unanalyzedcall on java.lang.Character:instanceof
    unanalyzedcall on java.lang.Character:valueOf
    unanalyzedcall on java.lang.Double:valueOf
    unanalyzedcall on java.lang.Integer:parseInt
    unanalyzedcall on java.lang.Long:valueOf
    unanalyzedcall on java.lang.Math:floor
    unanalyzedcall on java.lang.Object:toString
    unanalyzedcall on java.lang.String:charAt
    unanalyzedcall on java.lang.String:format
    unanalyzedcall on java.lang.String:instanceof
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.String:split
    unanalyzedcall on java.lang.String:valueOf
    unanalyzedcall on java.lang.System:currentTimeMillis
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayDeque
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.ArrayList:iterator
    unanalyzedcall on java.util.Deque:add
    unanalyzedcall on java.util.Deque:addFirst
    unanalyzedcall on java.util.Deque:isEmpty
    unanalyzedcall on java.util.Deque:poll
    unanalyzedcall on java.util.Deque:pollFirst
    unanalyzedcall on java.util.Deque:pollLast
    unanalyzedcall on java.util.Deque:size
    unanalyzedcall on java.util.List:get
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:size
    unanalyzedcall on java.util.Map$Entry:getKey
    unanalyzedcall on java.util.Map$Entry:getValue
    unanalyzedcall on java.util.Map:entrySet
    unanalyzedcall on java.util.Set:iterator
    unanalyzedcall on javax.swing.JLabel:setText
    unanalyzedcall on parseStack
    unanalyzedcall on readTerm
    unanalyzedcall on test
    unanalyzedcall on trigger
    unanalyzedcall on triggerActions
    test_vectorthis.windowClosing: {1}, {0}

  • void socketOpened(DCCSend)

    • Kind Annotation Text
    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)
    predcc != null
    preinit'ed(com/dmdirc/actions/ActionManager. killSwitch)
    preinit'ed(dcc.transferType)
    prethis.config != null
    prethis.listeners != null
    prethis.status != null
    postcom/dmdirc/ServerManager.me == old com/dmdirc/Serve rManager.me
    postinit'ed(this.timeStarted)
    postnew ArrayList(ServerManager#1) num objects == 0, if init'ed
    postnew ArrayList(ServerManager#1) num objects == undefined
    postnew ServerManager(getServerManager#1) num objects == new ArrayList(ServerManager#1) num objects
    postnew ServerManager(getServerManager#1).servers == null
    postnew ServerManager(getServerManager#1).servers == undefined
    postthis.icon == One-of{&amp;"dcc-send-active", &amp;"dcc-receive-active"}
    postthis.icon in Addr_Set{&amp;"dcc-receive-active", &amp;"dcc-send-active"}
    unanalyzedcall on [Ljava.lang.String;:instanceof
    unanalyzedcall on com.dmdirc.ServerState:equals
    unanalyzedcall on com.dmdirc.actions.ConditionTree$OPERATION: ordinal
    unanalyzedcall on com.dmdirc.commandparser.parsers. CommandParser:parseCommand
    unanalyzedcall on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
    unanalyzedcall on com.dmdirc.config.ConfigManager:addChangeLi stener
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptions
    unanalyzedcall on com.dmdirc.config.ConfigManager:removeListe ner
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.interfaces.ActionListener:proces sEvent
    unanalyzedcall on com.dmdirc.interfaces.IconChangeListener:ic onChanged
    unanalyzedcall on com.dmdirc.logger.Logger:assertTrue
    unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:instan ceof
    unanalyzedcall on com.dmdirc.ui.interfaces.UIController:getAc tiveWindow
    unanalyzedcall on com.dmdirc.util.ListenerList:get
    unanalyzedcall on com.dmdirc.util.MapList:containsKey
    unanalyzedcall on com.dmdirc.util.MapList:get
    unanalyzedcall on doComponentSubstitutions
    unanalyzedcall on doServerSubstitutions
    unanalyzedcall on evaluate
    unanalyzedcall on get
    unanalyzedcall on getArgTypes
    unanalyzedcall on getArity
    unanalyzedcall on getCompatibleComponents
    unanalyzedcall on getFrame
    unanalyzedcall on getServer
    unanalyzedcall on getState
    unanalyzedcall on getType
    unanalyzedcall on getUI
    unanalyzedcall on java.lang.Character:charValue
    unanalyzedcall on java.lang.Character:instanceof
    unanalyzedcall on java.lang.Character:valueOf
    unanalyzedcall on java.lang.Integer:parseInt
    unanalyzedcall on java.lang.Object:toString
    unanalyzedcall on java.lang.String:charAt
    unanalyzedcall on java.lang.String:instanceof
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.String:split
    unanalyzedcall on java.lang.String:valueOf
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayDeque
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.ArrayList:iterator
    unanalyzedcall on java.util.Deque:add
    unanalyzedcall on java.util.Deque:addFirst
    unanalyzedcall on java.util.Deque:isEmpty
    unanalyzedcall on java.util.Deque:poll
    unanalyzedcall on java.util.Deque:pollFirst
    unanalyzedcall on java.util.Deque:pollLast
    unanalyzedcall on java.util.Deque:size
    unanalyzedcall on java.util.List:get
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:size
    unanalyzedcall on java.util.Map$Entry:getKey
    unanalyzedcall on java.util.Map$Entry:getValue
    unanalyzedcall on java.util.Map:entrySet
    unanalyzedcall on java.util.Set:iterator
    unanalyzedcall on parseStack
    unanalyzedcall on readTerm
    unanalyzedcall on test
    unanalyzedcall on trigger
    unanalyzedcall on triggerActions

  • void updateSpeedAndTime()

    • Kind Annotation Text
    preinit'ed(this.dcc.size)
    preinit'ed(this.dcc.startpos)
    preinit'ed(this.timeStarted)
    prethis.dcc != null
    prethis.remaining != null
    prethis.speed != null
    prethis.taken != null
    presumption(int) (java.lang.Math:floor(...)@255) in {-263..18_446_744_073_709_55 1_615}
    presumption(this.dcc.startpos - this.dcc.size) + this.transferCount in {-264+1 ..263}
    unanalyzedcall on java.lang.Long:valueOf
    unanalyzedcall on java.lang.String:format

  • void windowClosing()

    • Kind Annotation Text
    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
    preinit'ed(this.plugin.container)
    prethis.dcc != null
    prethis.dcc.serverSocketSem != null
    prethis.myWindow != null
    prethis.plugin != null
    postinit'ed(this.plugin.container)
    postpossibly_updated(this.dcc.in)
    postpossibly_updated(this.dcc.out)
    postthis.dcc.serverSocket == null
    postthis.dcc.socket == null
    postthis.myWindow == null
    postthis.plugin.container == One-of{old this.plugin.container, null}
    postthis.windowClosing == 1
    unanalyzedcall on addLine
    unanalyzedcall on com.dmdirc.addons.dcc.DCCFrame:close
    unanalyzedcall on com.dmdirc.interfaces.ActionListener:proces sEvent
    unanalyzedcall on com.dmdirc.logger.Logger:assertTrue
    unanalyzedcall on com.dmdirc.ui.WindowManager:removeWindow
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:setVis ible
    unanalyzedcall on com.dmdirc.util.MapList:containsKey
    unanalyzedcall on com.dmdirc.util.MapList:get
    unanalyzedcall on getArity
    unanalyzedcall on getType
    unanalyzedcall on isWindowClosing
    unanalyzedcall on java.io.DataInputStream:close
    unanalyzedcall on java.io.DataOutputStream:close
    unanalyzedcall on java.lang.Double:valueOf
    unanalyzedcall on java.lang.Long:valueOf
    unanalyzedcall on java.lang.Math:floor
    unanalyzedcall on java.lang.String:format
    unanalyzedcall on java.lang.System:currentTimeMillis
    unanalyzedcall on java.lang.Thread:sleep
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.net.ServerSocket:close
    unanalyzedcall on java.net.ServerSocket:isClosed
    unanalyzedcall on java.net.Socket:close
    unanalyzedcall on java.net.Socket:isClosed
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.ArrayList:iterator
    unanalyzedcall on java.util.List:clear
    unanalyzedcall on java.util.List:isEmpty
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:remove
    unanalyzedcall on java.util.concurrent.Semaphore:release
    unanalyzedcall on java.util.concurrent.Semaphore:tryAcquire
    unanalyzedcall on javax.swing.JButton:setText
    unanalyzedcall on javax.swing.JLabel:setText
    unanalyzedcall on javax.swing.JProgressBar:setValue
    unanalyzedcall on setIcon
    unanalyzedcall on socketClosed
    unanalyzedcall on trigger