Messages

Last Msg First Msg

method

org.apache.roller.weblogger.pojos.wrapper. WeblogBookmarkFolderWrapper__static_init

method	void org.apache.roller.weblogger.pojos.wrapper. WeblogBookmarkFolderWrapper(WeblogBookmarkFolder)
post	this.pojo == toWrap
post	init'ed(this.pojo)

method	WeblogBookmarkFolderWrapper wrap(WeblogBookmarkFol der)
post	return_value == One-of{&new WeblogBookmarkFolde rWrapper(wrap#1), null}
post	return_value in Addr_Set{null,&new WeblogBookmarkFolderWrapper(wrap#1)}
post	new WeblogBookmarkFolderWrapper(wrap#1) num objects <= 1
post	new WeblogBookmarkFolderWrapper(wrap#1).pojo == toWrap
post	new WeblogBookmarkFolderWrapper(wrap#1).pojo != null
test_vector	toWrap: Addr_Set{null}, Inverse{null}

method	String getId()
pre	this.pojo != null
pre	init'ed(this.pojo.id)
pre	init'ed(this.pojo.pcStateManager)
pre	(soft) org/apache/roller/weblogger/pojos/WeblogBook markFolder.pcInheritedFieldCount <= 2³²-4
post	return_value == this.pojo.id
post	init'ed(return_value)
unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField

method	String getName()
pre	this.pojo != null
pre	init'ed(this.pojo.name)
pre	init'ed(this.pojo.pcStateManager)
pre	(soft) org/apache/roller/weblogger/pojos/WeblogBook markFolder.pcInheritedFieldCount <= 2³²-5
post	return_value == this.pojo.name
post	init'ed(return_value)
unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField

method	String getDescription()
pre	this.pojo != null
pre	init'ed(this.pojo.description)
pre	init'ed(this.pojo.pcStateManager)
pre	(soft) org/apache/roller/weblogger/pojos/WeblogBook markFolder.pcInheritedFieldCount <= 2³²-2
post	return_value == this.pojo.description
post	init'ed(return_value)
unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField

method	String getPath()
pre	this.pojo != null
pre	init'ed(this.pojo.path)
pre	init'ed(this.pojo.pcStateManager)
pre	(soft) org/apache/roller/weblogger/pojos/WeblogBook markFolder.pcInheritedFieldCount <= 2³²-7
post	return_value == this.pojo.path
post	init'ed(return_value)
unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField

method	WeblogBookmarkFolderWrapper getParent()
pre	this.pojo != null
pre	this.pojo.parentFolder != null
pre	init'ed(this.pojo.pcStateManager)
pre	(soft) org/apache/roller/weblogger/pojos/WeblogBook markFolder.pcInheritedFieldCount <= 2³²-6
post	return_value == &new WeblogBookmarkFolderWrappe r(wrap#1)
post	new WeblogBookmarkFolderWrapper(wrap#1) num objects == 1
post	new WeblogBookmarkFolderWrapper(wrap#1).pojo == this.pojo.parentFolder
post	new WeblogBookmarkFolderWrapper(wrap#1).pojo != null
unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField

method	List getFolders()
pre	this.pojo != null
pre	this.pojo.childFolders != null
pre	init'ed(this.pojo.pcStateManager)
pre	(soft) org/apache/roller/weblogger/pojos/WeblogBook markFolder.pcInheritedFieldCount <= 2³²-3
post	return_value == &new ArrayList(getFolders#1)
post	new ArrayList(getFolders#1) num objects == 1
unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField
test_vector	java.util.Iterator:hasNext(...)@94: {0}, {1}

Prev Msg Next Msg

+

click for all messages in this file low

overflow check might fail: requires i in -2³¹-1.. 2³²-2

Prev Msg Next Msg

method	List getBookmarks()
pre	this.pojo != null
pre	init'ed(this.pojo.bookmarks)
pre	init'ed(this.pojo.pcStateManager)
pre	(soft) init'ed(org/apache/roller/weblogger/pojos/We blogBookmarkFolder.pcInheritedFieldCount)
post	return_value == &new ArrayList(getBookmarks#3)
post	new ArrayList(getBookmarks#3) num objects == 1
unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField
test_vector	java.util.Iterator:hasNext(...)@113: {0}, {1}

info method not available -- call on void org.apache.roller.weblogger.pojos. BookmarkComparator()

info method not available -- call on WeblogBookmarkWrapper org.apache.roller. weblogger.pojos.wrapper.WeblogBookmarkWrapper:wrap( WeblogBookmark)

Prev Msg Next Msg

+

click for all messages in this file low

overflow check might fail: requires i in -2³¹-1.. 2³²-2

Prev Msg Next Msg

method	List retrieveBookmarks(bool)
pre	this.pojo != null
presumption	org.apache.roller.weblogger.business. BookmarkManager:getBookmarks(...)@312 != null
post	return_value == &new ArrayList(retrieveBookmark s#1)
post	new ArrayList(retrieveBookmarks#1) num objects == 1
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getBookmarkManager
unanalyzed	call on org.apache.roller.weblogger.business. BookmarkManager:getBookmarks
test_vector	java.util.Iterator:hasNext(...)@133: {0}, {1}

info method not available -- call on WeblogBookmarkWrapper org.apache.roller. weblogger.pojos.wrapper.WeblogBookmarkWrapper:wrap( WeblogBookmark)

Prev Msg Next Msg

+

click for all messages in this file low

overflow check might fail: requires i in -2³¹-1.. 2³²-2

Prev Msg Next Msg

method	bool descendentOf(WeblogBookmarkFolder)
pre	this.pojo != null
pre	init'ed(this.pojo.parentFolder)
pre	init'ed(this.pojo.pcStateManager)
pre	(soft) ancestor != null
pre	(soft) init'ed(ancestor.path)
pre	(soft) init'ed(ancestor.pcStateManager)
pre	(soft) org/apache/roller/weblogger/pojos/WeblogBook markFolder.pcInheritedFieldCount <= 2³²-7
pre	(soft) this.pojo.path != null
post	init'ed(return_value)
unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField
unanalyzed	call on java.lang.String:startsWith