Messages

Last Msg First Msg

method	org.apache.roller.weblogger.ui.core.RollerContext_ _static_init
post	init'ed(log)
post	servletContext == null

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

method

void org.apache.roller.weblogger.ui.core. RollerContext()

info method not available -- call on void org.springframework.web.context. ContextLoaderListener()

method	UIPluginManager getUIPluginManager()
pre	init'ed(org/apache/roller/weblogger/ui/core/plugins /UIPluginManagerImpl.instance)
post	return_value == org/apache/roller/weblogger/ui/core /plugins/UIPluginManagerImpl.instance
post	init'ed(return_value)

method	ServletContext getServletContext()
pre	init'ed(servletContext)
post	return_value == servletContext
post	init'ed(return_value)

method	void contextInitialized(ServletContextEvent)
pre	log != null
pre	sce != null
presumption	init'ed(java.io.File.separator)
presumption	javax.servlet.ServletContext:getRealPath(...)@109 != null
presumption	javax.servlet.ServletContextEvent:getServletContext (...)@101 != null
presumption	org.apache.roller.planet.business.PlanetFactory:get Planet(...)@187 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@159 != null
post	(soft) servletContext != null
unanalyzed	call on org.apache.commons.logging.Log:info
unanalyzed	call on java.util.Properties
unanalyzed	call on javax.servlet.ServletContext:getResourceAsS tream
unanalyzed	call on java.util.Properties:load
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerConfig:getBooleanProperty
unanalyzed	call on java.util.Properties:get
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerConfig:getProperty
unanalyzed	call on java.util.Properties:setProperty
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on org.apache.velocity.runtime. RuntimeSingleton:init
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.roller.weblogger. WebloggerException
unanalyzed	call on org.springframework.web.context.support. WebApplicationContextUtils:getRequiredWebApplicatio nContext
unanalyzed	call on java.lang.Boolean:valueOf
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on javax.servlet.ServletContext:setAttribute
unanalyzed	call on org.springframework.context. ApplicationContext:getBean
unanalyzed	call on org.acegisecurity.providers. ProviderManager:getProviders
unanalyzed	call on java.util.List:add
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on org.acegisecurity.providers.encoding. ShaPasswordEncoder
unanalyzed	call on org.acegisecurity.providers.encoding. Md5PasswordEncoder
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on org.acegisecurity.providers.dao. DaoAuthenticationProvider:setPasswordEncoder
unanalyzed	call on org.acegisecurity.ui.webapp. AuthenticationProcessingFilterEntryPoint:setForceHt tps
test_vector	java.lang.String:endsWith(...)@110: {1}, {0}
test_vector	org.apache.roller.weblogger.business. WebloggerFactory:isBootstrapped(...)@168: {0}, {1}
test_vector	org.apache.roller.weblogger.business.startup. WebloggerStartup:isPrepared(...)@147: {1}, {0}
test_vector	org.apache.roller.weblogger.config.WebloggerConfig: getBooleanProperty(...)@169: {0}, {1}

info method not available -- call on void org.springframework.web.context. ContextLoaderListener:contextInitialized(ServletCon textEvent)

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

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

info method not available -- call on void org.apache.roller.weblogger. business.startup.WebloggerStartup:prepare()

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

info method not available -- call on bool org.apache.roller.weblogger. business.startup.WebloggerStartup:isPrepared()

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

info method not available -- call on void org.apache.roller.weblogger. business.WebloggerFactory:bootstrap()

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on void org.apache.roller.weblogger. business.Weblogger:initialize()

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

info method not available -- call on bool org.apache.roller.weblogger. business.WebloggerFactory:isBootstrapped()

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

info method not available -- call on void org.apache.roller.planet.business. startup.PlanetStartup:prepare()

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

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

info method not available -- call on void org.apache.roller.planet.business. GuicePlanetProvider(String)

info method not available -- call on void org.apache.roller.planet.business. PlanetFactory:bootstrap(PlanetProvider)

info method not available -- call on Planet org.apache.roller.planet. business.PlanetFactory:getPlanet()

info method not available -- call on void org.apache.roller.planet.business. Planet:initialize()

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

method	void contextDestroyed(ServletContextEvent)
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@215 != null

