Messages

Last Msg First Msg

method	String getId()
pre	init'ed(Param_0.id)
pre	init'ed(Param_0.pcStateManager)
pre	(soft) pcInheritedFieldCount <= 2³²-5
post	return_value == Param_0.id
post	init'ed(return_value)
test_vector	Param_0.pcStateManager: Inverse{null}, Addr_Set{null}

method	void setId(String)
pre	init'ed(Param_0.pcStateManager)
pre	(soft) init'ed(Param_0.id)
pre	(soft) pcInheritedFieldCount <= 2³²-5
post	Param_0.id == One-of{Param_1, old Param_0.id}
post	(soft) init'ed(Param_0.id)
test_vector	Param_0.pcStateManager: Inverse{null}, Addr_Set{null}

method	Weblog getWebsite()
pre	init'ed(Param_0.pcStateManager)
pre	init'ed(Param_0.website)
pre	(soft) pcInheritedFieldCount <= 2³²-13
post	return_value == Param_0.website
post	init'ed(return_value)
test_vector	Param_0.pcStateManager: Inverse{null}, Addr_Set{null}

method	void setWebsite(Weblog)
pre	init'ed(Param_0.pcStateManager)
pre	(soft) init'ed(Param_0.website)
pre	(soft) pcInheritedFieldCount <= 2³²-13
post	Param_0.website == One-of{Param_1, old Param_0.website}
post	(soft) init'ed(Param_0.website)
test_vector	Param_0.pcStateManager: Inverse{null}, Addr_Set{null}

method	WeblogEntry getWeblogEntry()
pre	init'ed(Param_0.pcStateManager)
pre	init'ed(Param_0.weblogEntry)
pre	(soft) pcInheritedFieldCount <= 2³²-12
post	return_value == Param_0.weblogEntry
post	init'ed(return_value)
test_vector	Param_0.pcStateManager: Inverse{null}, Addr_Set{null}

method	void setWeblogEntry(WeblogEntry)
pre	init'ed(Param_0.pcStateManager)
pre	(soft) init'ed(Param_0.weblogEntry)
pre	(soft) pcInheritedFieldCount <= 2³²-12
post	Param_0.weblogEntry == One-of{Param_1, old Param_0.weblogEntry}
post	(soft) init'ed(Param_0.weblogEntry)
test_vector	Param_0.pcStateManager: Inverse{null}, Addr_Set{null}

method	String getDateString()
pre	init'ed(Param_0.dateString)
pre	init'ed(Param_0.pcStateManager)
pre	(soft) init'ed(pcInheritedFieldCount)
post	return_value == Param_0.dateString
post	init'ed(return_value)
test_vector	Param_0.pcStateManager: Inverse{null}, Addr_Set{null}

method	void setDateString(String)
pre	init'ed(Param_0.pcStateManager)
pre	(soft) init'ed(Param_0.dateString)
pre	(soft) init'ed(pcInheritedFieldCount)
post	Param_0.dateString == One-of{Param_1, old Param_0.dateString}
post	(soft) init'ed(Param_0.dateString)
test_vector	Param_0.pcStateManager: Inverse{null}, Addr_Set{null}

method	String getRefererUrl()
pre	init'ed(Param_0.pcStateManager)
pre	init'ed(Param_0.refererUrl)
pre	(soft) pcInheritedFieldCount <= 2³²-7
post	return_value == Param_0.refererUrl
post	init'ed(return_value)
test_vector	Param_0.pcStateManager: Inverse{null}, Addr_Set{null}

method	void setRefererUrl(String)
pre	init'ed(Param_0.pcStateManager)
pre	(soft) init'ed(Param_0.refererUrl)
pre	(soft) pcInheritedFieldCount <= 2³²-7
post	Param_0.refererUrl == One-of{Param_1, old Param_0.refererUrl}
post	(soft) init'ed(Param_0.refererUrl)
test_vector	Param_0.pcStateManager: Inverse{null}, Addr_Set{null}

method	String getRefererPermalink()
pre	init'ed(Param_0.pcStateManager)
pre	init'ed(Param_0.refererPermalink)
pre	(soft) pcInheritedFieldCount <= 2³²-6
post	return_value == Param_0.refererPermalink
post	init'ed(return_value)
test_vector	Param_0.pcStateManager: Inverse{null}, Addr_Set{null}

method	void setRefererPermalink(String)
pre	init'ed(Param_0.pcStateManager)
pre	(soft) init'ed(Param_0.refererPermalink)
pre	(soft) pcInheritedFieldCount <= 2³²-6
post	Param_0.refererPermalink == One-of{Param_1, old Param_0.refererPermalink}
post	(soft) init'ed(Param_0.refererPermalink)
test_vector	Param_0.pcStateManager: Inverse{null}, Addr_Set{null}

method	String getRequestUrl()
pre	init'ed(Param_0.pcStateManager)
pre	init'ed(Param_0.requestUrl)
pre	(soft) pcInheritedFieldCount <= 2³²-8
post	return_value == Param_0.requestUrl
post	init'ed(return_value)
test_vector	Param_0.pcStateManager: Inverse{null}, Addr_Set{null}

method	void setRequestUrl(String)
pre	init'ed(Param_0.pcStateManager)
pre	(soft) init'ed(Param_0.requestUrl)
pre	(soft) pcInheritedFieldCount <= 2³²-8
post	Param_0.requestUrl == One-of{Param_1, old Param_0.requestUrl}
post	(soft) init'ed(Param_0.requestUrl)
test_vector	Param_0.pcStateManager: Inverse{null}, Addr_Set{null}

