| method | org.apache.roller.weblogger.business. HitCountQueue__static_init |
| pre | org/apache/roller/weblogger/config/WebloggerConfig. config != null |
| pre | org/apache/roller/weblogger/config/WebloggerConfig. log != null |
| presumption | org.apache.commons.logging.LogFactory:getLog(... )@45 != null |
| post | instance == &new HitCountQueue(HitCountQueue__ static_init#1) |
| post | (soft) log != null |
| post | new ContinuousWorkerThread(HitCountQueue#4) num objects == 1 |
| post | new HitCountProcessingJob(HitCountQueue#3) num objects == 1 |
| post | new HitCountQueue(HitCountQueue__static_init#1) num objects == 1 |
| post | instance.numWorkers == 1 |
| post | new ContinuousWorkerThread(HitCountQueue#4).id == &"HitCountQueueProcessor" |
| post | new ContinuousWorkerThread(HitCountQueue#4).job == &new HitCountProcessingJob(HitCountQueue#3) |
| post | new ContinuousWorkerThread(HitCountQueue#4). sleepTime in -2_147_483_000..4_294_967_000 |
| post | instance.sleepTime == new ContinuousWorkerThread(Hi tCountQueue#4).sleepTime |
| post | init'ed(instance.queue) |
| post | instance.worker == &new ContinuousWorkerThread( HitCountQueue#4) |
| unanalyzed | call on java.lang.String:trim |
| unanalyzed | call on org.apache.commons.logging.Log:debug |
| unanalyzed | call on java.util.Properties:getProperty |
| unanalyzed | call on java.lang.Integer:parseInt |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on org.apache.commons.logging.Log:warn |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on java.util.Collections:synchronizedList |
| unanalyzed | call on org.apache.roller.weblogger.business. runnable.HitCountProcessingJob |
| unanalyzed | call on java.lang.Thread |
| unanalyzed | call on org.apache.roller.weblogger.business. runnable.WorkerThread:start |
| method | void org.apache.roller.weblogger.business. HitCountQueue() |
| pre | org/apache/roller/weblogger/config/WebloggerConfig. config != null |
| pre | org/apache/roller/weblogger/config/WebloggerConfig. log != null |
| pre | (soft) log != null |
| presumption | java.lang.Integer:parseInt(...)@67 in -2_147_483..4_294_967 |
| post | this.numWorkers == 1 |
| post | new ContinuousWorkerThread(HitCountQueue#4) num objects == 1 |
| post | new HitCountProcessingJob(HitCountQueue#3) num objects == 1 |
| post | init'ed(this.queue) |
| post | this.sleepTime in -2_147_483_000..4_294_967_000 |
| post | this.worker.sleepTime == this.sleepTime |
| post | this.worker == &new ContinuousWorkerThread(HitC ountQueue#4) |
| post | this.worker.id == &"HitCountQueueProcessor" |
| post | this.worker.job == &new HitCountProcessingJob(H itCountQueue#3) |
| unanalyzed | call on java.lang.String:trim |
| unanalyzed | call on org.apache.commons.logging.Log:debug |
| unanalyzed | call on java.util.Properties:getProperty |
| unanalyzed | call on java.lang.Thread |