Messages

Last Msg First Msg

method

org.apache.roller.weblogger.business. GuiceWebloggerProvider__static_init

method	void org.apache.roller.weblogger.business. GuiceWebloggerProvider()
pre	org/apache/roller/weblogger/config/WebloggerConfig. config != null
pre	org/apache/roller/weblogger/config/WebloggerConfig. log != null
presumption	java.lang.Class:forName(...)@51 != null
post	init'ed(this.injector)
post	this.webloggerInstance == null
unanalyzed	call on java.lang.String:trim
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on java.util.Properties:getProperty

Prev Msg Next Msg

+

click for all messages in this file low

conditional throw check might fail: requires moduleClassname != null

Prev Msg Next Msg

info method not available -- call on Injector com.google.inject. Guice:createInjector(Module[])

method	void org.apache.roller.weblogger.business. GuiceWebloggerProvider(String)
pre	moduleClassname != null
presumption	java.lang.Class:forName(...)@73 != null
post	init'ed(this.injector)
post	this.webloggerInstance == null

info method not available -- call on Injector com.google.inject. Guice:createInjector(Module[])

method	void bootstrap()
pre	this.injector != null
post	init'ed(this.webloggerInstance)

info method not available -- call on Object com.google.inject. Injector:getInstance(Class)

method	Weblogger getWeblogger()
pre	init'ed(this.webloggerInstance)
post	return_value == this.webloggerInstance
post	init'ed(return_value)