Last Msg First Msg
























method com.dmdirc.addons.identd.IdentdServer__static_ init










method void com.dmdirc.addons.identd.IdentdServer(IdentdP lugin)
postthis.clientList == &new ArrayList(IdentdServer# 1)
postthis.myPlugin == plugin
postinit'ed(this.myPlugin)
postthis.myThread == null
postnew ArrayList(IdentdServer#1) num objects == 1










method void run()
pre(soft) this.clientList != null
pre(soft) init'ed(this.myThread)
pre(soft) this.serverSocket != null
presumptioninit'ed(com.dmdirc.logger.ErrorLevel.HIGH)
presumptionthis.serverSocket@69 != null
unanalyzedcall on java.util.List:add
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on java.lang.Thread
unanalyzedcall on java.lang.Thread:start









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











method void addClient(IdentClient)
prethis.clientList != null










method void delClient(IdentClient)
prethis.clientList != null










method bool isRunning()
preinit'ed(this.myThread)
postinit'ed(return_value)










method void startServer()
preinit'ed(this.myThread)
pre(soft) this.myPlugin != null
presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@122 != null
presumptioninit'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
presumptioncom.dmdirc.plugins.PluginManager:getPluginManager(. ..)@129 != null
presumptioncom.dmdirc.plugins.PluginManager:getPluginManager(. ..)@131 != null
presumptioncom.dmdirc.plugins.PluginManager:getPluginManager(. ..)@132 != null
presumptionjava.io.IOException:getMessage(...)@128 != null
postthis.myThread == One-of{old this.myThread, &new Thread(startServer#2)}
postinit'ed(this.myThread)
postthis.serverSocket == One-of{old this.serverSocket, &new ServerSocket(startServer#1)}
postnew ServerSocket(startServer#1) num objects <= 1
postnew Thread(startServer#2) num objects <= 1
test_vectorthis.myThread: Inverse{null}, Addr_Set{null}
test_vectorcom.dmdirc.plugins.PluginManager:getPluginInfoByNam e(...)@129: Addr_Set{null}, Inverse{null}
test_vectorjava.lang.String:equals(...)@128: {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.identd. IdentdPlugin:getDomain()
  method not available - call not analyzedInfocall on int com.dmdirc.config.ConfigManager:getOpti onInt(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 PluginManager com.dmdirc.plugins. PluginManager:getPluginManager()
  method not available - call not analyzedInfocall on PluginInfo com.dmdirc.plugins. PluginManager:getPluginInfoByName(String)










  method not available - call not analyzedInfocall on PluginManager com.dmdirc.plugins. PluginManager:getPluginManager()
  method not available - call not analyzedInfocall on String com.dmdirc.plugins.PluginInfo:getRel ativeFilename()
  method not available - call not analyzedInfocall on bool com.dmdirc.plugins.PluginManager:delPl ugin(String)










  method not available - call not analyzedInfocall on PluginManager com.dmdirc.plugins. PluginManager:getPluginManager()
  method not available - call not analyzedInfocall on void com.dmdirc.plugins.PluginManager:updat eAutoLoad(PluginInfo)











method void stopServer()
preinit'ed(this.myThread)
pre(soft) this.clientList != null
pre(soft) this.serverSocket != null
presumptionjava.util.List:get(...).mySocket@152 != null
presumptionjava.util.List:get(...)@152 != null
postthis.myThread == null
unanalyzedcall on java.lang.Thread:interrupt
unanalyzedcall on java.net.Socket:close
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
test_vectorthis.myThread: Addr_Set{null}, Inverse{null}









Prev Msg Next Msg
  test always goes same way
Low Prob.
Test predetermined because tmpThread != null
Prev Msg Next Msg