Install.java

current inspection = 2009-09-04 18:33:31 (id #2) base = 2009-09-04 18:33:31 (id #1)

Filter Options
History:
+ added
- dropped
U unchanged
Annotation Kind:
pre
presumption
post
unanalyzed
test


  • + String bootstrap()

    • -/+ Kind Annotation Text Date
    +pre(soft) log != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.planet.business.PlanetFactory:get Planet(...)@174 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@154 != null2009-09-04 18:33:31
    +postpossibly_updated(this.rootCauseException)2009-09-04 18:33:31
    +postreturn_value in Addr_Set{&"success", &"bootstrap"}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.business. WebloggerFactory:isBootstrapped(...)@145: {0}, {1}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.config.WebloggerConfig: getBooleanProperty(...)@157: {0}, {1}2009-09-04 18:33:31

  • + String create()

    • -/+ Kind Annotation Text Date
    +postpossibly_updated(this.error)2009-09-04 18:33:31
    +postpossibly_updated(this.messages)2009-09-04 18:33:31
    +postpossibly_updated(this.success)2009-09-04 18:33:31
    +postreturn_value in Addr_Set{&"create_database", &"success"}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.business. WebloggerFactory:isBootstrapped(...)@105: {0}, {1}2009-09-04 18:33:31

  • + String execute()

    • -/+ Kind Annotation Text Date
    +pre(soft) log != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business.startup. WebloggerStartup:getDatabaseProviderException(... )@75 != null2009-09-04 18:33:31
    +postpossibly_updated(this.messages)2009-09-04 18:33:31
    +postpossibly_updated(this.rootCauseException)2009-09-04 18:33:31
    +postreturn_value in Addr_Set{&"bootstrap", &"upgrade_database",&"create_database", &"database_error",&"success"}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.business. WebloggerFactory:isBootstrapped(...)@70: {0}, {1}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.business.startup. StartupException:getRootCause(...)@76: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.business.startup. WebloggerStartup:getDatabaseProviderException(... )@74: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.business.startup. WebloggerStartup:isDatabaseCreationRequired(... )@88: {0}, {1}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.business.startup. WebloggerStartup:isDatabaseUpgradeRequired(... )@93: {0}, {1}2009-09-04 18:33:31

  • + String getDatabaseName()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.databaseName)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.databaseName2009-09-04 18:33:31

  • + String getDatabaseProductName()

    • -/+ Kind Annotation Text Date
    +presumptionjava.sql.Connection:getMetaData(...)@200 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. DatabaseProvider:getConnection(...)@199 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business.startup. WebloggerStartup:getDatabaseProvider(...)@199 != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31

  • + List getMessages()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.messages)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.messages2009-09-04 18:33:31

  • + String getProp(String)

    • -/+ Kind Annotation Text Date
    +postinit'ed(return_value)2009-09-04 18:33:31

  • + Throwable getRootCauseException()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.rootCauseException)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.rootCauseException2009-09-04 18:33:31

  • + String getRootCauseStackTrace()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.rootCauseException)2009-09-04 18:33:31
    +postreturn_value != null2009-09-04 18:33:31
    +test_vectorthis.rootCauseException: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + bool isError()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.error)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.error2009-09-04 18:33:31

  • + bool isSuccess()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.success)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.success2009-09-04 18:33:31

  • + bool isUpgradeRequired()

    • -/+ Kind Annotation Text Date
    +postinit'ed(return_value)2009-09-04 18:33:31

  • + bool isUserRequired()

    • -/+ Kind Annotation Text Date
    +postreturn_value == 02009-09-04 18:33:31

  • + bool isWeblogRequired()

    • -/+ Kind Annotation Text Date
    +postreturn_value == 02009-09-04 18:33:31

  • + void org.apache.roller.weblogger.ui.struts2.core.Install()

    • -/+ Kind Annotation Text Date
    +postthis.databaseName == &"Unknown"2009-09-04 18:33:31
    +postthis.error == 02009-09-04 18:33:31
    +postthis.messages == null2009-09-04 18:33:31
    +postthis.rootCauseException == null2009-09-04 18:33:31
    +postthis.success == 02009-09-04 18:33:31

  • + org.apache.roller.weblogger.ui.struts2.core.Install__static_init

    • -/+ Kind Annotation Text Date
    +postinit'ed(log)2009-09-04 18:33:31

  • + String upgrade()

    • -/+ Kind Annotation Text Date
    +postpossibly_updated(this.error)2009-09-04 18:33:31
    +postpossibly_updated(this.messages)2009-09-04 18:33:31
    +postpossibly_updated(this.success)2009-09-04 18:33:31
    +postreturn_value in Addr_Set{&"upgrade_database", &"success"}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.business. WebloggerFactory:isBootstrapped(...)@125: {0}, {1}2009-09-04 18:33:31