| method | PingQueueEntry getQueueEntry(String) |
| pre | this.strategy != null |
| pre | this.strategy.threadLocalEntityManager != null |
| pre | (soft) this.strategy.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 |
| unanalyzed | call on javax.persistence.EntityManager:find |
| method | void saveQueueEntry(PingQueueEntry) |
| pre | log != null |
| pre | this.strategy != null |
| pre | this.strategy.threadLocalEntityManager != null |
| pre | (soft) this.strategy.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 |
| unanalyzed | call on javax.persistence.EntityManager:contains |
| unanalyzed | call on javax.persistence.EntityManager:persist |
| method | void removeQueueEntry(PingQueueEntry) |
| pre | log != null |
| pre | this.strategy != null |
| pre | this.strategy.threadLocalEntityManager != null |
| pre | (soft) this.strategy.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 |
| unanalyzed | call on javax.persistence.EntityManager:remove |
| method | void addQueueEntry(AutoPing) |
| pre | autoPing != null |
| pre | init'ed(autoPing.pcStateManager) |
| pre | init'ed(autoPing.pingTarget) |
| pre | init'ed(autoPing.website) |
| pre | log != null |
| pre | this.strategy != null |
| pre | this.strategy.threadLocalEntityManager != null |
| pre | (soft) org/apache/roller/weblogger/pojos/AutoPing. pcInheritedFieldCount <= 232-3 |
| pre | (soft) this.strategy.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 |
| unanalyzed | call on javax.persistence.EntityManager:createNamed Query |
| unanalyzed | call on javax.persistence.Query:setFlushMode |
| unanalyzed | call on javax.persistence.Query:getResultList |
| unanalyzed | call on org.apache.commons.logging.Log:debug |
| unanalyzed | call on javax.persistence.EntityManager:contains |
| unanalyzed | call on javax.persistence.EntityManager:persist |
| unanalyzed | call on org.apache.openjpa.enhance.StateManager:acc essingField |
| unanalyzed | call on javax.persistence.Query:setParameter |
| unanalyzed | call on java.util.List:size |
| unanalyzed | call on org.apache.roller.util.UUIDGenerator:genera teUUID |
| method | List getAllQueueEntries() |
| pre | this.strategy != null |
| pre | this.strategy.threadLocalEntityManager != null |
| pre | (soft) this.strategy.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 |
| unanalyzed | call on javax.persistence.EntityManager:createNamed Query |
| unanalyzed | call on javax.persistence.Query:setFlushMode |
| method | bool isAlreadyQueued(AutoPing) |
| pre | autoPing != null |
| pre | init'ed(autoPing.pcStateManager) |
| pre | init'ed(autoPing.pingTarget) |
| pre | init'ed(autoPing.website) |
| pre | this.strategy != null |
| pre | this.strategy.threadLocalEntityManager != null |
| pre | (soft) org/apache/roller/weblogger/pojos/AutoPing. pcInheritedFieldCount <= 232-3 |
| pre | (soft) this.strategy.emf != null |
| presumption | javax.persistence.Query:getResultList(...)@116 != 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 |
| unanalyzed | call on javax.persistence.EntityManager:createNamed Query |
| unanalyzed | call on javax.persistence.Query:setFlushMode |
| unanalyzed | call on org.apache.openjpa.enhance.StateManager:acc essingField |