method	void setupVelocity()
pre	log != null
pre	servletContext != null
test_vector	org.apache.roller.weblogger.config.WebloggerConfig: getBooleanProperty(...)@236: {0}, {1}

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

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.runtime. RuntimeSingleton:init(Properties)

method	void initializeSecurityFeatures(ServletContext)
pre	context != null
pre	log != null
presumption	java.lang.Boolean:valueOf(...)@265 != null
presumption	java.lang.Boolean:valueOf(...)@278 != null
presumption	org.acegisecurity.providers.ProviderManager:getProv iders(...)@273 != null
presumption	org.apache.roller.weblogger.config.WebloggerConfig: getProperty(...)@283 != null
presumption	org.springframework.context.ApplicationContext:getB ean(...)@272 != null
presumption	org.springframework.context.ApplicationContext:getB ean(...)@281 != null
presumption	org.springframework.context.ApplicationContext:getB ean(...)@301 != null
presumption	org.springframework.web.context.support. WebApplicationContextUtils:getRequiredWebApplicatio nContext(...)@260 != null
test_vector	java.lang.Boolean:booleanValue(...)@265: {0}, {1}
test_vector	java.lang.Boolean:booleanValue(...)@278: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@285: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@287: {0}, {1}
test_vector	org.apache.roller.weblogger.config.WebloggerConfig: getBooleanProperty(...)@300: {0}, {1}

info method not available -- call on WebApplicationContext org. springframework.web.context.support. WebApplicationContextUtils:getRequiredWebApplicatio nContext(ServletContext)

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:info(Object)

info method not available -- call on Object org.springframework.context. ApplicationContext:getBean(String)

info method not available -- call on List org.acegisecurity.providers. ProviderManager:getProviders()

info method not available -- call on Object org.springframework.context. ApplicationContext:getBean(String)

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

info method not available -- call on Object org.springframework.context. ApplicationContext:getBean(String)

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

info method not available -- call on void org.acegisecurity.providers. encoding.ShaPasswordEncoder()

info method not available -- call on void org.acegisecurity.providers. encoding.Md5PasswordEncoder()

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

info method not available -- call on void org.acegisecurity.providers.dao. DaoAuthenticationProvider:setPasswordEncoder(Passwo rdEncoder)

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

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

info method not available -- call on Object org.springframework.context. ApplicationContext:getBean(String)

info method not available -- call on void org.acegisecurity.ui.webapp. AuthenticationProcessingFilterEntryPoint:setForceHt tps(bool)

method	void flushAuthenticationUserCache(String)
pre	init'ed(servletContext)
presumption	org.springframework.web.context.support. WebApplicationContextUtils:getRequiredWebApplicatio nContext(...)@338 != null
test_vector	org.springframework.context.ApplicationContext:getB ean(...)@340: Addr_Set{null}, Inverse{null}

info method not available -- call on WebApplicationContext org. springframework.web.context.support. WebApplicationContextUtils:getRequiredWebApplicatio nContext(ServletContext)

info method not available -- call on Object org.springframework.context. ApplicationContext:getBean(String)

info method not available -- call on void org.acegisecurity.providers.dao. UserCache:removeUserFromCache(String)

method	AutoProvision getAutoProvision()
pre	(soft) log != null
presumption	interfaces.length@370 <= 2³²-1
presumption	java.lang.Class:getInterfaces(...)@370 != null
post	init'ed(return_value)
test_vector	java.lang.Class:forName(...)@360: Inverse{null}, Addr_Set{null}
test_vector	java.lang.Object:equals(...)@372: {0}, {1}
test_vector	org.apache.roller.weblogger.config.WebloggerConfig: getProperty(...)@352: Inverse{null}, Addr_Set{null}

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:warn(Object, Throwable)

Prev Msg Next Msg

+

click for all messages in this file medium

null dereference check might fail: requires not_init'ed(interfaces[i ])

Prev Msg Next Msg

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

	info	method not available	-- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()
	info	method not available	-- call on void org.apache.roller.weblogger. business.Weblogger:initialize()

	info	method not available	-- call on Planet org.apache.roller.planet. business.PlanetFactory:getPlanet()
	info	method not available	-- call on void org.apache.roller.planet.business. Planet:initialize()

	info	method not available	-- call on List org.acegisecurity.providers. ProviderManager:getProviders()
	info	method not available	-- call on Object org.springframework.context. ApplicationContext:getBean(String)