method

com.dmdirc.parser.irc.ChannelListModeItem__static_ init

method	void com.dmdirc.parser.irc.ChannelListModeItem(Str ing, String, long)
pre	owner != null
post	init'ed(java.lang.String:substring(...)._tainted)
post	this.myItem == item
post	init'ed(this.myItem)
post	this.myOwner == One-of{&java.lang. String:substring(...), owner}
post	this.myOwner != null
post	this.myTime == time
post	init'ed(this.myTime)
test_vector	java.lang.String:charAt(...)@54: {0..57, 59..216-1}, {58}
test_vector	java.lang.String:isEmpty(...)@54: {1}, {0}

method	String getItem()
post	return_value == this.myItem
post	init'ed(return_value)

method	String getOwner()
post	return_value == this.myOwner
post	init'ed(return_value)

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

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