Last Msg First Msg
























method net.sourceforge.pebble.domain.Category__static_ init
postinit'ed(log)









  infomethod not available-- call on Log org.apache.commons.logging. LogFactory:getLog(Class)











method void net.sourceforge.pebble.domain.Category()
postthis.blogEntries == &new ArrayList(Category#3)
postthis.id == &""
postthis.name == &""
postthis.tags == &""
postthis.parent == null
postthis.subCategories == &new ArrayList(Category#2 )
postthis.tagsAsList == &new ArrayList(Category#1)
postnew ArrayList(Category#1) num objects == 1
postnew ArrayList(Category#2) num objects == 1
postnew ArrayList(Category#3) num objects == 1










method void net.sourceforge.pebble.domain. Category(String, String)
postthis.blogEntries == &new ArrayList(Category#3)
postthis.id != null
postthis.name == name
postinit'ed(this.name)
postinit'ed(this.parent)
postthis.subCategories == &new ArrayList(Category#2 )
postthis.tags == &""
postthis.tagsAsList == &new ArrayList(Category#1)
postnew ArrayList(Category#1) num objects == 1
postnew ArrayList(Category#2) num objects == 1
postnew ArrayList(Category#3) num objects == 1
unanalyzedcall on java.lang.String:startsWith










method String getId()
preinit'ed(this.id)
postreturn_value == this.id
postinit'ed(return_value)










method void setId(String)
postthis.id != null
test_vectorid: Addr_Set{null}, Inverse{null}
test_vectorjava.lang.String:startsWith(...)@113: {1}, {0}










method String getName()
preinit'ed(this.name)
postreturn_value == this.name
postinit'ed(return_value)










method void setName(String)
postthis.name == name
postinit'ed(this.name)










method bool isRootCategory()
prethis.id != null
postinit'ed(return_value)










method Category getParent()
preinit'ed(this.parent)
postreturn_value == this.parent
postinit'ed(return_value)










method bool hasParent(Category)
preinit'ed(this.parent)
pre(soft) category.id != null
pre(soft) init'ed(this...id)
pre(soft) init'ed(this...parent)
postinit'ed(return_value)
unanalyzedcall on java.lang.String:equals










method void setParent(Category)
postthis.parent == parent
postinit'ed(this.parent)










method int getNumberOfParents()
preinit'ed(this.parent)
pre(soft) init'ed(this...parent)
postreturn_value >= 0









Prev Msg Next Msg
 
low
overflowcheck might fail: requires parents in -231-1..232-2
Prev Msg Next Msg











method void addSubCategory(Category)
preinit'ed(this.subCategories)
pre(soft) category != null
postcategory.parent == One-of{old category.parent, this}
test_vectorthis.subCategories: Addr_Set{null}, Inverse{null}
test_vectorjava.util.List:contains(...)@206: {1}, {0}










method void removeSubCategory(Category)
preinit'ed(this.subCategories)
pre(soft) category != null
postcategory.parent == One-of{old category.parent, null}
test_vectorthis.subCategories: Addr_Set{null}, Inverse{null}
test_vectorjava.util.List:contains(...)@218: {0}, {1}










method List getSubCategories()
preinit'ed(this.subCategories)
postinit'ed(return_value)










method String getTags()
preinit'ed(this.tags)
postreturn_value == this.tags
postinit'ed(return_value)










method List getTagsAsList()
preinit'ed(this.tagsAsList)
postreturn_value == this.tagsAsList
postinit'ed(return_value)










method List getAllTags()
preinit'ed(this.parent)
preinit'ed(this.tagsAsList)
pre(soft) init'ed(this...parent)
pre(soft) init'ed(this...tagsAsList)
postreturn_value == &new ArrayList(getAllTags#1)
postnew ArrayList(getAllTags#1) num objects == 1










method void setTags(String)
preinit'ed(this.blog)
postinit'ed(this.tags)
postthis.tagsAsList == &new ArrayList(parse#1)
postnew ArrayList(parse#1) num objects == 1
unanalyzedcall on java.lang.String:trim
unanalyzedcall on java.lang.String:toLowerCase
unanalyzedcall on java.lang.String:replaceAll
unanalyzedcall on java.util.ArrayList
unanalyzedcall on java.lang.String:length
unanalyzedcall on java.lang.String:split
unanalyzedcall on net.sourceforge.pebble.util. StringUtils:transformHTML
unanalyzedcall on java.util.List:contains
unanalyzedcall on java.util.List:add
test_vectornewTags: Addr_Set{null}, Inverse{null}
test_vectorjava.lang.String:indexOf(...)@275: {-231. .-1}, {0..232-1}










method void setBlog(Blog)
postthis.blog == blog
postinit'ed(this.blog)










method String getPermalink()
prethis.blog != null
prethis.id != null
postreturn_value != null
unanalyzedcall on java.lang.String:equals
test_vectorjava.lang.String:equals(...)@142: {0}, {1}
pre(soft) net/sourceforge/pebble/domain/BlogManager. instance != null
pre(soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog)
pre(soft) init'ed(this.blog.id)
unanalyzedcall on java.lang.String:valueOf
unanalyzedcall on java.lang.String:indexOf
unanalyzedcall on net.sourceforge.pebble.PebbleContext:getIns tance
unanalyzedcall on net.sourceforge.pebble.PebbleContext:getCon figuration
unanalyzedcall on java.lang.String:length
unanalyzedcall on java.lang.String:substring










method int hashCode()
prethis.id != null
postinit'ed(return_value)










method bool equals(Object)
pre(soft) o.id != null
pre(soft) init'ed(this.id)
postinit'ed(return_value)










method int compareTo(Object)
preo != null
preinit'ed(o.id)
prethis.id != null
postinit'ed(return_value)










method String toString()
preinit'ed(this.name)
postreturn_value == this.name
postinit'ed(return_value)










method List getBlogEntries()
preinit'ed(this.blogEntries)
postreturn_value == &new ArrayList(getBlogEntries#1 )
postnew ArrayList(getBlogEntries#1) num objects == 1










method void addBlogEntry(String)
pre(soft) this...blogEntries != null
pre(soft) init'ed(this...parent)
pre(soft) this.blogEntries != null
pre(soft) init'ed(this.parent)
unanalyzedcall on java.util.List:contains
unanalyzedcall on java.util.List:add
unanalyzedcall on java.util.Collections:sort
unanalyzedcall on addBlogEntry
test_vectorblogEntry: Addr_Set{null}, Inverse{null}
test_vectorthis.parent: Addr_Set{null}, Inverse{null}
test_vectorjava.util.List:contains(...)@373: {1}, {0}










method void removeBlogEntry(String)
pre(soft) this...blogEntries != null
pre(soft) init'ed(this...parent)
pre(soft) this.blogEntries != null
pre(soft) init'ed(this.parent)
unanalyzedcall on java.util.List:remove
unanalyzedcall on removeBlogEntry
test_vectorblogEntry: Addr_Set{null}, Inverse{null}
test_vectorthis.parent: Addr_Set{null}, Inverse{null}










method void removeAllBlogEntries()
postthis.blogEntries == &new ArrayList(removeAllBlo gEntries#1)
postnew ArrayList(removeAllBlogEntries#1) num objects == 1










method int getNumberOfBlogEntries()
prethis.blogEntries != null
postinit'ed(return_value)