| method | void run() |
| pre | init'ed(this.job) |
| 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) init'ed(this.id) |
| presumption | java.lang.Object:getClass(...)@71 != null |
| presumption | roller.autoPingManager != null |
| presumption | roller.bookmarkManager != null |
| presumption | roller.fileManager != null |
| presumption | roller.pingQueueManager != null |
| presumption | roller.pingTargetManager != null |
| presumption | roller.pluginManager != null |
| presumption | roller.refererManager != null |
| presumption | roller.threadManager != null |
| presumption | roller.userManager != null |
| presumption | roller.weblogManager != null |
| post | org/apache/roller/weblogger/business/HitCountQueue. instance.queue == old org/apache/roller/weblogger/b usiness/HitCountQueue.instance.queue |
| post | this.job.referrer == old this.job.referrer |
| unanalyzed | call on getWeblogger |
| unanalyzed | call on release |
| 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.EntityTransaction:rollbac k |
| unanalyzed | call on javax.persistence.EntityManager:close |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on org.apache.commons.logging.Log:error |
| test_vector | this.job: Addr_Set{null}, Inverse{null} |