WeblogEntryComment.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.name)2009-09-04 18:33:31
    +pre(soft) init'ed(other.pcStateManager)2009-09-04 18:33:31
    +pre(soft) init'ed(other.postTime)2009-09-04 18:33:31
    +pre(soft) init'ed(other.weblogEntry)2009-09-04 18:33:31
    +pre(soft) init'ed(this.name)2009-09-04 18:33:31
    +pre(soft) init'ed(this.pcStateManager)2009-09-04 18:33:31
    +pre(soft) init'ed(this.postTime)2009-09-04 18:33:31
    +pre(soft) init'ed(this.weblogEntry)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-142009-09-04 18:33:31
    +presumptionorg.apache.commons.lang.builder.EqualsBuilder:appen d(...)@327 != 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

  • + Boolean getApproved()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.status)2009-09-04 18:33:31
    +postnew Boolean(getApproved#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new Boolean(getApproved#1)2009-09-04 18:33:31

  • + String getContent()

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(pcInheritedFieldCount)2009-09-04 18:33:31
    +preinit'ed(Param_0.content)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.content2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String getContentType()

    • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-22009-09-04 18:33:31
    +preinit'ed(Param_0.contentType)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.contentType2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String getEmail()

    • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-32009-09-04 18:33:31
    +preinit'ed(Param_0.email)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.email2009-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-42009-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 getName()

    • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-52009-09-04 18:33:31
    +preinit'ed(Param_0.name)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.name2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + Boolean getNotify()

    • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-62009-09-04 18:33:31
    +preinit'ed(Param_0.notify)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.notify2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + Boolean getPending()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.status)2009-09-04 18:33:31
    +postnew Boolean(getPending#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new Boolean(getPending#1)2009-09-04 18:33:31

  • + String getPlugins()

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

  • + Timestamp getPostTime()

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

  • + String getReferrer()

    • -/+ 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.referrer)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.referrer2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String getRemoteHost()

    • -/+ 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.remoteHost)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.remoteHost2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + Boolean getSpam()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.status)2009-09-04 18:33:31
    +postnew Boolean(getSpam#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new Boolean(getSpam#1)2009-09-04 18:33:31

  • + String getStatus()

    • -/+ 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.status)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.status2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String getTimestamp()

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

  • + String getUrl()

    • -/+ 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.url)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.url2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String getUserAgent()

    • -/+ 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.userAgent)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.userAgent2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + WeblogEntry getWeblogEntry()

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

  • + int hashCode()

    • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-142009-09-04 18:33:31
    +preinit'ed(this.name)2009-09-04 18:33:31
    +preinit'ed(this.pcStateManager)2009-09-04 18:33:31
    +preinit'ed(this.postTime)2009-09-04 18:33:31
    +preinit'ed(this.weblogEntry)2009-09-04 18:33:31
    +presumptionorg.apache.commons.lang.builder.HashCodeBuilder:app end(...)@335 != 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.WeblogEntryComment()

    • -/+ Kind Annotation Text Date
    +presumptioninit'ed(java.lang.Boolean.FALSE)2009-09-04 18:33:31
    +post(soft) init'ed(this.notify)2009-09-04 18:33:31
    +postinit'ed(this.id)2009-09-04 18:33:31
    +postthis.content == null2009-09-04 18:33:31
    +postthis.contentType == &"text.plain"2009-09-04 18:33:31
    +postthis.email == null2009-09-04 18:33:31
    +postthis.name == null2009-09-04 18:33:31
    +postthis.notify == java.lang.Boolean.FALSE2009-09-04 18:33:31
    +postthis.plugins == null2009-09-04 18:33:31
    +postthis.postTime == null2009-09-04 18:33:31
    +postthis.referrer == null2009-09-04 18:33:31
    +postthis.remoteHost == null2009-09-04 18:33:31
    +postthis.status == &"APPROVED"2009-09-04 18:33:31
    +postthis.url == null2009-09-04 18:33:31
    +postthis.userAgent == null2009-09-04 18:33:31
    +postthis.weblogEntry == null2009-09-04 18:33:31

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

    • -/+ Kind Annotation Text Date
    +postnew Class[](WeblogEntryComment__static_init#2) num objects == 12009-09-04 18:33:31
    +postnew String[](WeblogEntryComment__static_init#1) num objects == 12009-09-04 18:33:31
    +postnew byte[](WeblogEntryComment__static_init#3) num objects == 12009-09-04 18:33:31
    +postpcFieldFlags == &new byte[](WeblogEntryComment_ _static_init#3)2009-09-04 18:33:31
    +postpcFieldFlags.length == 142009-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[13] == 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] == 262009-09-04 18:33:31
    +postpcFieldFlags[9] == 262009-09-04 18:33:31
    +postpcFieldNames == &new String[](WeblogEntryCommen t__static_init#1)2009-09-04 18:33:31
    +postpcFieldNames.length == 142009-09-04 18:33:31
    +postpcFieldNames[0] == &"content"2009-09-04 18:33:31
    +postpcFieldNames[10] == &"status"2009-09-04 18:33:31
    +postpcFieldNames[11] == &"url"2009-09-04 18:33:31
    +postpcFieldNames[12] == &"userAgent"2009-09-04 18:33:31
    +postpcFieldNames[13] == &"weblogEntry"2009-09-04 18:33:31
    +postpcFieldNames[1] == &"contentType"2009-09-04 18:33:31
    +postpcFieldNames[2] == &"email"2009-09-04 18:33:31
    +postpcFieldNames[3] == &"id"2009-09-04 18:33:31
    +postpcFieldNames[4] == &"name"2009-09-04 18:33:31
    +postpcFieldNames[5] == &"notify"2009-09-04 18:33:31
    +postpcFieldNames[6] == &"plugins"2009-09-04 18:33:31
    +postpcFieldNames[7] == &"postTime"2009-09-04 18:33:31
    +postpcFieldNames[8] == &"referrer"2009-09-04 18:33:31
    +postpcFieldNames[9] == &"remoteHost"2009-09-04 18:33:31
    +postpcFieldTypes == &new Class[](WeblogEntryComment __static_init#2)2009-09-04 18:33:31
    +postpcFieldTypes.length == 142009-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 org.apache.roller.util.UUIDGenerator:genera teUUID2009-09-04 18:33:31

  • + void pcClearFields()

    • -/+ Kind Annotation Text Date
    +postParam_0.content == null2009-09-04 18:33:31
    +postParam_0.contentType == null2009-09-04 18:33:31
    +postParam_0.email == null2009-09-04 18:33:31
    +postParam_0.id == null2009-09-04 18:33:31
    +postParam_0.name == null2009-09-04 18:33:31
    +postParam_0.notify == null2009-09-04 18:33:31
    +postParam_0.plugins == null2009-09-04 18:33:31
    +postParam_0.postTime == null2009-09-04 18:33:31
    +postParam_0.referrer == null2009-09-04 18:33:31
    +postParam_0.remoteHost == null2009-09-04 18:33:31
    +postParam_0.status == null2009-09-04 18:33:31
    +postParam_0.url == null2009-09-04 18:33:31
    +postParam_0.userAgent == null2009-09-04 18:33:31
    +postParam_0.weblogEntry == null2009-09-04 18:33:31

  • + void pcCopyField(WeblogEntryComment, int)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_1.content)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.contentType)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.email)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.name)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.notify)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.plugins)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.postTime)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.referrer)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.remoteHost)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.status)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.url)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.userAgent)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.weblogEntry)2009-09-04 18:33:31
    +preParam_1 != null2009-09-04 18:33:31
    +preParam_2 - pcInheritedFieldCount in 0..132009-09-04 18:33:31
    +preinit'ed(pcInheritedFieldCount)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.content)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.contentType)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.email)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.id)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.name)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.notify)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.plugins)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.postTime)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.referrer)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.remoteHost)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.status)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.url)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.userAgent)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.weblogEntry)2009-09-04 18:33:31
    +test_vectorParam_2 - pcInheritedFieldCount: {0}, {1}, {2}, {3}, {4}, {5}, {6}, {7}, {8}, {9}, {10}, {11}, {12}, {13}2009-09-04 18:33:31

  • + void pcCopyFields(Object, int[])

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_1.content)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.contentType)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.email)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.name)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.notify)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.plugins)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.postTime)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.referrer)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.remoteHost)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.status)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.url)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.userAgent)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.weblogEntry)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.content)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.contentType)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.email)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.id)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.name)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.notify)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.plugins)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.postTime)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.referrer)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.remoteHost)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.status)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.url)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.userAgent)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.weblogEntry)2009-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-42009-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 == 142009-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.id)2009-09-04 18:33:31
    +postinit'ed(return_value.notify)2009-09-04 18:33:31
    +postinit'ed(return_value.pcStateManager)2009-09-04 18:33:31
    +postnew WeblogEntryComment(pcNewInstance#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new WeblogEntryComment(pcNewIn stance#1)2009-09-04 18:33:31
    +postreturn_value.content == null2009-09-04 18:33:31
    +postreturn_value.contentType in Addr_Set{null, &"text.plain"}2009-09-04 18:33:31
    +postreturn_value.email == null2009-09-04 18:33:31
    +postreturn_value.name == null2009-09-04 18:33:31
    +postreturn_value.notify == One-of{java.lang.Boolean. FALSE, null}2009-09-04 18:33:31
    +postreturn_value.pcStateManager == Param_12009-09-04 18:33:31
    +postreturn_value.plugins == null2009-09-04 18:33:31
    +postreturn_value.postTime == null2009-09-04 18:33:31
    +postreturn_value.referrer == null2009-09-04 18:33:31
    +postreturn_value.remoteHost == null2009-09-04 18:33:31
    +postreturn_value.status in Addr_Set{null, &"APPROVED"}2009-09-04 18:33:31
    +postreturn_value.url == null2009-09-04 18:33:31
    +postreturn_value.userAgent == null2009-09-04 18:33:31
    +postreturn_value.weblogEntry == null2009-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.id)2009-09-04 18:33:31
    +postinit'ed(return_value.notify)2009-09-04 18:33:31
    +postinit'ed(return_value.pcStateManager)2009-09-04 18:33:31
    +postnew WeblogEntryComment(pcNewInstance#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new WeblogEntryComment(pcNewIn stance#1)2009-09-04 18:33:31
    +postreturn_value.content == null2009-09-04 18:33:31
    +postreturn_value.contentType in Addr_Set{null, &"text.plain"}2009-09-04 18:33:31
    +postreturn_value.email == null2009-09-04 18:33:31
    +postreturn_value.name == null2009-09-04 18:33:31
    +postreturn_value.notify == One-of{java.lang.Boolean. FALSE, null}2009-09-04 18:33:31
    +postreturn_value.pcStateManager == Param_12009-09-04 18:33:31
    +postreturn_value.plugins == null2009-09-04 18:33:31
    +postreturn_value.postTime == null2009-09-04 18:33:31
    +postreturn_value.referrer == null2009-09-04 18:33:31
    +postreturn_value.remoteHost == null2009-09-04 18:33:31
    +postreturn_value.status in Addr_Set{null, &"APPROVED"}2009-09-04 18:33:31
    +postreturn_value.url == null2009-09-04 18:33:31
    +postreturn_value.userAgent == null2009-09-04 18:33:31
    +postreturn_value.weblogEntry == null2009-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.content)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.contentType)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.email)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.name)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.notify)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.plugins)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.postTime)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.referrer)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.remoteHost)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.status)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.url)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.userAgent)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.weblogEntry)2009-09-04 18:33:31
    +preParam_0.pcStateManager != null2009-09-04 18:33:31
    +preParam_1 - pcInheritedFieldCount in 0..132009-09-04 18:33:31
    +preinit'ed(pcInheritedFieldCount)2009-09-04 18:33:31
    +test_vectorParam_1 - pcInheritedFieldCount: {0}, {1}, {2}, {3}, {4}, {5}, {6}, {7}, {8}, {9}, {10}, {11}, {12}, {13}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.content)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.contentType)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.email)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.name)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.notify)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.plugins)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.postTime)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.referrer)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.remoteHost)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.status)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.url)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.userAgent)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.weblogEntry)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 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..132009-09-04 18:33:31
    +preinit'ed(pcInheritedFieldCount)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.content)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.contentType)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.email)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.id)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.name)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.notify)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.plugins)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.postTime)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.referrer)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.remoteHost)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.status)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.url)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.userAgent)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.weblogEntry)2009-09-04 18:33:31
    +test_vectorParam_1 - pcInheritedFieldCount: {0}, {1}, {2}, {3}, {4}, {5}, {6}, {7}, {8}, {9}, {10}, {11}, {12}, {13}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.content)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.contentType)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.email)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.id)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.name)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.notify)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.plugins)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.postTime)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.referrer)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.remoteHost)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.status)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.url)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.userAgent)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.weblogEntry)2009-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 pcgetContent()

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

  • + String pcgetContentType()

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

  • + String pcgetEmail()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.email)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.email2009-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 pcgetName()

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

  • + Boolean pcgetNotify()

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

  • + String pcgetPlugins()

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

  • + Timestamp pcgetPostTime()

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

  • + String pcgetReferrer()

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

  • + String pcgetRemoteHost()

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

  • + String pcgetStatus()

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

  • + String pcgetUrl()

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

  • + String pcgetUserAgent()

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

  • + WeblogEntry pcgetWeblogEntry()

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

  • + void pcsetContent(String)

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

  • + void pcsetContentType(String)

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

  • + void pcsetEmail(String)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.email)2009-09-04 18:33:31
    +postthis.email == 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 pcsetName(String)

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

  • + void pcsetNotify(Boolean)

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

  • + void pcsetPlugins(String)

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

  • + void pcsetPostTime(Timestamp)

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

  • + void pcsetReferrer(String)

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

  • + void pcsetRemoteHost(String)

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

  • + void pcsetStatus(String)

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

  • + void pcsetUrl(String)

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

  • + void pcsetUserAgent(String)

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

  • + void pcsetWeblogEntry(WeblogEntry)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.weblogEntry)2009-09-04 18:33:31
    +postthis.weblogEntry == 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 setContent(String)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.content)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.content)2009-09-04 18:33:31
    +postParam_0.content == One-of{Param_1, old Param_0.content}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setContentType(String)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.contentType)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
    +post(soft) init'ed(Param_0.contentType)2009-09-04 18:33:31
    +postParam_0.contentType == One-of{Param_1, old Param_0.contentType}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setEmail(String)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.email)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.email)2009-09-04 18:33:31
    +postParam_0.email == One-of{Param_1, old Param_0.email}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-42009-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 setName(String)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.name)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.name)2009-09-04 18:33:31
    +postParam_0.name == One-of{Param_1, old Param_0.name}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setNotify(Boolean)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.notify)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.notify)2009-09-04 18:33:31
    +postParam_0.notify == One-of{Param_1, old Param_0.notify}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setPlugins(String)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.plugins)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.plugins)2009-09-04 18:33:31
    +postParam_0.plugins == One-of{Param_1, old Param_0.plugins}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setPostTime(Timestamp)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.postTime)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.postTime)2009-09-04 18:33:31
    +postParam_0.postTime == One-of{Param_1, old Param_0.postTime}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setReferrer(String)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.referrer)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.referrer)2009-09-04 18:33:31
    +postParam_0.referrer == One-of{Param_1, old Param_0.referrer}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setRemoteHost(String)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.remoteHost)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.remoteHost)2009-09-04 18:33:31
    +postParam_0.remoteHost == One-of{Param_1, old Param_0.remoteHost}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setStatus(String)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.status)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.status)2009-09-04 18:33:31
    +postParam_0.status == One-of{Param_1, old Param_0.status}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setUrl(String)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.url)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.url)2009-09-04 18:33:31
    +postParam_0.url == One-of{Param_1, old Param_0.url}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setUserAgent(String)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.userAgent)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.userAgent)2009-09-04 18:33:31
    +postParam_0.userAgent == One-of{Param_1, old Param_0.userAgent}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setWeblogEntry(WeblogEntry)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.weblogEntry)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-142009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +post(soft) init'ed(Param_0.weblogEntry)2009-09-04 18:33:31
    +postParam_0.weblogEntry == One-of{Param_1, old Param_0.weblogEntry}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.email)2009-09-04 18:33:31
    +preinit'ed(this.id)2009-09-04 18:33:31
    +preinit'ed(this.name)2009-09-04 18:33:31
    +preinit'ed(this.postTime)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.email._tainted | this.id._tainted | this.name._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