| method | void org.apache.roller.weblogger.planet.business. jpa.JPARollerPlanetPersistenceStrategy() |
| pre | org/apache/roller/weblogger/business/startup/Weblog gerStartup.dbProvider != null |
| pre | init'ed(org/apache/roller/weblogger/business/startu p/WebloggerStartup.dbProvider.type) |
| pre | org/apache/roller/weblogger/config/WebloggerConfig. config != null |
| pre | (soft) logger != null |
| pre | (soft) init'ed(org/apache/roller/weblogger/business /startup/WebloggerStartup.dbProvider. jdbcConnectionURL) |
| pre | (soft) init'ed(org/apache/roller/weblogger/business /startup/WebloggerStartup.dbProvider. jdbcDriverClass) |
| pre | (soft) init'ed(org/apache/roller/weblogger/business /startup/WebloggerStartup.dbProvider.jdbcPassword) |
| pre | (soft) init'ed(org/apache/roller/weblogger/business /startup/WebloggerStartup.dbProvider.jdbcUsername) |
| pre | (soft) init'ed(org/apache/roller/weblogger/business /startup/WebloggerStartup.dbProvider.jndiName) |
| pre | (soft) org/apache/roller/weblogger/config/Weblogger Config.log != null |
| presumption | java.util.Enumeration:nextElement(...)@60 != null |
| presumption | java.util.Properties:keys(...)@205 != null |
| presumption | org.apache.roller.weblogger.planet.business.jpa. JPARollerPlanetPersistenceStrategy:loadPropertiesFr omResourceName(...)@54 != null |
| post | init'ed(this.emf) |
| unanalyzed | call on java.util.Properties:keys |
| unanalyzed | call on java.lang.String:trim |
| unanalyzed | call on org.apache.commons.logging.Log:debug |
| unanalyzed | call on java.util.Properties:getProperty |
| test_vector | java.lang.String:startsWith(...)@61: {1}, {0} |
| test_vector | java.lang.String:startsWith(...)@61: {0}, {1} |
| test_vector | java.util.Enumeration:hasMoreElements(...)@59: {0}, {1} |