DCCChat.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void com.dmdirc.addons.dcc.DCCChat()

    • Kind Annotation Text
    postnew Semaphore(DCC#1) num objects == 1
    postnew Semaphore(DCC#2) num objects == 1
    postthis.address == 0
    postthis.handler == null
    postthis.listen == 0
    postthis.port == 0
    postthis.running == 0
    postthis.serverListeningSem == &new Semaphore(DCC#2)
    postthis.serverSocketSem == &new Semaphore(DCC#1)
    unanalyzedcall on java.util.concurrent.Semaphore

  • com.dmdirc.addons.dcc.DCCChat__static_init

    • Kind Annotation Text

  • bool handleSocket()

    • Kind Annotation Text
    pre(soft) init'ed(this.handler)
    pre(soft) init'ed(this.in)
    preinit'ed(this.out)
    postinit'ed(return_value)
    test_vectorjava.io.BufferedReader:readLine(...)@99: Inverse{null}, Addr_Set{null}
    test_vectorthis.handler: Addr_Set{null}, Inverse{null}
    test_vectorthis.in: Inverse{null}, Addr_Set{null}
    test_vectorthis.out: Addr_Set{null}, Inverse{null}

  • bool isWriteable()

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

  • void sendLine(String)

    • Kind Annotation Text
    preinit'ed(this.out)
    test_vectorthis.out: Addr_Set{null}, Inverse{null}

  • void setHandler(DCCChatInterface)

    • Kind Annotation Text
    postinit'ed(this.handler)
    postthis.handler == handler

  • void socketClosed()

    • Kind Annotation Text
    preinit'ed(this.handler)
    postthis.in == null
    postthis.out == null
    test_vectorthis.handler: Addr_Set{null}, Inverse{null}

  • void socketOpened()

    • Kind Annotation Text
    pre(soft) this.socket != null
    preinit'ed(this.handler)
    postnew BufferedReader(socketOpened#2) num objects <= 1
    postnew PrintWriter(socketOpened#1) num objects <= 1
    postthis.in in Addr_Set{null,&amp;new BufferedReader(so cketOpened#2)}
    postthis.out in Addr_Set{null,&amp;new PrintWriter(sock etOpened#1)}
    unanalyzedcall on addLine
    unanalyzedcall on com.dmdirc.interfaces.ActionListener:proces sEvent
    unanalyzedcall on com.dmdirc.logger.Logger:assertTrue
    unanalyzedcall on com.dmdirc.util.MapList:containsKey
    unanalyzedcall on com.dmdirc.util.MapList:get
    unanalyzedcall on getArity
    unanalyzedcall on getType
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.ArrayList:iterator
    unanalyzedcall on setIcon
    unanalyzedcall on socketClosed
    unanalyzedcall on trigger
    test_vectorthis.handler: Addr_Set{null}, Inverse{null}