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










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










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










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










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










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










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










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










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










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