IdentdServer.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void addClient(IdentClient)

    • Kind Annotation Text
    prethis.clientList != null

  • void com.dmdirc.addons.identd.IdentdServer(IdentdPlugin)

    • Kind Annotation Text
    postinit'ed(this.myPlugin)
    postnew ArrayList(IdentdServer#1) num objects == 1
    postthis.clientList == &new ArrayList(IdentdServer# 1)
    postthis.myPlugin == plugin
    postthis.myThread == null

  • com.dmdirc.addons.identd.IdentdServer__static_init

    • Kind Annotation Text

  • void delClient(IdentClient)

    • Kind Annotation Text
    prethis.clientList != null

  • bool isRunning()

    • Kind Annotation Text
    preinit'ed(this.myThread)
    postinit'ed(return_value)

  • void run()

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

  • void startServer()

    • Kind Annotation Text
    pre(soft) this.myPlugin != null
    preinit'ed(this.myThread)
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@122 != null
    presumptioncom.dmdirc.plugins.PluginManager:getPluginManager(. ..)@129 != null
    presumptioncom.dmdirc.plugins.PluginManager:getPluginManager(. ..)@131 != null
    presumptioncom.dmdirc.plugins.PluginManager:getPluginManager(. ..)@132 != null
    presumptioninit'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
    presumptionjava.io.IOException:getMessage(...)@128 != null
    postinit'ed(this.myThread)
    postnew ServerSocket(startServer#1) num objects <= 1
    postnew Thread(startServer#2) num objects <= 1
    postthis.myThread == One-of{old this.myThread, &amp;new Thread(startServer#2)}
    postthis.serverSocket == One-of{old this.serverSocket, &amp;new ServerSocket(startServer#1)}
    test_vectorcom.dmdirc.plugins.PluginManager:getPluginInfoByNam e(...)@129: Addr_Set{null}, Inverse{null}
    test_vectorjava.lang.String:equals(...)@128: {0}, {1}
    test_vectorthis.myThread: Inverse{null}, Addr_Set{null}

  • void stopServer()

    • Kind Annotation Text
    pre(soft) this.clientList != null
    pre(soft) this.serverSocket != null
    preinit'ed(this.myThread)
    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.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.net.Socket:close
    test_vectorthis.myThread: Addr_Set{null}, Inverse{null}