Messages

Last Msg First Msg

method

org.apache.roller.weblogger.business.jpa. JPAPersistenceStrategy$1__static_init

method	org.apache.roller.weblogger.business.jpa. JPAPersistenceStrategy__static_init
presumption	org.apache.commons.logging.LogFactory:getFactory(.. .)@51 != null
post	init'ed(logger)

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

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

method	void org.apache.roller.weblogger.business.jpa. JPAPersistenceStrategy(DatabaseProvider)
pre	org/apache/roller/weblogger/config/WebloggerConfig. config != null
pre	org/apache/roller/weblogger/config/WebloggerConfig. log != null
pre	(soft) dbProvider != null
pre	(soft) init'ed(dbProvider.jdbcConnectionURL)
pre	(soft) init'ed(dbProvider.jdbcDriverClass)
pre	(soft) init'ed(dbProvider.jdbcPassword)
pre	(soft) init'ed(dbProvider.jdbcUsername)
pre	(soft) init'ed(dbProvider.jndiName)
pre	(soft) init'ed(dbProvider.type)
pre	(soft) logger != null
presumption	java.security.AccessController:doPrivileged(... )@343 != null
presumption	java.util.Enumeration:nextElement(...)@89 != null
presumption	java.util.Properties:keys(...)@205 != null
post	init'ed(this.emf)
post	this.threadLocalEntityManager == &new ThreadLocal(JPAPersistenceStrategy#1)
post	new ThreadLocal(JPAPersistenceStrategy#1) num objects == 1
unanalyzed	call on java.security.AccessController:doPrivileged
unanalyzed	call on java.util.Properties
unanalyzed	call on java.lang.ClassLoader:getResourceAsStream
unanalyzed	call on org.apache.roller.RollerException
unanalyzed	call on java.util.Properties:load
unanalyzed	call on java.io.InputStream:close
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
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 java.util.Properties:keys
test_vector	java.lang.String:equals(...)@73: {0}, {1}
test_vector	java.lang.String:startsWith(...)@90: {1}, {0}
test_vector	java.lang.String:startsWith(...)@90: {0}, {1}
test_vector	java.util.Enumeration:hasMoreElements(...)@88: {0}, {1}

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

method	void flush()
pre	this.threadLocalEntityManager != null
pre	(soft) this.emf != null
presumption	javax.persistence.EntityManager:getTransaction(... )@138 != null
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on org.apache.roller.RollerException

Prev Msg Next Msg

+

click for all messages in this file medium

null dereference check might fail: requires em != null

Prev Msg Next Msg

method	void release()
pre	this.threadLocalEntityManager != null
pre	(soft) this.emf != null
presumption	javax.persistence.EntityManager:getTransaction(... )@150 != null
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin

Prev Msg Next Msg

+

click for all messages in this file medium

null dereference check might fail: requires em != null

Prev Msg Next Msg

method	Object store(Object)
pre	this.threadLocalEntityManager != null
pre	(soft) this.emf != null
post	return_value == obj
post	init'ed(return_value)
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
test_vector	javax.persistence.EntityManager:contains(...)@164: {1}, {0}

Prev Msg Next Msg

+

click for all messages in this file medium

null dereference check might fail: requires em != null

Prev Msg Next Msg

method	void remove(Class, String)
pre	this.threadLocalEntityManager != null
pre	(soft) this.emf != null
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin

Prev Msg Next Msg

+

click for all messages in this file medium

null dereference check might fail: requires em != null

Prev Msg Next Msg

method	void remove(Object)
pre	this.threadLocalEntityManager != null
pre	(soft) this.emf != null
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin

Prev Msg Next Msg

+

click for all messages in this file medium

null dereference check might fail: requires em != null

Prev Msg Next Msg

method	void removeAll(Collection)
pre	pos != null
pre	this.threadLocalEntityManager != null
pre	(soft) this.emf != null
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
test_vector	java.util.Iterator:hasNext(...)@200: {0}, {1}

Prev Msg Next Msg

+

click for all messages in this file medium

null dereference check might fail: requires em != null

Prev Msg Next Msg

method	Object load(Class, String)
pre	this.threadLocalEntityManager != null
pre	(soft) this.emf != null
post	init'ed(return_value)
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin

Prev Msg Next Msg

+

click for all messages in this file medium

null dereference check might fail: requires em != null

Prev Msg Next Msg

method	bool isTransactionActive(EntityManager)
presumption	javax.persistence.EntityManager:getTransaction(... )@229 != null
post	init'ed(return_value)
test_vector	em: Inverse{null}, Addr_Set{null}

method	EntityManager getEntityManager(bool)
pre	this.threadLocalEntityManager != null
pre	(soft) this.emf != null
presumption	javax.persistence.EntityManager:getTransaction(... )@240 != null
presumption	javax.persistence.EntityManager:getTransaction(... )@241 != null
post	init'ed(return_value)
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
test_vector	isTransactionRequired: {0}, {1}
test_vector	javax.persistence.EntityTransaction:isActive(... )@240: {1}, {0}

Prev Msg Next Msg

+

click for all messages in this file medium

null dereference check might fail: requires em != null

Prev Msg Next Msg

method	EntityManager getThreadLocalEntityManager()
pre	this.threadLocalEntityManager != null
pre	(soft) this.emf != null
post	init'ed(return_value)
test_vector	java.lang.ThreadLocal:get(...)@250: Inverse{null}, Addr_Set{null}

method	void setThreadLocalEntityManager(Object)
pre	this.threadLocalEntityManager != null

method	Query getNamedQuery(String)
pre	this.threadLocalEntityManager != null
pre	(soft) this.emf != null
presumption	javax.persistence.EntityManager:createNamedQuery(.. .)@273 != null
presumption	init'ed(javax.persistence.FlushModeType.COMMIT)
post	(soft) return_value != null
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin

Prev Msg Next Msg

+

click for all messages in this file medium

null dereference check might fail: requires em != null

Prev Msg Next Msg

method	Query getDynamicQuery(String)
pre	this.threadLocalEntityManager != null
pre	(soft) this.emf != null
presumption	javax.persistence.EntityManager:createQuery(... )@287 != null
presumption	init'ed(javax.persistence.FlushModeType.COMMIT)
post	(soft) return_value != null
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin

Prev Msg Next Msg

+

click for all messages in this file medium

null dereference check might fail: requires em != null

Prev Msg Next Msg

method	Query getNamedUpdate(String)
pre	this.threadLocalEntityManager != null
pre	(soft) this.emf != null
post	init'ed(return_value)
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin

Prev Msg Next Msg

+

click for all messages in this file medium

null dereference check might fail: requires em != null

Prev Msg Next Msg

method	Properties loadPropertiesFromResourceName(String, ClassLoader)
pre	cl != null
presumption	java.lang.ClassLoader:getResourceAsStream(...)@316 != null
post	return_value == &new Properties(loadPropertiesF romResourceName#1)
post	new Properties(loadPropertiesFromResourceName#1) num objects == 1
unanalyzed	call on org.apache.roller.RollerException

method	ClassLoader getContextClassLoader()
post	init'ed(return_value)

method

void org.apache.roller.weblogger.business.jpa. JPAPersistenceStrategy$1()

method	Object run()
presumption	java.lang.Thread:currentThread(...)@346 != null
post	init'ed(return_value)

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