method void org.apache.roller.weblogger.ui.rendering. velocity.WebappResourceLoader()
postthis.mContext == null









  infomethod not available-- call on void org.apache.velocity.runtime. resource.loader.ResourceLoader()











method org.apache.roller.weblogger.ui.rendering.velocity. WebappResourceLoader__static_init
postinit'ed(log)









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











method void init(ExtendedProperties)
prelog != null
preinit'ed(this.mContext)
presumptionorg.apache.roller.weblogger.ui.core. RollerContext:getServletContext(...)@54 != null
post(soft) this.mContext != null
test_vectorthis.mContext: Inverse{null}, Addr_Set{null}









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










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










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










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










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











method InputStream getResourceStream(String)
prelog != null
prename != null
prethis.mContext != null
presumptionjava.lang.String:length(...)@72 >= 1
presumptionjavax.servlet.ServletContext:getResourceAsStream(.. .)@82 != null
post(soft) return_value != null
test_vectorjava.lang.String:startsWith(...)@79: {1}, {0}









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











method bool isSourceModified(Resource)
postreturn_value == 0










method long getLastModified(Resource)
postreturn_value == 0