Last Msg First Msg
























method void org.apache.roller.weblogger.ui.rendering. velocity.ThemeResourceLoader()









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











method org.apache.roller.weblogger.ui.rendering.velocity. ThemeResourceLoader__static_init
presumptionorg.apache.commons.logging.LogFactory:getFactory(.. .)@51 != null
postinit'ed(mLogger)









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











method void init(ExtendedProperties)
premLogger != null









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











method InputStream getResourceStream(String)
pre(soft) mLogger != null
pre(soft) name != null
presumptionjava.lang.String:length(...)@65 >= 1









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










Prev Msg Next Msg
+
low
use of default initcheck might fail: requires init'ed(split.length)
+
warning
test always goes same waytest predetermined because split.length == 0
Prev Msg Next Msg










Prev Msg Next Msg
+
high
conditional throwcheck fails here: requires split.length >= 2
  infomethod not available-- call on void org.apache.velocity.exception. ResourceNotFoundException(String)
Prev Msg Next Msg










Prev Msg Next Msg
+
warning
dead codedead code here because split.length == 0
Prev Msg Next Msg










  infodead code continuesdead code continues











method bool isSourceModified(Resource)
premLogger != null
preresource != null
postinit'ed(return_value)
unanalyzedcall on org.apache.commons.logging.Log:debug
unanalyzedcall on java.lang.String:length
unanalyzedcall on java.lang.String:split
unanalyzedcall on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getThemeManager
unanalyzedcall on org.apache.roller.weblogger.business. themes.ThemeManager:getTheme
unanalyzedcall on org.apache.roller.weblogger.pojos. Theme:getTemplateByName
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on org.apache.velocity.runtime.resource. Resource:getName
unanalyzedcall on org.apache.roller.weblogger.pojos. ThemeTemplate:getLastModified
unanalyzedcall on java.util.Date:getTime









  infomethod not available-- call on long org.apache.velocity.runtime. resource.Resource:getLastModified()











method long getLastModified(Resource)
premLogger != null
preresource != null
postreturn_value == 0
test_vectorjava.lang.String:length(...)@119: {1.. 232-1}, {0}
test_vectororg.apache.velocity.runtime.resource. Resource:getName(...)@115: Addr_Set{null}, Inverse{null}









  infomethod not available-- call on String org.apache.velocity.runtime. resource.Resource:getName()










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










Prev Msg Next Msg
+
low
use of default initcheck might fail: requires init'ed(split.length)
+
warning
test always goes same waytest predetermined because split.length == 0
Prev Msg Next Msg










Prev Msg Next Msg
+
warning
dead codedead code here because split.length == 0
  infodead code continuesdead code continues
Prev Msg Next Msg










  infodead code continuesdead code continues










  infodead code continuesdead code continues