StreamReader.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.kde.StreamReader(InputStream, List)

    • Kind Annotation Text
    postinit'ed(this.list)
    postinit'ed(this.stream)
    postthis.list == list
    postthis.prefix == null
    postthis.stream == stream

  • void com.dmdirc.addons.dcc.kde.StreamReader(InputStream, List, String)

    • Kind Annotation Text
    presumptionjava.lang.System.out != null
    postinit'ed(this.list)
    postinit'ed(this.prefix)
    postinit'ed(this.stream)
    postthis.list == list
    postthis.prefix == prefix
    postthis.stream == stream

  • com.dmdirc.addons.dcc.kde.StreamReader__static_init

    • Kind Annotation Text

  • List getList()

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

  • void run()

    • Kind Annotation Text
    pre(soft) init'ed(this.list)
    pre(soft) init'ed(this.prefix)
    pre(soft) this.stream != null
    presumptionjava.lang.System.out != null
    test_vectorthis.list: Addr_Set{null}, Inverse{null}
    test_vectorthis.prefix: Addr_Set{null}, Inverse{null}