categorybuilder.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 addCategory(Category)

  • -/+ Kind Annotation Text Date
    U pre(soft) init'ed(this.rootCategory)2010-07-16 16:14:15
    U pre(soft) this.blog != null2010-07-16 16:14:15
    U precategory != null2010-07-16 16:14:15
    U precategory.id != null2010-07-16 16:14:15
    U post(soft) init'ed(this.rootCategory)2010-07-16 16:14:15
    U postinit'ed(new ArrayList(Category#1) num objects)2010-07-16 16:14:15
    U postinit'ed(new ArrayList(Category#2) num objects)2010-07-16 16:14:15
    U postinit'ed(new ArrayList(Category#3) num objects)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#2) num objects)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#2).blogEntries)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#2).name)2010-07-16 16:14:15
    -postinit'ed(new Category(getCategory#2).subCategories)2010-07-16 16:59:22
    U postinit'ed(new Category(getCategory#2).tags)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#2).tagsAsList)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#3) num objects)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#3).blogEntries)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#3).name)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#3).tags)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#3).tagsAsList)2010-07-16 16:14:15
    U postpossibly_updated(category.blog)2010-07-16 16:14:15
    U postpossibly_updated(category.parent)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#2).blog)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#2).id)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#2). parent)2010-07-16 16:14:15
    +postpossibly_updated(new Category(getCategory#2). subCategories)2010-07-22 12:56:56
    U postpossibly_updated(new Category(getCategory#3).blog)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#3).id)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#3). parent)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#3). subCategories)2010-07-16 16:14:15
    U unanalyzedcall on addCategory2010-07-16 16:14:15
    +unanalyzedcall on addSubCategory2010-07-22 12:56:56
    U unanalyzedcall on getCategory2010-07-16 16:14:15
    +unanalyzedcall on getId2010-07-22 12:56:56
    +unanalyzedcall on getSubCategories2010-07-22 12:56:56
    +unanalyzedcall on isRootCategory2010-07-22 12:56:56
    U unanalyzedcall on java.lang.String:equals2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:indexOf2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:lastIndexOf2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:length2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:startsWith2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:substring2010-07-16 16:14:15
    U unanalyzedcall on java.util.ArrayList2010-07-16 16:14:15
    U unanalyzedcall on java.util.Collections:unmodifiableList2010-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 java.util.List:iterator2010-07-16 16:14:15
    +unanalyzedcall on net.sourceforge.pebble.domain. Blog:getLocale2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.domain.Category2010-07-22 12:56:56
    U unanalyzedcall on net.sourceforge.pebble.util. I18n:getMessage2010-07-16 16:14:15
    +unanalyzedcall on setBlog2010-07-22 12:56:56
    U test_vectorjava.lang.String:equals(...)@142: {0}, {1}2010-07-16 16:14:15

  • List getCategories()

  • -/+ Kind Annotation Text Date
    U pre(soft) init'ed(this.rootCategory)2010-07-16 16:14:15
    U pre(soft) this.blog != null2010-07-16 16:14:15
    U post(soft) init'ed(new Category(getCategory#2). subCategories)2010-07-16 16:14:15
    U post(soft) init'ed(new Category(getCategory#3). subCategories)2010-07-16 16:14:15
    U postinit'ed(new ArrayList(Category#1) num objects)2010-07-16 16:14:15
    U postinit'ed(new ArrayList(Category#2) num objects)2010-07-16 16:14:15
    U postinit'ed(new ArrayList(Category#3) num objects)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#2) num objects)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#2).blogEntries)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#2).name)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#2).tags)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#2).tagsAsList)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#3) num objects)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#3).blogEntries)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#3).name)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#3).tags)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#3).tagsAsList)2010-07-16 16:14:15
    U postinit'ed(this.rootCategory)2010-07-16 16:14:15
    U postnew ArrayList(getCategories#1) num objects == 12010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#2).blog)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#2).id)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#2). parent)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#3).blog)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#3).id)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#3). parent)2010-07-16 16:14:15
    U postreturn_value == &new ArrayList(getCategories#1) 2010-07-16 16:14:15
    U unanalyzedcall on addCategory2010-07-16 16:14:15
    +unanalyzedcall on addSubCategory2010-07-22 12:56:56
    U unanalyzedcall on getCategories2010-07-16 16:14:15
    U unanalyzedcall on getCategory2010-07-16 16:14:15
    +unanalyzedcall on getId2010-07-22 12:56:56
    +unanalyzedcall on getSubCategories2010-07-22 12:56:56
    +unanalyzedcall on isRootCategory2010-07-22 12:56:56
    U unanalyzedcall on java.lang.String:equals2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:indexOf2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:lastIndexOf2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:length2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:startsWith2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:substring2010-07-16 16:14:15
    U unanalyzedcall on java.util.ArrayList2010-07-16 16:14:15
    U unanalyzedcall on java.util.Collections:unmodifiableList2010-07-16 16:14:15
    U unanalyzedcall on java.util.List:add2010-07-16 16:14:15
    U unanalyzedcall on java.util.List:addAll2010-07-16 16:14:15
    U unanalyzedcall on java.util.List:contains2010-07-16 16:14:15
    U unanalyzedcall on java.util.List:iterator2010-07-16 16:14:15
    +unanalyzedcall on net.sourceforge.pebble.domain. Blog:getLocale2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.domain.Category2010-07-22 12:56:56
    U unanalyzedcall on net.sourceforge.pebble.util. I18n:getMessage2010-07-16 16:14:15
    +unanalyzedcall on setBlog2010-07-22 12:56:56

  • List getCategories(Category)

  • -/+ Kind Annotation Text Date
    U precategory != null2010-07-16 16:14:15
    U preinit'ed(category.subCategories)2010-07-16 16:14:15
    U presumptionjava.util.Collections:unmodifiableList(...)@230 != null2010-07-16 16:14:15
    U presumptionjava.util.Iterator:next(...)@226 != null2010-07-16 16:14:15
    U postnew ArrayList(getCategories#1) num objects == 12010-07-16 16:14:15
    U postreturn_value == &new ArrayList(getCategories#1) 2010-07-16 16:14:15
    U unanalyzedcall on getCategories2010-07-16 16:14:15
    +unanalyzedcall on getSubCategories2010-07-22 12:56:56
    U unanalyzedcall on java.util.ArrayList2010-07-16 16:14:15
    U unanalyzedcall on java.util.Collections:unmodifiableList2010-07-16 16:14:15
    U unanalyzedcall on java.util.List:add2010-07-16 16:14:15
    U unanalyzedcall on java.util.List:addAll2010-07-16 16:14:15
    U unanalyzedcall on java.util.List:iterator2010-07-16 16:14:15
    U test_vectorjava.util.Iterator:hasNext(...)@225: {1}, {0}2010-07-16 16:14:15

  • Category getCategory(String)

  • -/+ Kind Annotation Text Date
    U pre(soft) init'ed(this.rootCategory)2010-07-16 16:14:15
    U pre(soft) this.blog != null2010-07-16 16:14:15
    U postinit'ed(new ArrayList(Category#1) num objects)2010-07-16 16:14:15
    U postinit'ed(new ArrayList(Category#2) num objects)2010-07-16 16:14:15
    U postinit'ed(new ArrayList(Category#3) num objects)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#2*) num objects)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#2*).blogEntries)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#2*).name)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#2*).tags)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#2*).tagsAsList)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#3*) num objects)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#3*).blogEntries)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#3*).name)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#3*).tags)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#3*).tagsAsList)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postinit'ed(this.rootCategory)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#2*). blog)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#2*).id)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#2*). parent)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#2*). subCategories)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#3*). blog)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#3*).id)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#3*). parent)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#3*). subCategories)2010-07-16 16:14:15
    U unanalyzedcall on addCategory2010-07-16 16:14:15
    +unanalyzedcall on addSubCategory2010-07-22 12:56:56
    U unanalyzedcall on getCategory2010-07-16 16:14:15
    +unanalyzedcall on getId2010-07-22 12:56:56
    +unanalyzedcall on getSubCategories2010-07-22 12:56:56
    +unanalyzedcall on isRootCategory2010-07-22 12:56:56
    U unanalyzedcall on java.lang.String:equals2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:indexOf2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:lastIndexOf2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:length2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:startsWith2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:substring2010-07-16 16:14:15
    U unanalyzedcall on java.util.ArrayList2010-07-16 16:14:15
    U unanalyzedcall on java.util.Collections:unmodifiableList2010-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 java.util.List:iterator2010-07-16 16:14:15
    +unanalyzedcall on net.sourceforge.pebble.domain. Blog:getLocale2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.domain.Category2010-07-22 12:56:56
    U unanalyzedcall on net.sourceforge.pebble.util. I18n:getMessage2010-07-16 16:14:15
    +unanalyzedcall on setBlog2010-07-22 12:56:56

  • Category getCategory(String, bool)

  • -/+ Kind Annotation Text Date
    U pre(soft) init'ed(this.rootCategory)2010-07-16 16:14:15
    U pre(soft) this.blog != null2010-07-16 16:14:15
    U presumptioncategory.id@165 != null2010-07-16 16:14:15
    U presumptionjava.util.Collections:unmodifiableList(...)@230 != null2010-07-16 16:14:15
    U presumptionjava.util.Iterator:next(...)@165 != null2010-07-16 16:14:15
    U post(soft) init'ed(this.rootCategory)2010-07-16 16:14:15
    U postinit'ed(new ArrayList(Category#1) num objects)2010-07-16 16:14:15
    U postinit'ed(new ArrayList(Category#2) num objects)2010-07-16 16:14:15
    U postinit'ed(new ArrayList(Category#3) num objects)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#2) num objects)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#2).blogEntries)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#2).name)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#2).tags)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#2).tagsAsList)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#3) num objects)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#3).blogEntries)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#3).name)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#3).tags)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#3).tagsAsList)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postnew Category(getCategory#2) num objects <= 12010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#2).blog)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#2).id)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#2). parent)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#2). subCategories)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#3).blog)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#3).id)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#3). parent)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#3). subCategories)2010-07-16 16:14:15
    U unanalyzedcall on addCategory2010-07-16 16:14:15
    +unanalyzedcall on addSubCategory2010-07-22 12:56:56
    U unanalyzedcall on getCategory2010-07-16 16:14:15
    +unanalyzedcall on getId2010-07-22 12:56:56
    +unanalyzedcall on getSubCategories2010-07-22 12:56:56
    +unanalyzedcall on isRootCategory2010-07-22 12:56:56
    U unanalyzedcall on java.lang.String:equals2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:indexOf2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:lastIndexOf2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:length2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:startsWith2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:substring2010-07-16 16:14:15
    U unanalyzedcall on java.util.ArrayList2010-07-16 16:14:15
    U unanalyzedcall on java.util.Collections:unmodifiableList2010-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 java.util.List:iterator2010-07-16 16:14:15
    +unanalyzedcall on net.sourceforge.pebble.domain. Blog:getLocale2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.domain.Category2010-07-22 12:56:56
    U unanalyzedcall on net.sourceforge.pebble.util. I18n:getMessage2010-07-16 16:14:15
    +unanalyzedcall on setBlog2010-07-22 12:56:56
    U test_vectorcreate: {0}, {1}2010-07-16 16:14:15
    U test_vectorid: Addr_Set{null}, Inverse{null}2010-07-16 16:14:15
    U test_vectorjava.lang.String:equals(...)@141: {0}, {1}2010-07-16 16:14:15
    U test_vectorjava.lang.String:equals(...)@166: {0}, {1}2010-07-16 16:14:15
    U test_vectorjava.lang.String:indexOf(...)@154: {-231. .-2, 0..232-2}, {-1}2010-07-16 16:14:15
    U test_vectorjava.lang.String:startsWith(...)@137: {1}, {0}2010-07-16 16:14:15
    U test_vectorjava.util.Iterator:hasNext(...)@164: {1}, {0}2010-07-16 16:14:15
    U test_vectorthis.rootCategory: Inverse{null}, Addr_Set{null}2010-07-16 16:14:15

  • Category getParent(Category)

  • -/+ Kind Annotation Text Date
    U pre(soft) init'ed(this.rootCategory)2010-07-16 16:14:15
    U pre(soft) this.blog != null2010-07-16 16:14:15
    U precategory != null2010-07-16 16:14:15
    U precategory.id != null2010-07-16 16:14:15
    U postinit'ed(new ArrayList(Category#1) num objects)2010-07-16 16:14:15
    U postinit'ed(new ArrayList(Category#2) num objects)2010-07-16 16:14:15
    U postinit'ed(new ArrayList(Category#3) num objects)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#2) num objects)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#2).blogEntries)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#2).name)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#2).tags)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#2).tagsAsList)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#3) num objects)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#3).blogEntries)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#3).name)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#3).tags)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#3).tagsAsList)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postinit'ed(this.rootCategory)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#2).blog)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#2).id)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#2). parent)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#2). subCategories)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#3).blog)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#3).id)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#3). parent)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#3). subCategories)2010-07-16 16:14:15
    U unanalyzedcall on addCategory2010-07-16 16:14:15
    +unanalyzedcall on addSubCategory2010-07-22 12:56:56
    U unanalyzedcall on getCategory2010-07-16 16:14:15
    +unanalyzedcall on getId2010-07-22 12:56:56
    +unanalyzedcall on getSubCategories2010-07-22 12:56:56
    +unanalyzedcall on isRootCategory2010-07-22 12:56:56
    U unanalyzedcall on java.lang.String:equals2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:indexOf2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:lastIndexOf2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:length2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:startsWith2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:substring2010-07-16 16:14:15
    U unanalyzedcall on java.util.ArrayList2010-07-16 16:14:15
    U unanalyzedcall on java.util.Collections:unmodifiableList2010-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 java.util.List:iterator2010-07-16 16:14:15
    +unanalyzedcall on net.sourceforge.pebble.domain. Blog:getLocale2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.domain.Category2010-07-22 12:56:56
    U unanalyzedcall on net.sourceforge.pebble.util. I18n:getMessage2010-07-16 16:14:15
    +unanalyzedcall on setBlog2010-07-22 12:56:56

  • Category getParent(Category, bool)

  • -/+ Kind Annotation Text Date
    U pre(soft) init'ed(this.rootCategory)2010-07-16 16:14:15
    U pre(soft) this.blog != null2010-07-16 16:14:15
    U precategory != null2010-07-16 16:14:15
    U precategory.id != null2010-07-16 16:14:15
    U postinit'ed(new ArrayList(Category#1) num objects)2010-07-16 16:14:15
    U postinit'ed(new ArrayList(Category#2) num objects)2010-07-16 16:14:15
    U postinit'ed(new ArrayList(Category#3) num objects)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#2) num objects)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#2).blogEntries)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#2).name)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#2).tags)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#2).tagsAsList)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#3) num objects)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#3).blogEntries)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#3).name)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#3).tags)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#3).tagsAsList)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postinit'ed(this.rootCategory)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#2).blog)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#2).id)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#2). parent)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#2). subCategories)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#3).blog)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#3).id)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#3). parent)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#3). subCategories)2010-07-16 16:14:15
    U unanalyzedcall on addCategory2010-07-16 16:14:15
    +unanalyzedcall on addSubCategory2010-07-22 12:56:56
    U unanalyzedcall on getCategory2010-07-16 16:14:15
    +unanalyzedcall on getId2010-07-22 12:56:56
    +unanalyzedcall on getSubCategories2010-07-22 12:56:56
    +unanalyzedcall on isRootCategory2010-07-22 12:56:56
    U unanalyzedcall on java.lang.String:equals2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:indexOf2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:lastIndexOf2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:length2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:startsWith2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:substring2010-07-16 16:14:15
    U unanalyzedcall on java.util.ArrayList2010-07-16 16:14:15
    U unanalyzedcall on java.util.Collections:unmodifiableList2010-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 java.util.List:iterator2010-07-16 16:14:15
    +unanalyzedcall on net.sourceforge.pebble.domain. Blog:getLocale2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.domain.Category2010-07-22 12:56:56
    U unanalyzedcall on net.sourceforge.pebble.util. I18n:getMessage2010-07-16 16:14:15
    +unanalyzedcall on setBlog2010-07-22 12:56:56
    U test_vectorjava.lang.String:equals(...)@111: {0}, {1}2010-07-16 16:14:15

  • Category getRootCategory()

  • -/+ Kind Annotation Text Date
    U pre(soft) init'ed(this.rootCategory)2010-07-16 16:14:15
    U pre(soft) this.blog != null2010-07-16 16:14:15
    U postinit'ed(new ArrayList(Category#1) num objects)2010-07-16 16:14:15
    U postinit'ed(new ArrayList(Category#2) num objects)2010-07-16 16:14:15
    U postinit'ed(new ArrayList(Category#3) num objects)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#2) num objects)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#2).blogEntries)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#2).name)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#2).tags)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#2).tagsAsList)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#3) num objects)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#3).blogEntries)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#3).name)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#3).tags)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#3).tagsAsList)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postinit'ed(this.rootCategory)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#2).blog)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#2).id)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#2). parent)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#2). subCategories)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#3).blog)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#3).id)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#3). parent)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#3). subCategories)2010-07-16 16:14:15
    U unanalyzedcall on addCategory2010-07-16 16:14:15
    +unanalyzedcall on addSubCategory2010-07-22 12:56:56
    U unanalyzedcall on getCategory2010-07-16 16:14:15
    +unanalyzedcall on getId2010-07-22 12:56:56
    +unanalyzedcall on getSubCategories2010-07-22 12:56:56
    +unanalyzedcall on isRootCategory2010-07-22 12:56:56
    U unanalyzedcall on java.lang.String:equals2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:indexOf2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:lastIndexOf2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:length2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:startsWith2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:substring2010-07-16 16:14:15
    U unanalyzedcall on java.util.ArrayList2010-07-16 16:14:15
    U unanalyzedcall on java.util.Collections:unmodifiableList2010-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 java.util.List:iterator2010-07-16 16:14:15
    +unanalyzedcall on net.sourceforge.pebble.domain. Blog:getLocale2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.domain.Category2010-07-22 12:56:56
    U unanalyzedcall on net.sourceforge.pebble.util. I18n:getMessage2010-07-16 16:14:15
    +unanalyzedcall on setBlog2010-07-22 12:56:56

  • void net.sourceforge.pebble.domain.CategoryBuilder(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 net.sourceforge.pebble.domain.CategoryBuilder(Blog, Category)

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

  • net.sourceforge.pebble.domain.CategoryBuilder__static_init

  • -/+ Kind Annotation Text Date

  • void removeCategory(Category)

  • -/+ Kind Annotation Text Date
    -pre(soft) category != null2010-07-16 16:59:22
    U pre(soft) init'ed(this.rootCategory)2010-07-16 16:14:15
    U pre(soft) this.blog != null2010-07-16 16:14:15
    +precategory != null2010-07-22 12:56:56
    U precategory.id != null2010-07-16 16:14:15
    U post(soft) init'ed(new Category(getCategory#2). subCategories)2010-07-16 16:14:15
    U post(soft) init'ed(new Category(getCategory#3). subCategories)2010-07-16 16:14:15
    U postinit'ed(new ArrayList(Category#1) num objects)2010-07-16 16:14:15
    U postinit'ed(new ArrayList(Category#2) num objects)2010-07-16 16:14:15
    U postinit'ed(new ArrayList(Category#3) num objects)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#2) num objects)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#2).blogEntries)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#2).name)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#2).tags)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#2).tagsAsList)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#3) num objects)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#3).blogEntries)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#3).name)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#3).tags)2010-07-16 16:14:15
    U postinit'ed(new Category(getCategory#3).tagsAsList)2010-07-16 16:14:15
    U postinit'ed(this.rootCategory)2010-07-16 16:14:15
    U postpossibly_updated(category.parent)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#2).blog)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#2).id)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#2). parent)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#3).blog)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#3).id)2010-07-16 16:14:15
    U postpossibly_updated(new Category(getCategory#3). parent)2010-07-16 16:14:15
    U unanalyzedcall on addCategory2010-07-16 16:14:15
    +unanalyzedcall on addSubCategory2010-07-22 12:56:56
    U unanalyzedcall on getCategory2010-07-16 16:14:15
    +unanalyzedcall on getId2010-07-22 12:56:56
    U unanalyzedcall on getParent2010-07-16 16:14:15
    +unanalyzedcall on getSubCategories2010-07-22 12:56:56
    +unanalyzedcall on isRootCategory2010-07-22 12:56:56
    U unanalyzedcall on java.lang.String:equals2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:indexOf2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:lastIndexOf2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:length2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:startsWith2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:substring2010-07-16 16:14:15
    U unanalyzedcall on java.util.ArrayList2010-07-16 16:14:15
    U unanalyzedcall on java.util.Collections:unmodifiableList2010-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 java.util.List:iterator2010-07-16 16:14:15
    U unanalyzedcall on java.util.List:remove2010-07-16 16:14:15
    +unanalyzedcall on net.sourceforge.pebble.domain. Blog:getLocale2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.domain.Category2010-07-22 12:56:56
    U unanalyzedcall on net.sourceforge.pebble.util. I18n:getMessage2010-07-16 16:14:15
    +unanalyzedcall on setBlog2010-07-22 12:56:56