WeblogBookmarkFolder.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


  • + void addBookmark(WeblogBookmark)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(bookmark.folder)2009-09-04 18:33:31
    +pre(soft) init'ed(pcInheritedFieldCount)2009-09-04 18:33:31
    +pre(soft) org/apache/roller/weblogger/pojos/WeblogBook mark.pcInheritedFieldCount <= 232-32009-09-04 18:33:31
    +prebookmark != null2009-09-04 18:33:31
    +preinit'ed(bookmark.pcStateManager)2009-09-04 18:33:31
    +preinit'ed(this.pcStateManager)2009-09-04 18:33:31
    +prethis.bookmarks != null2009-09-04 18:33:31
    +post(soft) init'ed(bookmark.folder)2009-09-04 18:33:31
    +postbookmark.folder == One-of{this, old bookmark.folder}2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:set tingObjectField2009-09-04 18:33:31

  • + void addFolder(WeblogBookmarkFolder)

    • -/+ Kind Annotation Text Date
    +pre(soft) folder.name != null2009-09-04 18:33:31
    +pre(soft) init'ed(folder.parentFolder)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-62009-09-04 18:33:31
    +prefolder != null2009-09-04 18:33:31
    +preinit'ed(folder.pcStateManager)2009-09-04 18:33:31
    +preinit'ed(this.pcStateManager)2009-09-04 18:33:31
    +prethis.childFolders != null2009-09-04 18:33:31
    +presumptionjava.util.Iterator:hasNext(...)@325 == 02009-09-04 18:33:31
    +post(soft) init'ed(folder.parentFolder)2009-09-04 18:33:31
    +postfolder.parentFolder == One-of{this, old folder.parentFolder}2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:equals2009-09-04 18:33:31
    +unanalyzedcall on java.util.Set:iterator2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:set tingObjectField2009-09-04 18:33:31

  • + int compareTo(Object)

    • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-52009-09-04 18:33:31
    +preinit'ed(o.name)2009-09-04 18:33:31
    +preinit'ed(o.pcStateManager)2009-09-04 18:33:31
    +preinit'ed(this.pcStateManager)2009-09-04 18:33:31
    +preo != null2009-09-04 18:33:31
    +prethis.name != 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

  • + bool descendentOf(WeblogBookmarkFolder)

    • -/+ Kind Annotation Text Date
    +pre(soft) ancestor != null2009-09-04 18:33:31
    +pre(soft) init'ed(ancestor.path)2009-09-04 18:33:31
    +pre(soft) init'ed(ancestor.pcStateManager)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-72009-09-04 18:33:31
    +pre(soft) this.path != null2009-09-04 18:33:31
    +preinit'ed(this.parentFolder)2009-09-04 18:33:31
    +preinit'ed(this.pcStateManager)2009-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_vectorthis.parentFolder: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + bool equals(Object)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(other.path)2009-09-04 18:33:31
    +pre(soft) init'ed(other.pcStateManager)2009-09-04 18:33:31
    +pre(soft) init'ed(this.path)2009-09-04 18:33:31
    +pre(soft) init'ed(this.pcStateManager)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-72009-09-04 18:33:31
    +presumptionorg.apache.commons.lang.builder.EqualsBuilder:appen d(...)@106 != 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: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + Set getBookmarks()

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

  • + String getDescription()

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

  • + Set getFolders()

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

  • + String getId()

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

  • + String getName()

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

  • + WeblogBookmarkFolder getParent()

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

  • + String getPath()

    • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-72009-09-04 18:33:31
    +preinit'ed(Param_0.path)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.path2009-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-82009-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

  • + bool hasFolder(String)

    • -/+ Kind Annotation Text Date
    +pre(soft) name != null2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-52009-09-04 18:33:31
    +preinit'ed(this.pcStateManager)2009-09-04 18:33:31
    +prethis.childFolders != null2009-09-04 18:33:31
    +presumptionjava.util.Iterator:next(...)@326 != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@327: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@325: {0}, {1}2009-09-04 18:33:31

  • + int hashCode()

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

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.id)2009-09-04 18:33:31
    +postnew TreeSet(WeblogBookmarkFolder#1) num objects == 12009-09-04 18:33:31
    +postnew TreeSet(WeblogBookmarkFolder#2) num objects == 12009-09-04 18:33:31
    +postthis.bookmarks == &new TreeSet(WeblogBookmarkFo lder#2)2009-09-04 18:33:31
    +postthis.childFolders == &new TreeSet(WeblogBookmar kFolder#1)2009-09-04 18:33:31
    +postthis.description == null2009-09-04 18:33:31
    +postthis.name == null2009-09-04 18:33:31
    +postthis.parentFolder == null2009-09-04 18:33:31
    +postthis.path == null2009-09-04 18:33:31
    +postthis.website == null2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(parent.path)2009-09-04 18:33:31
    +pre(soft) init'ed(parent.pcStateManager)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-72009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postinit'ed(this.description)2009-09-04 18:33:31
    +postinit'ed(this.id)2009-09-04 18:33:31
    +postinit'ed(this.name)2009-09-04 18:33:31
    +postinit'ed(this.parentFolder)2009-09-04 18:33:31
    +postinit'ed(this.website)2009-09-04 18:33:31
    +postnew TreeSet(WeblogBookmarkFolder#1) num objects == 12009-09-04 18:33:31
    +postnew TreeSet(WeblogBookmarkFolder#2) num objects == 12009-09-04 18:33:31
    +postthis.bookmarks == &new TreeSet(WeblogBookmarkFo lder#2)2009-09-04 18:33:31
    +postthis.childFolders == &new TreeSet(WeblogBookmar kFolder#1)2009-09-04 18:33:31
    +postthis.description == desc2009-09-04 18:33:31
    +postthis.name == name2009-09-04 18:33:31
    +postthis.parentFolder == parent2009-09-04 18:33:31
    +postthis.path in Addr_Set{&".",&java.lang. StringBuilder:toString(...),&java.lang. StringBuilder:toString(...)}2009-09-04 18:33:31
    +postthis.website == website2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@81: {0}, {1}2009-09-04 18:33:31
    +test_vectorparent: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

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

    • -/+ Kind Annotation Text Date
    +postinit'ed(log)2009-09-04 18:33:31
    +postnew Class[](WeblogBookmarkFolder__static_init#2) num objects == 12009-09-04 18:33:31
    +postnew String[](WeblogBookmarkFolder__static_init#1) num objects == 12009-09-04 18:33:31
    +postnew byte[](WeblogBookmarkFolder__static_init#3) num objects == 12009-09-04 18:33:31
    +postpcFieldFlags == &new byte[](WeblogBookmarkFolde r__static_init#3)2009-09-04 18:33:31
    +postpcFieldFlags.length == 82009-09-04 18:33:31
    +postpcFieldFlags[0] == 52009-09-04 18:33:31
    +postpcFieldFlags[1] == 262009-09-04 18:33:31
    +postpcFieldFlags[2] == 52009-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
    +postpcFieldNames == &new String[](WeblogBookmarkFol der__static_init#1)2009-09-04 18:33:31
    +postpcFieldNames.length == 82009-09-04 18:33:31
    +postpcFieldNames[0] == &"bookmarks"2009-09-04 18:33:31
    +postpcFieldNames[1] == &"description"2009-09-04 18:33:31
    +postpcFieldNames[2] == &"folders"2009-09-04 18:33:31
    +postpcFieldNames[3] == &"id"2009-09-04 18:33:31
    +postpcFieldNames[4] == &"name"2009-09-04 18:33:31
    +postpcFieldNames[5] == &"parent"2009-09-04 18:33:31
    +postpcFieldNames[6] == &"path"2009-09-04 18:33:31
    +postpcFieldNames[7] == &"website"2009-09-04 18:33:31
    +postpcFieldTypes == &new Class[](WeblogBookmarkFold er__static_init#2)2009-09-04 18:33:31
    +postpcFieldTypes.length == 82009-09-04 18:33:31
    +unanalyzedcall on java.lang.Class:forName2009-09-04 18:33:31
    +unanalyzedcall on java.lang.NoClassDefFoundError2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:getMessage2009-09-04 18:33:31
    +unanalyzedcall on java.util.TreeSet2009-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.bookmarks == null2009-09-04 18:33:31
    +postParam_0.childFolders == null2009-09-04 18:33:31
    +postParam_0.description == null2009-09-04 18:33:31
    +postParam_0.id == null2009-09-04 18:33:31
    +postParam_0.name == null2009-09-04 18:33:31
    +postParam_0.parentFolder == null2009-09-04 18:33:31
    +postParam_0.path == null2009-09-04 18:33:31
    +postParam_0.website == null2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:length2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:trim2009-09-04 18:33:31

  • + void pcCopyField(WeblogBookmarkFolder, int)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_1.bookmarks)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.childFolders)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.description)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.id)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.name)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.parentFolder)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.path)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..72009-09-04 18:33:31
    +preinit'ed(pcInheritedFieldCount)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.bookmarks)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.childFolders)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.description)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.id)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.name)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.parentFolder)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.path)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.website)2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:length2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:trim2009-09-04 18:33:31
    +test_vectorParam_2 - pcInheritedFieldCount: {0}, {1}, {2}, {3}, {4}, {5}, {6}, {7}2009-09-04 18:33:31

  • + void pcCopyFields(Object, int[])

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_1.bookmarks)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.childFolders)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.description)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.id)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.name)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.parentFolder)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.path)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.bookmarks)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.childFolders)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.description)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.id)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.name)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.parentFolder)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.path)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.website)2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:length2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:trim2009-09-04 18:33:31

  • + void pcCopyKeyFieldsFromObjectId(Object)

    • -/+ Kind Annotation Text Date
    +preParam_1 != null2009-09-04 18:33:31
    +postpossibly_updated(Param_0.id)2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:length2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:trim2009-09-04 18:33:31

  • + void pcCopyKeyFieldsFromObjectId(FieldConsumer, Object)

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

  • + void pcCopyKeyFieldsToObjectId(Object)

    • -/+ Kind Annotation Text Date

  • + void pcCopyKeyFieldsToObjectId(FieldSupplier, Object)

    • -/+ Kind Annotation Text Date

  • + void pcDirty(String)

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

  • + Object pcFetchObjectId()

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

  • + Object pcGetDetachedState()

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

  • + int pcGetEnhancementContractVersion()

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

  • + Object pcGetGenericContext()

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

  • + int pcGetManagedFieldCount()

    • -/+ Kind Annotation Text Date
    +postreturn_value == 82009-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 TreeSet(WeblogBookmarkFolder#1) num objects == 12009-09-04 18:33:31
    +postnew TreeSet(WeblogBookmarkFolder#2) num objects == 12009-09-04 18:33:31
    +postnew WeblogBookmarkFolder(pcNewInstance#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new WeblogBookmarkFolder(pcNew Instance#1)2009-09-04 18:33:31
    +postreturn_value.bookmarks in Addr_Set{null,&new TreeSet(WeblogBookmarkFolder#2)}2009-09-04 18:33:31
    +postreturn_value.childFolders in Addr_Set{null, &new TreeSet(WeblogBookmarkFolder#1)}2009-09-04 18:33:31
    +postreturn_value.description == null2009-09-04 18:33:31
    +postreturn_value.name == null2009-09-04 18:33:31
    +postreturn_value.parentFolder == null2009-09-04 18:33:31
    +postreturn_value.path == null2009-09-04 18:33:31
    +postreturn_value.pcStateManager == Param_12009-09-04 18:33:31
    +postreturn_value.website == null2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:length2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:trim2009-09-04 18:33:31
    +unanalyzedcall on java.util.TreeSet2009-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 TreeSet(WeblogBookmarkFolder#1) num objects == 12009-09-04 18:33:31
    +postnew TreeSet(WeblogBookmarkFolder#2) num objects == 12009-09-04 18:33:31
    +postnew WeblogBookmarkFolder(pcNewInstance#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new WeblogBookmarkFolder(pcNew Instance#1)2009-09-04 18:33:31
    +postreturn_value.bookmarks in Addr_Set{null,&new TreeSet(WeblogBookmarkFolder#2)}2009-09-04 18:33:31
    +postreturn_value.childFolders in Addr_Set{null, &new TreeSet(WeblogBookmarkFolder#1)}2009-09-04 18:33:31
    +postreturn_value.description == null2009-09-04 18:33:31
    +postreturn_value.name == null2009-09-04 18:33:31
    +postreturn_value.parentFolder == null2009-09-04 18:33:31
    +postreturn_value.path == null2009-09-04 18:33:31
    +postreturn_value.pcStateManager == Param_12009-09-04 18:33:31
    +postreturn_value.website == null2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:length2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:trim2009-09-04 18:33:31
    +unanalyzedcall on java.util.TreeSet2009-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.bookmarks)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.childFolders)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.description)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.id)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.name)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.parentFolder)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.path)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..72009-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}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.bookmarks)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.childFolders)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.description)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.id)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.name)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.parentFolder)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.path)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..72009-09-04 18:33:31
    +preinit'ed(pcInheritedFieldCount)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.bookmarks)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.childFolders)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.description)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.id)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.name)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.parentFolder)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.path)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.website)2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:length2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:trim2009-09-04 18:33:31
    +test_vectorParam_1 - pcInheritedFieldCount: {0}, {1}, {2}, {3}, {4}, {5}, {6}, {7}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.bookmarks)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.childFolders)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.description)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.id)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.name)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.parentFolder)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.path)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.website)2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:length2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:trim2009-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

  • + Set pcgetBookmarks()

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

  • + String pcgetDescription()

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

  • + Set pcgetFolders()

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

  • + String pcgetId()

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

  • + String pcgetName()

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

  • + WeblogBookmarkFolder pcgetParent()

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

  • + String pcgetPath()

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

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

  • + void pcsetDescription(String)

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

  • + void pcsetFolders(Set)

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

  • + void pcsetId(String)

    • -/+ Kind Annotation Text Date
    +postthis.id == One-of{old this.id, Param_1}2009-09-04 18:33:31
    +test_vectorParam_1: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorjava.lang.String:length(...)@146: {1.. 232-1}, {0}2009-09-04 18:33:31

  • + void pcsetName(String)

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

  • + void pcsetParent(WeblogBookmarkFolder)

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

  • + void pcsetPath(String)

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

  • + List retrieveBookmarks(bool)

    • -/+ Kind Annotation Text Date
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getBookmarkManager(...)@311 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@311 != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31

  • + void setBookmarks(Set)

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

  • + void setDescription(String)

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

  • + void setFolders(Set)

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

  • + void setId(String)

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

  • + void setName(String)

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

  • + void setParent(WeblogBookmarkFolder)

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

  • + void setPath(String)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.path)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.path)2009-09-04 18:33:31
    +postParam_0.path == One-of{Param_1, old Param_0.path}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-82009-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.id)2009-09-04 18:33:31
    +preinit'ed(this.path)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.id._tainted | this.path._tainted2009-09-04 18:33:31
    +postreturn_value == &java.lang.StringBuffer:toStrin g(...)2009-09-04 18:33:31

  • + void updateName(String)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this...path)2009-09-04 18:33:31
    +pre(soft) init'ed(this...pcStateManager)2009-09-04 18:33:31
    +pre(soft) init'ed(this.name)2009-09-04 18:33:31
    +pre(soft) init'ed(this.path)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-72009-09-04 18:33:31
    +preinit'ed(this.parentFolder)2009-09-04 18:33:31
    +preinit'ed(this.pcStateManager)2009-09-04 18:33:31
    +prelog != null2009-09-04 18:33:31
    +prethis.childFolders != null2009-09-04 18:33:31
    +post(soft) init'ed(this.name)2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postinit'ed(this.path)2009-09-04 18:33:31
    +postthis.name == One-of{newName, old this.name}2009-09-04 18:33:31
    +postthis.path == One-of{&".", old this.path, &java.lang.StringBuilder:toString(...)}2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:equals2009-09-04 18:33:31
    +unanalyzedcall on java.util.Set:iterator2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:debug2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:set tingStringField2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. BookmarkManager:saveFolder2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getBookmarkManager2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger2009-09-04 18:33:31
    +unanalyzedcall on updatePathTree2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@361: {0}, {1}2009-09-04 18:33:31
    +test_vectorthis.parentFolder: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void updatePathTree(WeblogBookmarkFolder)

    • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-72009-09-04 18:33:31
    +prefolder != null2009-09-04 18:33:31
    +prefolder.childFolders != null2009-09-04 18:33:31
    +preinit'ed(folder.path)2009-09-04 18:33:31
    +preinit'ed(folder.pcStateManager)2009-09-04 18:33:31
    +prelog != null2009-09-04 18:33:31
    +presumptionchildFolder.childFolders@393 != null2009-09-04 18:33:31
    +presumptionjava.util.Iterator:next(...)@381 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getBookmarkManager(...)@391 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@391 != null2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postpossibly_updated(java.lang.StringBuilder:toString(. ..)._tainted)2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:equals2009-09-04 18:33:31
    +unanalyzedcall on java.util.Set:iterator2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:debug2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:set tingStringField2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. BookmarkManager:saveFolder2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getBookmarkManager2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger2009-09-04 18:33:31
    +unanalyzedcall on updatePathTree2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@386: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@380: {0}, {1}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