method com.dmdirc.parser.irc.ChannelListModeItem__static_ init










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










method String getItem()
postreturn_value == this.myItem
postinit'ed(return_value)










method String getOwner()
postreturn_value == this.myOwner
postinit'ed(return_value)










method long getTime()
postreturn_value == this.myTime
postinit'ed(return_value)










method String toString()
postreturn_value == this.myItem
postinit'ed(return_value)