Messages

Last Msg First Msg

method	org.apache.roller.weblogger.business. DatabaseProvider__static_init
post	init'ed(log)

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

method	DatabaseProvider$ConfigurationType[] values()
pre	(soft) init'ed($VALUES[...])
post	return_value == &new DatabaseProvider$Configura tionType[](values#1)
post	new DatabaseProvider$ConfigurationType[](values#1) num objects == 1
post	return_value.length == 2
post	return_value[...] == One-of{$VALUES[...], undefined}

method	DatabaseProvider$ConfigurationType valueOf(String)
post	init'ed(return_value)

method

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

method	org.apache.roller.weblogger.business. DatabaseProvider$ConfigurationType__static_init
post	$VALUES == &new DatabaseProvider$ConfigurationT ype[](DatabaseProvider$ConfigurationType__static_in it#3)
post	JDBC_PROPERTIES == &new DatabaseProvider$Config urationType(DatabaseProvider$ConfigurationType__sta tic_init#2)
post	$VALUES[1] == &new DatabaseProvider$Configurati onType(DatabaseProvider$ConfigurationType__static_i nit#2)
post	JNDI_NAME == &new DatabaseProvider$Configuratio nType(DatabaseProvider$ConfigurationType__static_in it#1)
post	$VALUES[0] == &new DatabaseProvider$Configurati onType(DatabaseProvider$ConfigurationType__static_i nit#1)
post	new DatabaseProvider$ConfigurationType(DatabaseProv ider$ConfigurationType__static_init#1) num objects == 1
post	new DatabaseProvider$ConfigurationType(DatabaseProv ider$ConfigurationType__static_init#2) num objects == 1
post	new DatabaseProvider$ConfigurationType[](DatabasePr ovider$ConfigurationType__static_init#3) num objects == 1
post	$VALUES.length == 2
unanalyzed	call on java.lang.Enum

method	void org.apache.roller.weblogger.business. DatabaseProvider()
pre	log != null
pre	org/apache/roller/weblogger/config/WebloggerConfig. config != null
pre	org/apache/roller/weblogger/config/WebloggerConfig. log != null
presumption	javax.naming.InitialContext:lookup(...)@128 != null
presumption	this.dataSource != null
presumption	this.props != null
post	(soft) this.dataSource != null
post	init'ed(this.jdbcConnectionURL)
post	init'ed(this.jdbcDriverClass)
post	init'ed(this.jdbcPassword)
post	init'ed(this.jdbcUsername)
post	init'ed(this.jndiName)
post	(soft) this.props != null
post	this.startupLog == &new ArrayList(DatabaseProvi der#1)
post	this.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...
post	new ArrayList(DatabaseProvider#1) num objects == 1
post	new Properties(DatabaseProvider#9) num objects <= 1
post	new Properties(DatabaseProvider#9)._tainted == 0
unanalyzed	call on java.util.List:add
unanalyzed	call on org.apache.commons.logging.Log:info
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.sql.DriverManager:getConnection
unanalyzed	call on javax.sql.DataSource:getConnection
unanalyzed	call on java.lang.String:trim
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on java.util.Properties:getProperty
unanalyzed	call on org.apache.roller.weblogger. WebloggerException
unanalyzed	call on org.apache.roller.RollerException
test_vector	java.lang.String:equals(...)@88: {0}, {1}

Prev Msg Next Msg

+

click for all messages in this file medium

null dereference check might fail: requires testcon != null

Prev Msg Next Msg

method	void successMessage(String)
pre	log != null
pre	this.startupLog != null

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

method	void errorMessage(String)
pre	log != null
pre	this.startupLog != null

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

method	List getStartupLog()
pre	init'ed(this.startupLog)
post	return_value == this.startupLog
post	init'ed(return_value)

method	Connection getConnection()
pre	init'ed(this.type)
pre	(soft) this.dataSource != null
pre	(soft) init'ed(this.jdbcConnectionURL)
pre	(soft) this.props != null
pre	(soft) this.props._tainted == 0
post	init'ed(return_value)

method	DatabaseProvider$ConfigurationType getType()
pre	init'ed(this.type)
post	return_value == this.type
post	init'ed(return_value)

method	String getJndiName()
pre	init'ed(this.jndiName)
post	return_value == this.jndiName
post	init'ed(return_value)

method	String getJdbcDriverClass()
pre	init'ed(this.jdbcDriverClass)
post	return_value == this.jdbcDriverClass
post	init'ed(return_value)

method	String getJdbcConnectionURL()
pre	init'ed(this.jdbcConnectionURL)
post	return_value == this.jdbcConnectionURL
post	init'ed(return_value)

method	String getJdbcPassword()
pre	init'ed(this.jdbcPassword)
post	return_value == this.jdbcPassword
post	init'ed(return_value)

method	String getJdbcUsername()
pre	init'ed(this.jdbcUsername)
post	return_value == this.jdbcUsername
post	init'ed(return_value)