| method | void decorate(ContentDecoratorContext, BlogEntry) |
| pre | blogEntry != null |
| pre | (soft) context != null |
| test_vector | java.lang.String:length(...)@27: {0}, {1..232-1} |
| pre | init'ed(blogEntry.originalPermalink) |
| pre | init'ed(blogEntry.excerpt) |
| pre | (soft) blogEntry.blog != null |
| pre | (soft) blogEntry.propertyChangeSupport != null |
| pre | (soft) init'ed(blogEntry.blog.id) |
| pre | (soft) init'ed(context.view) |
| pre | (soft) init'ed(blogEntry.body) |
| post | (soft) init'ed(blogEntry.body) |
| post | init'ed(blogEntry.excerpt) |
| post | possibly_updated(blogEntry.permalink) |
| pre | (soft) net/sourceforge/pebble/domain/BlogManager. instance != null |
| unanalyzed | call on getBlog |
| unanalyzed | call on getLocalPermalink |
| unanalyzed | call on getUrl |
| pre | (soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog) |
| unanalyzed | call on java.lang.String:valueOf |
| unanalyzed | call on java.beans.PropertyChangeSupport:fireProper tyChange |
| unanalyzed | call on java.lang.String:trim |
| unanalyzed | call on java.lang.String:substring |
| unanalyzed | call on getPermalinkProvider |
| 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 getPermalink |
| test_vector | blogEntry.originalPermalink: Addr_Set{null}, Inverse{null} |
| test_vector | context.view: {-231..-1, 1.. 232-1}, {0} |
| test_vector | blogEntry.excerpt: Addr_Set{null}, Inverse{null} |