Messages

Last Msg First Msg

method	String getId()
pre	init'ed(Param_0.id)
pre	init'ed(Param_0.pcStateManager)
pre	(soft) pcInheritedFieldCount <= 2³²-2
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³²-2
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	String getName()
pre	init'ed(Param_0.name)
pre	init'ed(Param_0.pcStateManager)
pre	(soft) pcInheritedFieldCount <= 2³²-4
post	return_value == Param_0.name
post	init'ed(return_value)
test_vector	Param_0.pcStateManager: Inverse{null}, Addr_Set{null}

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

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

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

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

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

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

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

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

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

method	int pcGetEnhancementContractVersion()
post	return_value == 2

method	org.apache.roller.weblogger.pojos.TaskLock__ static_init
presumption	init'ed(java.lang.Integer.TYPE)
post	pcFieldFlags == &new byte[](TaskLock__static_ init#3)
post	pcFieldNames == &new String[](TaskLock__static_ init#1)
post	pcFieldTypes == &new Class[](TaskLock__static_ init#2)
post	serialVersionUID == -1_069_371_955_439_758_386
post	new Class[](TaskLock__static_init#2) num objects == 1
post	new String[](TaskLock__static_init#1) num objects == 1
post	new byte[](TaskLock__static_init#3) num objects == 1
post	pcFieldTypes.length == 6
post	pcFieldNames.length == 6
post	pcFieldFlags.length == 6
post	pcFieldTypes[5] == java.lang.Integer.TYPE
post	(soft) init'ed(pcFieldTypes[5])
post	pcFieldNames[0] == &"clientId"
post	pcFieldNames[1] == &"id"
post	pcFieldNames[2] == &"lastRun"
post	pcFieldNames[3] == &"name"
post	pcFieldNames[4] == &"timeAquired"
post	pcFieldNames[5] == &"timeLeased"
post	pcFieldFlags[0] == 26
post	pcFieldFlags[1] == 26
post	pcFieldFlags[2] == 26
post	pcFieldFlags[3] == 26
post	pcFieldFlags[4] == 26
post	pcFieldFlags[5] == 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.clientId == null
post	Param_0.id == null
post	Param_0.lastRun == null
post	Param_0.name == null
post	Param_0.timeAquired == null
post	Param_0.timeLeased == 0

method	PersistenceCapable pcNewInstance(StateManager, Object, bool)
pre	Param_2 != null
post	return_value == &new TaskLock(pcNewInstance#1)
post	new TaskLock(pcNewInstance#1) num objects == 1
post	return_value.clientId == null
post	init'ed(return_value.id)
post	return_value.lastRun == null
post	return_value.name == null
post	return_value.pcStateManager == Param_1
post	init'ed(return_value.pcStateManager)
post	return_value.timeAquired == null
post	return_value.timeLeased == 0
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 TaskLock(pcNewInstance#1)
post	new TaskLock(pcNewInstance#1) num objects == 1
post	return_value.clientId == null
post	init'ed(return_value.id)
post	return_value.lastRun == null
post	return_value.name == null
post	return_value.pcStateManager == Param_1
post	init'ed(return_value.pcStateManager)
post	return_value.timeAquired == null
post	return_value.timeLeased == 0
unanalyzed	call on org.apache.roller.util.UUIDGenerator:genera teUUID
test_vector	Param_2: {0}, {1}

method	int pcGetManagedFieldCount()
post	return_value == 6

method	void pcReplaceField(int)
pre	Param_0.pcStateManager != null
pre	Param_1 - pcInheritedFieldCount in 0..5
pre	init'ed(pcInheritedFieldCount)
post	possibly_updated(Param_0.clientId)
post	possibly_updated(Param_0.id)
post	possibly_updated(Param_0.lastRun)
post	possibly_updated(Param_0.name)
post	possibly_updated(Param_0.timeAquired)
post	possibly_updated(Param_0.timeLeased)
test_vector	Param_1 - pcInheritedFieldCount: {0}, {1}, {2}, {3}, {4}, {5}

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.clientId)
post	possibly_updated(Param_0.id)
post	possibly_updated(Param_0.lastRun)
post	possibly_updated(Param_0.name)
post	possibly_updated(Param_0.timeAquired)
post	possibly_updated(Param_0.timeLeased)
unanalyzed	call on org.apache.openjpa.enhance.StateManager:rep laceStringField
unanalyzed	call on org.apache.openjpa.enhance.StateManager:rep laceObjectField
unanalyzed	call on org.apache.openjpa.enhance.StateManager:rep laceIntField

method	void pcProvideField(int)
pre	Param_0.pcStateManager != null
pre	Param_1 - pcInheritedFieldCount in 0..5
pre	init'ed(pcInheritedFieldCount)
pre	(soft) init'ed(Param_0.clientId)
pre	(soft) init'ed(Param_0.id)
pre	(soft) init'ed(Param_0.lastRun)
pre	(soft) init'ed(Param_0.name)
pre	(soft) init'ed(Param_0.timeAquired)
pre	(soft) init'ed(Param_0.timeLeased)
test_vector	Param_1 - pcInheritedFieldCount: {0}, {1}, {2}, {3}, {4}, {5}

method	void pcProvideFields(int[])
pre	Param_1 != null
pre	Param_1.length <= 2³²-1
pre	(soft) init'ed(Param_0.clientId)
pre	(soft) init'ed(Param_0.id)
pre	(soft) init'ed(Param_0.lastRun)
pre	(soft) init'ed(Param_0.name)
pre	(soft) Param_0.pcStateManager != null
pre	(soft) init'ed(Param_0.timeAquired)
pre	(soft) init'ed(Param_0.timeLeased)
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
unanalyzed	call on org.apache.openjpa.enhance.StateManager:pro videdIntField

method	void pcCopyField(TaskLock, int)
pre	Param_1 != null
pre	Param_2 - pcInheritedFieldCount in 0..5
pre	init'ed(pcInheritedFieldCount)
pre	(soft) init'ed(Param_1.clientId)
pre	(soft) init'ed(Param_1.id)
pre	(soft) init'ed(Param_1.lastRun)
pre	(soft) init'ed(Param_1.name)
pre	(soft) init'ed(Param_1.timeAquired)
pre	(soft) init'ed(Param_1.timeLeased)
post	Param_0.clientId == One-of{Param_1.clientId, old Param_0.clientId}
post	Param_0.id == One-of{old Param_0.id, Param_1.id}
post	Param_0.lastRun == One-of{old Param_0.lastRun, Param_1.lastRun}
post	Param_0.name == One-of{old Param_0.name, Param_1.name}
post	Param_0.timeAquired == One-of{old Param_0. timeAquired, Param_1.timeAquired}
post	Param_0.timeLeased == One-of{old Param_0. timeLeased, Param_1.timeLeased}
test_vector	Param_2 - pcInheritedFieldCount: {0}, {1}, {2}, {3}, {4}, {5}

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.clientId)
pre	(soft) init'ed(Param_1.id)
pre	(soft) init'ed(Param_1.lastRun)
pre	(soft) init'ed(Param_1.name)
pre	(soft) init'ed(Param_1.timeAquired)
pre	(soft) init'ed(Param_1.timeLeased)
pre	(soft) init'ed(Param_2[...])
pre	(soft) init'ed(pcInheritedFieldCount)
post	possibly_updated(Param_0.clientId)
post	possibly_updated(Param_0.id)
post	possibly_updated(Param_0.lastRun)
post	possibly_updated(Param_0.name)
post	possibly_updated(Param_0.timeAquired)
post	possibly_updated(Param_0.timeLeased)

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³²-2

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.TaskLock()
post	this.clientId == null
post	this.lastRun == null
post	this.name == null
post	this.timeAquired == null
post	init'ed(this.id)
post	this.timeLeased == 0

method	Date getNextAllowedRun(int)
pre	init'ed(this.lastRun)
pre	init'ed(this.pcStateManager)
pre	(soft) pcInheritedFieldCount <= 2³²-3
presumption	java.util.Calendar:getInstance(...)@55 != null
post	init'ed(return_value)
post	new Date(getNextAllowedRun#1) num objects <= 1
unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField
test_vector	this.lastRun: Inverse{null}, Addr_Set{null}

method	Date getLeaseExpiration()
pre	init'ed(this.pcStateManager)
pre	init'ed(this.timeAquired)
pre	init'ed(this.timeLeased)
pre	(soft) pcInheritedFieldCount <= 2³²-5
presumption	java.util.Calendar:getInstance(...)@77 != null
post	init'ed(return_value)
unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField
test_vector	this.timeAquired: Addr_Set{null}, Inverse{null}

method	String toString()
pre	init'ed(this.id)
pre	init'ed(this.name)
pre	init'ed(this.timeAquired)
pre	init'ed(this.timeLeased)
post	java.lang.StringBuffer:toString(...)._tainted == this.id._tainted \| this.name._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.name)
pre	(soft) init'ed(other.pcStateManager)
pre	(soft) pcInheritedFieldCount <= 2³²-4
pre	(soft) this.name != null
pre	(soft) init'ed(this.pcStateManager)
post	init'ed(return_value)
unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField
test_vector	this == other: {0}, {1}

method	int hashCode()
pre	this.name != null
pre	init'ed(this.pcStateManager)
pre	(soft) pcInheritedFieldCount <= 2³²-4
post	init'ed(return_value)
unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField

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	String pcgetName()
pre	init'ed(this.name)
post	return_value == this.name
post	init'ed(return_value)

method	void pcsetName(String)
post	this.name == Param_1
post	init'ed(this.name)

method	Date pcgetTimeAquired()
pre	init'ed(this.timeAquired)
post	return_value == this.timeAquired
post	init'ed(return_value)

method	void pcsetTimeAquired(Date)
post	this.timeAquired == Param_1
post	init'ed(this.timeAquired)

method	Date pcgetLastRun()
pre	init'ed(this.lastRun)
post	return_value == this.lastRun
post	init'ed(return_value)

method	void pcsetLastRun(Date)
post	this.lastRun == Param_1
post	init'ed(this.lastRun)

method	int pcgetTimeLeased()
pre	init'ed(this.timeLeased)
post	return_value == this.timeLeased
post	init'ed(return_value)

method	void pcsetTimeLeased(int)
post	this.timeLeased == Param_1
post	init'ed(this.timeLeased)

method	String pcgetClientId()
pre	init'ed(this.clientId)
post	return_value == this.clientId
post	init'ed(return_value)

method	void pcsetClientId(String)
post	this.clientId == Param_1
post	init'ed(this.clientId)

Prev Msg Next Msg

+

click for all messages in this file low

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

+

low

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

+

click for all messages in this file low

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

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:settingIntField(PersistenceCapable, int, int, int, 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. 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 int org.apache.openjpa.enhance. StateManager:replaceIntField(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 void org.apache.openjpa.enhance. StateManager:providedIntField(PersistenceCapable, int, int)

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