| -/+ |
Kind |
Annotation Text |
Date |
|---|
| U |
pre | (soft) init'ed(this.rootCategory) | 2010-07-16 16:14:15 |
| U |
pre | (soft) this.blog != null | 2010-07-16 16:14:15 |
| U |
pre | category != null | 2010-07-16 16:14:15 |
| U |
pre | category.id != null | 2010-07-16 16:14:15 |
| U |
post | (soft) init'ed(this.rootCategory) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new ArrayList(Category#1) num objects) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new ArrayList(Category#2) num objects) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new ArrayList(Category#3) num objects) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#2) num objects) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#2).blogEntries) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#2).name) | 2010-07-16 16:14:15 |
| - | post | init'ed(new Category(getCategory#2).subCategories) | 2010-07-16 16:59:22 |
| U |
post | init'ed(new Category(getCategory#2).tags) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#2).tagsAsList) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#3) num objects) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#3).blogEntries) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#3).name) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#3).tags) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#3).tagsAsList) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(category.blog) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(category.parent) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#2).blog) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#2).id) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#2). parent) | 2010-07-16 16:14:15 |
| + | post | possibly_updated(new Category(getCategory#2). subCategories) | 2010-07-22 12:56:56 |
| U |
post | possibly_updated(new Category(getCategory#3).blog) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#3).id) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#3). parent) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#3). subCategories) | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on addCategory | 2010-07-16 16:14:15 |
| + | unanalyzed | call on addSubCategory | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on getCategory | 2010-07-16 16:14:15 |
| + | unanalyzed | call on getId | 2010-07-22 12:56:56 |
| + | unanalyzed | call on getSubCategories | 2010-07-22 12:56:56 |
| + | unanalyzed | call on isRootCategory | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on java.lang.String:equals | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:indexOf | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:lastIndexOf | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:length | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:startsWith | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:substring | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.ArrayList | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.Collections:unmodifiableList | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.List:add | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.List:contains | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.List:iterator | 2010-07-16 16:14:15 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getLocale | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain.Category | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on net.sourceforge.pebble.util. I18n:getMessage | 2010-07-16 16:14:15 |
| + | unanalyzed | call on setBlog | 2010-07-22 12:56:56 |
| U |
test_vector | java.lang.String:equals(...)@142: {0}, {1} | 2010-07-16 16:14:15 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| U |
pre | (soft) init'ed(this.rootCategory) | 2010-07-16 16:14:15 |
| U |
pre | (soft) this.blog != null | 2010-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 |
post | init'ed(new ArrayList(Category#1) num objects) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new ArrayList(Category#2) num objects) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new ArrayList(Category#3) num objects) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#2) num objects) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#2).blogEntries) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#2).name) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#2).tags) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#2).tagsAsList) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#3) num objects) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#3).blogEntries) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#3).name) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#3).tags) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#3).tagsAsList) | 2010-07-16 16:14:15 |
| U |
post | init'ed(this.rootCategory) | 2010-07-16 16:14:15 |
| U |
post | new ArrayList(getCategories#1) num objects == 1 | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#2).blog) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#2).id) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#2). parent) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#3).blog) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#3).id) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#3). parent) | 2010-07-16 16:14:15 |
| U |
post | return_value == &new ArrayList(getCategories#1) | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on addCategory | 2010-07-16 16:14:15 |
| + | unanalyzed | call on addSubCategory | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on getCategories | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on getCategory | 2010-07-16 16:14:15 |
| + | unanalyzed | call on getId | 2010-07-22 12:56:56 |
| + | unanalyzed | call on getSubCategories | 2010-07-22 12:56:56 |
| + | unanalyzed | call on isRootCategory | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on java.lang.String:equals | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:indexOf | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:lastIndexOf | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:length | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:startsWith | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:substring | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.ArrayList | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.Collections:unmodifiableList | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.List:add | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.List:addAll | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.List:contains | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.List:iterator | 2010-07-16 16:14:15 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getLocale | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain.Category | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on net.sourceforge.pebble.util. I18n:getMessage | 2010-07-16 16:14:15 |
| + | unanalyzed | call on setBlog | 2010-07-22 12:56:56 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| U |
pre | category != null | 2010-07-16 16:14:15 |
| U |
pre | init'ed(category.subCategories) | 2010-07-16 16:14:15 |
| U |
presumption | java.util.Collections:unmodifiableList(...)@230 != null | 2010-07-16 16:14:15 |
| U |
presumption | java.util.Iterator:next(...)@226 != null | 2010-07-16 16:14:15 |
| U |
post | new ArrayList(getCategories#1) num objects == 1 | 2010-07-16 16:14:15 |
| U |
post | return_value == &new ArrayList(getCategories#1) | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on getCategories | 2010-07-16 16:14:15 |
| + | unanalyzed | call on getSubCategories | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on java.util.ArrayList | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.Collections:unmodifiableList | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.List:add | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.List:addAll | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.List:iterator | 2010-07-16 16:14:15 |
| U |
test_vector | java.util.Iterator:hasNext(...)@225: {1}, {0} | 2010-07-16 16:14:15 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| U |
pre | (soft) init'ed(this.rootCategory) | 2010-07-16 16:14:15 |
| U |
pre | (soft) this.blog != null | 2010-07-16 16:14:15 |
| U |
post | init'ed(new ArrayList(Category#1) num objects) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new ArrayList(Category#2) num objects) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new ArrayList(Category#3) num objects) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#2*) num objects) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#2*).blogEntries) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#2*).name) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#2*).tags) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#2*).tagsAsList) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#3*) num objects) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#3*).blogEntries) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#3*).name) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#3*).tags) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#3*).tagsAsList) | 2010-07-16 16:14:15 |
| U |
post | init'ed(return_value) | 2010-07-16 16:14:15 |
| U |
post | init'ed(this.rootCategory) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#2*). blog) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#2*).id) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#2*). parent) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#2*). subCategories) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#3*). blog) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#3*).id) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#3*). parent) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#3*). subCategories) | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on addCategory | 2010-07-16 16:14:15 |
| + | unanalyzed | call on addSubCategory | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on getCategory | 2010-07-16 16:14:15 |
| + | unanalyzed | call on getId | 2010-07-22 12:56:56 |
| + | unanalyzed | call on getSubCategories | 2010-07-22 12:56:56 |
| + | unanalyzed | call on isRootCategory | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on java.lang.String:equals | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:indexOf | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:lastIndexOf | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:length | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:startsWith | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:substring | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.ArrayList | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.Collections:unmodifiableList | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.List:add | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.List:contains | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.List:iterator | 2010-07-16 16:14:15 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getLocale | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain.Category | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on net.sourceforge.pebble.util. I18n:getMessage | 2010-07-16 16:14:15 |
| + | unanalyzed | call on setBlog | 2010-07-22 12:56:56 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| U |
pre | (soft) init'ed(this.rootCategory) | 2010-07-16 16:14:15 |
| U |
pre | (soft) this.blog != null | 2010-07-16 16:14:15 |
| U |
presumption | category.id@165 != null | 2010-07-16 16:14:15 |
| U |
presumption | java.util.Collections:unmodifiableList(...)@230 != null | 2010-07-16 16:14:15 |
| U |
presumption | java.util.Iterator:next(...)@165 != null | 2010-07-16 16:14:15 |
| U |
post | (soft) init'ed(this.rootCategory) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new ArrayList(Category#1) num objects) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new ArrayList(Category#2) num objects) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new ArrayList(Category#3) num objects) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#2) num objects) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#2).blogEntries) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#2).name) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#2).tags) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#2).tagsAsList) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#3) num objects) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#3).blogEntries) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#3).name) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#3).tags) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#3).tagsAsList) | 2010-07-16 16:14:15 |
| U |
post | init'ed(return_value) | 2010-07-16 16:14:15 |
| U |
post | new Category(getCategory#2) num objects <= 1 | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#2).blog) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#2).id) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#2). parent) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#2). subCategories) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#3).blog) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#3).id) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#3). parent) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#3). subCategories) | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on addCategory | 2010-07-16 16:14:15 |
| + | unanalyzed | call on addSubCategory | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on getCategory | 2010-07-16 16:14:15 |
| + | unanalyzed | call on getId | 2010-07-22 12:56:56 |
| + | unanalyzed | call on getSubCategories | 2010-07-22 12:56:56 |
| + | unanalyzed | call on isRootCategory | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on java.lang.String:equals | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:indexOf | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:lastIndexOf | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:length | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:startsWith | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:substring | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.ArrayList | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.Collections:unmodifiableList | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.List:add | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.List:contains | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.List:iterator | 2010-07-16 16:14:15 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getLocale | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain.Category | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on net.sourceforge.pebble.util. I18n:getMessage | 2010-07-16 16:14:15 |
| + | unanalyzed | call on setBlog | 2010-07-22 12:56:56 |
| U |
test_vector | create: {0}, {1} | 2010-07-16 16:14:15 |
| U |
test_vector | id: Addr_Set{null}, Inverse{null} | 2010-07-16 16:14:15 |
| U |
test_vector | java.lang.String:equals(...)@141: {0}, {1} | 2010-07-16 16:14:15 |
| U |
test_vector | java.lang.String:equals(...)@166: {0}, {1} | 2010-07-16 16:14:15 |
| U |
test_vector | java.lang.String:indexOf(...)@154: {-231. .-2, 0..232-2}, {-1} | 2010-07-16 16:14:15 |
| U |
test_vector | java.lang.String:startsWith(...)@137: {1}, {0} | 2010-07-16 16:14:15 |
| U |
test_vector | java.util.Iterator:hasNext(...)@164: {1}, {0} | 2010-07-16 16:14:15 |
| U |
test_vector | this.rootCategory: Inverse{null}, Addr_Set{null} | 2010-07-16 16:14:15 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| U |
pre | (soft) init'ed(this.rootCategory) | 2010-07-16 16:14:15 |
| U |
pre | (soft) this.blog != null | 2010-07-16 16:14:15 |
| U |
pre | category != null | 2010-07-16 16:14:15 |
| U |
pre | category.id != null | 2010-07-16 16:14:15 |
| U |
post | init'ed(new ArrayList(Category#1) num objects) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new ArrayList(Category#2) num objects) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new ArrayList(Category#3) num objects) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#2) num objects) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#2).blogEntries) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#2).name) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#2).tags) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#2).tagsAsList) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#3) num objects) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#3).blogEntries) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#3).name) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#3).tags) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#3).tagsAsList) | 2010-07-16 16:14:15 |
| U |
post | init'ed(return_value) | 2010-07-16 16:14:15 |
| U |
post | init'ed(this.rootCategory) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#2).blog) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#2).id) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#2). parent) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#2). subCategories) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#3).blog) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#3).id) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#3). parent) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#3). subCategories) | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on addCategory | 2010-07-16 16:14:15 |
| + | unanalyzed | call on addSubCategory | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on getCategory | 2010-07-16 16:14:15 |
| + | unanalyzed | call on getId | 2010-07-22 12:56:56 |
| + | unanalyzed | call on getSubCategories | 2010-07-22 12:56:56 |
| + | unanalyzed | call on isRootCategory | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on java.lang.String:equals | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:indexOf | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:lastIndexOf | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:length | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:startsWith | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:substring | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.ArrayList | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.Collections:unmodifiableList | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.List:add | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.List:contains | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.List:iterator | 2010-07-16 16:14:15 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getLocale | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain.Category | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on net.sourceforge.pebble.util. I18n:getMessage | 2010-07-16 16:14:15 |
| + | unanalyzed | call on setBlog | 2010-07-22 12:56:56 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| U |
pre | (soft) init'ed(this.rootCategory) | 2010-07-16 16:14:15 |
| U |
pre | (soft) this.blog != null | 2010-07-16 16:14:15 |
| U |
pre | category != null | 2010-07-16 16:14:15 |
| U |
pre | category.id != null | 2010-07-16 16:14:15 |
| U |
post | init'ed(new ArrayList(Category#1) num objects) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new ArrayList(Category#2) num objects) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new ArrayList(Category#3) num objects) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#2) num objects) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#2).blogEntries) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#2).name) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#2).tags) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#2).tagsAsList) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#3) num objects) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#3).blogEntries) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#3).name) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#3).tags) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#3).tagsAsList) | 2010-07-16 16:14:15 |
| U |
post | init'ed(return_value) | 2010-07-16 16:14:15 |
| U |
post | init'ed(this.rootCategory) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#2).blog) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#2).id) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#2). parent) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#2). subCategories) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#3).blog) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#3).id) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#3). parent) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#3). subCategories) | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on addCategory | 2010-07-16 16:14:15 |
| + | unanalyzed | call on addSubCategory | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on getCategory | 2010-07-16 16:14:15 |
| + | unanalyzed | call on getId | 2010-07-22 12:56:56 |
| + | unanalyzed | call on getSubCategories | 2010-07-22 12:56:56 |
| + | unanalyzed | call on isRootCategory | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on java.lang.String:equals | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:indexOf | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:lastIndexOf | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:length | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:startsWith | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:substring | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.ArrayList | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.Collections:unmodifiableList | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.List:add | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.List:contains | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.List:iterator | 2010-07-16 16:14:15 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getLocale | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain.Category | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on net.sourceforge.pebble.util. I18n:getMessage | 2010-07-16 16:14:15 |
| + | unanalyzed | call on setBlog | 2010-07-22 12:56:56 |
| U |
test_vector | java.lang.String:equals(...)@111: {0}, {1} | 2010-07-16 16:14:15 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| U |
pre | (soft) init'ed(this.rootCategory) | 2010-07-16 16:14:15 |
| U |
pre | (soft) this.blog != null | 2010-07-16 16:14:15 |
| U |
post | init'ed(new ArrayList(Category#1) num objects) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new ArrayList(Category#2) num objects) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new ArrayList(Category#3) num objects) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#2) num objects) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#2).blogEntries) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#2).name) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#2).tags) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#2).tagsAsList) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#3) num objects) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#3).blogEntries) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#3).name) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#3).tags) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#3).tagsAsList) | 2010-07-16 16:14:15 |
| U |
post | init'ed(return_value) | 2010-07-16 16:14:15 |
| U |
post | init'ed(this.rootCategory) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#2).blog) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#2).id) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#2). parent) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#2). subCategories) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#3).blog) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#3).id) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#3). parent) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#3). subCategories) | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on addCategory | 2010-07-16 16:14:15 |
| + | unanalyzed | call on addSubCategory | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on getCategory | 2010-07-16 16:14:15 |
| + | unanalyzed | call on getId | 2010-07-22 12:56:56 |
| + | unanalyzed | call on getSubCategories | 2010-07-22 12:56:56 |
| + | unanalyzed | call on isRootCategory | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on java.lang.String:equals | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:indexOf | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:lastIndexOf | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:length | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:startsWith | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:substring | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.ArrayList | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.Collections:unmodifiableList | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.List:add | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.List:contains | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.List:iterator | 2010-07-16 16:14:15 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getLocale | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain.Category | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on net.sourceforge.pebble.util. I18n:getMessage | 2010-07-16 16:14:15 |
| + | unanalyzed | call on setBlog | 2010-07-22 12:56:56 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| - | pre | (soft) category != null | 2010-07-16 16:59:22 |
| U |
pre | (soft) init'ed(this.rootCategory) | 2010-07-16 16:14:15 |
| U |
pre | (soft) this.blog != null | 2010-07-16 16:14:15 |
| + | pre | category != null | 2010-07-22 12:56:56 |
| U |
pre | category.id != null | 2010-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 |
post | init'ed(new ArrayList(Category#1) num objects) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new ArrayList(Category#2) num objects) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new ArrayList(Category#3) num objects) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#2) num objects) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#2).blogEntries) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#2).name) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#2).tags) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#2).tagsAsList) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#3) num objects) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#3).blogEntries) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#3).name) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#3).tags) | 2010-07-16 16:14:15 |
| U |
post | init'ed(new Category(getCategory#3).tagsAsList) | 2010-07-16 16:14:15 |
| U |
post | init'ed(this.rootCategory) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(category.parent) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#2).blog) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#2).id) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#2). parent) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#3).blog) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#3).id) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(new Category(getCategory#3). parent) | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on addCategory | 2010-07-16 16:14:15 |
| + | unanalyzed | call on addSubCategory | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on getCategory | 2010-07-16 16:14:15 |
| + | unanalyzed | call on getId | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on getParent | 2010-07-16 16:14:15 |
| + | unanalyzed | call on getSubCategories | 2010-07-22 12:56:56 |
| + | unanalyzed | call on isRootCategory | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on java.lang.String:equals | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:indexOf | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:lastIndexOf | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:length | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:startsWith | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:substring | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.ArrayList | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.Collections:unmodifiableList | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.List:add | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.List:contains | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.List:iterator | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.List:remove | 2010-07-16 16:14:15 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getLocale | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain.Category | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on net.sourceforge.pebble.util. I18n:getMessage | 2010-07-16 16:14:15 |
| + | unanalyzed | call on setBlog | 2010-07-22 12:56:56 |