method	String getTitle()
pre	init'ed(Param_0.pcStateManager)
pre	init'ed(Param_0.title)
pre	(soft) pcInheritedFieldCount <= 2³²-9
post	return_value == Param_0.title
post	init'ed(return_value)
test_vector	Param_0.pcStateManager: Inverse{null}, Addr_Set{null}

method	void setTitle(String)
pre	init'ed(Param_0.pcStateManager)
pre	(soft) init'ed(Param_0.title)
pre	(soft) pcInheritedFieldCount <= 2³²-9
post	Param_0.title == One-of{Param_1, old Param_0.title}
post	(soft) init'ed(Param_0.title)
test_vector	Param_0.pcStateManager: Inverse{null}, Addr_Set{null}

method	String getExcerpt()
pre	init'ed(Param_0.excerpt)
pre	init'ed(Param_0.pcStateManager)
pre	(soft) pcInheritedFieldCount <= 2³²-4
post	return_value == Param_0.excerpt
post	init'ed(return_value)
test_vector	Param_0.pcStateManager: Inverse{null}, Addr_Set{null}

method	void setExcerpt(String)
pre	init'ed(Param_0.pcStateManager)
pre	(soft) init'ed(Param_0.excerpt)
pre	(soft) pcInheritedFieldCount <= 2³²-4
post	Param_0.excerpt == One-of{Param_1, old Param_0.excerpt}
post	(soft) init'ed(Param_0.excerpt)
test_vector	Param_0.pcStateManager: Inverse{null}, Addr_Set{null}

method	Boolean getVisible()
pre	init'ed(Param_0.pcStateManager)
pre	init'ed(Param_0.visible)
pre	(soft) pcInheritedFieldCount <= 2³²-11
post	return_value == Param_0.visible
post	init'ed(return_value)
test_vector	Param_0.pcStateManager: Inverse{null}, Addr_Set{null}

method	void setVisible(Boolean)
pre	init'ed(Param_0.pcStateManager)
pre	(soft) init'ed(Param_0.visible)
pre	(soft) pcInheritedFieldCount <= 2³²-11
post	Param_0.visible == One-of{Param_1, old Param_0.visible}
post	(soft) init'ed(Param_0.visible)
test_vector	Param_0.pcStateManager: Inverse{null}, Addr_Set{null}

method	Boolean getDuplicate()
pre	init'ed(Param_0.duplicate)
pre	init'ed(Param_0.pcStateManager)
pre	(soft) pcInheritedFieldCount <= 2³²-3
post	return_value == Param_0.duplicate
post	init'ed(return_value)
test_vector	Param_0.pcStateManager: Inverse{null}, Addr_Set{null}

method	void setDuplicate(Boolean)
pre	init'ed(Param_0.pcStateManager)
pre	(soft) init'ed(Param_0.duplicate)
pre	(soft) pcInheritedFieldCount <= 2³²-3
post	Param_0.duplicate == One-of{Param_1, old Param_0.duplicate}
post	(soft) init'ed(Param_0.duplicate)
test_vector	Param_0.pcStateManager: Inverse{null}, Addr_Set{null}

method	Integer getDayHits()
pre	init'ed(Param_0.dayHits)
pre	init'ed(Param_0.pcStateManager)
pre	(soft) pcInheritedFieldCount <= 2³²-2
post	return_value == Param_0.dayHits
post	init'ed(return_value)
test_vector	Param_0.pcStateManager: Inverse{null}, Addr_Set{null}

method	void setDayHits(Integer)
pre	init'ed(Param_0.pcStateManager)
pre	(soft) init'ed(Param_0.dayHits)
pre	(soft) pcInheritedFieldCount <= 2³²-2
post	Param_0.dayHits == One-of{Param_1, old Param_0.dayHits}
post	(soft) init'ed(Param_0.dayHits)
test_vector	Param_0.pcStateManager: Inverse{null}, Addr_Set{null}

method	Integer getTotalHits()
pre	init'ed(Param_0.pcStateManager)
pre	init'ed(Param_0.totalHits)
pre	(soft) pcInheritedFieldCount <= 2³²-10
post	return_value == Param_0.totalHits
post	init'ed(return_value)
test_vector	Param_0.pcStateManager: Inverse{null}, Addr_Set{null}

method	void setTotalHits(Integer)
pre	init'ed(Param_0.pcStateManager)
pre	(soft) init'ed(Param_0.totalHits)
pre	(soft) pcInheritedFieldCount <= 2³²-10
post	Param_0.totalHits == One-of{Param_1, old Param_0.totalHits}
post	(soft) init'ed(Param_0.totalHits)
test_vector	Param_0.pcStateManager: Inverse{null}, Addr_Set{null}

method	int pcGetEnhancementContractVersion()
post	return_value == 2

