DatabaseProvider.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


  • + void errorMessage(String)

    • -/+ Kind Annotation Text Date
    +prelog != null2009-09-04 18:33:31
    +prethis.startupLog != null2009-09-04 18:33:31

  • + Connection getConnection()

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.jdbcConnectionURL)2009-09-04 18:33:31
    +pre(soft) this.dataSource != null2009-09-04 18:33:31
    +pre(soft) this.props != null2009-09-04 18:33:31
    +pre(soft) this.props._tainted == 02009-09-04 18:33:31
    +preinit'ed(this.type)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31

  • + String getJdbcConnectionURL()

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

  • + String getJdbcDriverClass()

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

  • + String getJdbcPassword()

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

  • + String getJdbcUsername()

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

  • + String getJndiName()

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

  • + List getStartupLog()

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

  • + DatabaseProvider$ConfigurationType getType()

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

  • + void org.apache.roller.weblogger.business.DatabaseProvider$ConfigurationType(String, int)

    • -/+ Kind Annotation Text Date

  • + org.apache.roller.weblogger.business.DatabaseProvider$ConfigurationType__static_init

    • -/+ Kind Annotation Text Date
    +post$VALUES == &new DatabaseProvider$ConfigurationT ype[](DatabaseProvider$ConfigurationType__static_in it#3)2009-09-04 18:33:31
    +post$VALUES.length == 22009-09-04 18:33:31
    +post$VALUES[0] == &new DatabaseProvider$Configurati onType(DatabaseProvider$ConfigurationType__static_i nit#1)2009-09-04 18:33:31
    +post$VALUES[1] == &new DatabaseProvider$Configurati onType(DatabaseProvider$ConfigurationType__static_i nit#2)2009-09-04 18:33:31
    +postJDBC_PROPERTIES == &new DatabaseProvider$Config urationType(DatabaseProvider$ConfigurationType__sta tic_init#2)2009-09-04 18:33:31
    +postJNDI_NAME == &new DatabaseProvider$Configuratio nType(DatabaseProvider$ConfigurationType__static_in it#1)2009-09-04 18:33:31
    +postnew DatabaseProvider$ConfigurationType(DatabaseProv ider$ConfigurationType__static_init#1) num objects == 12009-09-04 18:33:31
    +postnew DatabaseProvider$ConfigurationType(DatabaseProv ider$ConfigurationType__static_init#2) num objects == 12009-09-04 18:33:31
    +postnew DatabaseProvider$ConfigurationType[](DatabasePr ovider$ConfigurationType__static_init#3) num objects == 12009-09-04 18:33:31
    +unanalyzedcall on java.lang.Enum2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.business.DatabaseProvider()

    • -/+ Kind Annotation Text Date
    +prelog != null2009-09-04 18:33:31
    +preorg/apache/roller/weblogger/config/WebloggerConfig. config != null2009-09-04 18:33:31
    +preorg/apache/roller/weblogger/config/WebloggerConfig. log != null2009-09-04 18:33:31
    +presumptionjavax.naming.InitialContext:lookup(...)@128 != null2009-09-04 18:33:31
    +presumptionthis.dataSource != null2009-09-04 18:33:31
    +presumptionthis.props != null2009-09-04 18:33:31
    +post(soft) this.dataSource != null2009-09-04 18:33:31
    +post(soft) this.props != null2009-09-04 18:33:31
    +postinit'ed(this.jdbcConnectionURL)2009-09-04 18:33:31
    +postinit'ed(this.jdbcDriverClass)2009-09-04 18:33:31
    +postinit'ed(this.jdbcPassword)2009-09-04 18:33:31
    +postinit'ed(this.jdbcUsername)2009-09-04 18:33:31
    +postinit'ed(this.jndiName)2009-09-04 18:33:31
    +postnew ArrayList(DatabaseProvider#1) num objects == 12009-09-04 18:33:31
    +postnew Properties(DatabaseProvider#9) num objects <= 12009-09-04 18:33:31
    +postnew Properties(DatabaseProvider#9)._tainted == 02009-09-04 18:33:31
    +postthis.startupLog == &new ArrayList(DatabaseProvi der#1)2009-09-04 18:33:31
    +postthis.type in Addr_Set{&org.apache.roller. weblogger.business.DatabaseProvider$ConfigurationTy pe__static_init.new DatabaseProvider$ConfigurationT ype(DatabaseProvider$ConfigurationType__static_init #1),&org.apache.roller.weblogger.business.Dat...2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:trim2009-09-04 18:33:31
    +unanalyzedcall on java.sql.DriverManager:getConnection2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:add2009-09-04 18:33:31
    +unanalyzedcall on java.util.Properties:getProperty2009-09-04 18:33:31
    +unanalyzedcall on javax.sql.DataSource:getConnection2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:debug2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:error2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:info2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.RollerException2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger. WebloggerException2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@88: {0}, {1}2009-09-04 18:33:31

  • + org.apache.roller.weblogger.business.DatabaseProvider__static_init

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

  • + void successMessage(String)

    • -/+ Kind Annotation Text Date
    +prelog != null2009-09-04 18:33:31
    +prethis.startupLog != null2009-09-04 18:33:31

  • + DatabaseProvider$ConfigurationType valueOf(String)

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

  • + DatabaseProvider$ConfigurationType[] values()

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed($VALUES[...])2009-09-04 18:33:31
    +postnew DatabaseProvider$ConfigurationType[](values#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new DatabaseProvider$Configura tionType[](values#1)2009-09-04 18:33:31
    +postreturn_value.length == 22009-09-04 18:33:31
    +postreturn_value[...] == One-of{$VALUES[...], undefined}2009-09-04 18:33:31