method

com.dmdirc.Topic__static_init

method	void com.dmdirc.Topic(String, String, long)
post	this.client == client
post	init'ed(this.client)
post	this.time == time
post	init'ed(this.time)
post	this.topic == topic
post	init'ed(this.topic)

method	String getClient()
post	return_value == this.client
post	init'ed(return_value)

method	long getTime()
post	return_value == this.time
post	init'ed(return_value)

method	String getTopic()
post	return_value == this.topic
post	init'ed(return_value)

method	String toString()
post	return_value == this.topic
post	init'ed(return_value)