Topic.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void com.dmdirc.Topic(String, String, long)

    • Kind Annotation Text
    postinit'ed(this.client)
    postinit'ed(this.time)
    postinit'ed(this.topic)
    postthis.client == client
    postthis.time == time
    postthis.topic == topic

  • com.dmdirc.Topic__static_init

    • Kind Annotation Text

  • String getClient()

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

  • long getTime()

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

  • String getTopic()

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

  • String toString()

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