User.java

current inspection = 2009-09-04 18:33:31 (id #2) base = 2009-09-04 18:33:31 (id #1)

Filter Options
History:
+ added
- dropped
U unchanged
Annotation Kind:
pre
presumption
post
unanalyzed
test


  • + bool equals(Object)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(other.pcStateManager)2009-09-04 18:33:31
    +pre(soft) init'ed(other.userName)2009-09-04 18:33:31
    +pre(soft) init'ed(this.pcStateManager)2009-09-04 18:33:31
    +pre(soft) init'ed(this.userName)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-132009-09-04 18:33:31
    +presumptionorg.apache.commons.lang.builder.EqualsBuilder:appen d(...)@347 != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField2009-09-04 18:33:31
    +test_vectorother == this: {0}, {1}2009-09-04 18:33:31

  • + String getActivationCode()

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(pcInheritedFieldCount)2009-09-04 18:33:31
    +preinit'ed(Param_0.activationCode)2009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.activationCode2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + Date getDateCreated()

    • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-22009-09-04 18:33:31
    +preinit'ed(Param_0.dateCreated)2009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +unanalyzedcall on java.util.Date:clone2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String getEmailAddress()

    • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-32009-09-04 18:33:31
    +preinit'ed(Param_0.emailAddress)2009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.emailAddress2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + Boolean getEnabled()

    • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-42009-09-04 18:33:31
    +preinit'ed(Param_0.enabled)2009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.enabled2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String getFullName()

    • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-52009-09-04 18:33:31
    +preinit'ed(Param_0.fullName)2009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.fullName2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String getId()

    • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-62009-09-04 18:33:31
    +preinit'ed(Param_0.id)2009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.id2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String getLocale()

    • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-72009-09-04 18:33:31
    +preinit'ed(Param_0.locale)2009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.locale2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String getPassword()

    • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-82009-09-04 18:33:31
    +preinit'ed(Param_0.password)2009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.password2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + List getPermissions()

    • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-92009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +preinit'ed(Param_0.permissions)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.permissions2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + Set getRoles()

    • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-102009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +preinit'ed(Param_0.roles)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.roles2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String getScreenName()

    • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-112009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +preinit'ed(Param_0.screenName)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.screenName2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String getTimeZone()

    • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-122009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +preinit'ed(Param_0.timeZone)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.timeZone2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String getUserName()

    • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-132009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +preinit'ed(Param_0.userName)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.userName2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void grantRole(String)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.pcStateManager)2009-09-04 18:33:31
    +pre(soft) init'ed(this.userName)2009-09-04 18:33:31
    +pre(soft) org/apache/roller/weblogger/pojos/UserRole. pcInheritedFieldCount <= 232-32009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-132009-09-04 18:33:31
    +pre(soft) this.roles != null2009-09-04 18:33:31
    +unanalyzedcall on getUserName2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:equals2009-09-04 18:33:31
    +unanalyzedcall on java.util.Set:iterator2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:set tingObjectField2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.util.UUIDGenerator:genera teUUID2009-09-04 18:33:31

  • + bool hasRole(String)

    • -/+ Kind Annotation Text Date
    +pre(soft) org/apache/roller/weblogger/pojos/UserRole. pcInheritedFieldCount <= 232-22009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-102009-09-04 18:33:31
    +preinit'ed(this.pcStateManager)2009-09-04 18:33:31
    +prethis.roles != null2009-09-04 18:33:31
    +presumptionjava.util.Iterator:next(...)@307 != null2009-09-04 18:33:31
    +presumptionrole.role@307 != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@308: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@306: {0}, {1}2009-09-04 18:33:31

  • + int hashCode()

    • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-132009-09-04 18:33:31
    +preinit'ed(this.pcStateManager)2009-09-04 18:33:31
    +preinit'ed(this.userName)2009-09-04 18:33:31
    +presumptionorg.apache.commons.lang.builder.HashCodeBuilder:app end(...)@351 != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.pojos.User()

    • -/+ Kind Annotation Text Date
    +presumptioninit'ed(java.lang.Boolean.TRUE)2009-09-04 18:33:31
    +post(soft) init'ed(this.enabled)2009-09-04 18:33:31
    +postinit'ed(this.id)2009-09-04 18:33:31
    +postnew ArrayList(User#2) num objects == 12009-09-04 18:33:31
    +postnew HashSet(User#1) num objects == 12009-09-04 18:33:31
    +postthis.enabled == java.lang.Boolean.TRUE2009-09-04 18:33:31
    +postthis.permissions == &new ArrayList(User#2)2009-09-04 18:33:31
    +postthis.roles == &new HashSet(User#1)2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)

    • -/+ Kind Annotation Text Date
    +predateCreated != null2009-09-04 18:33:31
    +presumptioninit'ed(java.lang.Boolean.TRUE)2009-09-04 18:33:31
    +postinit'ed(this.emailAddress)2009-09-04 18:33:31
    +postinit'ed(this.enabled)2009-09-04 18:33:31
    +postinit'ed(this.fullName)2009-09-04 18:33:31
    +postinit'ed(this.id)2009-09-04 18:33:31
    +postinit'ed(this.locale)2009-09-04 18:33:31
    +postinit'ed(this.password)2009-09-04 18:33:31
    +postinit'ed(this.timeZone)2009-09-04 18:33:31
    +postinit'ed(this.userName)2009-09-04 18:33:31
    +postnew ArrayList(User#2) num objects == 12009-09-04 18:33:31
    +postnew HashSet(User#1) num objects == 12009-09-04 18:33:31
    +postthis.dateCreated != null2009-09-04 18:33:31
    +postthis.emailAddress == emailAddress2009-09-04 18:33:31
    +postthis.enabled == isEnabled2009-09-04 18:33:31
    +postthis.fullName == fullName2009-09-04 18:33:31
    +postthis.locale == locale2009-09-04 18:33:31
    +postthis.password == password2009-09-04 18:33:31
    +postthis.permissions == &new ArrayList(User#2)2009-09-04 18:33:31
    +postthis.roles == &new HashSet(User#1)2009-09-04 18:33:31
    +postthis.timeZone == timeZone2009-09-04 18:33:31
    +postthis.userName == userName2009-09-04 18:33:31

  • + org.apache.roller.weblogger.pojos.User__static_init

    • -/+ Kind Annotation Text Date
    +postnew Class[](User__static_init#2) num objects == 12009-09-04 18:33:31
    +postnew String[](User__static_init#1) num objects == 12009-09-04 18:33:31
    +postnew byte[](User__static_init#3) num objects == 12009-09-04 18:33:31
    +postpcFieldFlags == &new byte[](User__static_ init#3)2009-09-04 18:33:31
    +postpcFieldFlags.length == 132009-09-04 18:33:31
    +postpcFieldFlags[0] == 262009-09-04 18:33:31
    +postpcFieldFlags[10] == 262009-09-04 18:33:31
    +postpcFieldFlags[11] == 262009-09-04 18:33:31
    +postpcFieldFlags[12] == 262009-09-04 18:33:31
    +postpcFieldFlags[1] == 262009-09-04 18:33:31
    +postpcFieldFlags[2] == 262009-09-04 18:33:31
    +postpcFieldFlags[3] == 262009-09-04 18:33:31
    +postpcFieldFlags[4] == 262009-09-04 18:33:31
    +postpcFieldFlags[5] == 262009-09-04 18:33:31
    +postpcFieldFlags[6] == 262009-09-04 18:33:31
    +postpcFieldFlags[7] == 262009-09-04 18:33:31
    +postpcFieldFlags[8] == 52009-09-04 18:33:31
    +postpcFieldFlags[9] == 52009-09-04 18:33:31
    +postpcFieldNames == &new String[](User__static_ init#1)2009-09-04 18:33:31
    +postpcFieldNames.length == 132009-09-04 18:33:31
    +postpcFieldNames[0] == &"activationCode"2009-09-04 18:33:31
    +postpcFieldNames[10] == &"screenName"2009-09-04 18:33:31
    +postpcFieldNames[11] == &"timeZone"2009-09-04 18:33:31
    +postpcFieldNames[12] == &"userName"2009-09-04 18:33:31
    +postpcFieldNames[1] == &"dateCreated"2009-09-04 18:33:31
    +postpcFieldNames[2] == &"emailAddress"2009-09-04 18:33:31
    +postpcFieldNames[3] == &"enabled"2009-09-04 18:33:31
    +postpcFieldNames[4] == &"fullName"2009-09-04 18:33:31
    +postpcFieldNames[5] == &"id"2009-09-04 18:33:31
    +postpcFieldNames[6] == &"locale"2009-09-04 18:33:31
    +postpcFieldNames[7] == &"password"2009-09-04 18:33:31
    +postpcFieldNames[8] == &"permissions"2009-09-04 18:33:31
    +postpcFieldNames[9] == &"roles"2009-09-04 18:33:31
    +postpcFieldTypes == &new Class[](User__static_ init#2)2009-09-04 18:33:31
    +postpcFieldTypes.length == 132009-09-04 18:33:31
    +unanalyzedcall on java.lang.Class:forName2009-09-04 18:33:31
    +unanalyzedcall on java.lang.NoClassDefFoundError2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:getMessage2009-09-04 18:33:31
    +unanalyzedcall on java.util.ArrayList2009-09-04 18:33:31
    +unanalyzedcall on java.util.HashSet2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.util.UUIDGenerator:genera teUUID2009-09-04 18:33:31

  • + void pcClearFields()

    • -/+ Kind Annotation Text Date
    +postParam_0.activationCode == null2009-09-04 18:33:31
    +postParam_0.emailAddress == null2009-09-04 18:33:31
    +postParam_0.enabled == null2009-09-04 18:33:31
    +postParam_0.fullName == null2009-09-04 18:33:31
    +postParam_0.id == null2009-09-04 18:33:31
    +postParam_0.locale == null2009-09-04 18:33:31
    +postParam_0.password == null2009-09-04 18:33:31
    +postParam_0.permissions == null2009-09-04 18:33:31
    +postParam_0.roles == null2009-09-04 18:33:31
    +postParam_0.screenName == null2009-09-04 18:33:31
    +postParam_0.timeZone == null2009-09-04 18:33:31
    +postParam_0.userName == null2009-09-04 18:33:31
    +postinit'ed(Param_0.dateCreated)2009-09-04 18:33:31
    +unanalyzedcall on java.util.Date:clone2009-09-04 18:33:31

  • + void pcCopyField(User, int)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_1.activationCode)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.dateCreated)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.emailAddress)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.enabled)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.fullName)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.id)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.locale)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.password)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.permissions)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.roles)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.screenName)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.timeZone)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.userName)2009-09-04 18:33:31
    +preParam_1 != null2009-09-04 18:33:31
    +preParam_2 - pcInheritedFieldCount in 0..122009-09-04 18:33:31
    +preinit'ed(pcInheritedFieldCount)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.activationCode)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.dateCreated)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.emailAddress)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.enabled)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.fullName)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.id)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.locale)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.password)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.permissions)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.roles)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.screenName)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.timeZone)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.userName)2009-09-04 18:33:31
    +unanalyzedcall on java.util.Date:clone2009-09-04 18:33:31
    +test_vectorParam_2 - pcInheritedFieldCount: {0}, {1}, {2}, {3}, {4}, {5}, {6}, {7}, {8}, {9}, {10}, {11}, {12}2009-09-04 18:33:31

  • + void pcCopyFields(Object, int[])

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_1.activationCode)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.dateCreated)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.emailAddress)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.enabled)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.fullName)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.id)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.locale)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.password)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.permissions)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.roles)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.screenName)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.timeZone)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.userName)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_2[...])2009-09-04 18:33:31
    +pre(soft) init'ed(pcInheritedFieldCount)2009-09-04 18:33:31
    +preParam_0.pcStateManager != null2009-09-04 18:33:31
    +preParam_0.pcStateManager == Param_1.pcStateManager2009-09-04 18:33:31
    +preParam_1 != null2009-09-04 18:33:31
    +preParam_1.pcStateManager != null2009-09-04 18:33:31
    +preParam_2 != null2009-09-04 18:33:31
    +preParam_2.length <= 232-12009-09-04 18:33:31
    +postpossibly_updated(Param_0.activationCode)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.dateCreated)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.emailAddress)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.enabled)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.fullName)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.id)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.locale)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.password)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.permissions)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.roles)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.screenName)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.timeZone)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.userName)2009-09-04 18:33:31
    +unanalyzedcall on java.util.Date:clone2009-09-04 18:33:31

  • + void pcCopyKeyFieldsFromObjectId(Object)

    • -/+ Kind Annotation Text Date
    +preParam_1 != null2009-09-04 18:33:31
    +postinit'ed(Param_0.id)2009-09-04 18:33:31

  • + void pcCopyKeyFieldsFromObjectId(FieldConsumer, Object)

    • -/+ Kind Annotation Text Date
    +preParam_1 != null2009-09-04 18:33:31
    +preParam_2 != null2009-09-04 18:33:31
    +prepcInheritedFieldCount <= 232-62009-09-04 18:33:31

  • + void pcCopyKeyFieldsToObjectId(Object)

    • -/+ Kind Annotation Text Date

  • + void pcCopyKeyFieldsToObjectId(FieldSupplier, Object)

    • -/+ Kind Annotation Text Date

  • + void pcDirty(String)

    • -/+ Kind Annotation Text Date
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + Object pcFetchObjectId()

    • -/+ Kind Annotation Text Date
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + Object pcGetDetachedState()

    • -/+ Kind Annotation Text Date
    +preinit'ed(Param_0.pcDetachedState)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.pcDetachedState2009-09-04 18:33:31

  • + int pcGetEnhancementContractVersion()

    • -/+ Kind Annotation Text Date
    +postreturn_value == 22009-09-04 18:33:31

  • + Object pcGetGenericContext()

    • -/+ Kind Annotation Text Date
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + int pcGetManagedFieldCount()

    • -/+ Kind Annotation Text Date
    +postreturn_value == 132009-09-04 18:33:31

  • + StateManager pcGetStateManager()

    • -/+ Kind Annotation Text Date
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.pcStateManager2009-09-04 18:33:31

  • + Object pcGetVersion()

    • -/+ Kind Annotation Text Date
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + bool pcIsDeleted()

    • -/+ Kind Annotation Text Date
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + Boolean pcIsDetached()

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.pcDetachedState)2009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +presumptioninit'ed(java.lang.Boolean.FALSE)2009-09-04 18:33:31
    +presumptioninit'ed(java.lang.Boolean.TRUE)2009-09-04 18:33:31
    +presumptioninit'ed(org.apache.openjpa.enhance.PersistenceCapab le.DESERIALIZED)2009-09-04 18:33:31
    +post(soft) init'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == One-of{java.lang.Boolean.TRUE, java.lang.Boolean.FALSE, null}2009-09-04 18:33:31
    +test_vectorParam_0.pcDetachedState: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectororg.apache.openjpa.enhance.StateManager:isDetached( ...): {0}, {1}2009-09-04 18:33:31

  • + bool pcIsDirty()

    • -/+ Kind Annotation Text Date
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + bool pcIsNew()

    • -/+ Kind Annotation Text Date
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + bool pcIsPersistent()

    • -/+ Kind Annotation Text Date
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + bool pcIsTransactional()

    • -/+ Kind Annotation Text Date
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + PersistenceCapable pcNewInstance(StateManager, Object, bool)

    • -/+ Kind Annotation Text Date
    +preParam_2 != null2009-09-04 18:33:31
    +postinit'ed(return_value.activationCode)2009-09-04 18:33:31
    +postinit'ed(return_value.dateCreated)2009-09-04 18:33:31
    +postinit'ed(return_value.emailAddress)2009-09-04 18:33:31
    +postinit'ed(return_value.enabled)2009-09-04 18:33:31
    +postinit'ed(return_value.fullName)2009-09-04 18:33:31
    +postinit'ed(return_value.id)2009-09-04 18:33:31
    +postinit'ed(return_value.locale)2009-09-04 18:33:31
    +postinit'ed(return_value.password)2009-09-04 18:33:31
    +postinit'ed(return_value.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(return_value.screenName)2009-09-04 18:33:31
    +postinit'ed(return_value.timeZone)2009-09-04 18:33:31
    +postinit'ed(return_value.userName)2009-09-04 18:33:31
    +postnew ArrayList(User#2) num objects == 12009-09-04 18:33:31
    +postnew HashSet(User#1) num objects == 12009-09-04 18:33:31
    +postnew User(pcNewInstance#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new User(pcNewInstance#1)2009-09-04 18:33:31
    +postreturn_value.enabled == One-of{java.lang.Boolean. TRUE, null}2009-09-04 18:33:31
    +postreturn_value.pcStateManager == Param_12009-09-04 18:33:31
    +postreturn_value.permissions in Addr_Set{null,&new ArrayList(User#2)}2009-09-04 18:33:31
    +postreturn_value.roles in Addr_Set{null,&new HashSet(User#1)}2009-09-04 18:33:31
    +unanalyzedcall on java.util.ArrayList2009-09-04 18:33:31
    +unanalyzedcall on java.util.Date:clone2009-09-04 18:33:31
    +unanalyzedcall on java.util.HashSet2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.util.StringId:getId2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.util.UUIDGenerator:genera teUUID2009-09-04 18:33:31
    +test_vectorParam_3: {0}, {1}2009-09-04 18:33:31

  • + PersistenceCapable pcNewInstance(StateManager, bool)

    • -/+ Kind Annotation Text Date
    +postinit'ed(return_value.activationCode)2009-09-04 18:33:31
    +postinit'ed(return_value.dateCreated)2009-09-04 18:33:31
    +postinit'ed(return_value.emailAddress)2009-09-04 18:33:31
    +postinit'ed(return_value.enabled)2009-09-04 18:33:31
    +postinit'ed(return_value.fullName)2009-09-04 18:33:31
    +postinit'ed(return_value.id)2009-09-04 18:33:31
    +postinit'ed(return_value.locale)2009-09-04 18:33:31
    +postinit'ed(return_value.password)2009-09-04 18:33:31
    +postinit'ed(return_value.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(return_value.screenName)2009-09-04 18:33:31
    +postinit'ed(return_value.timeZone)2009-09-04 18:33:31
    +postinit'ed(return_value.userName)2009-09-04 18:33:31
    +postnew ArrayList(User#2) num objects == 12009-09-04 18:33:31
    +postnew HashSet(User#1) num objects == 12009-09-04 18:33:31
    +postnew User(pcNewInstance#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new User(pcNewInstance#1)2009-09-04 18:33:31
    +postreturn_value.enabled == One-of{java.lang.Boolean. TRUE, null}2009-09-04 18:33:31
    +postreturn_value.pcStateManager == Param_12009-09-04 18:33:31
    +postreturn_value.permissions in Addr_Set{null,&new ArrayList(User#2)}2009-09-04 18:33:31
    +postreturn_value.roles in Addr_Set{null,&new HashSet(User#1)}2009-09-04 18:33:31
    +unanalyzedcall on java.util.ArrayList2009-09-04 18:33:31
    +unanalyzedcall on java.util.Date:clone2009-09-04 18:33:31
    +unanalyzedcall on java.util.HashSet2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.util.UUIDGenerator:genera teUUID2009-09-04 18:33:31
    +test_vectorParam_2: {0}, {1}2009-09-04 18:33:31

  • + Object pcNewObjectIdInstance()

    • -/+ Kind Annotation Text Date
    +preinit'ed(Param_0.id)2009-09-04 18:33:31
    +postnew StringId(pcNewObjectIdInstance#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new StringId(pcNewObjectIdInst ance#1)2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Class:forName2009-09-04 18:33:31
    +unanalyzedcall on java.lang.NoClassDefFoundError2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:getMessage2009-09-04 18:33:31

  • + Object pcNewObjectIdInstance(Object)

    • -/+ Kind Annotation Text Date
    +postnew StringId(pcNewObjectIdInstance#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new StringId(pcNewObjectIdInst ance#1)2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Class:forName2009-09-04 18:33:31
    +unanalyzedcall on java.lang.NoClassDefFoundError2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:getMessage2009-09-04 18:33:31

  • + void pcProvideField(int)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.activationCode)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.dateCreated)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.emailAddress)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.enabled)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.fullName)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.id)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.locale)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.password)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.permissions)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.roles)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.screenName)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.timeZone)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.userName)2009-09-04 18:33:31
    +preParam_0.pcStateManager != null2009-09-04 18:33:31
    +preParam_1 - pcInheritedFieldCount in 0..122009-09-04 18:33:31
    +preinit'ed(pcInheritedFieldCount)2009-09-04 18:33:31
    +unanalyzedcall on java.util.Date:clone2009-09-04 18:33:31
    +test_vectorParam_1 - pcInheritedFieldCount: {0}, {1}, {2}, {3}, {4}, {5}, {6}, {7}, {8}, {9}, {10}, {11}, {12}2009-09-04 18:33:31

  • + void pcProvideFields(int[])

    • -/+ Kind Annotation Text Date
    +pre(soft) Param_0.pcStateManager != null2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.activationCode)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.dateCreated)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.emailAddress)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.enabled)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.fullName)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.id)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.locale)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.password)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.permissions)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.roles)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.screenName)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.timeZone)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.userName)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1[...])2009-09-04 18:33:31
    +pre(soft) init'ed(pcInheritedFieldCount)2009-09-04 18:33:31
    +preParam_1 != null2009-09-04 18:33:31
    +preParam_1.length <= 232-12009-09-04 18:33:31
    +unanalyzedcall on java.util.Date:clone2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:pro videdObjectField2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:pro videdStringField2009-09-04 18:33:31

  • + void pcReplaceField(int)

    • -/+ Kind Annotation Text Date
    +preParam_0.pcStateManager != null2009-09-04 18:33:31
    +preParam_1 - pcInheritedFieldCount in 0..122009-09-04 18:33:31
    +preinit'ed(pcInheritedFieldCount)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.activationCode)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.dateCreated)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.emailAddress)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.enabled)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.fullName)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.id)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.locale)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.password)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.permissions)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.roles)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.screenName)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.timeZone)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.userName)2009-09-04 18:33:31
    +unanalyzedcall on java.util.Date:clone2009-09-04 18:33:31
    +test_vectorParam_1 - pcInheritedFieldCount: {0}, {1}, {2}, {3}, {4}, {5}, {6}, {7}, {8}, {9}, {10}, {11}, {12}2009-09-04 18:33:31

  • + void pcReplaceFields(int[])

    • -/+ Kind Annotation Text Date
    +pre(soft) Param_0.pcStateManager != null2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1[...])2009-09-04 18:33:31
    +pre(soft) init'ed(pcInheritedFieldCount)2009-09-04 18:33:31
    +preParam_1 != null2009-09-04 18:33:31
    +preParam_1.length <= 232-12009-09-04 18:33:31
    +postpossibly_updated(Param_0.activationCode)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.dateCreated)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.emailAddress)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.enabled)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.fullName)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.id)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.locale)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.password)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.permissions)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.roles)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.screenName)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.timeZone)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.userName)2009-09-04 18:33:31
    +unanalyzedcall on java.util.Date:clone2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:rep laceObjectField2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:rep laceStringField2009-09-04 18:33:31

  • + void pcReplaceStateManager(StateManager)

    • -/+ Kind Annotation Text Date
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + bool pcSerializing()

    • -/+ Kind Annotation Text Date
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void pcSetDetachedState(Object)

    • -/+ Kind Annotation Text Date
    +postParam_0.pcDetachedState == Param_12009-09-04 18:33:31
    +postinit'ed(Param_0.pcDetachedState)2009-09-04 18:33:31

  • + String pcgetActivationCode()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.activationCode)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.activationCode2009-09-04 18:33:31

  • + Date pcgetDateCreated()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.dateCreated)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +test_vectorthis.dateCreated: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String pcgetEmailAddress()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.emailAddress)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.emailAddress2009-09-04 18:33:31

  • + Boolean pcgetEnabled()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.enabled)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.enabled2009-09-04 18:33:31

  • + String pcgetFullName()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.fullName)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.fullName2009-09-04 18:33:31

  • + String pcgetId()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.id)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.id2009-09-04 18:33:31

  • + String pcgetLocale()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.locale)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.locale2009-09-04 18:33:31

  • + String pcgetPassword()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.password)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.password2009-09-04 18:33:31

  • + List pcgetPermissions()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.permissions)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.permissions2009-09-04 18:33:31

  • + Set pcgetRoles()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.roles)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.roles2009-09-04 18:33:31

  • + String pcgetScreenName()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.screenName)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.screenName2009-09-04 18:33:31

  • + String pcgetTimeZone()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.timeZone)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.timeZone2009-09-04 18:33:31

  • + String pcgetUserName()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.userName)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.userName2009-09-04 18:33:31

  • + void pcsetActivationCode(String)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.activationCode)2009-09-04 18:33:31
    +postthis.activationCode == Param_12009-09-04 18:33:31

  • + void pcsetDateCreated(Date)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.dateCreated)2009-09-04 18:33:31
    +test_vectorParam_1: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + void pcsetEmailAddress(String)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.emailAddress)2009-09-04 18:33:31
    +postthis.emailAddress == Param_12009-09-04 18:33:31

  • + void pcsetEnabled(Boolean)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.enabled)2009-09-04 18:33:31
    +postthis.enabled == Param_12009-09-04 18:33:31

  • + void pcsetFullName(String)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.fullName)2009-09-04 18:33:31
    +postthis.fullName == Param_12009-09-04 18:33:31

  • + void pcsetId(String)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.id)2009-09-04 18:33:31
    +postthis.id == Param_12009-09-04 18:33:31

  • + void pcsetLocale(String)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.locale)2009-09-04 18:33:31
    +postthis.locale == Param_12009-09-04 18:33:31

  • + void pcsetPassword(String)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.password)2009-09-04 18:33:31
    +postthis.password == Param_12009-09-04 18:33:31

  • + void pcsetPermissions(List)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.permissions)2009-09-04 18:33:31
    +postthis.permissions == Param_12009-09-04 18:33:31

  • + void pcsetRoles(Set)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.roles)2009-09-04 18:33:31
    +postthis.roles == Param_12009-09-04 18:33:31

  • + void pcsetScreenName(String)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.screenName)2009-09-04 18:33:31
    +postthis.screenName == Param_12009-09-04 18:33:31

  • + void pcsetTimeZone(String)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.timeZone)2009-09-04 18:33:31
    +postthis.timeZone == Param_12009-09-04 18:33:31

  • + void pcsetUserName(String)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.userName)2009-09-04 18:33:31
    +postthis.userName == Param_12009-09-04 18:33:31

  • + void readObject(ObjectInputStream)

    • -/+ Kind Annotation Text Date
    +preParam_1 != null2009-09-04 18:33:31
    +presumptioninit'ed(org.apache.openjpa.enhance.PersistenceCapab le.DESERIALIZED)2009-09-04 18:33:31
    +post(soft) init'ed(Param_0.pcDetachedState)2009-09-04 18:33:31
    +postParam_0.pcDetachedState == org.apache.openjpa. enhance.PersistenceCapable.DESERIALIZED2009-09-04 18:33:31

  • + void resetPassword(String)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.password)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-82009-09-04 18:33:31
    +preinit'ed(this.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(this.password)2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:set tingStringField2009-09-04 18:33:31
    +test_vectorjava.lang.Boolean:booleanValue(...)@137: {0}, {1}2009-09-04 18:33:31

  • + void setActivationCode(String)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.activationCode)2009-09-04 18:33:31
    +pre(soft) init'ed(pcInheritedFieldCount)2009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +post(soft) init'ed(Param_0.activationCode)2009-09-04 18:33:31
    +postParam_0.activationCode == One-of{Param_1, old Param_0.activationCode}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setDateCreated(Date)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.dateCreated)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-22009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(Param_0.dateCreated)2009-09-04 18:33:31
    +unanalyzedcall on java.util.Date:clone2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setEmailAddress(String)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.emailAddress)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-32009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +post(soft) init'ed(Param_0.emailAddress)2009-09-04 18:33:31
    +postParam_0.emailAddress == One-of{Param_1, old Param_0.emailAddress}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setEnabled(Boolean)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.enabled)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-42009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +post(soft) init'ed(Param_0.enabled)2009-09-04 18:33:31
    +postParam_0.enabled == One-of{Param_1, old Param_0.enabled}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setFullName(String)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.fullName)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-52009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +post(soft) init'ed(Param_0.fullName)2009-09-04 18:33:31
    +postParam_0.fullName == One-of{Param_1, old Param_0.fullName}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setId(String)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.id)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-62009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +post(soft) init'ed(Param_0.id)2009-09-04 18:33:31
    +postParam_0.id == One-of{Param_1, old Param_0.id}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setLocale(String)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.locale)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-72009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +post(soft) init'ed(Param_0.locale)2009-09-04 18:33:31
    +postParam_0.locale == One-of{Param_1, old Param_0.locale}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setPassword(String)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.password)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-82009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +post(soft) init'ed(Param_0.password)2009-09-04 18:33:31
    +postParam_0.password == One-of{Param_1, old Param_0.password}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setPermissions(List)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.permissions)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-92009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +post(soft) init'ed(Param_0.permissions)2009-09-04 18:33:31
    +postParam_0.permissions == One-of{Param_1, old Param_0.permissions}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setRoles(Set)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.roles)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-102009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +post(soft) init'ed(Param_0.roles)2009-09-04 18:33:31
    +postParam_0.roles == One-of{Param_1, old Param_0.roles}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setScreenName(String)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.screenName)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-112009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +post(soft) init'ed(Param_0.screenName)2009-09-04 18:33:31
    +postParam_0.screenName == One-of{Param_1, old Param_0.screenName}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setTimeZone(String)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.timeZone)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-122009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +post(soft) init'ed(Param_0.timeZone)2009-09-04 18:33:31
    +postParam_0.timeZone == One-of{Param_1, old Param_0.timeZone}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setUserName(String)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.userName)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-132009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +post(soft) init'ed(Param_0.userName)2009-09-04 18:33:31
    +postParam_0.userName == One-of{Param_1, old Param_0.userName}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String toString()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.dateCreated)2009-09-04 18:33:31
    +preinit'ed(this.emailAddress)2009-09-04 18:33:31
    +preinit'ed(this.enabled)2009-09-04 18:33:31
    +preinit'ed(this.fullName)2009-09-04 18:33:31
    +preinit'ed(this.id)2009-09-04 18:33:31
    +preinit'ed(this.userName)2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuffer:toString(...)._ tainted)2009-09-04 18:33:31
    +postjava.lang.StringBuffer:toString(...)._tainted == this.emailAddress._tainted | this.fullName._ tainted | this.id._tainted | this.userName. _tainted2009-09-04 18:33:31
    +postreturn_value == &java.lang.StringBuffer:toStrin g(...)2009-09-04 18:33:31

  • + void writeObject(ObjectOutputStream)

    • -/+ Kind Annotation Text Date
    +preParam_1 != null2009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postParam_0.pcDetachedState == One-of{old Param_0.pcDetachedState, null}2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:ser ializing2009-09-04 18:33:31