| method | void decorate(ContentDecoratorContext, BlogEntry) |
| pre | blogEntry != null |
| presumption | org.apache.commons.logging.LogFactory:getLog(... )@50 != null |
| test_vector | java.lang.String:length(...)@73: {1.. 232-1}, {0} |
| pre | blogEntry.blog.pluginProperties != null |
| pre | blogEntry.blog != null |
| pre | init'ed(blogEntry.excerpt) |
| pre | (soft) init'ed(blogEntry.body) |
| pre | (soft) blogEntry.propertyChangeSupport != null |
| post | init'ed(blogEntry.excerpt) |
| test_vector | net.sourceforge.pebble.PluginProperties:hasProperty (...)@64: {0}, {1} |
| unanalyzed | call on java.beans.PropertyChangeSupport:fireProper tyChange |
| unanalyzed | call on java.lang.String:trim |
| test_vector | blogEntry.excerpt: Addr_Set{null}, Inverse{null} |