method

org.apache.roller.weblogger.pojos.wrapper. UserWrapper__static_init

method	void org.apache.roller.weblogger.pojos.wrapper. UserWrapper(User)
post	this.pojo == toWrap
post	init'ed(this.pojo)

method	UserWrapper wrap(User)
post	return_value == One-of{&new UserWrapper(wrap#1) , null}
post	return_value in Addr_Set{null,&new UserWrapper(wrap#1)}
post	new UserWrapper(wrap#1) num objects <= 1
post	new UserWrapper(wrap#1).pojo == toWrap
post	new UserWrapper(wrap#1).pojo != null
test_vector	toWrap: Addr_Set{null}, Inverse{null}

method	String getUserName()
pre	this.pojo != null
pre	init'ed(this.pojo.pcStateManager)
pre	init'ed(this.pojo.screenName)
pre	(soft) org/apache/roller/weblogger/pojos/User. pcInheritedFieldCount <= 232-11
post	return_value == this.pojo.screenName
post	init'ed(return_value)
unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField

method	String getScreenName()
pre	this.pojo != null
pre	init'ed(this.pojo.pcStateManager)
pre	init'ed(this.pojo.screenName)
pre	(soft) org/apache/roller/weblogger/pojos/User. pcInheritedFieldCount <= 232-11
post	return_value == this.pojo.screenName
post	init'ed(return_value)
unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField

method	String getFullName()
pre	this.pojo != null
pre	init'ed(this.pojo.fullName)
pre	init'ed(this.pojo.pcStateManager)
pre	(soft) org/apache/roller/weblogger/pojos/User. pcInheritedFieldCount <= 232-5
post	return_value == this.pojo.fullName
post	init'ed(return_value)
unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField

method	String getEmailAddress()
pre	this.pojo != null
pre	init'ed(this.pojo.emailAddress)
pre	init'ed(this.pojo.pcStateManager)
pre	(soft) org/apache/roller/weblogger/pojos/User. pcInheritedFieldCount <= 232-3
post	return_value == this.pojo.emailAddress
post	init'ed(return_value)
unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField

method	Date getDateCreated()
pre	this.pojo != null
pre	init'ed(this.pojo.dateCreated)
pre	init'ed(this.pojo.pcStateManager)
pre	(soft) org/apache/roller/weblogger/pojos/User. pcInheritedFieldCount <= 232-2
post	init'ed(return_value)
unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField
unanalyzed	call on java.util.Date:clone

method	String getLocale()
pre	this.pojo != null
pre	init'ed(this.pojo.locale)
pre	init'ed(this.pojo.pcStateManager)
pre	(soft) org/apache/roller/weblogger/pojos/User. pcInheritedFieldCount <= 232-7
post	return_value == this.pojo.locale
post	init'ed(return_value)
unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField

method	String getTimeZone()
pre	this.pojo != null
pre	init'ed(this.pojo.pcStateManager)
pre	init'ed(this.pojo.timeZone)
pre	(soft) org/apache/roller/weblogger/pojos/User. pcInheritedFieldCount <= 232-12
post	return_value == this.pojo.timeZone
post	init'ed(return_value)
unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField