Last Msg First Msg
























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

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

method com.dmdirc.addons.dcc.DCCPlugin__static_init

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










method void com.dmdirc.addons.dcc.DCCPlugin()
postthis.childFrames == &new ArrayList(DCCPlugin#1)
postnew ArrayList(DCCPlugin#1) num objects == 1









  method not available - call not analyzedInfocall on void com.dmdirc.plugins.Plugin()











method void com.dmdirc.addons.dcc.DCCPlugin$1(DCCPlugin, String, String, int, ActionType, StringBuffer, Object[])
postthis.val$arguments == Param_7
postinit'ed(this.val$arguments)
postthis.val$desiredAnswer == Param_4
postinit'ed(this.val$desiredAnswer)
postthis.val$format == Param_6
postinit'ed(this.val$format)
postthis.val$question == Param_2
postinit'ed(this.val$question)
postthis.val$title == Param_3
postinit'ed(this.val$title)
postthis.val$type == Param_5
postinit'ed(this.val$type)

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










method void run()









  call too complex - analysis skippedInfocall on void handleProcessEvent(ActionType, StringBuffer, bool, Object[])











method void com.dmdirc.addons.dcc.DCCPlugin$2(DCCPlugin, String, DCCSend, String, IRCParser, bool, String)
postthis.val$nickname == Param_4
postinit'ed(this.val$nickname)
postthis.val$parser == Param_5
postinit'ed(this.val$parser)
postthis.val$reverse == Param_6
postinit'ed(this.val$reverse)
postthis.val$send == Param_3
postinit'ed(this.val$send)
postthis.val$sendFilename == Param_2
postinit'ed(this.val$sendFilename)
postthis.val$token == Param_7
postinit'ed(this.val$token)

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










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









  method not available - call not analyzedInfocall on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()
  method not available - call not analyzedInfocall on String com.dmdirc.addons.dcc. DCCPlugin:getDomain()
  method not available - call not analyzedInfocall on String com.dmdirc.config.ConfigManager:getO ption(String, String)










  method not available - call not analyzedInfocall on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()
  method not available - call not analyzedInfocall on String com.dmdirc.addons.dcc. DCCPlugin:getDomain()
  method not available - call not analyzedInfocall on bool com.dmdirc.config.ConfigManager:getOpt ionBool(String, String)










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










  method not available - call not analyzedInfocall on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()
  method not available - call not analyzedInfocall on String com.dmdirc.addons.dcc. DCCPlugin:getDomain()
  method not available - call not analyzedInfocall on bool com.dmdirc.config.ConfigManager:getOpt ionBool(String, String)










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










  method not available - call not analyzedInfocall on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()
  method not available - call not analyzedInfocall on String com.dmdirc.addons.dcc. DCCPlugin:getDomain()
  method not available - call not analyzedInfocall on bool com.dmdirc.config.ConfigManager:getOpt ionBool(String, String)










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










  method not available - call not analyzedInfocall on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()
  method not available - call not analyzedInfocall on String com.dmdirc.addons.dcc. DCCPlugin:getDomain()
  method not available - call not analyzedInfocall on bool com.dmdirc.config.ConfigManager:getOpt ionBool(String, String)










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










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










Prev Msg Next Msg
  precondition failure
Medium Prob.
com/dmdirc/addons/dcc/DCC.ipToLong: ip != null
  method not available - call not analyzedInfocall on void com.dmdirc.parser.irc.IRCParser:sendCT CP(String, String, String)
Prev Msg Next Msg










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











method void processEvent(ActionType, StringBuffer, Object[])









  call too complex - analysis skippedInfocall on void handleProcessEvent(ActionType, StringBuffer, bool, Object[])











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









  method not available - call not analyzedInfocall on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()
  method not available - call not analyzedInfocall on String com.dmdirc.addons.dcc. DCCPlugin:getDomain()
  method not available - call not analyzedInfocall on bool com.dmdirc.config.ConfigManager:getOpt ionBool(String, String)










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










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











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









  method not available - call not analyzedInfocall on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()
  method not available - call not analyzedInfocall on String com.dmdirc.addons.dcc. DCCPlugin:getDomain()
  method not available - call not analyzedInfocall on bool com.dmdirc.config.ConfigManager:getOpt ionBool(String, String)










  call too complex - analysis skippedInfocall on void handleProcessEvent(ActionType, StringBuffer, bool, Object[])










Prev Msg Next Msg
  null dereference
Medium Prob.
check that not_init'ed(ctcpData[0])
  use of default init
Low Prob.
check if init'ed(ctcpData.length)
  test always goes same way
Low Prob.
Test predetermined because ctcpData.length == 0
Prev Msg Next Msg










Prev Msg Next Msg
  dead code
Low Prob.
Dead code here because ctcpData.length == 0
Prev Msg Next Msg










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues
  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues
  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










Prev Msg Next Msg
  null dereference
Medium Prob.
check that not_init'ed(ctcpData[0])
  use of default init
Low Prob.
check if init'ed(ctcpData.length)
  test always goes same way
Low Prob.
Test predetermined because ctcpData.length == 0
  dead code continuesInfoDead code continues
Prev Msg Next Msg










Prev Msg Next Msg
  dead code
Low Prob.
Dead code here because ctcpData.length == 0
Prev Msg Next Msg










  dead code continuesInfoDead code continues
  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues
  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues
  dead code continuesInfoDead code continues
  dead code continuesInfoDead code continues
  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues
  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues
  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues
  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues
  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues
  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues
  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues
  dead code continuesInfoDead code continues
  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










Prev Msg Next Msg
  null dereference
Medium Prob.
check that not_init'ed(ctcpData[0])
  use of default init
Low Prob.
check if init'ed(ctcpData.length)
  test always goes same way
Low Prob.
Test predetermined because ctcpData.length == 0
  dead code continuesInfoDead code continues
Prev Msg Next Msg










Prev Msg Next Msg
  dead code
Low Prob.
Dead code here because ctcpData.length == 0
Prev Msg Next Msg










  dead code continuesInfoDead code continues
  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues
  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues
  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues
  dead code continuesInfoDead code continues
  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues
  dead code continuesInfoDead code continues
  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues
  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues
  dead code continuesInfoDead code continues
  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues
  dead code continuesInfoDead code continues
  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues
  dead code continuesInfoDead code continues
  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues











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

method void com.dmdirc.addons.dcc.DCCPlugin$3(DCCPlugin, DCCPlugin, String, String)
presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@138 != null
presumptioninit'ed(com/dmdirc/FrameContainer.java.awt.Color. BLACK)
postthis.changer == &amp;new FrameContainer$IconChanger (FrameContainer#2)
postthis.config != null
postthis.icon == x2
postinit'ed(this.icon)
postthis.listeners == &amp;new ListenerList(FrameContai ner#1)
postinit'ed(this.myWindow)
postthis.notification == com/dmdirc/FrameContainer. java.awt.Color.BLACK
postinit'ed(this.notification)
postthis.plugin == x0
postinit'ed(this.plugin)
postthis.title == x1
postinit'ed(this.title)
postthis.windowClosing == 0
postnew FrameContainer$IconChanger(FrameContainer#2) num objects == 1
postnew ListenerList(FrameContainer#1) num objects == 1
unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzedcall on com.dmdirc.FrameContainer
unanalyzedcall on com.dmdirc.util.ReturnableThread
unanalyzedcall on com.dmdirc.addons.ui_swing.UIUtilities:invo keAndWait
unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on getFrame
unanalyzedcall on com.dmdirc.util.ListenerList:get
unanalyzedcall on java.util.List:iterator
unanalyzedcall on com.dmdirc.interfaces.IconChangeListener:ic onChanged
unanalyzedcall on com.dmdirc.config.ConfigManager:removeListe ner
unanalyzedcall on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzedcall on com.dmdirc.util.ListenerList









  method not available - call not analyzedInfocall on void com.dmdirc.addons.ui_swing.components. text.TextLabel(String)










  method not available - call not analyzedInfocall on String com.dmdirc.addons.ui_swing. components.text.TextLabel:getText()
  method not available - call not analyzedInfocall on void com.dmdirc.addons.ui_swing.components. text.TextLabel:setText(String)










Prev Msg Next Msg
  null dereference
Medium Prob.
check that getFrame(...) != null
  method not available - call not analyzedInfocall on Container com.dmdirc.addons.ui_swing. components.frames.TextFrame:getContentPane()
Prev Msg Next Msg










  method not available - call not analyzedInfocall on void com.dmdirc.ui.WindowManager:addWindow( Window)










  method not available - call not analyzedInfocall on void com.dmdirc.ui.interfaces. InputWindow:open()











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









  method not available - call not analyzedInfocall on void com.dmdirc.ui.WindowManager:addWindow( Window, Window)










  method not available - call not analyzedInfocall on void com.dmdirc.ui.interfaces. InputWindow:open()











method void delWindow(DCCFrame)
preinit'ed(this.container)
pre(soft) this.childFrames != null
presumptionjava.util.Iterator:next(...)@439 != null
postthis.container == One-of{old this.container, null}
postinit'ed(this.container)
test_vectorthis.container: Inverse{null}, Addr_Set{null}
test_vectorwindow == this.container: {0}, {1}
test_vectorjava.util.Iterator:hasNext(...)@439: {0}, {1}
test_vectorjava.util.List:isEmpty(...)@447: {0}, {1}









  method not available - call not analyzedInfocall on void com.dmdirc.addons.dcc.DCCFrame:close()










  method not available - call not analyzedInfocall on void com.dmdirc.addons.dcc.DCCFrame:close()











method void domainUpdated()
preinit'ed(com/dmdirc/Main.configdir)
presumptioncom.dmdirc.config.IdentityManager:getAddonIdentity( ...)@457 != null
postcom/dmdirc/Main.configdir == One-of{old com/dmdirc/Main.configdir, &amp;java.lang. StringBuilder:toString(...)}
postcom/dmdirc/Main.configdir != null
postjava.lang.StringBuilder:toString(...)._tainted == 0
unanalyzedcall on java.lang.System:getProperty
unanalyzedcall on java.lang.String:startsWith
unanalyzedcall on java.lang.System:getenv









  method not available - call not analyzedInfocall on Identity com.dmdirc.config.IdentityManager: getAddonIdentity()










  method not available - call not analyzedInfocall on String com.dmdirc.addons.dcc. DCCPlugin:getDomain()
  method not available - call not analyzedInfocall on void com.dmdirc.config.Identity:setOption(S tring, String, String)











method void onLoad()
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
presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@468 != null
presumptioninit'ed(com.dmdirc.logger.ErrorLevel.LOW)
postthis.command == &amp;new DCCCommand(onLoad#2)
postnew DCCCommand(onLoad#2) num objects == 1
postthis.command.myPlugin == this
postthis.command.myPlugin != null
unanalyzedcall on com.dmdirc.commandparser.commands. ServerCommand
unanalyzedcall on com.dmdirc.commandparser.CommandManager:reg isterCommand
unanalyzedcall on com.dmdirc.logger.Logger:assertTrue
unanalyzedcall on java.util.List:contains
unanalyzedcall on java.util.List:add
unanalyzedcall on getType
unanalyzedcall on getGroup
unanalyzedcall on com.dmdirc.util.MapList:add
test_vectorjava.io.File:exists(...)@469: {0}, {1}
test_vectorjava.io.File:isDirectory(...)@470: {1}, {0}









  method not available - call not analyzedInfocall on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()
  method not available - call not analyzedInfocall on String com.dmdirc.addons.dcc. DCCPlugin:getDomain()
  method not available - call not analyzedInfocall on String com.dmdirc.config.ConfigManager:getO ption(String, String)










  method not available - call not analyzedInfocall on void com.dmdirc.logger.Logger:userError(Err orLevel, String)










  method not available - call not analyzedInfocall on void com.dmdirc.logger.Logger:userError(Err orLevel, String)











method void onUnload()
preinit'ed(this.command)
preinit'ed(this.container)
unanalyzedcall on com.dmdirc.util.MapList:removeFromAll
test_vectorthis.container: Addr_Set{null}, Inverse{null}









  method not available - call not analyzedInfocall on void com.dmdirc.commandparser. CommandManager:unregisterCommand(CommandInfo)










  method not available - call not analyzedInfocall on void com.dmdirc.addons.dcc.DCCFrame:close()











method String getListenIP()
postinit'ed(return_value)
unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzedcall on com.dmdirc.addons.dcc.DCCPlugin:getDomain
unanalyzedcall on com.dmdirc.config.ConfigManager:getOption
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on java.lang.String:isEmpty
unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getMyself
unanalyzedcall on com.dmdirc.parser.irc.ClientInfo:getHost
unanalyzedcall on java.net.InetAddress:getByName
unanalyzedcall on java.net.InetAddress:getHostAddress
unanalyzedcall on java.net.InetAddress:getLocalHost










method String getListenIP(IRCParser)
presumptioncom.dmdirc.config.ConfigManager:getOption(...)@515 != null
presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@515 != null
presumptioncom.dmdirc.parser.irc.ClientInfo:getHost(...)@519 != null
presumptioncom.dmdirc.parser.irc.IRCParser:getMyself(...)@519 != null
presumptionjava.net.InetAddress:getByName(...)@522 != null
presumptionjava.net.InetAddress:getLocalHost(...)@527 != null
postinit'ed(return_value)
test_vectorparser: Addr_Set{null}, Inverse{null}
test_vectorjava.lang.String:isEmpty(...)@516: {1}, {0}
test_vectorjava.lang.String:isEmpty(...)@520: {1}, {0}









  method not available - call not analyzedInfocall on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()
  method not available - call not analyzedInfocall on String com.dmdirc.addons.dcc. DCCPlugin:getDomain()
  method not available - call not analyzedInfocall on String com.dmdirc.config.ConfigManager:getO ption(String, String)










  method not available - call not analyzedInfocall on ClientInfo com.dmdirc.parser.irc. IRCParser:getMyself()
  method not available - call not analyzedInfocall on String com.dmdirc.parser.irc. ClientInfo:getHost()











method void showConfig(PreferencesManager)
premanager != null
presumptioncom.dmdirc.config.prefs.PreferencesManager:getCateg ory(...)@543 != null
presumptioninit'ed(com.dmdirc.config.prefs.PreferencesType. BOOLEAN)
presumptioninit'ed(com.dmdirc.config.prefs.PreferencesType. INTEGER)
presumptioninit'ed(com.dmdirc.config.prefs.PreferencesType. TEXT)









  method not available - call not analyzedInfocall on void com.dmdirc.config.prefs. PreferencesCategory(String, String, String)










  method not available - call not analyzedInfocall on void com.dmdirc.config.prefs. PreferencesCategory(String, String)










  method not available - call not analyzedInfocall on void com.dmdirc.config.prefs. PreferencesCategory(String, String)










  method not available - call not analyzedInfocall on void com.dmdirc.config.prefs. PreferencesCategory(String, String)










  method not available - call not analyzedInfocall on PreferencesCategory com.dmdirc.config. prefs.PreferencesManager:getCategory(String)
  method not available - call not analyzedInfocall on PreferencesCategory com.dmdirc.config. prefs.PreferencesCategory:setInlineAfter()
  method not available - call not analyzedInfocall on void com.dmdirc.config.prefs. PreferencesCategory:addSubCategory(PreferencesCateg ory)










  method not available - call not analyzedInfocall on PreferencesCategory com.dmdirc.config. prefs.PreferencesCategory:setInline()
  method not available - call not analyzedInfocall on void com.dmdirc.config.prefs. PreferencesCategory:addSubCategory(PreferencesCateg ory)










  method not available - call not analyzedInfocall on PreferencesCategory com.dmdirc.config. prefs.PreferencesCategory:setInline()
  method not available - call not analyzedInfocall on void com.dmdirc.config.prefs. PreferencesCategory:addSubCategory(PreferencesCateg ory)










  method not available - call not analyzedInfocall on PreferencesCategory com.dmdirc.config. prefs.PreferencesCategory:setInline()
  method not available - call not analyzedInfocall on void com.dmdirc.config.prefs. PreferencesCategory:addSubCategory(PreferencesCateg ory)










  method not available - call not analyzedInfocall on String com.dmdirc.addons.dcc. DCCPlugin:getDomain()
  method not available - call not analyzedInfocall on void com.dmdirc.config.prefs. PreferencesSetting(PreferencesType, String, String, String, String)
  method not available - call not analyzedInfocall on void com.dmdirc.config.prefs. PreferencesCategory:addSetting(PreferencesSetting)










  method not available - call not analyzedInfocall on String com.dmdirc.addons.dcc. DCCPlugin:getDomain()
  method not available - call not analyzedInfocall on void com.dmdirc.config.prefs. PreferencesSetting(PreferencesType, String, String, String, String)
  method not available - call not analyzedInfocall on void com.dmdirc.config.prefs. PreferencesCategory:addSetting(PreferencesSetting)










  method not available - call not analyzedInfocall on String com.dmdirc.addons.dcc. DCCPlugin:getDomain()
  method not available - call not analyzedInfocall on void com.dmdirc.config.prefs. PreferencesSetting(PreferencesType, String, String, String, String)
  method not available - call not analyzedInfocall on void com.dmdirc.config.prefs. PreferencesCategory:addSetting(PreferencesSetting)










  method not available - call not analyzedInfocall on String com.dmdirc.addons.dcc. DCCPlugin:getDomain()
  method not available - call not analyzedInfocall on void com.dmdirc.config.prefs. PreferencesSetting(PreferencesType, String, String, String, String)
  method not available - call not analyzedInfocall on void com.dmdirc.config.prefs. PreferencesCategory:addSetting(PreferencesSetting)










  method not available - call not analyzedInfocall on String com.dmdirc.addons.dcc. DCCPlugin:getDomain()
  method not available - call not analyzedInfocall on void com.dmdirc.config.prefs. PreferencesSetting(PreferencesType, String, String, String, String)
  method not available - call not analyzedInfocall on void com.dmdirc.config.prefs. PreferencesCategory:addSetting(PreferencesSetting)










  method not available - call not analyzedInfocall on String com.dmdirc.addons.dcc. DCCPlugin:getDomain()
  method not available - call not analyzedInfocall on void com.dmdirc.config.prefs. PreferencesSetting(PreferencesType, String, String, String, String)
  method not available - call not analyzedInfocall on void com.dmdirc.config.prefs. PreferencesCategory:addSetting(PreferencesSetting)










  method not available - call not analyzedInfocall on String com.dmdirc.addons.dcc. DCCPlugin:getDomain()
  method not available - call not analyzedInfocall on void com.dmdirc.config.prefs. PreferencesSetting(PreferencesType, String, String, String, String)
  method not available - call not analyzedInfocall on void com.dmdirc.config.prefs. PreferencesCategory:addSetting(PreferencesSetting)










  method not available - call not analyzedInfocall on String com.dmdirc.addons.dcc. DCCPlugin:getDomain()
  method not available - call not analyzedInfocall on void com.dmdirc.config.prefs. PreferencesSetting(PreferencesType, String, String, String, String)
  method not available - call not analyzedInfocall on void com.dmdirc.config.prefs. PreferencesCategory:addSetting(PreferencesSetting)










  method not available - call not analyzedInfocall on String com.dmdirc.addons.dcc. DCCPlugin:getDomain()
  method not available - call not analyzedInfocall on void com.dmdirc.config.prefs. PreferencesSetting(PreferencesType, String, String, String, String)
  method not available - call not analyzedInfocall on void com.dmdirc.config.prefs. PreferencesCategory:addSetting(PreferencesSetting)