Last Msg First Msg
























method void org.apache.roller.weblogger.ui.struts2.core. Install()
postthis.databaseName == &"Unknown"
postthis.error == 0
postthis.success == 0
postthis.messages == null
postthis.rootCauseException == null









  infomethod not available-- call on void org.apache.roller.weblogger.ui. struts2.util.UIAction()











method org.apache.roller.weblogger.ui.struts2.core. Install__static_init
postinit'ed(log)









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











method bool isUserRequired()
postreturn_value == 0










method bool isWeblogRequired()
postreturn_value == 0










method String execute()
pre(soft) log != null
presumptionorg.apache.roller.weblogger.business.startup. WebloggerStartup:getDatabaseProviderException(... )@75 != null
postreturn_value in Addr_Set{&"bootstrap", &"upgrade_database",&"create_database", &"database_error",&"success"}
postpossibly_updated(this.messages)
postpossibly_updated(this.rootCauseException)
test_vectororg.apache.roller.weblogger.business. WebloggerFactory:isBootstrapped(...)@70: {0}, {1}
test_vectororg.apache.roller.weblogger.business.startup. StartupException:getRootCause(...)@76: Addr_Set{null}, Inverse{null}
test_vectororg.apache.roller.weblogger.business.startup. WebloggerStartup:getDatabaseProviderException(... )@74: Addr_Set{null}, Inverse{null}
test_vectororg.apache.roller.weblogger.business.startup. WebloggerStartup:isDatabaseCreationRequired(... )@88: {0}, {1}
test_vectororg.apache.roller.weblogger.business.startup. WebloggerStartup:isDatabaseUpgradeRequired(... )@93: {0}, {1}









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










  infomethod not available-- call on StartupException org.apache.roller. weblogger.business.startup.WebloggerStartup:getData baseProviderException()










  infomethod not available-- call on StartupException org.apache.roller. weblogger.business.startup.WebloggerStartup:getData baseProviderException()










  infomethod not available-- call on Throwable org.apache.roller.weblogger. business.startup.StartupException:getRootCause()










  infomethod not available-- call on Throwable org.apache.roller.weblogger. business.startup.StartupException:getRootCause()










  infomethod not available-- call on List org.apache.roller.weblogger. business.startup.StartupException:getStartupLog()










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










  infomethod not available-- call on void org.apache.roller.weblogger.ui. struts2.core.Install:setPageTitle(String)










  infomethod not available-- call on bool org.apache.roller.weblogger. business.startup.WebloggerStartup:isDatabaseCreatio nRequired()










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










  infomethod not available-- call on void org.apache.roller.weblogger.ui. struts2.core.Install:setPageTitle(String)










  infomethod not available-- call on bool org.apache.roller.weblogger. business.startup.WebloggerStartup:isDatabaseUpgrade Required()










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










  infomethod not available-- call on void org.apache.roller.weblogger.ui. struts2.core.Install:setPageTitle(String)










  infomethod not available-- call on void org.apache.roller.weblogger.ui. struts2.core.Install:setPageTitle(String)











method String create()
postreturn_value in Addr_Set{&"create_database", &"success"}
postpossibly_updated(this.error)
postpossibly_updated(this.messages)
postpossibly_updated(this.success)
test_vectororg.apache.roller.weblogger.business. WebloggerFactory:isBootstrapped(...)@105: {0}, {1}









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










  infomethod not available-- call on List org.apache.roller.weblogger. business.startup.WebloggerStartup:createDatabase()










  infomethod not available-- call on List org.apache.roller.weblogger. business.startup.StartupException:getStartupLog()










  infomethod not available-- call on void org.apache.roller.weblogger.ui. struts2.core.Install:setPageTitle(String)











method String upgrade()
postreturn_value in Addr_Set{&"upgrade_database", &"success"}
postpossibly_updated(this.error)
postpossibly_updated(this.messages)
postpossibly_updated(this.success)
test_vectororg.apache.roller.weblogger.business. WebloggerFactory:isBootstrapped(...)@125: {0}, {1}









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










  infomethod not available-- call on List org.apache.roller.weblogger. business.startup.WebloggerStartup:upgradeDatabase(b ool)










  infomethod not available-- call on List org.apache.roller.weblogger. business.startup.StartupException:getStartupLog()










  infomethod not available-- call on void org.apache.roller.weblogger.ui. struts2.core.Install:setPageTitle(String)











method String bootstrap()
pre(soft) log != null
presumptionorg.apache.roller.planet.business.PlanetFactory:get Planet(...)@174 != null
presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@154 != null
postreturn_value in Addr_Set{&"success", &"bootstrap"}
postpossibly_updated(this.rootCauseException)
test_vectororg.apache.roller.weblogger.business. WebloggerFactory:isBootstrapped(...)@145: {0}, {1}
test_vectororg.apache.roller.weblogger.config.WebloggerConfig: getBooleanProperty(...)@157: {0}, {1}









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










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










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










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










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










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










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










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










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










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










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










  infomethod not available-- call on void org.apache.roller.weblogger.ui. struts2.core.Install:setPageTitle(String)











method String getDatabaseProductName()
presumptionjava.sql.Connection:getMetaData(...)@200 != null
presumptionorg.apache.roller.weblogger.business. DatabaseProvider:getConnection(...)@199 != null
presumptionorg.apache.roller.weblogger.business.startup. WebloggerStartup:getDatabaseProvider(...)@199 != null
postinit'ed(return_value)









  infomethod not available-- call on DatabaseProvider org.apache.roller. weblogger.business.startup.WebloggerStartup:getData baseProvider()
  infomethod not available-- call on Connection org.apache.roller.weblogger. business.DatabaseProvider:getConnection()










Prev Msg Next Msg
+
warning
unused assignmentunused assignment into intentionallyIgnored
Prev Msg Next Msg











method String getProp(String)
postinit'ed(return_value)









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











method Throwable getRootCauseException()
preinit'ed(this.rootCauseException)
postreturn_value == this.rootCauseException
postinit'ed(return_value)










method String getRootCauseStackTrace()
preinit'ed(this.rootCauseException)
postreturn_value != null
test_vectorthis.rootCauseException: Addr_Set{null}, Inverse{null}










method bool isUpgradeRequired()
postinit'ed(return_value)









  infomethod not available-- call on bool org.apache.roller.weblogger. business.startup.WebloggerStartup:isDatabaseUpgrade Required()











method bool isError()
preinit'ed(this.error)
postreturn_value == this.error
postinit'ed(return_value)










method List getMessages()
preinit'ed(this.messages)
postreturn_value == this.messages
postinit'ed(return_value)










method String getDatabaseName()
preinit'ed(this.databaseName)
postreturn_value == this.databaseName
postinit'ed(return_value)










method bool isSuccess()
preinit'ed(this.success)
postreturn_value == this.success
postinit'ed(return_value)