| -/+ |
Kind |
Annotation Text |
Date |
|---|
| U |
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#5).name != null | 2010-07-16 16:14:15 |
| U |
pre | event != null | 2010-07-16 16:14:15 |
| U |
presumption | blogEntry.blog@20 != null | 2010-07-16 16:14:15 |
| U |
presumption | blogEntry.state@19 != null | 2010-07-16 16:14:15 |
| U |
presumption | blogEntry.state@20 != null | 2010-07-16 16:14:15 |
| + | presumption | getBlog(...).categoryIndex@20 != null | 2010-07-22 12:56:56 |
| + | presumption | getCategoryIndex(...).blog@20 != null | 2010-07-22 12:56:56 |
| U |
presumption | net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource(...)@91 != null | 2010-07-16 16:14:15 |
| + | post | init'ed(new ArrayList(Category#1) num objects) | 2010-07-22 12:56:56 |
| + | post | init'ed(new ArrayList(Category#2) num objects) | 2010-07-22 12:56:56 |
| + | post | init'ed(new ArrayList(Category#3) num objects) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#2) num objects) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#2).blogEntries) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#2).name) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#2).subCategories) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#2).tags) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#2).tagsAsList) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#3) num objects) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#3).blogEntries) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#3).name) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#3).subCategories) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#3).tags) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#3).tagsAsList) | 2010-07-22 12:56:56 |
| + | post | possibly_updated(new Category(getCategory#2).blog) | 2010-07-22 12:56:56 |
| + | post | possibly_updated(new Category(getCategory#2).id) | 2010-07-22 12:56:56 |
| + | post | possibly_updated(new Category(getCategory#2). parent) | 2010-07-22 12:56:56 |
| + | post | possibly_updated(new Category(getCategory#3).blog) | 2010-07-22 12:56:56 |
| + | post | possibly_updated(new Category(getCategory#3).id) | 2010-07-22 12:56:56 |
| + | post | possibly_updated(new Category(getCategory#3). parent) | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on addBlogEntry | 2010-07-16 16:14:15 |
| + | unanalyzed | call on addCategory | 2010-07-22 12:56:56 |
| + | unanalyzed | call on addSubCategory | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on getBlogEntries | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on getCategories | 2010-07-16 16:14:15 |
| + | unanalyzed | call on getCategory | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on getId | 2010-07-16 16:14:15 |
| + | unanalyzed | call on getSubCategories | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on isPublished | 2010-07-16 16:14:15 |
| + | unanalyzed | call on isRootCategory | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on java.io.BufferedWriter | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.BufferedWriter:close | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.BufferedWriter:flush | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.BufferedWriter:newLine | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.BufferedWriter:write | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.File | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.FileWriter | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:equals | 2010-07-16 16:14:15 |
| + | unanalyzed | call on java.lang.String:indexOf | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:lastIndexOf | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:length | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:startsWith | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:substring | 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:sort | 2010-07-16 16:14:15 |
| + | unanalyzed | call on java.util.Collections:unmodifiableList | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on java.util.HashSet | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.List:add | 2010-07-16 16:14:15 |
| + | unanalyzed | call on java.util.List:addAll | 2010-07-22 12:56:56 |
| 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.Set:iterator | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory | 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 |
| + | unanalyzed | call on net.sourceforge.pebble.util. I18n:getMessage | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on org.apache.commons.logging.Log:error | 2010-07-16 16:14:15 |
| + | unanalyzed | call on setBlog | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on writeIndex | 2010-07-16 16:14:15 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| U |
pre | (soft) event.propertyChangeEvents != null | 2010-07-16 16:14:15 |
| U |
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#5).name != null | 2010-07-16 16:14:15 |
| U |
pre | event != null | 2010-07-16 16:14:15 |
| U |
presumption | blogEntry.blog@45 != null | 2010-07-16 16:14:15 |
| U |
presumption | blogEntry.blog@54 != null | 2010-07-16 16:14:15 |
| U |
presumption | blogEntry.state@43 != null | 2010-07-16 16:14:15 |
| U |
presumption | blogEntry.state@54 != null | 2010-07-16 16:14:15 |
| + | presumption | getBlog(...).categoryIndex@45 != null | 2010-07-22 12:56:56 |
| + | presumption | getBlog(...).categoryIndex@54 != null | 2010-07-22 12:56:56 |
| + | presumption | getCategoryIndex(...).blog@45 != null | 2010-07-22 12:56:56 |
| + | presumption | getCategoryIndex(...).blog@54 != null | 2010-07-22 12:56:56 |
| U |
presumption | java.beans.PropertyChangeEvent:getPropertyName(... )@50 != null | 2010-07-16 16:14:15 |
| U |
presumption | java.util.Iterator:next(...)@49 != null | 2010-07-16 16:14:15 |
| U |
presumption | net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource(...)@91 != null | 2010-07-16 16:14:15 |
| + | post | init'ed(new ArrayList(Category#1) num objects) | 2010-07-22 12:56:56 |
| + | post | init'ed(new ArrayList(Category#2) num objects) | 2010-07-22 12:56:56 |
| + | post | init'ed(new ArrayList(Category#3) num objects) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#2) num objects) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#2).blog) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#2).blogEntries) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#2).id) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#2).name) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#2).parent) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#2).subCategories) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#2).tags) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#2).tagsAsList) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#3) num objects) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#3).blog) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#3).blogEntries) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#3).id) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#3).name) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#3).parent) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#3).subCategories) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#3).tags) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#3).tagsAsList) | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on addBlogEntry | 2010-07-16 16:14:15 |
| + | unanalyzed | call on addCategory | 2010-07-22 12:56:56 |
| + | unanalyzed | call on addSubCategory | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on getBlogEntries | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on getCategories | 2010-07-16 16:14:15 |
| + | unanalyzed | call on getCategory | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on getId | 2010-07-16 16:14:15 |
| + | unanalyzed | call on getSubCategories | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on isPublished | 2010-07-16 16:14:15 |
| + | unanalyzed | call on isRootCategory | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on java.io.BufferedWriter | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.BufferedWriter:close | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.BufferedWriter:flush | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.BufferedWriter:newLine | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.BufferedWriter:write | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.File | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.FileWriter | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:equals | 2010-07-16 16:14:15 |
| + | unanalyzed | call on java.lang.String:indexOf | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:lastIndexOf | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:length | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:startsWith | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:substring | 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:sort | 2010-07-16 16:14:15 |
| + | unanalyzed | call on java.util.Collections:unmodifiableList | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on java.util.HashSet | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.List:add | 2010-07-16 16:14:15 |
| + | unanalyzed | call on java.util.List:addAll | 2010-07-22 12:56:56 |
| 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 |
| U |
unanalyzed | call on java.util.Set:iterator | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory | 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 |
| + | unanalyzed | call on net.sourceforge.pebble.util. I18n:getMessage | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on org.apache.commons.logging.Log:error | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on removeBlogEntry | 2010-07-16 16:14:15 |
| + | unanalyzed | call on setBlog | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on writeIndex | 2010-07-16 16:14:15 |
| U |
test_vector | java.lang.String:equals(...)@53: {0}, {1} | 2010-07-16 16:14:15 |
| U |
test_vector | java.util.Iterator:hasNext(...)@48: {1}, {0} | 2010-07-16 16:14:15 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| U |
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#5).name != null | 2010-07-16 16:14:15 |
| U |
pre | event != null | 2010-07-16 16:14:15 |
| U |
presumption | blogEntry.blog@67 != null | 2010-07-16 16:14:15 |
| U |
presumption | blogEntry.state@67 != null | 2010-07-16 16:14:15 |
| + | presumption | getBlog(...).categoryIndex@67 != null | 2010-07-22 12:56:56 |
| + | presumption | getCategoryIndex(...).blog@67 != null | 2010-07-22 12:56:56 |
| U |
presumption | net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource(...)@91 != null | 2010-07-16 16:14:15 |
| + | post | init'ed(new ArrayList(Category#1) num objects) | 2010-07-22 12:56:56 |
| + | post | init'ed(new ArrayList(Category#2) num objects) | 2010-07-22 12:56:56 |
| + | post | init'ed(new ArrayList(Category#3) num objects) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#2) num objects) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#2).blogEntries) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#2).name) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#2).subCategories) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#2).tags) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#2).tagsAsList) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#3) num objects) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#3).blogEntries) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#3).name) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#3).subCategories) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#3).tags) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#3).tagsAsList) | 2010-07-22 12:56:56 |
| + | post | possibly_updated(new Category(getCategory#2).blog) | 2010-07-22 12:56:56 |
| + | post | possibly_updated(new Category(getCategory#2).id) | 2010-07-22 12:56:56 |
| + | post | possibly_updated(new Category(getCategory#2). parent) | 2010-07-22 12:56:56 |
| + | post | possibly_updated(new Category(getCategory#3).blog) | 2010-07-22 12:56:56 |
| + | post | possibly_updated(new Category(getCategory#3).id) | 2010-07-22 12:56:56 |
| + | post | possibly_updated(new Category(getCategory#3). parent) | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on addBlogEntry | 2010-07-16 16:14:15 |
| + | unanalyzed | call on addCategory | 2010-07-22 12:56:56 |
| + | unanalyzed | call on addSubCategory | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on getBlogEntries | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on getCategories | 2010-07-16 16:14:15 |
| + | unanalyzed | call on getCategory | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on getId | 2010-07-16 16:14:15 |
| + | unanalyzed | call on getSubCategories | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on isPublished | 2010-07-16 16:14:15 |
| + | unanalyzed | call on isRootCategory | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on java.io.BufferedWriter | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.BufferedWriter:close | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.BufferedWriter:flush | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.BufferedWriter:newLine | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.BufferedWriter:write | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.File | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.FileWriter | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:equals | 2010-07-16 16:14:15 |
| + | unanalyzed | call on java.lang.String:indexOf | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:lastIndexOf | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:length | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:startsWith | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:substring | 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:sort | 2010-07-16 16:14:15 |
| + | unanalyzed | call on java.util.Collections:unmodifiableList | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on java.util.HashSet | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.List:add | 2010-07-16 16:14:15 |
| + | unanalyzed | call on java.util.List:addAll | 2010-07-22 12:56:56 |
| 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.Set:iterator | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory | 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 |
| + | unanalyzed | call on net.sourceforge.pebble.util. I18n:getMessage | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on org.apache.commons.logging.Log:error | 2010-07-16 16:14:15 |
| + | unanalyzed | call on setBlog | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on writeIndex | 2010-07-16 16:14:15 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| U |
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#5).name != null | 2010-07-16 16:14:15 |
| U |
pre | event != null | 2010-07-16 16:14:15 |
| U |
presumption | blogEntry.blog@32 != null | 2010-07-16 16:14:15 |
| U |
presumption | blogEntry.state@31 != null | 2010-07-16 16:14:15 |
| + | presumption | getBlog(...).categoryIndex@32 != null | 2010-07-22 12:56:56 |
| + | presumption | getCategoryIndex(...).blog@32 != null | 2010-07-22 12:56:56 |
| U |
presumption | net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource(...)@91 != null | 2010-07-16 16:14:15 |
| + | post | init'ed(new ArrayList(Category#1) num objects) | 2010-07-22 12:56:56 |
| + | post | init'ed(new ArrayList(Category#2) num objects) | 2010-07-22 12:56:56 |
| + | post | init'ed(new ArrayList(Category#3) num objects) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#2) num objects) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#2).blogEntries) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#2).name) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#2).tags) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#2).tagsAsList) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#3) num objects) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#3).blogEntries) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#3).name) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#3).tags) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#3).tagsAsList) | 2010-07-22 12:56:56 |
| + | post | possibly_updated(new Category(getCategory#2).blog) | 2010-07-22 12:56:56 |
| + | post | possibly_updated(new Category(getCategory#2).id) | 2010-07-22 12:56:56 |
| + | post | possibly_updated(new Category(getCategory#2). parent) | 2010-07-22 12:56:56 |
| + | post | possibly_updated(new Category(getCategory#2). subCategories) | 2010-07-22 12:56:56 |
| + | post | possibly_updated(new Category(getCategory#3).blog) | 2010-07-22 12:56:56 |
| + | post | possibly_updated(new Category(getCategory#3).id) | 2010-07-22 12:56:56 |
| + | post | possibly_updated(new Category(getCategory#3). parent) | 2010-07-22 12:56:56 |
| + | post | possibly_updated(new Category(getCategory#3). subCategories) | 2010-07-22 12:56:56 |
| + | unanalyzed | call on addCategory | 2010-07-22 12:56:56 |
| + | unanalyzed | call on addSubCategory | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on getBlogEntries | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on getCategories | 2010-07-16 16:14:15 |
| + | unanalyzed | call on getCategory | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on getId | 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.io.BufferedWriter | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.BufferedWriter:close | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.BufferedWriter:flush | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.BufferedWriter:newLine | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.BufferedWriter:write | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.File | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.FileWriter | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:equals | 2010-07-16 16:14:15 |
| + | unanalyzed | call on java.lang.String:indexOf | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:lastIndexOf | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:length | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:startsWith | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:substring | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on java.util.ArrayList | 2010-07-16 16:14:15 |
| + | unanalyzed | call on java.util.Collections:sort | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.Collections:unmodifiableList | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.List:addAll | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.List:contains | 2010-07-22 12:56:56 |
| 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 |
| U |
unanalyzed | call on net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory | 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 |
| + | unanalyzed | call on net.sourceforge.pebble.util. I18n:getMessage | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on org.apache.commons.logging.Log:error | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on removeBlogEntry | 2010-07-16 16:14:15 |
| + | unanalyzed | call on setBlog | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on writeIndex | 2010-07-16 16:14:15 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| U |
pre | event != null | 2010-07-16 16:14:15 |
| U |
presumption | blogEntry.blog@77 != null | 2010-07-16 16:14:15 |
| + | presumption | getBlog(...).categoryIndex@77 != null | 2010-07-22 12:56:56 |
| + | presumption | getCategoryIndex(...).blog@77 != null | 2010-07-22 12:56:56 |
| U |
presumption | net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource(...)@91 != null | 2010-07-16 16:14:15 |
| + | post | init'ed(new ArrayList(Category#1) num objects) | 2010-07-22 12:56:56 |
| + | post | init'ed(new ArrayList(Category#2) num objects) | 2010-07-22 12:56:56 |
| + | post | init'ed(new ArrayList(Category#3) num objects) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#2) num objects) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#2).blogEntries) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#2).name) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#2).tags) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#2).tagsAsList) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#3) num objects) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#3).blogEntries) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#3).name) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#3).tags) | 2010-07-22 12:56:56 |
| + | post | init'ed(new Category(getCategory#3).tagsAsList) | 2010-07-22 12:56:56 |
| + | post | possibly_updated(new Category(getCategory#2).blog) | 2010-07-22 12:56:56 |
| + | post | possibly_updated(new Category(getCategory#2).id) | 2010-07-22 12:56:56 |
| + | post | possibly_updated(new Category(getCategory#2). parent) | 2010-07-22 12:56:56 |
| + | post | possibly_updated(new Category(getCategory#2). subCategories) | 2010-07-22 12:56:56 |
| + | post | possibly_updated(new Category(getCategory#3).blog) | 2010-07-22 12:56:56 |
| + | post | possibly_updated(new Category(getCategory#3).id) | 2010-07-22 12:56:56 |
| + | post | possibly_updated(new Category(getCategory#3). parent) | 2010-07-22 12:56:56 |
| + | post | possibly_updated(new Category(getCategory#3). subCategories) | 2010-07-22 12:56:56 |
| + | unanalyzed | call on addCategory | 2010-07-22 12:56:56 |
| + | unanalyzed | call on addSubCategory | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on getBlogEntries | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on getCategories | 2010-07-16 16:14:15 |
| + | unanalyzed | call on getCategory | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on getId | 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.io.BufferedWriter | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.BufferedWriter:close | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.BufferedWriter:flush | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.BufferedWriter:newLine | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.BufferedWriter:write | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.File | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.FileWriter | 2010-07-16 16:14:15 |
| + | unanalyzed | call on java.lang.String:equals | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:indexOf | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:lastIndexOf | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:length | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:startsWith | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:substring | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on java.util.ArrayList | 2010-07-16 16:14:15 |
| + | unanalyzed | call on java.util.Collections:sort | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.Collections:unmodifiableList | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.List:addAll | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.List:contains | 2010-07-22 12:56:56 |
| 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 |
| U |
unanalyzed | call on net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory | 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 |
| + | unanalyzed | call on net.sourceforge.pebble.util. I18n:getMessage | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on org.apache.commons.logging.Log:error | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on removeBlogEntry | 2010-07-16 16:14:15 |
| + | unanalyzed | call on setBlog | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on writeIndex | 2010-07-16 16:14:15 |