| method | void decorate(ContentDecoratorContext, BlogEntry) |
| pre | context != null |
| pre | (soft) blogEntry != null |
| presumption | java.util.Iterator:next(...)@35 != null |
| test_vector | java.lang.String:length(...)@50: {0}, {1..232-1} |
| test_vector | java.lang.String:length(...)@55: {0}, {1..232-1} |
| test_vector | java.util.Iterator:hasNext(...)@28: {0}, {1} |
| test_vector | java.util.Iterator:hasNext(...)@34: {1}, {0} |
| test_vector | java.util.Iterator:hasNext(...)@42: {0}, {1} |
| pre | init'ed(context.media) |
| pre | (soft) init'ed(blogEntry.blog) |
| pre | (soft) init'ed(blogEntry.categories) |
| pre | (soft) blogEntry.propertyChangeSupport != null |
| pre | (soft) init'ed(blogEntry.body) |
| pre | (soft) init'ed(blogEntry.excerpt) |
| presumption | category.blog@35 != null |
| presumption | category.id@35 != null |
| post | init'ed(blogEntry.body) |
| post | init'ed(blogEntry.excerpt) |
| unanalyzed | call on java.util.HashSet |
| pre | (soft) net/sourceforge/pebble/domain/BlogManager. instance != null |
| pre | (soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog) |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on getUrl |
| unanalyzed | call on java.lang.String:valueOf |
| unanalyzed | call on java.beans.PropertyChangeSupport:fireProper tyChange |
| unanalyzed | call on java.lang.String:trim |
| test_vector | context.media: {-231..-1, 1..232-1}, {0} |
| test_vector | blogEntry.body: Addr_Set{null}, Inverse{null} |
| test_vector | blogEntry.excerpt: 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 |