ChannelListModeItem.java

ChannelListModeItem.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void com.dmdirc.parser.irc.ChannelListModeItem(String, String, long)

Kind	Annotation Text
pre	owner != null
post	init'ed(java.lang.String:substring(...)._tainted)
post	init'ed(this.myItem)
post	init'ed(this.myTime)
post	this.myItem == item
post	this.myOwner != null
post	this.myOwner == One-of{&java.lang. String:substring(...), owner}
post	this.myTime == time
test_vector	java.lang.String:charAt(...)@54: {0..57, 59..2¹⁶-1}, {58}
test_vector	java.lang.String:isEmpty(...)@54: {1}, {0}

com.dmdirc.parser.irc.ChannelListModeItem__static_init

Kind	Annotation Text

String getItem()

Kind	Annotation Text
post	init'ed(return_value)
post	return_value == this.myItem

String getOwner()

Kind	Annotation Text
post	init'ed(return_value)
post	return_value == this.myOwner

Kind	Annotation Text
post	init'ed(return_value)
post	return_value == this.myTime

String toString()

Kind	Annotation Text
post	init'ed(return_value)
post	return_value == this.myItem