| method | String generateDecorationHtml(ContentDecoratorCont ext, PageBasedContent) |
| pre | context != null |
| pre | (soft) content != null |
| presumption | java.util.Iterator:next(...)@56 != null |
| post | return_value != null |
| unanalyzed | call on java.lang.String:valueOf |
| test_vector | java.lang.String:equals(...)@58: {1}, {0} |
| test_vector | java.util.Iterator:hasNext(...)@49: {0}, {1} |
| test_vector | java.util.Iterator:hasNext(...)@54: {1}, {0} |
| test_vector | java.util.Iterator:hasNext(...)@68: {0}, {1} |
| pre | init'ed(context.media) |
| pre | (soft) init'ed(content.blog) |
| pre | (soft) init'ed(content.tagsAsList) |
| unanalyzed | call on getBlog |
| unanalyzed | call on getUrl |
| unanalyzed | call on getTagsAsList |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on java.util.Collections:sort |
| unanalyzed | call on java.util.HashSet |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on java.util.Set:iterator |
| unanalyzed | call on java.util.List:contains |
| unanalyzed | call on java.util.Set:size |
| unanalyzed | call on java.util.Collections:reverse |
| unanalyzed | call on getRootCategory |
| unanalyzed | call on java.util.List:addAll |
| test_vector | context.media: {-231..-1, 1..232-1}, {0} |
| test_vector | tag.name@56: Addr_Set{null}, Inverse{null} |
| unanalyzed | call on java.lang.String:indexOf |
| unanalyzed | call on net.sourceforge.pebble.PebbleContext:getIns tance |
| unanalyzed | call on net.sourceforge.pebble.PebbleContext:getCon figuration |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on java.lang.String:substring |