WeblogReferrer.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.refererUrl)2009-09-04 18:33:31
    +pre(soft) init'ed(other.weblogEntry)2009-09-04 18:33:31
    +pre(soft) init'ed(other.website)2009-09-04 18:33:31
    +pre(soft) init'ed(this.pcStateManager)2009-09-04 18:33:31
    +pre(soft) init'ed(this.refererUrl)2009-09-04 18:33:31
    +pre(soft) init'ed(this.weblogEntry)2009-09-04 18:33:31
    +pre(soft) init'ed(this.website)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-132009-09-04 18:33:31
    +presumptionorg.apache.commons.lang.builder.EqualsBuilder:appen d(...)@353 != 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 getDateString()

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

  • + Integer getDayHits()

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

  • + String getDisplayUrl()

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.dayHits)2009-09-04 18:33:31
    +pre(soft) init'ed(this.refererUrl)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-72009-09-04 18:33:31
    +preinit'ed(this.pcStateManager)2009-09-04 18:33:31
    +preinit'ed(this.refererPermalink)2009-09-04 18:33:31
    +postjava.lang.StringBuffer:toString(...)._tainted == 02009-09-04 18:33:31
    +postreturn_value == &java.lang.StringBuffer:toStrin g(...)2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:length2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:startsWith2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:substring2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:trim2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.lang.StringEscapeUtils:e scapeHtml2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField2009-09-04 18:33:31

  • + String getDisplayUrl(int, bool)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.dayHits)2009-09-04 18:33:31
    +pre(soft) init'ed(this.refererUrl)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-72009-09-04 18:33:31
    +preinit'ed(this.pcStateManager)2009-09-04 18:33:31
    +preinit'ed(this.refererPermalink)2009-09-04 18:33:31
    +presumptionorg.apache.commons.lang.StringEscapeUtils:escapeHtm l(...)@269 != null2009-09-04 18:33:31
    +postjava.lang.StringBuffer:toString(...)._tainted == 02009-09-04 18:33:31
    +postreturn_value == &java.lang.StringBuffer:toStrin g(...)2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField2009-09-04 18:33:31
    +test_vectorincludeHits: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:startsWith(...)@273: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:startsWith(...)@283: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:startsWith(...)@306: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.lang.StringBuffer:length(...)@294: {-231..0}, {1..232-1}2009-09-04 18:33:31

  • + Boolean getDuplicate()

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

  • + String getExcerpt()

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

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

  • + String getRefererUrl()

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

  • + String getRequestUrl()

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

  • + String getTitle()

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

  • + Integer getTotalHits()

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

  • + String getUrl()

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.refererUrl)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-72009-09-04 18:33:31
    +preinit'ed(this.pcStateManager)2009-09-04 18:33:31
    +preinit'ed(this.refererPermalink)2009-09-04 18:33:31
    +post(soft) init'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == One-of{this.refererPermalink, this.refererUrl}2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField2009-09-04 18:33:31
    +test_vectorthis.refererPermalink: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + Boolean getVisible()

    • -/+ 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.visible)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.visible2009-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-122009-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

  • + Weblog getWebsite()

    • -/+ 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.website)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.website2009-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-132009-09-04 18:33:31
    +preinit'ed(this.pcStateManager)2009-09-04 18:33:31
    +preinit'ed(this.refererUrl)2009-09-04 18:33:31
    +preinit'ed(this.weblogEntry)2009-09-04 18:33:31
    +preinit'ed(this.website)2009-09-04 18:33:31
    +presumptionorg.apache.commons.lang.builder.HashCodeBuilder:app end(...)@361 != 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.WeblogReferrer()

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.id)2009-09-04 18:33:31
    +postthis.dateString == null2009-09-04 18:33:31
    +postthis.dayHits == null2009-09-04 18:33:31
    +postthis.duplicate == null2009-09-04 18:33:31
    +postthis.excerpt == null2009-09-04 18:33:31
    +postthis.refererPermalink == null2009-09-04 18:33:31
    +postthis.refererUrl == null2009-09-04 18:33:31
    +postthis.requestUrl == null2009-09-04 18:33:31
    +postthis.title == null2009-09-04 18:33:31
    +postthis.totalHits == null2009-09-04 18:33:31
    +postthis.visible == null2009-09-04 18:33:31
    +postthis.weblogEntry == null2009-09-04 18:33:31
    +postthis.website == null2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.pojos.WeblogReferrer(String, Weblog, WeblogEntry, String, String, String, String, String, String, Boolean, Boolean, Integer, Integer)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.dateString)2009-09-04 18:33:31
    +postinit'ed(this.dayHits)2009-09-04 18:33:31
    +postinit'ed(this.duplicate)2009-09-04 18:33:31
    +postinit'ed(this.excerpt)2009-09-04 18:33:31
    +postinit'ed(this.id)2009-09-04 18:33:31
    +postinit'ed(this.refererPermalink)2009-09-04 18:33:31
    +postinit'ed(this.refererUrl)2009-09-04 18:33:31
    +postinit'ed(this.requestUrl)2009-09-04 18:33:31
    +postinit'ed(this.title)2009-09-04 18:33:31
    +postinit'ed(this.totalHits)2009-09-04 18:33:31
    +postinit'ed(this.visible)2009-09-04 18:33:31
    +postinit'ed(this.weblogEntry)2009-09-04 18:33:31
    +postinit'ed(this.website)2009-09-04 18:33:31
    +postthis.dateString == dateString2009-09-04 18:33:31
    +postthis.dayHits == dayHits2009-09-04 18:33:31
    +postthis.duplicate == duplicate2009-09-04 18:33:31
    +postthis.excerpt == excerpt2009-09-04 18:33:31
    +postthis.refererPermalink == refererPermalink2009-09-04 18:33:31
    +postthis.refererUrl == refererUrl2009-09-04 18:33:31
    +postthis.requestUrl == requestUrl2009-09-04 18:33:31
    +postthis.title == title2009-09-04 18:33:31
    +postthis.totalHits == totalHits2009-09-04 18:33:31
    +postthis.visible == visible2009-09-04 18:33:31
    +postthis.weblogEntry == weblogEntry2009-09-04 18:33:31
    +postthis.website == website2009-09-04 18:33:31

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

    • -/+ Kind Annotation Text Date
    +postnew Class[](WeblogReferrer__static_init#2) num objects == 12009-09-04 18:33:31
    +postnew String[](WeblogReferrer__static_init#1) num objects == 12009-09-04 18:33:31
    +postnew byte[](WeblogReferrer__static_init#3) num objects == 12009-09-04 18:33:31
    +postpcFieldFlags == &new byte[](WeblogReferrer__ 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] == 262009-09-04 18:33:31
    +postpcFieldFlags[9] == 262009-09-04 18:33:31
    +postpcFieldNames == &new String[](WeblogReferrer__ static_init#1)2009-09-04 18:33:31
    +postpcFieldNames.length == 132009-09-04 18:33:31
    +postpcFieldNames[0] == &"dateString"2009-09-04 18:33:31
    +postpcFieldNames[10] == &"visible"2009-09-04 18:33:31
    +postpcFieldNames[11] == &"weblogEntry"2009-09-04 18:33:31
    +postpcFieldNames[12] == &"website"2009-09-04 18:33:31
    +postpcFieldNames[1] == &"dayHits"2009-09-04 18:33:31
    +postpcFieldNames[2] == &"duplicate"2009-09-04 18:33:31
    +postpcFieldNames[3] == &"excerpt"2009-09-04 18:33:31
    +postpcFieldNames[4] == &"id"2009-09-04 18:33:31
    +postpcFieldNames[5] == &"refererPermalink"2009-09-04 18:33:31
    +postpcFieldNames[6] == &"refererUrl"2009-09-04 18:33:31
    +postpcFieldNames[7] == &"requestUrl"2009-09-04 18:33:31
    +postpcFieldNames[8] == &"title"2009-09-04 18:33:31
    +postpcFieldNames[9] == &"totalHits"2009-09-04 18:33:31
    +postpcFieldTypes == &new Class[](WeblogReferrer__ 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 org.apache.roller.util.UUIDGenerator:genera teUUID2009-09-04 18:33:31

  • + void pcClearFields()

    • -/+ Kind Annotation Text Date
    +postParam_0.dateString == null2009-09-04 18:33:31
    +postParam_0.dayHits == null2009-09-04 18:33:31
    +postParam_0.duplicate == null2009-09-04 18:33:31
    +postParam_0.excerpt == null2009-09-04 18:33:31
    +postParam_0.id == null2009-09-04 18:33:31
    +postParam_0.refererPermalink == null2009-09-04 18:33:31
    +postParam_0.refererUrl == null2009-09-04 18:33:31
    +postParam_0.requestUrl == null2009-09-04 18:33:31
    +postParam_0.title == null2009-09-04 18:33:31
    +postParam_0.totalHits == null2009-09-04 18:33:31
    +postParam_0.visible == null2009-09-04 18:33:31
    +postParam_0.weblogEntry == null2009-09-04 18:33:31
    +postParam_0.website == null2009-09-04 18:33:31

  • + void pcCopyField(WeblogReferrer, int)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_1.dateString)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.dayHits)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.duplicate)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.excerpt)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.refererPermalink)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.refererUrl)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.requestUrl)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.title)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.totalHits)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.visible)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.weblogEntry)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.website)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.dateString)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.dayHits)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.duplicate)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.excerpt)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.id)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.refererPermalink)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.refererUrl)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.requestUrl)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.title)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.totalHits)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.visible)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.weblogEntry)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.website)2009-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.dateString)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.dayHits)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.duplicate)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.excerpt)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.refererPermalink)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.refererUrl)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.requestUrl)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.title)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.totalHits)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.visible)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.weblogEntry)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.website)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.dateString)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.dayHits)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.duplicate)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.excerpt)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.id)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.refererPermalink)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.refererUrl)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.requestUrl)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.title)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.totalHits)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.visible)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.weblogEntry)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.website)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-52009-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.id)2009-09-04 18:33:31
    +postinit'ed(return_value.pcStateManager)2009-09-04 18:33:31
    +postnew WeblogReferrer(pcNewInstance#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new WeblogReferrer(pcNewInstan ce#1)2009-09-04 18:33:31
    +postreturn_value.dateString == null2009-09-04 18:33:31
    +postreturn_value.dayHits == null2009-09-04 18:33:31
    +postreturn_value.duplicate == null2009-09-04 18:33:31
    +postreturn_value.excerpt == null2009-09-04 18:33:31
    +postreturn_value.pcStateManager == Param_12009-09-04 18:33:31
    +postreturn_value.refererPermalink == null2009-09-04 18:33:31
    +postreturn_value.refererUrl == null2009-09-04 18:33:31
    +postreturn_value.requestUrl == null2009-09-04 18:33:31
    +postreturn_value.title == null2009-09-04 18:33:31
    +postreturn_value.totalHits == null2009-09-04 18:33:31
    +postreturn_value.visible == null2009-09-04 18:33:31
    +postreturn_value.weblogEntry == null2009-09-04 18:33:31
    +postreturn_value.website == 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.pcStateManager)2009-09-04 18:33:31
    +postnew WeblogReferrer(pcNewInstance#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new WeblogReferrer(pcNewInstan ce#1)2009-09-04 18:33:31
    +postreturn_value.dateString == null2009-09-04 18:33:31
    +postreturn_value.dayHits == null2009-09-04 18:33:31
    +postreturn_value.duplicate == null2009-09-04 18:33:31
    +postreturn_value.excerpt == null2009-09-04 18:33:31
    +postreturn_value.pcStateManager == Param_12009-09-04 18:33:31
    +postreturn_value.refererPermalink == null2009-09-04 18:33:31
    +postreturn_value.refererUrl == null2009-09-04 18:33:31
    +postreturn_value.requestUrl == null2009-09-04 18:33:31
    +postreturn_value.title == null2009-09-04 18:33:31
    +postreturn_value.totalHits == null2009-09-04 18:33:31
    +postreturn_value.visible == null2009-09-04 18:33:31
    +postreturn_value.weblogEntry == null2009-09-04 18:33:31
    +postreturn_value.website == 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.dateString)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.dayHits)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.duplicate)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.excerpt)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.refererPermalink)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.refererUrl)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.requestUrl)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.title)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.totalHits)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.visible)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.weblogEntry)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.website)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
    +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.dateString)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.dayHits)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.duplicate)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.excerpt)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.refererPermalink)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.refererUrl)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.requestUrl)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.title)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.totalHits)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.visible)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.weblogEntry)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.website)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..122009-09-04 18:33:31
    +preinit'ed(pcInheritedFieldCount)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.dateString)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.dayHits)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.duplicate)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.excerpt)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.id)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.refererPermalink)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.refererUrl)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.requestUrl)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.title)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.totalHits)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.visible)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.weblogEntry)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.website)2009-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.dateString)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.dayHits)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.duplicate)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.excerpt)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.id)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.refererPermalink)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.refererUrl)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.requestUrl)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.title)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.totalHits)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.visible)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.weblogEntry)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.website)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 pcgetDateString()

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

  • + Integer pcgetDayHits()

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

  • + Boolean pcgetDuplicate()

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

  • + String pcgetExcerpt()

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

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

  • + String pcgetRefererUrl()

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

  • + String pcgetRequestUrl()

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

  • + String pcgetTitle()

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

  • + Integer pcgetTotalHits()

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

  • + Boolean pcgetVisible()

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

  • + Weblog pcgetWebsite()

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

  • + void pcsetDateString(String)

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

  • + void pcsetDayHits(Integer)

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

  • + void pcsetDuplicate(Boolean)

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

  • + void pcsetExcerpt(String)

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

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

  • + void pcsetRefererUrl(String)

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

  • + void pcsetRequestUrl(String)

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

  • + void pcsetTitle(String)

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

  • + void pcsetTotalHits(Integer)

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

  • + void pcsetVisible(Boolean)

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

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

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

  • + void setDayHits(Integer)

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

  • + void setDuplicate(Boolean)

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

  • + void setExcerpt(String)

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

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

  • + void setRefererUrl(String)

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

  • + void setRequestUrl(String)

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

  • + void setTitle(String)

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

  • + void setTotalHits(Integer)

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

  • + void setVisible(Boolean)

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

  • + void setWebsite(Weblog)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.website)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.website)2009-09-04 18:33:31
    +postParam_0.website == One-of{Param_1, old Param_0.website}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.dayHits)2009-09-04 18:33:31
    +preinit'ed(this.id)2009-09-04 18:33:31
    +preinit'ed(this.refererUrl)2009-09-04 18:33:31
    +preinit'ed(this.requestUrl)2009-09-04 18:33:31
    +preinit'ed(this.totalHits)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.refererUrl._tainted | this.id._tainted | this.requestUrl._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