| method | void org.apache.roller.weblogger.ui.rendering. velocity.VelocityRenderer(Template) |
| pre | org/apache/roller/weblogger/ui/rendering/velocity/R ollerVelocity.velocityEngine != null |
| pre | (soft) template != null |
| post | init'ed(this.parseException) |
| post | this.renderTemplate == template |
| post | (soft) this.renderTemplate != null |
| post | init'ed(this.velocityDecorator) |
| post | init'ed(this.velocityTemplate) |
| unanalyzed | call on org.apache.velocity.app.VelocityEngine:getT emplate |
| test_vector | org.apache.roller.weblogger.pojos.ThemeTemplate:get Decorator(...)@69: Addr_Set{null}, Inverse{null} |