Messages

method	org.apache.roller.weblogger.business.startup. WebloggerStartup__static_init
post	dbInstaller == null
post	dbProvider == null
post	dbProviderException == null
post	mailProvider == null
post	init'ed(log)
post	prepared == 0

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

method

void org.apache.roller.weblogger.business.startup. WebloggerStartup()

method	bool isPrepared()
pre	init'ed(prepared)
post	return_value == prepared
post	init'ed(return_value)

method	DatabaseProvider getDatabaseProvider()
pre	dbProvider != null
post	return_value == dbProvider
post	return_value != null

method	StartupException getDatabaseProviderException()
pre	init'ed(dbProviderException)
post	return_value == dbProviderException
post	init'ed(return_value)

method	MailProvider getMailProvider()
pre	init'ed(mailProvider)
post	return_value == mailProvider
post	init'ed(return_value)

method	bool isDatabaseCreationRequired()
pre	dbProvider != null
pre	init'ed(dbProvider.type)
pre	(soft) dbProvider.dataSource != null
pre	(soft) init'ed(dbProvider.jdbcConnectionURL)
pre	(soft) dbProvider.props != null
pre	(soft) dbProvider.props._tainted == 0
pre	(soft) org/apache/roller/weblogger/business/startup /DatabaseInstaller.log != null
post	init'ed(return_value)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Properties
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Class:getResourceAsStream
unanalyzed	call on java.util.Properties:load
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.util.Properties:getProperty
unanalyzed	call on java.sql.Connection:getMetaData
unanalyzed	call on java.sql.DatabaseMetaData:getTables
unanalyzed	call on java.sql.ResultSet:next
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.sql.ResultSet:getString
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.sql.DriverManager:getConnection
unanalyzed	call on javax.sql.DataSource:getConnection
unanalyzed	call on java.sql.Connection:close
unanalyzed	call on java.lang.RuntimeException

