category.java

current inspection = 2010-07-22 15:04:21 (id #4) base = 2010-07-16 16:14:15 (id #1)

Filter Options
History:
+ added
- dropped
U unchanged
Annotation Kind:
pre
presumption
post
unanalyzed
test


  • void addBlogEntry(String)

    • -/+ Kind Annotation Text Date
    U pre(soft) init'ed(this...parent)2010-07-16 16:14:15
    U pre(soft) init'ed(this.parent)2010-07-16 16:14:15
    U pre(soft) this...blogEntries != null2010-07-16 16:14:15
    U pre(soft) this.blogEntries != null2010-07-16 16:14:15
    U unanalyzedcall on addBlogEntry2010-07-16 16:14:15
    U unanalyzedcall on java.util.Collections:sort2010-07-16 16:14:15
    U unanalyzedcall on java.util.List:add2010-07-16 16:14:15
    U unanalyzedcall on java.util.List:contains2010-07-16 16:14:15
    U test_vectorblogEntry: Addr_Set{null}, Inverse{null}2010-07-16 16:14:15
    U test_vectorjava.util.List:contains(...)@373: {1}, {0}2010-07-16 16:14:15
    U test_vectorthis.parent: Addr_Set{null}, Inverse{null}2010-07-16 16:14:15

  • void addSubCategory(Category)

    • -/+ Kind Annotation Text Date
    U pre(soft) category != null2010-07-16 16:14:15
    U preinit'ed(this.subCategories)2010-07-16 16:14:15
    U postcategory.parent == One-of{old category.parent, this}2010-07-16 16:14:15
    U test_vectorjava.util.List:contains(...)@206: {1}, {0}2010-07-16 16:14:15
    U test_vectorthis.subCategories: Addr_Set{null}, Inverse{null}2010-07-16 16:14:15

  • int compareTo(Object)

    • -/+ Kind Annotation Text Date
    U preinit'ed(o.id)2010-07-16 16:14:15
    U preo != null2010-07-16 16:14:15
    U prethis.id != null2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15

  • bool equals(Object)

    • -/+ Kind Annotation Text Date
    U pre(soft) init'ed(this.id)2010-07-16 16:14:15
    U pre(soft) o.id != null2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15

  • List getAllTags()

    • -/+ Kind Annotation Text Date
    U pre(soft) init'ed(this...parent)2010-07-16 16:14:15
    U pre(soft) init'ed(this...tagsAsList)2010-07-16 16:14:15
    U preinit'ed(this.parent)2010-07-16 16:14:15
    U preinit'ed(this.tagsAsList)2010-07-16 16:14:15
    U postnew ArrayList(getAllTags#1) num objects == 12010-07-16 16:14:15
    U postreturn_value == &new ArrayList(getAllTags#1)2010-07-16 16:14:15

  • List getBlogEntries()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.blogEntries)2010-07-16 16:14:15
    U postnew ArrayList(getBlogEntries#1) num objects == 12010-07-16 16:14:15
    U postreturn_value == &new ArrayList(getBlogEntries#1 )2010-07-16 16:14:15

  • String getId()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.id)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.id2010-07-16 16:14:15

  • String getName()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.name)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.name2010-07-16 16:14:15

  • int getNumberOfBlogEntries()

    • -/+ Kind Annotation Text Date
    U prethis.blogEntries != null2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15

  • int getNumberOfParents()

    • -/+ Kind Annotation Text Date
    U pre(soft) init'ed(this...parent)2010-07-16 16:14:15
    U preinit'ed(this.parent)2010-07-16 16:14:15
    U postreturn_value >= 02010-07-16 16:14:15

  • Category getParent()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.parent)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.parent2010-07-16 16:14:15

  • String getPermalink()

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog)2010-07-22 12:56:56
    +pre(soft) init'ed(this.blog.id)2010-07-22 12:56:56
    +pre(soft) net/sourceforge/pebble/domain/BlogManager. instance != null2010-07-22 12:56:56
    U prethis.blog != null2010-07-16 16:14:15
    U prethis.id != null2010-07-16 16:14:15
    U postreturn_value != null2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:equals2010-07-16 16:14:15
    +unanalyzedcall on java.lang.String:indexOf2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:length2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:substring2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:valueOf2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.PebbleContext:getCon figuration2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.PebbleContext:getIns tance2010-07-22 12:56:56
    U test_vectorjava.lang.String:equals(...)@142: {0}, {1}2010-07-16 16:14:15

  • List getSubCategories()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.subCategories)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15

  • String getTags()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.tags)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.tags2010-07-16 16:14:15

  • List getTagsAsList()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.tagsAsList)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.tagsAsList2010-07-16 16:14:15

  • bool hasParent(Category)

    • -/+ Kind Annotation Text Date
    U pre(soft) category.id != null2010-07-16 16:14:15
    U pre(soft) init'ed(this...id)2010-07-16 16:14:15
    U pre(soft) init'ed(this...parent)2010-07-16 16:14:15
    U preinit'ed(this.parent)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:equals2010-07-16 16:14:15

  • int hashCode()

    • -/+ Kind Annotation Text Date
    U prethis.id != null2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15

  • bool isRootCategory()

    • -/+ Kind Annotation Text Date
    U prethis.id != null2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15

  • void net.sourceforge.pebble.domain.Category()

    • -/+ Kind Annotation Text Date
    U postnew ArrayList(Category#1) num objects == 12010-07-16 16:14:15
    U postnew ArrayList(Category#2) num objects == 12010-07-16 16:14:15
    U postnew ArrayList(Category#3) num objects == 12010-07-16 16:14:15
    U postthis.blogEntries == &new ArrayList(Category#3)2010-07-16 16:14:15
    U postthis.id == &""2010-07-16 16:14:15
    U postthis.name == &""2010-07-16 16:14:15
    U postthis.parent == null2010-07-16 16:14:15
    U postthis.subCategories == &new ArrayList(Category#2 )2010-07-16 16:14:15
    U postthis.tags == &""2010-07-16 16:14:15
    U postthis.tagsAsList == &new ArrayList(Category#1)2010-07-16 16:14:15

  • void net.sourceforge.pebble.domain.Category(String, String)

    • -/+ Kind Annotation Text Date
    U postinit'ed(this.name)2010-07-16 16:14:15
    U postinit'ed(this.parent)2010-07-16 16:14:15
    U postnew ArrayList(Category#1) num objects == 12010-07-16 16:14:15
    U postnew ArrayList(Category#2) num objects == 12010-07-16 16:14:15
    U postnew ArrayList(Category#3) num objects == 12010-07-16 16:14:15
    U postthis.blogEntries == &new ArrayList(Category#3)2010-07-16 16:14:15
    U postthis.id != null2010-07-16 16:14:15
    U postthis.name == name2010-07-16 16:14:15
    U postthis.subCategories == &new ArrayList(Category#2 )2010-07-16 16:14:15
    U postthis.tags == &""2010-07-16 16:14:15
    U postthis.tagsAsList == &new ArrayList(Category#1)2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:startsWith2010-07-16 16:14:15

  • net.sourceforge.pebble.domain.Category__static_init

    • -/+ Kind Annotation Text Date
    U postinit'ed(log)2010-07-16 16:14:15

  • void removeAllBlogEntries()

    • -/+ Kind Annotation Text Date
    U postnew ArrayList(removeAllBlogEntries#1) num objects == 12010-07-16 16:14:15
    U postthis.blogEntries == &new ArrayList(removeAllBlo gEntries#1)2010-07-16 16:14:15

  • void removeBlogEntry(String)

    • -/+ Kind Annotation Text Date
    U pre(soft) init'ed(this...parent)2010-07-16 16:14:15
    U pre(soft) init'ed(this.parent)2010-07-16 16:14:15
    U pre(soft) this...blogEntries != null2010-07-16 16:14:15
    U pre(soft) this.blogEntries != null2010-07-16 16:14:15
    U unanalyzedcall on java.util.List:remove2010-07-16 16:14:15
    U unanalyzedcall on removeBlogEntry2010-07-16 16:14:15
    U test_vectorblogEntry: Addr_Set{null}, Inverse{null}2010-07-16 16:14:15
    U test_vectorthis.parent: Addr_Set{null}, Inverse{null}2010-07-16 16:14:15

  • void removeSubCategory(Category)

    • -/+ Kind Annotation Text Date
    U pre(soft) category != null2010-07-16 16:14:15
    U preinit'ed(this.subCategories)2010-07-16 16:14:15
    U postcategory.parent == One-of{old category.parent, null}2010-07-16 16:14:15
    U test_vectorjava.util.List:contains(...)@218: {0}, {1}2010-07-16 16:14:15
    U test_vectorthis.subCategories: Addr_Set{null}, Inverse{null}2010-07-16 16:14:15

  • void setBlog(Blog)

    • -/+ Kind Annotation Text Date
    U postinit'ed(this.blog)2010-07-16 16:14:15
    U postthis.blog == blog2010-07-16 16:14:15

  • void setId(String)

    • -/+ Kind Annotation Text Date
    U postthis.id != null2010-07-16 16:14:15
    U test_vectorid: Addr_Set{null}, Inverse{null}2010-07-16 16:14:15
    U test_vectorjava.lang.String:startsWith(...)@113: {1}, {0}2010-07-16 16:14:15

  • void setName(String)

    • -/+ Kind Annotation Text Date
    U postinit'ed(this.name)2010-07-16 16:14:15
    U postthis.name == name2010-07-16 16:14:15

  • void setParent(Category)

    • -/+ Kind Annotation Text Date
    U postinit'ed(this.parent)2010-07-16 16:14:15
    U postthis.parent == parent2010-07-16 16:14:15

  • void setTags(String)

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.blog)2010-07-16 16:14:15
    U postinit'ed(this.tags)2010-07-16 16:14:15
    U postnew ArrayList(parse#1) num objects == 12010-07-16 16:14:15
    U postthis.tagsAsList == &new ArrayList(parse#1)2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:length2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:replaceAll2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:split2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:toLowerCase2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:trim2010-07-16 16:14:15
    U unanalyzedcall on java.util.ArrayList2010-07-16 16:14:15
    U unanalyzedcall on java.util.List:add2010-07-16 16:14:15
    U unanalyzedcall on java.util.List:contains2010-07-16 16:14:15
    U unanalyzedcall on net.sourceforge.pebble.util. StringUtils:transformHTML2010-07-16 16:14:15
    U test_vectorjava.lang.String:indexOf(...)@275: {-231. .-1}, {0..232-1}2010-07-16 16:14:15
    U test_vectornewTags: Addr_Set{null}, Inverse{null}2010-07-16 16:14:15

  • String toString()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.name)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.name2010-07-16 16:14:15