Messages

method

org.apache.roller.weblogger.pojos.StatCount__ static_init

method	void org.apache.roller.weblogger.pojos. StatCount(String, String, String, String, long)
post	this.count == count
post	init'ed(this.count)
post	this.subjectId == subjectId
post	init'ed(this.subjectId)
post	this.subjectNameLong == subjectNameLong
post	init'ed(this.subjectNameLong)
post	this.subjectNameShort == subjectNameShort
post	init'ed(this.subjectNameShort)
post	this.typeKey == typeKey
post	init'ed(this.typeKey)
post	this.weblogHandle == null

method	String getTypeKey()
pre	init'ed(this.typeKey)
post	return_value == this.typeKey
post	init'ed(return_value)

method	void setTypeKey(String)
post	this.typeKey == typeKey
post	init'ed(this.typeKey)

method	long getCount()
pre	init'ed(this.count)
post	return_value == this.count
post	init'ed(return_value)

method	void setCount(long)
post	this.count == count
post	init'ed(this.count)

method	String getSubjectId()
pre	init'ed(this.subjectId)
post	return_value == this.subjectId
post	init'ed(return_value)

method	void setSubjectId(String)
post	this.subjectId == subjectId
post	init'ed(this.subjectId)

method	String getSubjectNameShort()
pre	init'ed(this.subjectNameShort)
post	return_value == this.subjectNameShort
post	init'ed(return_value)

method	void setSubjectNameShort(String)
post	this.subjectNameShort == subjectNameShort
post	init'ed(this.subjectNameShort)

method	String getSubjectNameLong()
pre	init'ed(this.subjectNameLong)
post	return_value == this.subjectNameLong
post	init'ed(return_value)

method	void setSubjectNameLong(String)
post	this.subjectNameLong == subjectNameLong
post	init'ed(this.subjectNameLong)

method	String getWeblogHandle()
pre	init'ed(this.weblogHandle)
post	return_value == this.weblogHandle
post	init'ed(return_value)

method	void setWeblogHandle(String)
post	this.weblogHandle == weblogHandle
post	init'ed(this.weblogHandle)

method	String toString()
pre	init'ed(this.count)
pre	init'ed(this.weblogHandle)
post	java.lang.StringBuffer:toString(...)._tainted == this.weblogHandle._tainted
post	init'ed(java.lang.StringBuffer:toString(...)._ tainted)
post	return_value == &java.lang.StringBuffer:toStrin g(...)

method	bool equals(Object)
pre	(soft) init'ed(other.subjectId)
pre	(soft) init'ed(other.typeKey)
pre	(soft) init'ed(this.subjectId)
pre	(soft) init'ed(this.typeKey)
presumption	org.apache.commons.lang.builder.EqualsBuilder:appen d(...)@117 != null
post	init'ed(return_value)
test_vector	other == this: {0}, {1}

info method not available -- call on void org.apache.commons.lang.builder. EqualsBuilder()

info method not available -- call on EqualsBuilder org.apache.commons.lang. builder.EqualsBuilder:append(Object, Object)

info method not available -- call on bool org.apache.commons.lang.builder. EqualsBuilder:isEquals()

method	int hashCode()
pre	init'ed(this.subjectId)
pre	init'ed(this.typeKey)
presumption	org.apache.commons.lang.builder.HashCodeBuilder:app end(...)@124 != null
post	init'ed(return_value)

info method not available -- call on void org.apache.commons.lang.builder. HashCodeBuilder()

info method not available -- call on HashCodeBuilder org.apache.commons.lang. builder.HashCodeBuilder:append(Object)

info method not available -- call on int org.apache.commons.lang.builder. HashCodeBuilder:toHashCode()

info	method not available	-- call on void org.apache.commons.lang.builder. EqualsBuilder()
info	method not available	-- call on EqualsBuilder org.apache.commons.lang. builder.EqualsBuilder:append(Object, Object)
info	method not available	-- call on bool org.apache.commons.lang.builder. EqualsBuilder:isEquals()