method	List createDatabase()
pre	dbProvider != null
pre	init'ed(dbProvider.type)
pre	org/apache/roller/weblogger/business/startup/SQLScr iptRunner.log != null
pre	(soft) dbProvider.dataSource != null
pre	(soft) init'ed(dbProvider.jdbcConnectionURL)
pre	(soft) dbProvider.props != null
pre	(soft) dbProvider.props._tainted == 0
pre	(soft) org/apache/roller/weblogger/business/startup /DatabaseInstaller.log != null
presumption	java.util.Properties:getProperty(...)@65 != null
post	prepared == 1
post	return_value == &new ArrayList(DatabaseInstalle r#1)
post	new ArrayList(DatabaseInstaller#1) num objects == 1
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Properties
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Class:getResourceAsStream
unanalyzed	call on java.util.Properties:load
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.util.Properties:getProperty
unanalyzed	call on java.sql.Connection:getMetaData
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.sql.DriverManager:getConnection
unanalyzed	call on javax.sql.DataSource:getConnection
unanalyzed	call on java.sql.Connection:close
unanalyzed	call on java.util.List:add
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.sql.Connection:createStatement
unanalyzed	call on java.sql.Statement:executeUpdate
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on org.apache.roller.weblogger. WebloggerException
unanalyzed	call on org.apache.roller.RollerException
unanalyzed	call on java.sql.DatabaseMetaData:getDatabaseProduc tName
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on org.apache.commons.logging.Log:info
unanalyzed	call on getDatabaseScript
unanalyzed	call on java.io.InputStreamReader
unanalyzed	call on java.io.BufferedReader
unanalyzed	call on java.io.BufferedReader:readLine
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on java.io.BufferedReader:close
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.sql.Connection:getAutoCommit
unanalyzed	call on java.sql.Connection:commit
unanalyzed	call on java.sql.SQLException:getLocalizedMessage
unanalyzed	call on java.io.StringWriter
unanalyzed	call on java.io.PrintWriter
unanalyzed	call on java.sql.SQLException:printStackTrace
unanalyzed	call on java.io.StringWriter:toString
unanalyzed	call on java.util.List:addAll

method	bool isDatabaseUpgradeRequired()
pre	dbProvider != null
pre	(soft) dbProvider.dataSource != null
pre	(soft) init'ed(dbProvider.jdbcConnectionURL)
pre	(soft) dbProvider.props != null
pre	(soft) dbProvider.props._tainted == 0
pre	(soft) init'ed(dbProvider.type)
pre	(soft) org/apache/roller/weblogger/business/startup /DatabaseInstaller.log != null
presumption	java.util.Properties:getProperty(...)@65 != null
post	init'ed(return_value)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Properties
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Class:getResourceAsStream
unanalyzed	call on java.util.Properties:load
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.util.Properties:getProperty
unanalyzed	call on java.sql.ResultSet:next
unanalyzed	call on java.sql.DriverManager:getConnection
unanalyzed	call on javax.sql.DataSource:getConnection
unanalyzed	call on java.sql.Connection:close
unanalyzed	call on java.util.List:add
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.sql.Connection:createStatement
unanalyzed	call on java.sql.Statement:executeUpdate
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on org.apache.roller.weblogger. WebloggerException
unanalyzed	call on org.apache.roller.RollerException
unanalyzed	call on getDatabaseVersion
unanalyzed	call on java.lang.RuntimeException
unanalyzed	call on java.sql.ResultSet:getString
unanalyzed	call on java.sql.Statement:executeQuery
unanalyzed	call on java.sql.ResultSet:getInt

method	List upgradeDatabase(bool)
pre	dbProvider != null
pre	(soft) dbProvider.dataSource != null
pre	(soft) init'ed(dbProvider.jdbcConnectionURL)
pre	(soft) dbProvider.props != null
pre	(soft) dbProvider.props._tainted == 0
pre	(soft) init'ed(dbProvider.type)
pre	(soft) org/apache/roller/weblogger/business/startup /DatabaseInstaller.log != null
pre	(soft) org/apache/roller/weblogger/business/startup /SQLScriptRunner.log != null
presumption	java.util.Properties:getProperty(...)@65 != null
post	prepared == 1
post	return_value == &new ArrayList(DatabaseInstalle r#1)
post	new ArrayList(DatabaseInstaller#1) num objects == 1
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Properties
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Class:getResourceAsStream
unanalyzed	call on java.util.Properties:load
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.util.Properties:getProperty
unanalyzed	call on java.sql.Connection:getMetaData
unanalyzed	call on java.sql.ResultSet:next
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.sql.ResultSet:getString
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.sql.DriverManager:getConnection
unanalyzed	call on javax.sql.DataSource:getConnection
unanalyzed	call on java.sql.Connection:close
unanalyzed	call on java.util.List:add
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.sql.Connection:createStatement
unanalyzed	call on java.sql.Statement:executeUpdate
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on org.apache.roller.weblogger. WebloggerException
unanalyzed	call on org.apache.roller.RollerException
unanalyzed	call on java.sql.DatabaseMetaData:getDatabaseProduc tName
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on org.apache.commons.logging.Log:info
unanalyzed	call on getDatabaseScript
unanalyzed	call on java.io.InputStreamReader
unanalyzed	call on java.io.BufferedReader
unanalyzed	call on java.io.BufferedReader:readLine
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on java.io.BufferedReader:close
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.sql.Connection:getAutoCommit
unanalyzed	call on java.sql.Connection:commit
unanalyzed	call on java.sql.SQLException:getLocalizedMessage
unanalyzed	call on java.io.StringWriter
unanalyzed	call on java.io.PrintWriter
unanalyzed	call on java.sql.SQLException:printStackTrace
unanalyzed	call on java.io.StringWriter:toString
unanalyzed	call on java.util.List:addAll
unanalyzed	call on java.sql.Statement:executeQuery
unanalyzed	call on java.sql.ResultSet:getInt
unanalyzed	call on org.apache.commons.logging.Log:trace
unanalyzed	call on java.sql.Connection:prepareStatement
unanalyzed	call on java.sql.PreparedStatement:executeQuery
unanalyzed	call on java.sql.PreparedStatement:clearParameters
unanalyzed	call on java.sql.PreparedStatement:setString
unanalyzed	call on java.sql.PreparedStatement:executeUpdate
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.Date:getTime
unanalyzed	call on java.sql.Date
unanalyzed	call on java.sql.PreparedStatement:setDate
unanalyzed	call on java.sql.PreparedStatement:setBoolean
unanalyzed	call on java.sql.PreparedStatement:setShort
unanalyzed	call on upgradeTo300
unanalyzed	call on java.util.Locale:getDefault
unanalyzed	call on java.util.Locale:getLanguage

method	DatabaseInstaller getDatabaseInstaller()
pre	dbProvider != null
pre	(soft) org/apache/roller/weblogger/business/startup /DatabaseInstaller.log != null
post	return_value == &new DatabaseInstaller(getDatab aseInstaller#1)
post	new ArrayList(DatabaseInstaller#1) num objects == 1
post	new ClasspathDatabaseScriptProvider(getDatabaseInst aller#2) num objects == 1
post	new DatabaseInstaller(getDatabaseInstaller#1) num objects == 1
post	return_value.db == dbProvider
post	return_value.db != null
post	return_value.messages == &new ArrayList(Databas eInstaller#1)
post	return_value.scripts == &new ClasspathDatabaseS criptProvider(getDatabaseInstaller#2)
post	init'ed(return_value.version)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Properties
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Class:getResourceAsStream
unanalyzed	call on java.util.Properties:load
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.util.Properties:getProperty

method	void prepare()
pre	org/apache/roller/weblogger/business/DatabaseProvid er.log != null
pre	org/apache/roller/weblogger/config/WebloggerConfig. config != null
pre	org/apache/roller/weblogger/config/WebloggerConfig. log != null
pre	(soft) dbProvider.props._tainted == 0
pre	(soft) org/apache/roller/weblogger/business/startup /DatabaseInstaller.log != null
pre	(soft) org/apache/roller/weblogger/business/startup /SQLScriptRunner.log != null
presumption	java.util.Properties:getProperty(...)@65 != null
presumption	org.apache.commons.logging.LogFactory:getLog(... )@34 != null
post	dbProvider == &new DatabaseProvider(prepare#1)
post	dbProviderException == old dbProviderException
post	mailProvider == One-of{&new MailProvider(prepar e#2), old mailProvider}
post	possibly_updated(prepared)
post	new ArrayList(DatabaseProvider#1) num objects == 1
post	new DatabaseProvider(prepare#1) num objects == 1
post	new DatabaseProvider(prepare#1).dataSource != null
post	init'ed(new DatabaseProvider(prepare#1). jdbcConnectionURL)
post	init'ed(new DatabaseProvider(prepare#1). jdbcDriverClass)
post	init'ed(new DatabaseProvider(prepare#1). jdbcPassword)
post	init'ed(new DatabaseProvider(prepare#1). jdbcUsername)
post	init'ed(new DatabaseProvider(prepare#1).jndiName)
post	new DatabaseProvider(prepare#1).props != null
post	new DatabaseProvider(prepare#1).startupLog == &new ArrayList(DatabaseProvider#1)
post	new DatabaseProvider(prepare#1).type in Addr_Set{&org.apache.roller.weblogger. business.DatabaseProvider$ConfigurationType__ static_init.new DatabaseProvider$ConfigurationType( DatabaseProvider$ConfigurationType__static_init#2), &org.apache.ro...
post	new MailProvider(prepare#2) num objects <= 1
post	init'ed(new MailProvider(prepare#2).jndiName)
post	init'ed(new MailProvider(prepare#2).mailHostname)
post	init'ed(new MailProvider(prepare#2).mailPassword)
post	init'ed(new MailProvider(prepare#2).mailPort)
post	init'ed(new MailProvider(prepare#2).mailUsername)
post	init'ed(new MailProvider(prepare#2).session)
post	init'ed(new MailProvider(prepare#2).type)
post	new Properties(DatabaseProvider#9) num objects <= 1
post	new Properties(DatabaseProvider#9)._tainted == 0
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Properties
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Class:getResourceAsStream
unanalyzed	call on java.util.Properties:load
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.util.Properties:getProperty
unanalyzed	call on java.sql.Connection:getMetaData
unanalyzed	call on java.sql.DatabaseMetaData:getTables
unanalyzed	call on java.sql.ResultSet:next
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.sql.ResultSet:getString
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.sql.DriverManager:getConnection
unanalyzed	call on javax.sql.DataSource:getConnection
unanalyzed	call on java.sql.Connection:close
unanalyzed	call on java.lang.RuntimeException
unanalyzed	call on java.util.List:add
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.sql.Connection:createStatement
unanalyzed	call on java.sql.Statement:executeUpdate
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on org.apache.roller.weblogger. WebloggerException
unanalyzed	call on org.apache.roller.RollerException
unanalyzed	call on java.sql.DatabaseMetaData:getDatabaseProduc tName
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on org.apache.commons.logging.Log:info
unanalyzed	call on getDatabaseScript
unanalyzed	call on java.io.InputStreamReader
unanalyzed	call on java.io.BufferedReader
unanalyzed	call on java.io.BufferedReader:readLine
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on java.io.BufferedReader:close
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.sql.Connection:getAutoCommit
unanalyzed	call on java.sql.Connection:commit
unanalyzed	call on java.sql.SQLException:getLocalizedMessage
unanalyzed	call on java.io.StringWriter
unanalyzed	call on java.io.PrintWriter
unanalyzed	call on java.sql.SQLException:printStackTrace
unanalyzed	call on java.io.StringWriter:toString
unanalyzed	call on java.util.List:addAll
unanalyzed	call on getDatabaseVersion
unanalyzed	call on java.sql.Statement:executeQuery
unanalyzed	call on java.sql.ResultSet:getInt
unanalyzed	call on org.apache.commons.logging.Log:trace
unanalyzed	call on java.sql.Connection:prepareStatement
unanalyzed	call on java.sql.PreparedStatement:executeQuery
unanalyzed	call on java.sql.PreparedStatement:clearParameters
unanalyzed	call on java.sql.PreparedStatement:setString
unanalyzed	call on java.sql.PreparedStatement:executeUpdate
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.Date:getTime
unanalyzed	call on java.sql.Date
unanalyzed	call on java.sql.PreparedStatement:setDate
unanalyzed	call on java.sql.PreparedStatement:setBoolean
unanalyzed	call on java.sql.PreparedStatement:setShort
unanalyzed	call on upgradeTo300
unanalyzed	call on java.util.Locale:getDefault
unanalyzed	call on java.util.Locale:getLanguage
unanalyzed	call on java.lang.Class:forName
unanalyzed	call on java.util.Properties:put
unanalyzed	call on javax.naming.InitialContext
unanalyzed	call on javax.naming.InitialContext:lookup
unanalyzed	call on javax.mail.Session:getTransport
unanalyzed	call on javax.mail.Transport:connect
unanalyzed	call on org.apache.commons.logging.Log:warn
unanalyzed	call on javax.naming.Context:lookup
unanalyzed	call on javax.mail.Session:getDefaultInstance
unanalyzed	call on javax.mail.Transport:close
test_vector	java.lang.String:equals(...)@186: {0}, {1}

info method not available -- call on String org.apache.roller.weblogger. business.startup.StartupException:getMessage()

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

	info	method not available	-- call on String org.apache.roller.weblogger. business.startup.StartupException:getMessage()
	info	method not available	-- call on void org.apache.commons.logging. Log:warn(Object, Throwable)