| method | void execute() |
| pre | log != null |
| pre | init'ed(org/apache/roller/weblogger/business/HitCou ntQueue.instance.queue) |
| pre | org/apache/roller/weblogger/business/HitCountQueue. instance != null |
| pre | org/apache/roller/weblogger/business/WebloggerFacto ry.webloggerProvider != null |
| pre | org/apache/roller/weblogger/business/WebloggerFacto ry.webloggerProvider.webloggerInstance != null |
| pre | (soft) org/apache/roller/weblogger/business/Weblogg erImpl.log != null |
| pre | (soft) org/apache/roller/weblogger/business/jpa/JPA UserManagerImpl.log != null |
| presumption | getWeblogger(...).autoPingManager != null |
| presumption | getWeblogger(...).bookmarkManager != null |
| presumption | getWeblogger(...).fileManager != null |
| presumption | getWeblogger(...).pingQueueManager != null |
| presumption | getWeblogger(...).pingTargetManager != null |
| presumption | getWeblogger(...).pluginManager != null |
| presumption | getWeblogger(...).refererManager != null |
| presumption | getWeblogger(...).strategy != null |
| presumption | getWeblogger(...).strategy.emf != null |
| presumption | getWeblogger(...).strategy.threadLocalEntityManager != null |
| presumption | getWeblogger(...).threadManager != null |
| presumption | getWeblogger(...).userManager != null |
| presumption | getWeblogger(...).weblogManager != null |
| presumption | java.lang.Long:intValue(...)@93 != 0 |
| presumption | java.lang.Long:longValue(...)@76 <= 264-2 |
| presumption | java.util.Iterator:next(...)@89 != null |
| presumption | java.util.Map:get(...)@93 != null |
| presumption | java.util.Map:keySet(...)@87 != null |
| presumption | umgr.strategy != null |
| presumption | umgr.strategy.emf != null |
| presumption | umgr.strategy.threadLocalEntityManager != null |
| presumption | umgr.weblogHandleToIdMap != null |
| presumption | wmgr.strategy != null |
| presumption | wmgr.strategy.emf@92 != null |
| presumption | wmgr.strategy.threadLocalEntityManager != null |
| post | init'ed(org/apache/roller/weblogger/business/HitCou ntQueue.instance.queue) |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on java.util.Collections:synchronizedList |
| unanalyzed | call on getWeblogger |
| unanalyzed | call on org.apache.commons.logging.Log:debug |
| 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 |
| unanalyzed | call on javax.persistence.EntityManager:createNamed Query |
| unanalyzed | call on javax.persistence.Query:setFlushMode |
| unanalyzed | call on javax.persistence.Query:setParameter |
| unanalyzed | call on javax.persistence.Query:getSingleResult |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getHandle |
| unanalyzed | call on java.util.Map:remove |
| unanalyzed | call on java.util.Map:put |
| unanalyzed | call on java.util.Map:containsKey |
| unanalyzed | call on java.util.Map:get |
| unanalyzed | call on java.lang.Boolean:equals |
| unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getEnabled |
| unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getId |
| unanalyzed | call on javax.persistence.EntityManager:contains |
| unanalyzed | call on javax.persistence.EntityManager:persist |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogHitCount |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogHitCount:setWeblog |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogHitCount:setDailyHits |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogHitCount:getDailyHits |
| unanalyzed | call on javax.persistence.EntityTransaction:commit |
| unanalyzed | call on org.apache.roller.RollerException |
| unanalyzed | call on release |
| unanalyzed | call on javax.persistence.EntityTransaction:rollbac k |
| unanalyzed | call on javax.persistence.EntityManager:close |
| unanalyzed | call on org.apache.commons.logging.Log:error |
| test_vector | java.util.Iterator:hasNext(...)@88: {0}, {1} |
| test_vector | java.util.Map:get(...)@72: Inverse{null}, Addr_Set{null} |