| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) this.emf != null | 2009-09-04 18:33:31 |
| + | pre | this.threadLocalEntityManager != null | 2009-09-04 18:33:31 |
| + | presumption | javax.persistence.EntityManager:getTransaction(... )@138 != null | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.ThreadLocal:get | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.ThreadLocal:set | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityManager:getTransact ion | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityTransaction:begin | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityTransaction:isActiv e | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.RollerException | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) this.emf != null | 2009-09-04 18:33:31 |
| + | pre | this.threadLocalEntityManager != null | 2009-09-04 18:33:31 |
| + | presumption | init'ed(javax.persistence.FlushModeType.COMMIT) | 2009-09-04 18:33:31 |
| + | presumption | javax.persistence.EntityManager:createQuery(... )@287 != null | 2009-09-04 18:33:31 |
| + | post | (soft) return_value != null | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.ThreadLocal:get | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.ThreadLocal:set | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityManager:getTransact ion | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityTransaction:begin | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityTransaction:isActiv e | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) this.emf != null | 2009-09-04 18:33:31 |
| + | pre | this.threadLocalEntityManager != null | 2009-09-04 18:33:31 |
| + | presumption | javax.persistence.EntityManager:getTransaction(... )@240 != null | 2009-09-04 18:33:31 |
| + | presumption | javax.persistence.EntityManager:getTransaction(... )@241 != null | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.ThreadLocal:get | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.ThreadLocal:set | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager | 2009-09-04 18:33:31 |
| + | test_vector | isTransactionRequired: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | javax.persistence.EntityTransaction:isActive(... )@240: {1}, {0} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) this.emf != null | 2009-09-04 18:33:31 |
| + | pre | this.threadLocalEntityManager != null | 2009-09-04 18:33:31 |
| + | presumption | init'ed(javax.persistence.FlushModeType.COMMIT) | 2009-09-04 18:33:31 |
| + | presumption | javax.persistence.EntityManager:createNamedQuery(.. .)@273 != null | 2009-09-04 18:33:31 |
| + | post | (soft) return_value != null | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.ThreadLocal:get | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.ThreadLocal:set | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityManager:getTransact ion | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityTransaction:begin | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityTransaction:isActiv e | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) dbProvider != null | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(dbProvider.jdbcConnectionURL) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(dbProvider.jdbcDriverClass) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(dbProvider.jdbcPassword) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(dbProvider.jdbcUsername) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(dbProvider.jndiName) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(dbProvider.type) | 2009-09-04 18:33:31 |
| + | pre | (soft) logger != null | 2009-09-04 18:33:31 |
| + | pre | org/apache/roller/weblogger/config/WebloggerConfig. config != null | 2009-09-04 18:33:31 |
| + | pre | org/apache/roller/weblogger/config/WebloggerConfig. log != null | 2009-09-04 18:33:31 |
| + | presumption | java.security.AccessController:doPrivileged(... )@343 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Enumeration:nextElement(...)@89 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Properties:keys(...)@205 != null | 2009-09-04 18:33:31 |
| + | post | init'ed(this.emf) | 2009-09-04 18:33:31 |
| + | post | new ThreadLocal(JPAPersistenceStrategy#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | this.threadLocalEntityManager == &new ThreadLocal(JPAPersistenceStrategy#1) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.InputStream:close | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.ClassLoader:getResourceAsStream | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:trim | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Throwable:__curr_excep_obj | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.security.AccessController:doPrivileged | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Properties | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Properties:getProperty | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Properties:keys | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Properties:load | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:debug | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.RollerException | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:equals(...)@73: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:startsWith(...)@90: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:startsWith(...)@90: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Enumeration:hasMoreElements(...)@88: {0}, {1} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) this.emf != null | 2009-09-04 18:33:31 |
| + | pre | pos != null | 2009-09-04 18:33:31 |
| + | pre | this.threadLocalEntityManager != null | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.ThreadLocal:get | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.ThreadLocal:set | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityManager:getTransact ion | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityTransaction:begin | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityTransaction:isActiv e | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Iterator:hasNext(...)@200: {0}, {1} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) this.emf != null | 2009-09-04 18:33:31 |
| + | pre | this.threadLocalEntityManager != null | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | post | return_value == obj | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.ThreadLocal:get | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.ThreadLocal:set | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityManager:getTransact ion | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityTransaction:begin | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityTransaction:isActiv e | 2009-09-04 18:33:31 |
| + | test_vector | javax.persistence.EntityManager:contains(...)@164: {1}, {0} | 2009-09-04 18:33:31 |