Messages

method

void org.apache.roller.weblogger.ui.rendering. velocity.RollerVelocity()

method	org.apache.roller.weblogger.ui.rendering.velocity. RollerVelocity__static_init
presumption	org.apache.commons.logging.LogFactory:getLog(... )@43 != null
presumption	org.apache.roller.weblogger.ui.core. RollerContext:getServletContext(...)@55 != null
post	","._tainted == 0
post	"Velocity engine props = "._tainted == 0
post	(soft) log != null
post	velocityEngine == &new VelocityEngine(RollerVel ocity__static_init#4)
post	new VelocityEngine(RollerVelocity__static_init#4) num objects == 1
test_vector	org.apache.roller.weblogger.config.WebloggerConfig: getBooleanProperty(...)@61: {0}, {1}

info method not available -- call on Log org.apache.commons.logging. LogFactory:getLog(Class)

info method not available -- call on void org.apache.commons.logging. Log:info(Object)

info method not available -- call on ServletContext org.apache.roller. weblogger.ui.core.RollerContext:getServletContext()

info method not available -- call on bool org.apache.roller.weblogger.config. WebloggerConfig:getBooleanProperty(String)

info method not available -- call on String org.apache.roller.weblogger. config.WebloggerConfig:getProperty(String)

info method not available -- call on void org.apache.commons.logging. Log:debug(Object)

info method not available -- call on void org.apache.velocity.app. VelocityEngine()

info method not available -- call on void org.apache.velocity.app. VelocityEngine:init(Properties)

method	VelocityEngine getEngine()
pre	init'ed(velocityEngine)
post	return_value == velocityEngine
post	init'ed(return_value)

method	Template getTemplate(String)
pre	velocityEngine != null
post	init'ed(return_value)

info method not available -- call on Template org.apache.velocity.app. VelocityEngine:getTemplate(String)

method	Template getTemplate(String, String)
pre	velocityEngine != null
post	init'ed(return_value)

info method not available -- call on Template org.apache.velocity.app. VelocityEngine:getTemplate(String, String)