method

com.dmdirc.parser.irc.MyInfo__static_init

method	void com.dmdirc.parser.irc.MyInfo()
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	this.altNickname in Addr_Set{&java.lang. StringBuilder:toString(...),&"IRC-Parser"}
post	this.nickname != null
post	this.prependChar == 95
post	this.realname in Addr_Set{&java.lang. StringBuilder:toString(...),&"DMDIrc IRCParser"}
post	this.username != null
test_vector	java.lang.String:isEmpty(...)@59: {0}, {1}

method	void setNickname(String)
post	this.nickname == One-of{old this.nickname, newValue}
test_vector	newValue: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:isEmpty(...)@78: {1}, {0}

method	String getNickname()
pre	init'ed(this.nickname)
post	return_value == this.nickname
post	init'ed(return_value)

method	void setAltNickname(String)
post	this.altNickname == One-of{old this.altNickname, newValue}
test_vector	newValue: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:isEmpty(...)@96: {1}, {0}

method	String getAltNickname()
pre	init'ed(this.altNickname)
post	return_value == this.altNickname
post	init'ed(return_value)

method	void setRealname(String)
post	this.realname == One-of{old this.realname, newValue}
test_vector	newValue: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:isEmpty(...)@114: {1}, {0}

method	String getRealname()
pre	init'ed(this.realname)
post	return_value == this.realname
post	init'ed(return_value)

method	void setUsername(String)
post	this.username == One-of{old this.username, newValue}
test_vector	newValue: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:isEmpty(...)@132: {1}, {0}

method	String getUsername()
pre	init'ed(this.username)
post	return_value == this.username
post	init'ed(return_value)

method	void setPrependChar(char)
post	this.prependChar == newValue
post	init'ed(this.prependChar)

method	char getPrependChar()
pre	init'ed(this.prependChar)
post	return_value == this.prependChar
post	init'ed(return_value)