| method | void run() |
| pre | this.pool != null |
| pre | (soft) log != null |
| pre | (soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider != null |
| pre | (soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider.webloggerInstance != null |
| pre | (soft) org/apache/roller/weblogger/business/Weblogg erImpl.log != null |
| pre | (soft) this.tasks != 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(...).threadManager != null |
| presumption | getWeblogger(...).userManager != null |
| presumption | getWeblogger(...).weblogManager != null |
| presumption | java.lang.System:currentTimeMillis(...)@102 - java.util.Date:getTime(...)@102 in -18_446_744_073_709_551_565..9_223_372_036_854_775 _858 |
| presumption | java.lang.System:currentTimeMillis(...)@110 - java.util.Date:getTime(...)@110 in -18_446_744_073_709_551_565..9_223_372_036_854_775 _858 |
| presumption | java.util.Calendar:getInstance(...)@79 != null |
| presumption | org.apache.roller.util.DateUtil:getEndOfMinute(... )@101 != null |
| presumption | org.apache.roller.util.DateUtil:getEndOfMinute(... )@109 != null |
| presumption | org/apache/roller/weblogger/business/WebloggerFacto ry.webloggerProvider.webloggerInstance@105 != null |
| presumption | org/apache/roller/weblogger/business/WebloggerFacto ry.webloggerProvider.webloggerInstance@112 != null |
| presumption | org/apache/roller/weblogger/business/WebloggerImpl. log@105 != null |
| presumption | org/apache/roller/weblogger/business/WebloggerImpl. log@112 != null |
| unanalyzed | call on org.apache.commons.logging.Log:debug |
| unanalyzed | call on getWeblogger |
| unanalyzed | call on getThreadManager |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on getName |
| unanalyzed | call on getTaskLockByName |
| unanalyzed | call on org.apache.roller.weblogger.pojos. TaskLock:getName |
| unanalyzed | call on getInterval |
| unanalyzed | call on org.apache.roller.weblogger.pojos. TaskLock:getNextAllowedRun |
| unanalyzed | call on java.util.Date:getTime |
| unanalyzed | call on getStartTimeDesc |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on org.apache.roller.util.DateUtil:getStartOfD ay |
| unanalyzed | call on org.apache.roller.util.DateUtil:getStartOfH our |
| unanalyzed | call on java.util.concurrent.ExecutorService:submit |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on org.apache.commons.logging.Log:warn |
| 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 javax.persistence.Query:setFlushMode |
| unanalyzed | call on javax.persistence.Query:getSingleResult |
| 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.lang.System:currentTimeMillis(...)@102 - java.util.Date:getTime(...)@102: {50.. 263+50}, {-18_446_744_073_709_55 1_565..49} |
| method | void runTasks(Date) |
| pre | log != null |
| pre | org/apache/roller/weblogger/business/WebloggerFacto ry.webloggerProvider != null |
| pre | org/apache/roller/weblogger/business/WebloggerFacto ry.webloggerProvider.webloggerInstance != null |
| pre | this.tasks != null |
| pre | (soft) currentTime != null |
| pre | (soft) this.pool != null |
| presumption | getWeblogger(...).threadManager != null |
| presumption | java.util.Date:getTime(...)@180 - java.util. Date:getTime(...)@180 in -18_446_744_073_709_551_61 5..263 |
| presumption | java.util.Iterator:next(...)@135 != null |
| presumption | org.apache.roller.util.DateUtil:getStartOfDay(... )@160 != null |
| presumption | org.apache.roller.util.DateUtil:getStartOfHour(... )@168 != null |
| presumption | org.apache.roller.weblogger.pojos.TaskLock:getNextA llowedRun(...)@148 != null |
| presumption | tmgr.strategy != null |
| presumption | tmgr.strategy.emf != null |
| presumption | tmgr.strategy.threadLocalEntityManager != null |
| unanalyzed | call on getWeblogger |
| 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(...)@157: {0}, {1} |
| test_vector | java.lang.String:equals(...)@165: {0}, {1} |
| test_vector | java.util.Date:getTime(...)@180 - java.util. Date:getTime(...)@180: {1..9_223_372_036_854_775_80 8}, {-264+1..0} |
| test_vector | java.util.Iterator:hasNext(...)@135: {0}, {1} |