| method | bool registerLease(RollerTask) |
| pre | task != null |
| pre | (soft) init'ed(task.clientId) |
| pre | (soft) init'ed(task.leaseTime) |
| pre | (soft) init'ed(task.startTimeDesc) |
| pre | (soft) this.strategy != null |
| pre | (soft) this.strategy.emf != null |
| pre | (soft) this.strategy.threadLocalEntityManager != null |
| presumption | javax.persistence.EntityManager:createNamedQuery(.. .)@301 != null |
| presumption | org.apache.commons.logging.LogFactory:getLog(... )@44 != null |
| presumption | org.apache.roller.util.DateUtil:getStartOfDay(... )@95 != null |
| presumption | org.apache.roller.util.DateUtil:getStartOfHour(... )@98 != null |
| presumption | org.apache.roller.util.DateUtil:getStartOfMinute(.. .)@101 != null |
| presumption | org.apache.roller.weblogger.pojos.TaskLock:getLease Expiration(...)@87 != 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:setParameter |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on javax.persistence.Query:setFlushMode |
| unanalyzed | call on javax.persistence.Query:getSingleResult |
| test_vector | java.lang.String:equals(...)@93: {0}, {1} |
| test_vector | java.lang.String:equals(...)@96: {0}, {1} |
| test_vector | org.apache.commons.logging.Log:isDebugEnabled(... )@104: {0}, {1} |
| method | bool unregisterLease(RollerTask) |
| pre | (soft) task != null |
| pre | (soft) init'ed(task.clientId) |
| pre | (soft) this.strategy != null |
| pre | (soft) this.strategy.emf != null |
| pre | (soft) this.strategy.threadLocalEntityManager != null |
| presumption | javax.persistence.EntityManager:createNamedQuery(.. .)@301 != null |
| presumption | org.apache.commons.logging.LogFactory:getLog(... )@44 != 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:setParameter |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on javax.persistence.Query:setFlushMode |
| unanalyzed | call on javax.persistence.Query:getSingleResult |
| test_vector | javax.persistence.Query:executeUpdate(...)@162: {-231..0, 2..232-1}, {1} |
| method | TaskLock getTaskLockByName(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:createNamed Query |
| unanalyzed | call on javax.persistence.Query:setFlushMode |
| method | void saveTaskLock(TaskLock) |
| 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 |