| -/+ |
Kind |
Annotation Text |
Date |
|---|
| U |
pre | (soft) content != null | 2010-07-16 16:14:15 |
| U |
pre | (soft) init'ed(content.blog) | 2010-07-16 16:14:15 |
| U |
pre | (soft) init'ed(content.tagsAsList) | 2010-07-16 16:14:15 |
| U |
pre | context != null | 2010-07-16 16:14:15 |
| U |
pre | init'ed(context.media) | 2010-07-16 16:14:15 |
| U |
presumption | java.util.Iterator:next(...)@56 != null | 2010-07-16 16:14:15 |
| U |
post | return_value != null | 2010-07-16 16:14:15 |
| - | unanalyzed | call on getAllTags | 2010-07-16 16:59:22 |
| U |
unanalyzed | call on getBlog | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on getRootCategory | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on getTagsAsList | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on getUrl | 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:length | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:substring | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on java.lang.String:valueOf | 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:reverse | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.Collections:sort | 2010-07-16 16:14:15 |
| 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 |
| 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 |
| U |
unanalyzed | call on java.util.Set:iterator | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.Set:size | 2010-07-16 16:14:15 |
| + | unanalyzed | call on net.sourceforge.pebble.PebbleContext:getCon figuration | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.PebbleContext:getIns tance | 2010-07-22 12:56:56 |
| U |
test_vector | context.media: {-231..-1, 1..232-1}, {0} | 2010-07-16 16:14:15 |
| U |
test_vector | java.lang.String:equals(...)@58: {1}, {0} | 2010-07-16 16:14:15 |
| U |
test_vector | java.util.Iterator:hasNext(...)@49: {0}, {1} | 2010-07-16 16:14:15 |
| U |
test_vector | java.util.Iterator:hasNext(...)@54: {1}, {0} | 2010-07-16 16:14:15 |
| U |
test_vector | java.util.Iterator:hasNext(...)@68: {0}, {1} | 2010-07-16 16:14:15 |
| U |
test_vector | tag.name@56: Addr_Set{null}, Inverse{null} | 2010-07-16 16:14:15 |