WeblogBookmarkFolderWrapper.java

WeblogBookmarkFolderWrapper.java

current inspection = 2009-09-04 18:33:31 (id #2)

base = 2009-09-04 18:33:31 (id #1)

Filter Options

History:

+	added
-	dropped
U	unchanged

Annotation Kind:

pre

presumption

post

unanalyzed

test

+ bool descendentOf(WeblogBookmarkFolder)

-/+	Kind	Annotation Text	Date
+	pre	(soft) ancestor != null	2009-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) org/apache/roller/weblogger/pojos/WeblogBook markFolder.pcInheritedFieldCount <= 2³²-7	2009-09-04 18:33:31
+	pre	(soft) this.pojo.path != null	2009-09-04 18:33:31
+	pre	init'ed(this.pojo.parentFolder)	2009-09-04 18:33:31
+	pre	init'ed(this.pojo.pcStateManager)	2009-09-04 18:33:31
+	pre	this.pojo != null	2009-09-04 18:33:31
+	post	init'ed(return_value)	2009-09-04 18:33:31
+	unanalyzed	call on java.lang.String:startsWith	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField	2009-09-04 18:33:31

+ List getBookmarks()

-/+	Kind	Annotation Text	Date
+	pre	(soft) init'ed(org/apache/roller/weblogger/pojos/We blogBookmarkFolder.pcInheritedFieldCount)	2009-09-04 18:33:31
+	pre	init'ed(this.pojo.bookmarks)	2009-09-04 18:33:31
+	pre	init'ed(this.pojo.pcStateManager)	2009-09-04 18:33:31
+	pre	this.pojo != null	2009-09-04 18:33:31
+	post	new ArrayList(getBookmarks#3) num objects == 1	2009-09-04 18:33:31
+	post	return_value == &new ArrayList(getBookmarks#3)	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField	2009-09-04 18:33:31
+	test_vector	java.util.Iterator:hasNext(...)@113: {0}, {1}	2009-09-04 18:33:31

+ String getDescription()

-/+	Kind	Annotation Text	Date
+	pre	(soft) org/apache/roller/weblogger/pojos/WeblogBook markFolder.pcInheritedFieldCount <= 2³²-2	2009-09-04 18:33:31
+	pre	init'ed(this.pojo.description)	2009-09-04 18:33:31
+	pre	init'ed(this.pojo.pcStateManager)	2009-09-04 18:33:31
+	pre	this.pojo != null	2009-09-04 18:33:31
+	post	init'ed(return_value)	2009-09-04 18:33:31
+	post	return_value == this.pojo.description	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField	2009-09-04 18:33:31

+ List getFolders()

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

+ String getId()

-/+	Kind	Annotation Text	Date
+	pre	(soft) org/apache/roller/weblogger/pojos/WeblogBook markFolder.pcInheritedFieldCount <= 2³²-4	2009-09-04 18:33:31
+	pre	init'ed(this.pojo.id)	2009-09-04 18:33:31
+	pre	init'ed(this.pojo.pcStateManager)	2009-09-04 18:33:31
+	pre	this.pojo != null	2009-09-04 18:33:31
+	post	init'ed(return_value)	2009-09-04 18:33:31
+	post	return_value == this.pojo.id	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField	2009-09-04 18:33:31

+ String getName()

-/+	Kind	Annotation Text	Date
+	pre	(soft) org/apache/roller/weblogger/pojos/WeblogBook markFolder.pcInheritedFieldCount <= 2³²-5	2009-09-04 18:33:31
+	pre	init'ed(this.pojo.name)	2009-09-04 18:33:31
+	pre	init'ed(this.pojo.pcStateManager)	2009-09-04 18:33:31
+	pre	this.pojo != null	2009-09-04 18:33:31
+	post	init'ed(return_value)	2009-09-04 18:33:31
+	post	return_value == this.pojo.name	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField	2009-09-04 18:33:31

+ WeblogBookmarkFolderWrapper getParent()

-/+	Kind	Annotation Text	Date
+	pre	(soft) org/apache/roller/weblogger/pojos/WeblogBook markFolder.pcInheritedFieldCount <= 2³²-6	2009-09-04 18:33:31
+	pre	init'ed(this.pojo.pcStateManager)	2009-09-04 18:33:31
+	pre	this.pojo != null	2009-09-04 18:33:31
+	pre	this.pojo.parentFolder != null	2009-09-04 18:33:31
+	post	new WeblogBookmarkFolderWrapper(wrap#1) num objects == 1	2009-09-04 18:33:31
+	post	new WeblogBookmarkFolderWrapper(wrap#1).pojo != null	2009-09-04 18:33:31
+	post	new WeblogBookmarkFolderWrapper(wrap#1).pojo == this.pojo.parentFolder	2009-09-04 18:33:31
+	post	return_value == &new WeblogBookmarkFolderWrappe r(wrap#1)	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField	2009-09-04 18:33:31

+ String getPath()

-/+	Kind	Annotation Text	Date
+	pre	(soft) org/apache/roller/weblogger/pojos/WeblogBook markFolder.pcInheritedFieldCount <= 2³²-7	2009-09-04 18:33:31
+	pre	init'ed(this.pojo.path)	2009-09-04 18:33:31
+	pre	init'ed(this.pojo.pcStateManager)	2009-09-04 18:33:31
+	pre	this.pojo != null	2009-09-04 18:33:31
+	post	init'ed(return_value)	2009-09-04 18:33:31
+	post	return_value == this.pojo.path	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField	2009-09-04 18:33:31

+ void org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkFolderWrapper(WeblogBookmarkFolder)

-/+	Kind	Annotation Text	Date
+	post	init'ed(this.pojo)	2009-09-04 18:33:31
+	post	this.pojo == toWrap	2009-09-04 18:33:31

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

-/+	Kind	Annotation Text	Date

+ List retrieveBookmarks(bool)

-/+	Kind	Annotation Text	Date
+	pre	this.pojo != null	2009-09-04 18:33:31
+	presumption	org.apache.roller.weblogger.business. BookmarkManager:getBookmarks(...)@312 != null	2009-09-04 18:33:31
+	post	new ArrayList(retrieveBookmarks#1) num objects == 1	2009-09-04 18:33:31
+	post	return_value == &new ArrayList(retrieveBookmark s#1)	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.roller.weblogger.business. BookmarkManager:getBookmarks	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getBookmarkManager	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger	2009-09-04 18:33:31
+	test_vector	java.util.Iterator:hasNext(...)@133: {0}, {1}	2009-09-04 18:33:31

+ WeblogBookmarkFolderWrapper wrap(WeblogBookmarkFolder)

-/+	Kind	Annotation Text	Date
+	post	new WeblogBookmarkFolderWrapper(wrap#1) num objects <= 1	2009-09-04 18:33:31
+	post	new WeblogBookmarkFolderWrapper(wrap#1).pojo != null	2009-09-04 18:33:31
+	post	new WeblogBookmarkFolderWrapper(wrap#1).pojo == toWrap	2009-09-04 18:33:31
+	post	return_value == One-of{&new WeblogBookmarkFolde rWrapper(wrap#1), null}	2009-09-04 18:33:31
+	post	return_value in Addr_Set{null,&new WeblogBookmarkFolderWrapper(wrap#1)}	2009-09-04 18:33:31
+	test_vector	toWrap: Addr_Set{null}, Inverse{null}	2009-09-04 18:33:31