method	org.apache.roller.weblogger.pojos.WeblogReferrer__ static_init
post	pcFieldFlags == &new byte[](WeblogReferrer__ static_init#3)
post	pcFieldNames == &new String[](WeblogReferrer__ static_init#1)
post	pcFieldTypes == &new Class[](WeblogReferrer__ static_init#2)
post	new Class[](WeblogReferrer__static_init#2) num objects == 1
post	new String[](WeblogReferrer__static_init#1) num objects == 1
post	new byte[](WeblogReferrer__static_init#3) num objects == 1
post	pcFieldTypes.length == 13
post	pcFieldNames.length == 13
post	pcFieldFlags.length == 13
post	pcFieldNames[0] == &"dateString"
post	pcFieldNames[10] == &"visible"
post	pcFieldNames[11] == &"weblogEntry"
post	pcFieldNames[12] == &"website"
post	pcFieldNames[1] == &"dayHits"
post	pcFieldNames[2] == &"duplicate"
post	pcFieldNames[3] == &"excerpt"
post	pcFieldNames[4] == &"id"
post	pcFieldNames[5] == &"refererPermalink"
post	pcFieldNames[6] == &"refererUrl"
post	pcFieldNames[7] == &"requestUrl"
post	pcFieldNames[8] == &"title"
post	pcFieldNames[9] == &"totalHits"
post	pcFieldFlags[0] == 26
post	pcFieldFlags[10] == 26
post	pcFieldFlags[11] == 26
post	pcFieldFlags[12] == 26
post	pcFieldFlags[1] == 26
post	pcFieldFlags[2] == 26
post	pcFieldFlags[3] == 26
post	pcFieldFlags[4] == 26
post	pcFieldFlags[5] == 26
post	pcFieldFlags[6] == 26
post	pcFieldFlags[7] == 26
post	pcFieldFlags[8] == 26
post	pcFieldFlags[9] == 26
unanalyzed	call on java.lang.Class:forName
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Throwable:getMessage
unanalyzed	call on java.lang.NoClassDefFoundError
unanalyzed	call on org.apache.roller.util.UUIDGenerator:genera teUUID

method	void pcClearFields()
post	Param_0.dateString == null
post	Param_0.dayHits == null
post	Param_0.duplicate == null
post	Param_0.excerpt == null
post	Param_0.id == null
post	Param_0.refererPermalink == null
post	Param_0.refererUrl == null
post	Param_0.requestUrl == null
post	Param_0.title == null
post	Param_0.totalHits == null
post	Param_0.visible == null
post	Param_0.weblogEntry == null
post	Param_0.website == null

method	PersistenceCapable pcNewInstance(StateManager, Object, bool)
pre	Param_2 != null
post	return_value == &new WeblogReferrer(pcNewInstan ce#1)
post	new WeblogReferrer(pcNewInstance#1) num objects == 1
post	return_value.dateString == null
post	return_value.dayHits == null
post	return_value.duplicate == null
post	return_value.excerpt == null
post	init'ed(return_value.id)
post	return_value.pcStateManager == Param_1
post	init'ed(return_value.pcStateManager)
post	return_value.refererPermalink == null
post	return_value.refererUrl == null
post	return_value.requestUrl == null
post	return_value.title == null
post	return_value.totalHits == null
post	return_value.visible == null
post	return_value.weblogEntry == null
post	return_value.website == null
unanalyzed	call on org.apache.roller.util.UUIDGenerator:genera teUUID
unanalyzed	call on org.apache.openjpa.util.StringId:getId
test_vector	Param_3: {0}, {1}

method	PersistenceCapable pcNewInstance(StateManager, bool)
post	return_value == &new WeblogReferrer(pcNewInstan ce#1)
post	new WeblogReferrer(pcNewInstance#1) num objects == 1
post	return_value.dateString == null
post	return_value.dayHits == null
post	return_value.duplicate == null
post	return_value.excerpt == null
post	init'ed(return_value.id)
post	return_value.pcStateManager == Param_1
post	init'ed(return_value.pcStateManager)
post	return_value.refererPermalink == null
post	return_value.refererUrl == null
post	return_value.requestUrl == null
post	return_value.title == null
post	return_value.totalHits == null
post	return_value.visible == null
post	return_value.weblogEntry == null
post	return_value.website == null
unanalyzed	call on org.apache.roller.util.UUIDGenerator:genera teUUID
test_vector	Param_2: {0}, {1}

method	int pcGetManagedFieldCount()
post	return_value == 13

method	void pcReplaceField(int)
pre	Param_0.pcStateManager != null
pre	Param_1 - pcInheritedFieldCount in 0..12
pre	init'ed(pcInheritedFieldCount)
post	possibly_updated(Param_0.dateString)
post	possibly_updated(Param_0.dayHits)
post	possibly_updated(Param_0.duplicate)
post	possibly_updated(Param_0.excerpt)
post	possibly_updated(Param_0.id)
post	possibly_updated(Param_0.refererPermalink)
post	possibly_updated(Param_0.refererUrl)
post	possibly_updated(Param_0.requestUrl)
post	possibly_updated(Param_0.title)
post	possibly_updated(Param_0.totalHits)
post	possibly_updated(Param_0.visible)
post	possibly_updated(Param_0.weblogEntry)
post	possibly_updated(Param_0.website)
test_vector	Param_1 - pcInheritedFieldCount: {0}, {1}, {2}, {3}, {4}, {5}, {6}, {7}, {8}, {9}, {10}, {11}, {12}

method	void pcReplaceFields(int[])
pre	Param_1 != null
pre	Param_1.length <= 2³²-1
pre	(soft) Param_0.pcStateManager != null
pre	(soft) init'ed(Param_1[...])
pre	(soft) init'ed(pcInheritedFieldCount)
post	possibly_updated(Param_0.dateString)
post	possibly_updated(Param_0.dayHits)
post	possibly_updated(Param_0.duplicate)
post	possibly_updated(Param_0.excerpt)
post	possibly_updated(Param_0.id)
post	possibly_updated(Param_0.refererPermalink)
post	possibly_updated(Param_0.refererUrl)
post	possibly_updated(Param_0.requestUrl)
post	possibly_updated(Param_0.title)
post	possibly_updated(Param_0.totalHits)
post	possibly_updated(Param_0.visible)
post	possibly_updated(Param_0.weblogEntry)
post	possibly_updated(Param_0.website)
unanalyzed	call on org.apache.openjpa.enhance.StateManager:rep laceStringField
unanalyzed	call on org.apache.openjpa.enhance.StateManager:rep laceObjectField

method	void pcProvideField(int)
pre	Param_0.pcStateManager != null
pre	Param_1 - pcInheritedFieldCount in 0..12
pre	init'ed(pcInheritedFieldCount)
pre	(soft) init'ed(Param_0.dateString)
pre	(soft) init'ed(Param_0.dayHits)
pre	(soft) init'ed(Param_0.duplicate)
pre	(soft) init'ed(Param_0.excerpt)
pre	(soft) init'ed(Param_0.id)
pre	(soft) init'ed(Param_0.refererPermalink)
pre	(soft) init'ed(Param_0.refererUrl)
pre	(soft) init'ed(Param_0.requestUrl)
pre	(soft) init'ed(Param_0.title)
pre	(soft) init'ed(Param_0.totalHits)
pre	(soft) init'ed(Param_0.visible)
pre	(soft) init'ed(Param_0.weblogEntry)
pre	(soft) init'ed(Param_0.website)
test_vector	Param_1 - pcInheritedFieldCount: {0}, {1}, {2}, {3}, {4}, {5}, {6}, {7}, {8}, {9}, {10}, {11}, {12}

method	void pcProvideFields(int[])
pre	Param_1 != null
pre	Param_1.length <= 2³²-1
pre	(soft) init'ed(Param_0.dateString)
pre	(soft) init'ed(Param_0.dayHits)
pre	(soft) init'ed(Param_0.duplicate)
pre	(soft) init'ed(Param_0.excerpt)
pre	(soft) init'ed(Param_0.id)
pre	(soft) Param_0.pcStateManager != null
pre	(soft) init'ed(Param_0.refererPermalink)
pre	(soft) init'ed(Param_0.refererUrl)
pre	(soft) init'ed(Param_0.requestUrl)
pre	(soft) init'ed(Param_0.title)
pre	(soft) init'ed(Param_0.totalHits)
pre	(soft) init'ed(Param_0.visible)
pre	(soft) init'ed(Param_0.weblogEntry)
pre	(soft) init'ed(Param_0.website)
pre	(soft) init'ed(Param_1[...])
pre	(soft) init'ed(pcInheritedFieldCount)
unanalyzed	call on org.apache.openjpa.enhance.StateManager:pro videdStringField
unanalyzed	call on org.apache.openjpa.enhance.StateManager:pro videdObjectField

method	void pcCopyField(WeblogReferrer, int)
pre	Param_1 != null
pre	Param_2 - pcInheritedFieldCount in 0..12
pre	init'ed(pcInheritedFieldCount)
pre	(soft) init'ed(Param_1.dateString)
pre	(soft) init'ed(Param_1.dayHits)
pre	(soft) init'ed(Param_1.duplicate)
pre	(soft) init'ed(Param_1.excerpt)
pre	(soft) init'ed(Param_1.id)
pre	(soft) init'ed(Param_1.refererPermalink)
pre	(soft) init'ed(Param_1.refererUrl)
pre	(soft) init'ed(Param_1.requestUrl)
pre	(soft) init'ed(Param_1.title)
pre	(soft) init'ed(Param_1.totalHits)
pre	(soft) init'ed(Param_1.visible)
pre	(soft) init'ed(Param_1.weblogEntry)
pre	(soft) init'ed(Param_1.website)
post	possibly_updated(Param_0.dateString)
post	possibly_updated(Param_0.dayHits)
post	possibly_updated(Param_0.duplicate)
post	possibly_updated(Param_0.excerpt)
post	possibly_updated(Param_0.id)
post	possibly_updated(Param_0.refererPermalink)
post	possibly_updated(Param_0.refererUrl)
post	possibly_updated(Param_0.requestUrl)
post	possibly_updated(Param_0.title)
post	possibly_updated(Param_0.totalHits)
post	possibly_updated(Param_0.visible)
post	possibly_updated(Param_0.weblogEntry)
post	possibly_updated(Param_0.website)
test_vector	Param_2 - pcInheritedFieldCount: {0}, {1}, {2}, {3}, {4}, {5}, {6}, {7}, {8}, {9}, {10}, {11}, {12}

method	void pcCopyFields(Object, int[])
pre	Param_0.pcStateManager != null
pre	Param_0.pcStateManager == Param_1.pcStateManager
pre	Param_1 != null
pre	Param_1.pcStateManager != null
pre	Param_2 != null
pre	Param_2.length <= 2³²-1
pre	(soft) init'ed(Param_1.dateString)
pre	(soft) init'ed(Param_1.dayHits)
pre	(soft) init'ed(Param_1.duplicate)
pre	(soft) init'ed(Param_1.excerpt)
pre	(soft) init'ed(Param_1.id)
pre	(soft) init'ed(Param_1.refererPermalink)
pre	(soft) init'ed(Param_1.refererUrl)
pre	(soft) init'ed(Param_1.requestUrl)
pre	(soft) init'ed(Param_1.title)
pre	(soft) init'ed(Param_1.totalHits)
pre	(soft) init'ed(Param_1.visible)
pre	(soft) init'ed(Param_1.weblogEntry)
pre	(soft) init'ed(Param_1.website)
pre	(soft) init'ed(Param_2[...])
pre	(soft) init'ed(pcInheritedFieldCount)
post	possibly_updated(Param_0.dateString)
post	possibly_updated(Param_0.dayHits)
post	possibly_updated(Param_0.duplicate)
post	possibly_updated(Param_0.excerpt)
post	possibly_updated(Param_0.id)
post	possibly_updated(Param_0.refererPermalink)
post	possibly_updated(Param_0.refererUrl)
post	possibly_updated(Param_0.requestUrl)
post	possibly_updated(Param_0.title)
post	possibly_updated(Param_0.totalHits)
post	possibly_updated(Param_0.visible)
post	possibly_updated(Param_0.weblogEntry)
post	possibly_updated(Param_0.website)

method	Object pcGetGenericContext()
pre	init'ed(Param_0.pcStateManager)
post	init'ed(return_value)
test_vector	Param_0.pcStateManager: Inverse{null}, Addr_Set{null}

method	Object pcFetchObjectId()
pre	init'ed(Param_0.pcStateManager)
post	init'ed(return_value)
test_vector	Param_0.pcStateManager: Inverse{null}, Addr_Set{null}

method	bool pcIsDeleted()
pre	init'ed(Param_0.pcStateManager)
post	init'ed(return_value)
test_vector	Param_0.pcStateManager: Inverse{null}, Addr_Set{null}

method	bool pcIsDirty()
pre	init'ed(Param_0.pcStateManager)
post	init'ed(return_value)
test_vector	Param_0.pcStateManager: Inverse{null}, Addr_Set{null}

method	bool pcIsNew()
pre	init'ed(Param_0.pcStateManager)
post	init'ed(return_value)
test_vector	Param_0.pcStateManager: Inverse{null}, Addr_Set{null}

method	bool pcIsPersistent()
pre	init'ed(Param_0.pcStateManager)
post	init'ed(return_value)
test_vector	Param_0.pcStateManager: Inverse{null}, Addr_Set{null}

method	bool pcIsTransactional()
pre	init'ed(Param_0.pcStateManager)
post	init'ed(return_value)
test_vector	Param_0.pcStateManager: Inverse{null}, Addr_Set{null}

method	bool pcSerializing()
pre	init'ed(Param_0.pcStateManager)
post	init'ed(return_value)
test_vector	Param_0.pcStateManager: Inverse{null}, Addr_Set{null}

method	void pcDirty(String)
pre	init'ed(Param_0.pcStateManager)
test_vector	Param_0.pcStateManager: Inverse{null}, Addr_Set{null}

method	StateManager pcGetStateManager()
pre	init'ed(Param_0.pcStateManager)
post	return_value == Param_0.pcStateManager
post	init'ed(return_value)

method	Object pcGetVersion()
pre	init'ed(Param_0.pcStateManager)
post	init'ed(return_value)
test_vector	Param_0.pcStateManager: Inverse{null}, Addr_Set{null}

method	void pcReplaceStateManager(StateManager)
pre	init'ed(Param_0.pcStateManager)
post	init'ed(Param_0.pcStateManager)
test_vector	Param_0.pcStateManager: Addr_Set{null}, Inverse{null}

method

void pcCopyKeyFieldsToObjectId(FieldSupplier, Object)

method

void pcCopyKeyFieldsToObjectId(Object)

method	void pcCopyKeyFieldsFromObjectId(FieldConsumer, Object)
pre	Param_1 != null
pre	Param_2 != null
pre	pcInheritedFieldCount <= 2³²-5

method	void pcCopyKeyFieldsFromObjectId(Object)
pre	Param_1 != null
post	init'ed(Param_0.id)

method	Object pcNewObjectIdInstance(Object)
post	return_value == &new StringId(pcNewObjectIdInst ance#1)
post	new StringId(pcNewObjectIdInstance#1) num objects == 1
unanalyzed	call on java.lang.Class:forName
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Throwable:getMessage
unanalyzed	call on java.lang.NoClassDefFoundError

method	Object pcNewObjectIdInstance()
pre	init'ed(Param_0.id)
post	return_value == &new StringId(pcNewObjectIdInst ance#1)
post	new StringId(pcNewObjectIdInstance#1) num objects == 1
unanalyzed	call on java.lang.Class:forName
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Throwable:getMessage
unanalyzed	call on java.lang.NoClassDefFoundError

method	Boolean pcIsDetached()
pre	init'ed(Param_0.pcStateManager)
pre	(soft) init'ed(Param_0.pcDetachedState)
presumption	init'ed(java.lang.Boolean.FALSE)
presumption	init'ed(java.lang.Boolean.TRUE)
presumption	init'ed(org.apache.openjpa.enhance.PersistenceCapab le.DESERIALIZED)
post	return_value == One-of{java.lang.Boolean.TRUE, java.lang.Boolean.FALSE, null}
post	(soft) init'ed(return_value)
test_vector	Param_0.pcDetachedState: Addr_Set{null}, Inverse{null}
test_vector	Param_0.pcStateManager: Addr_Set{null}, Inverse{null}
test_vector	org.apache.openjpa.enhance.StateManager:isDetached( ...): {0}, {1}

method	Object pcGetDetachedState()
pre	init'ed(Param_0.pcDetachedState)
post	return_value == Param_0.pcDetachedState
post	init'ed(return_value)

method	void pcSetDetachedState(Object)
post	Param_0.pcDetachedState == Param_1
post	init'ed(Param_0.pcDetachedState)

method	void writeObject(ObjectOutputStream)
pre	init'ed(Param_0.pcStateManager)
pre	Param_1 != null
post	Param_0.pcDetachedState == One-of{old Param_0.pcDetachedState, null}
unanalyzed	call on org.apache.openjpa.enhance.StateManager:ser ializing

method	void readObject(ObjectInputStream)
pre	Param_1 != null
presumption	init'ed(org.apache.openjpa.enhance.PersistenceCapab le.DESERIALIZED)
post	Param_0.pcDetachedState == org.apache.openjpa. enhance.PersistenceCapable.DESERIALIZED
post	(soft) init'ed(Param_0.pcDetachedState)

info method not available -- call on String org.apache.roller.util. UUIDGenerator:generateUUID()

method	void org.apache.roller.weblogger.pojos. WeblogReferrer()
post	this.dateString == null
post	this.dayHits == null
post	this.duplicate == null
post	this.excerpt == null
post	this.refererPermalink == null
post	this.refererUrl == null
post	this.requestUrl == null
post	this.title == null
post	this.totalHits == null
post	this.visible == null
post	this.weblogEntry == null
post	this.website == null
post	init'ed(this.id)

method	void org.apache.roller.weblogger.pojos. WeblogReferrer(String, Weblog, WeblogEntry, String, String, String, String, String, String, Boolean, Boolean, Integer, Integer)
post	this.dateString == dateString
post	init'ed(this.dateString)
post	this.dayHits == dayHits
post	init'ed(this.dayHits)
post	this.duplicate == duplicate
post	init'ed(this.duplicate)
post	this.excerpt == excerpt
post	init'ed(this.excerpt)
post	init'ed(this.id)
post	this.refererPermalink == refererPermalink
post	init'ed(this.refererPermalink)
post	this.refererUrl == refererUrl
post	init'ed(this.refererUrl)
post	this.requestUrl == requestUrl
post	init'ed(this.requestUrl)
post	this.title == title
post	init'ed(this.title)
post	this.totalHits == totalHits
post	init'ed(this.totalHits)
post	this.visible == visible
post	init'ed(this.visible)
post	this.weblogEntry == weblogEntry
post	init'ed(this.weblogEntry)
post	this.website == website
post	init'ed(this.website)

method	String pcgetId()
pre	init'ed(this.id)
post	return_value == this.id
post	init'ed(return_value)

method	void pcsetId(String)
post	this.id == Param_1
post	init'ed(this.id)

method	Weblog pcgetWebsite()
pre	init'ed(this.website)
post	return_value == this.website
post	init'ed(return_value)

method	void pcsetWebsite(Weblog)
post	this.website == Param_1
post	init'ed(this.website)

method	WeblogEntry pcgetWeblogEntry()
pre	init'ed(this.weblogEntry)
post	return_value == this.weblogEntry
post	init'ed(return_value)

method	void pcsetWeblogEntry(WeblogEntry)
post	this.weblogEntry == Param_1
post	init'ed(this.weblogEntry)

method	String pcgetDateString()
pre	init'ed(this.dateString)
post	return_value == this.dateString
post	init'ed(return_value)

method	void pcsetDateString(String)
post	this.dateString == Param_1
post	init'ed(this.dateString)

method	String pcgetRefererUrl()
pre	init'ed(this.refererUrl)
post	return_value == this.refererUrl
post	init'ed(return_value)

method	void pcsetRefererUrl(String)
post	this.refererUrl == Param_1
post	init'ed(this.refererUrl)

method	String pcgetRefererPermalink()
pre	init'ed(this.refererPermalink)
post	return_value == this.refererPermalink
post	init'ed(return_value)

method	void pcsetRefererPermalink(String)
post	this.refererPermalink == Param_1
post	init'ed(this.refererPermalink)

method	String pcgetRequestUrl()
pre	init'ed(this.requestUrl)
post	return_value == this.requestUrl
post	init'ed(return_value)

method	void pcsetRequestUrl(String)
post	this.requestUrl == Param_1
post	init'ed(this.requestUrl)

method	String pcgetTitle()
pre	init'ed(this.title)
post	return_value == this.title
post	init'ed(return_value)

method	void pcsetTitle(String)
post	this.title == Param_1
post	init'ed(this.title)

method	String pcgetExcerpt()
pre	init'ed(this.excerpt)
post	return_value == this.excerpt
post	init'ed(return_value)

method	void pcsetExcerpt(String)
post	this.excerpt == Param_1
post	init'ed(this.excerpt)

method	Boolean pcgetVisible()
pre	init'ed(this.visible)
post	return_value == this.visible
post	init'ed(return_value)

method	void pcsetVisible(Boolean)
post	this.visible == Param_1
post	init'ed(this.visible)

method	Boolean pcgetDuplicate()
pre	init'ed(this.duplicate)
post	return_value == this.duplicate
post	init'ed(return_value)

method	void pcsetDuplicate(Boolean)
post	this.duplicate == Param_1
post	init'ed(this.duplicate)

method	Integer pcgetDayHits()
pre	init'ed(this.dayHits)
post	return_value == this.dayHits
post	init'ed(return_value)

method	void pcsetDayHits(Integer)
post	this.dayHits == Param_1
post	init'ed(this.dayHits)

method	Integer pcgetTotalHits()
pre	init'ed(this.totalHits)
post	return_value == this.totalHits
post	init'ed(return_value)

method	void pcsetTotalHits(Integer)
post	this.totalHits == Param_1
post	init'ed(this.totalHits)

method	String getDisplayUrl(int, bool)
pre	init'ed(this.pcStateManager)
pre	init'ed(this.refererPermalink)
pre	(soft) pcInheritedFieldCount <= 2³²-7
pre	(soft) init'ed(this.dayHits)
pre	(soft) init'ed(this.refererUrl)
presumption	org.apache.commons.lang.StringEscapeUtils:escapeHtm l(...)@269 != null
post	java.lang.StringBuffer:toString(...)._tainted == 0
post	return_value == &java.lang.StringBuffer:toStrin g(...)
unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField
test_vector	includeHits: {0}, {1}
test_vector	java.lang.String:startsWith(...)@273: {0}, {1}
test_vector	java.lang.String:startsWith(...)@283: {0}, {1}
test_vector	java.lang.String:startsWith(...)@306: {0}, {1}
test_vector	java.lang.StringBuffer:length(...)@294: {-2³¹..0}, {1..2³²-1}

info method not available -- call on String org.apache.commons.lang. StringEscapeUtils:escapeHtml(String)

method	String getUrl()
pre	init'ed(this.pcStateManager)
pre	init'ed(this.refererPermalink)
pre	(soft) pcInheritedFieldCount <= 2³²-7
pre	(soft) init'ed(this.refererUrl)
post	return_value == One-of{this.refererPermalink, this.refererUrl}
post	(soft) init'ed(return_value)
unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField
test_vector	this.refererPermalink: Addr_Set{null}, Inverse{null}

method	String getDisplayUrl()
pre	init'ed(this.pcStateManager)
pre	init'ed(this.refererPermalink)
pre	(soft) pcInheritedFieldCount <= 2³²-7
pre	(soft) init'ed(this.dayHits)
pre	(soft) init'ed(this.refererUrl)
post	java.lang.StringBuffer:toString(...)._tainted == 0
post	return_value == &java.lang.StringBuffer:toStrin g(...)
unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField
unanalyzed	call on org.apache.commons.lang.StringEscapeUtils:e scapeHtml
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:length

method	String toString()
pre	init'ed(this.dayHits)
pre	init'ed(this.id)
pre	init'ed(this.refererUrl)
pre	init'ed(this.requestUrl)
pre	init'ed(this.totalHits)
post	java.lang.StringBuffer:toString(...)._tainted == this.refererUrl._tainted \| this.id._tainted \| this.requestUrl._tainted
post	init'ed(java.lang.StringBuffer:toString(...)._ tainted)
post	return_value == &java.lang.StringBuffer:toStrin g(...)

method	bool equals(Object)
pre	(soft) init'ed(other.pcStateManager)
pre	(soft) init'ed(other.refererUrl)
pre	(soft) init'ed(other.weblogEntry)
pre	(soft) init'ed(other.website)
pre	(soft) pcInheritedFieldCount <= 2³²-13
pre	(soft) init'ed(this.pcStateManager)
pre	(soft) init'ed(this.refererUrl)
pre	(soft) init'ed(this.weblogEntry)
pre	(soft) init'ed(this.website)
presumption	org.apache.commons.lang.builder.EqualsBuilder:appen d(...)@353 != null
post	init'ed(return_value)
unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField
test_vector	other == this: {0}, {1}

info method not available -- call on void org.apache.commons.lang.builder. EqualsBuilder()

info method not available -- call on EqualsBuilder org.apache.commons.lang. builder.EqualsBuilder:append(Object, Object)

info method not available -- call on bool org.apache.commons.lang.builder. EqualsBuilder:isEquals()

method	int hashCode()
pre	init'ed(this.pcStateManager)
pre	init'ed(this.refererUrl)
pre	init'ed(this.weblogEntry)
pre	init'ed(this.website)
pre	(soft) pcInheritedFieldCount <= 2³²-13
presumption	org.apache.commons.lang.builder.HashCodeBuilder:app end(...)@361 != null
post	init'ed(return_value)
unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField

info method not available -- call on void org.apache.commons.lang.builder. HashCodeBuilder()

info method not available -- call on HashCodeBuilder org.apache.commons.lang. builder.HashCodeBuilder:append(Object)

info method not available -- call on int org.apache.commons.lang.builder. HashCodeBuilder:toHashCode()

Prev Msg Next Msg

+

click for all messages in this file low

precondition failure org/apache/roller/weblogger/pojos/WeblogReferrer. pcReplaceField: Param_1 - pcInheritedFieldCount in 0..12

+

low

precondition failure org/apache/roller/weblogger/pojos/WeblogReferrer. pcProvideField: Param_1 - pcInheritedFieldCount in 0..12

+

click for all messages in this file low

precondition failure org/apache/roller/weblogger/pojos/WeblogReferrer. pcCopyField: Param_2 - pcInheritedFieldCount in 0..12

info method not available -- call on void org.apache.openjpa.enhance. StateManager:accessingField(int)

info method not available -- call on void org.apache.openjpa.enhance. StateManager:settingStringField(PersistenceCapable, int, String, String, int)

info method not available -- call on void org.apache.openjpa.enhance. StateManager:accessingField(int)

info method not available -- call on void org.apache.openjpa.enhance. StateManager:settingObjectField(PersistenceCapable, int, Object, Object, int)

info method not available -- call on void org.apache.openjpa.enhance. StateManager:accessingField(int)

info method not available -- call on void org.apache.openjpa.enhance. StateManager:settingObjectField(PersistenceCapable, int, Object, Object, int)

info method not available -- call on void org.apache.openjpa.enhance. StateManager:accessingField(int)

info method not available -- call on void org.apache.openjpa.enhance. StateManager:settingStringField(PersistenceCapable, int, String, String, int)

info method not available -- call on void org.apache.openjpa.enhance. StateManager:accessingField(int)

info method not available -- call on void org.apache.openjpa.enhance. StateManager:settingStringField(PersistenceCapable, int, String, String, int)

info method not available -- call on void org.apache.openjpa.enhance. StateManager:accessingField(int)

info method not available -- call on void org.apache.openjpa.enhance. StateManager:settingStringField(PersistenceCapable, int, String, String, int)

info method not available -- call on void org.apache.openjpa.enhance. StateManager:accessingField(int)

info method not available -- call on void org.apache.openjpa.enhance. StateManager:settingStringField(PersistenceCapable, int, String, String, int)

info method not available -- call on void org.apache.openjpa.enhance. StateManager:accessingField(int)

info method not available -- call on void org.apache.openjpa.enhance. StateManager:settingStringField(PersistenceCapable, int, String, String, int)

info method not available -- call on void org.apache.openjpa.enhance. StateManager:accessingField(int)

info method not available -- call on void org.apache.openjpa.enhance. StateManager:settingStringField(PersistenceCapable, int, String, String, int)

info method not available -- call on void org.apache.openjpa.enhance. StateManager:accessingField(int)

info method not available -- call on void org.apache.openjpa.enhance. StateManager:settingObjectField(PersistenceCapable, int, Object, Object, int)

info method not available -- call on void org.apache.openjpa.enhance. StateManager:accessingField(int)

info method not available -- call on void org.apache.openjpa.enhance. StateManager:settingObjectField(PersistenceCapable, int, Object, Object, int)

info method not available -- call on void org.apache.openjpa.enhance. StateManager:accessingField(int)

info method not available -- call on void org.apache.openjpa.enhance. StateManager:settingObjectField(PersistenceCapable, int, Object, Object, int)

info method not available -- call on void org.apache.openjpa.enhance. StateManager:accessingField(int)

info method not available -- call on void org.apache.openjpa.enhance. StateManager:settingObjectField(PersistenceCapable, int, Object, Object, int)

info method not available -- call on void org.apache.openjpa.enhance. PCRegistry:register(Class, String[], Class[], byte[], Class, String, PersistenceCapable)

info method not available -- call on String org.apache.openjpa.enhance. StateManager:replaceStringField(PersistenceCapable, int)

info method not available -- call on Object org.apache.openjpa.enhance. StateManager:replaceObjectField(PersistenceCapable, int)

info method not available -- call on void org.apache.openjpa.enhance. StateManager:providedStringField(PersistenceCapable , int, String)

info method not available -- call on void org.apache.openjpa.enhance. StateManager:providedObjectField(PersistenceCapable , int, Object)

info method not available -- call on Object org.apache.openjpa.enhance. StateManager:getGenericContext()

info method not available -- call on Object org.apache.openjpa.enhance. StateManager:fetchObjectId()

info method not available -- call on bool org.apache.openjpa.enhance. StateManager:isDeleted()

info method not available -- call on bool org.apache.openjpa.enhance. StateManager:isDirty()

info method not available -- call on bool org.apache.openjpa.enhance. StateManager:isNew()

info method not available -- call on bool org.apache.openjpa.enhance. StateManager:isPersistent()

info method not available -- call on bool org.apache.openjpa.enhance. StateManager:isTransactional()

info method not available -- call on bool org.apache.openjpa.enhance. StateManager:serializing()

info method not available -- call on void org.apache.openjpa.enhance. StateManager:dirty(String)

info method not available -- call on Object org.apache.openjpa.enhance. StateManager:getVersion()

info method not available -- call on StateManager org.apache.openjpa.enhance. StateManager:replaceStateManager(StateManager)

info method not available -- call on String org.apache.openjpa.util. StringId:getId()

info method not available -- call on void org.apache.openjpa.enhance. FieldConsumer:storeStringField(int, String)

info method not available -- call on String org.apache.openjpa.util. StringId:getId()

info method not available -- call on void org.apache.openjpa.util. StringId(Class, String)

info method not available -- call on bool org.apache.openjpa.enhance. StateManager:isDetached()

Prev Msg Next Msg

info	method not available	-- call on void org.apache.commons.lang.builder. EqualsBuilder()
info	method not available	-- call on EqualsBuilder org.apache.commons.lang. builder.EqualsBuilder:append(Object, Object)
info	method not available	-- call on bool org.apache.commons.lang.builder. EqualsBuilder:isEquals()