| -/+ |
Kind |
Annotation Text |
Date |
|---|
| U |
pre | entry != null | 2010-07-16 16:14:15 |
| U |
presumption | java.util.Iterator:next(...)@158 != null | 2010-07-16 16:14:15 |
| U |
presumption | net.sourceforge.pebble.domain.BlogEntry:getBlog(... )@166 != null | 2010-07-16 16:14:15 |
| U |
presumption | net.sourceforge.pebble.domain.BlogEntry:getCategori es(...)@156 != null | 2010-07-16 16:14:15 |
| U |
post | new Hashtable(adaptBlogEntry#1) num objects == 1 | 2010-07-16 16:14:15 |
| U |
post | return_value == &new Hashtable(adaptBlogEntry#1 ) | 2010-07-16 16:14:15 |
| + | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 12:56:56 |
| U |
test_vector | java.util.Iterator:hasNext(...)@157: {1}, {0} | 2010-07-16 16:14:15 |
| U |
test_vector | java.util.Iterator:hasNext(...)@160: {0}, {1} | 2010-07-16 16:14:15 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | log != null | 2010-07-22 12:56:56 |
| + | presumption | java.util.Iterator:next(...)@80 != null | 2010-07-22 12:56:56 |
| + | presumption | net.sourceforge.pebble.domain.Blog:getSearchIndex(. ..)@69 != null | 2010-07-22 12:56:56 |
| + | presumption | net.sourceforge.pebble.domain.BlogService:getBlogEn try(...)@81 != null | 2010-07-22 12:56:56 |
| + | presumption | net.sourceforge.pebble.index.SearchIndex:search(... )@69 != null | 2010-07-22 12:56:56 |
| + | presumption | net.sourceforge.pebble.search.SearchResults:getHits (...)@77 != null | 2010-07-22 12:56:56 |
| + | post | new Vector(search#2) num objects == 1 | 2010-07-22 12:56:56 |
| + | post | return_value == &new Vector(search#2) | 2010-07-22 12:56:56 |
| + | unanalyzed | call on formatPostId | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.Integer:valueOf | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.Hashtable | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.Hashtable:put | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.List:size | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.Map:put | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.Set:iterator | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain.Blog:getId | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getAuthor | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBlog | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBody | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getCategories | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getDate | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getId | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getTitle | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogManager:getBlog | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogManager:getInstance | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. Category:getId | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org.apache.xmlrpc.XmlRpcException | 2010-07-22 12:56:56 |
| + | test_vector | java.lang.String:equalsIgnoreCase(...)@71: {0}, {1} | 2010-07-22 12:56:56 |
| + | test_vector | java.util.Iterator:hasNext(...)@80: {1}, {0} | 2010-07-22 12:56:56 |
| + | test_vector | sortBy: Addr_Set{null}, Inverse{null} | 2010-07-22 12:56:56 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | log != null | 2010-07-22 12:56:56 |
| + | presumption | java.util.Iterator:next(...)@132 != null | 2010-07-22 12:56:56 |
| + | presumption | net.sourceforge.pebble.domain.Blog:getSearchIndex(. ..)@113 != null | 2010-07-22 12:56:56 |
| + | presumption | net.sourceforge.pebble.domain.BlogService:getBlogEn try(...)@133 != null | 2010-07-22 12:56:56 |
| + | presumption | net.sourceforge.pebble.index.SearchIndex:search(... )@113 != null | 2010-07-22 12:56:56 |
| + | presumption | net.sourceforge.pebble.util.Pageable:getListForPage (...)@128 != null | 2010-07-22 12:56:56 |
| + | post | new Vector(search#2) num objects == 1 | 2010-07-22 12:56:56 |
| + | post | return_value == &new Vector(search#2) | 2010-07-22 12:56:56 |
| + | unanalyzed | call on formatPostId | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.Integer:valueOf | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.Hashtable | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.Hashtable:put | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.List:size | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.Map:put | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.Set:iterator | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain.Blog:getId | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getAuthor | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBlog | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBody | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getCategories | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getDate | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getId | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getTitle | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogManager:getBlog | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogManager:getInstance | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. Category:getId | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org.apache.xmlrpc.XmlRpcException | 2010-07-22 12:56:56 |
| + | test_vector | java.lang.String:equalsIgnoreCase(...)@115: {0}, {1} | 2010-07-22 12:56:56 |
| + | test_vector | java.util.Iterator:hasNext(...)@132: {1}, {0} | 2010-07-22 12:56:56 |
| + | test_vector | pageSize: {1..232-1}, {-231..0} | 2010-07-22 12:56:56 |
| + | test_vector | sortBy: Addr_Set{null}, Inverse{null} | 2010-07-22 12:56:56 |