Messages

Last Msg First Msg

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

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

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

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

method | String getId()
pre | init'ed(this.id)
post | return_value == this.id
post | init'ed(return_value)

method | void setId(String)
post | this.id != null
test_vector | id: Addr_Set{null}, Inverse{null}
test_vector | java.lang.String:startsWith(...)@113: {1}, {0}

method | String getName()
pre | init'ed(this.name)
post | return_value == this.name
post | init'ed(return_value)

method | void setName(String)
post | this.name == name
post | init'ed(this.name)

method | bool isRootCategory()
pre | this.id != null
post | init'ed(return_value)

method | Category getParent()
pre | init'ed(this.parent)
post | return_value == this.parent
post | init'ed(return_value)

method | bool hasParent(Category)
pre | init'ed(this.parent)
pre | (soft) category.id != null
pre | (soft) init'ed(this...id)
pre | (soft) init'ed(this...parent)
post | init'ed(return_value)
unanalyzed | call on java.lang.String:equals

method | void setParent(Category)
post | this.parent == parent
post | init'ed(this.parent)

method | int getNumberOfParents()
pre | init'ed(this.parent)
pre | (soft) init'ed(this...parent)
post | return_value >= 0

Prev Msg Next Msg

| low
| overflow | check might fail: requires parents in -231-1..232-2

Prev Msg Next Msg

method | void addSubCategory(Category)
pre | init'ed(this.subCategories)
pre | (soft) category != null
post | category.parent == One-of{old category.parent, this}
test_vector | this.subCategories: Addr_Set{null}, Inverse{null}
test_vector | java.util.List:contains(...)@206: {1}, {0}

method | void removeSubCategory(Category)
pre | init'ed(this.subCategories)
pre | (soft) category != null
post | category.parent == One-of{old category.parent, null}
test_vector | this.subCategories: Addr_Set{null}, Inverse{null}
test_vector | java.util.List:contains(...)@218: {0}, {1}

method | List getSubCategories()
pre | init'ed(this.subCategories)
post | init'ed(return_value)

method | String getTags()
pre | init'ed(this.tags)
post | return_value == this.tags
post | init'ed(return_value)

method | List getTagsAsList()
pre | init'ed(this.tagsAsList)
post | return_value == this.tagsAsList
post | init'ed(return_value)

method | List getAllTags()
pre | init'ed(this.parent)
pre | init'ed(this.tagsAsList)
pre | (soft) init'ed(this...parent)
pre | (soft) init'ed(this...tagsAsList)
post | return_value == &new ArrayList(getAllTags#1)
post | new ArrayList(getAllTags#1) num objects == 1

method | void setTags(String)
pre | init'ed(this.blog)
post | init'ed(this.tags)
post | this.tagsAsList == &new ArrayList(parse#1)
post | new ArrayList(parse#1) num objects == 1
unanalyzed | call on java.lang.String:trim
unanalyzed | call on java.lang.String:toLowerCase
unanalyzed | call on java.lang.String:replaceAll
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.lang.String:split
unanalyzed | call on net.sourceforge.pebble.util. StringUtils:transformHTML
unanalyzed | call on java.util.List:contains
unanalyzed | call on java.util.List:add
test_vector | newTags: Addr_Set{null}, Inverse{null}
test_vector | java.lang.String:indexOf(...)@275: {-231. .-1}, {0..232-1}

method | void setBlog(Blog)
post | this.blog == blog
post | init'ed(this.blog)

method | String getPermalink()
pre | this.blog != null
pre | this.id != null
post | return_value != null
unanalyzed | call on java.lang.String:equals
test_vector | java.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)
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on java.lang.String:indexOf
unanalyzed | call on net.sourceforge.pebble.PebbleContext:getIns tance
unanalyzed | call on net.sourceforge.pebble.PebbleContext:getCon figuration
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.lang.String:substring

method | int hashCode()
pre | this.id != null
post | init'ed(return_value)

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

method | int compareTo(Object)
pre | o != null
pre | init'ed(o.id)
pre | this.id != null
post | init'ed(return_value)

method | String toString()
pre | init'ed(this.name)
post | return_value == this.name
post | init'ed(return_value)

method | List getBlogEntries()
pre | init'ed(this.blogEntries)
post | return_value == &new ArrayList(getBlogEntries#1 )
post | new 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)
unanalyzed | call on java.util.List:contains
unanalyzed | call on java.util.List:add
unanalyzed | call on java.util.Collections:sort
unanalyzed | call on addBlogEntry
test_vector | blogEntry: Addr_Set{null}, Inverse{null}
test_vector | this.parent: Addr_Set{null}, Inverse{null}
test_vector | java.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)
unanalyzed | call on java.util.List:remove
unanalyzed | call on removeBlogEntry
test_vector | blogEntry: Addr_Set{null}, Inverse{null}
test_vector | this.parent: Addr_Set{null}, Inverse{null}

method | void removeAllBlogEntries()
post | this.blogEntries == &new ArrayList(removeAllBlo gEntries#1)
post | new ArrayList(removeAllBlogEntries#1) num objects == 1

method | int getNumberOfBlogEntries()
pre | this.blogEntries != null
post | init'ed(return_value)