Messages

method	org.apache.roller.weblogger.business.referrers. ReferrerQueueManagerImpl__static_init
post	init'ed(mLogger)

info method not available -- call on Log org.apache.commons.logging. LogFactory:getLog(Class)

method	void org.apache.roller.weblogger.business. referrers.ReferrerQueueManagerImpl(Weblogger)
pre	mLogger != null
pre	org/apache/roller/weblogger/config/WebloggerConfig. config != null
pre	org/apache/roller/weblogger/config/WebloggerConfig. log != null
presumption	java.lang.Integer:parseInt(...)@101 in -2_147_483..4_294_967
post	init'ed(this.asyncMode)
post	this.numWorkers >= 1
post	init'ed(this.referrerQueue)
post	this.roller == roller
post	init'ed(this.roller)
post	this.sleepTime in -2_147_483_000..4_294_967_000
post	this.workers in Addr_Set{null,&new ArrayList(ReferrerQueueManagerImpl#5)}
post	new ArrayList(ReferrerQueueManagerImpl#5) num objects <= 1
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.Boolean
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on java.lang.Thread
test_vector	java.lang.Integer:parseInt(...)@90: {1..2³²-1}, {-2³¹..0}

info method not available -- call on void org.apache.commons.logging. Log:info(Object)

info method not available -- call on void org.apache.commons.logging. Log:warn(Object)

info method not available -- call on void org.apache.roller.weblogger. business.runnable.ContinuousWorkerThread:start()

method	void processReferrer(IncomingReferrer)
pre	init'ed(this.asyncMode)
pre	(soft) mLogger != 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/jpa/JPA RefererManagerImpl.log != null
pre	(soft) org/apache/roller/weblogger/business/jpa/JPA UserManagerImpl.log != null
pre	(soft) org/apache/roller/weblogger/business/jpa/JPA WeblogManagerImpl.log != null
pre	(soft) org/apache/roller/weblogger/business/referre rs/ReferrerProcessingJob.mLogger != null
pre	(soft) org/apache/roller/weblogger/config/Weblogger RuntimeConfig.log != null
pre	(soft) referrer != null
pre	(soft) init'ed(referrer.requestUrl)
pre	(soft) this.referrerQueue != null
pre	(soft) this.roller != null
pre	(soft) this.roller.strategy != null
pre	(soft) this.roller.strategy.emf != null
pre	(soft) this.roller.strategy.threadLocalEntityManage r != null
unanalyzed	call on org.apache.commons.logging.Log:warn
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.Map:get
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on getWeblogger
unanalyzed	call on getRefererManager
unanalyzed	call on processReferrer
unanalyzed	call on flush
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:length
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
unanalyzed	call on javax.persistence.Query:setParameter
unanalyzed	call on javax.persistence.Query:getResultList
unanalyzed	call on getUserManager
unanalyzed	call on getWebsiteByHandle
unanalyzed	call on getWeblogManager
unanalyzed	call on getWeblogEntryByAnchor
unanalyzed	call on getReferersToWebsite
unanalyzed	call on org.apache.roller.weblogger.util. Utilities:stripJsessionId
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.util.List:get
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogReferrer:getDayHits
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogReferrer:setDayHits
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogReferrer:getTotalHits
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogReferrer:setTotalHits
unanalyzed	call on saveReferer
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogReferrer
unanalyzed	call on org.apache.commons.logging.Log:isDebugEnabl ed
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogReferrer:getRefererUrl
unanalyzed	call on getBooleanProperty
unanalyzed	call on java.lang.String:equals
unanalyzed	call on getThreadManager
unanalyzed	call on executeInBackground
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on javax.persistence.EntityManager:contains
unanalyzed	call on javax.persistence.EntityManager:persist
unanalyzed	call on javax.persistence.EntityTransaction:commit
unanalyzed	call on org.apache.roller.RollerException
unanalyzed	call on javax.persistence.EntityManager:find
unanalyzed	call on getPropertiesManager
unanalyzed	call on getProperty
unanalyzed	call on org.apache.roller.weblogger.pojos. RuntimeConfigProperty:getValue
unanalyzed	call on javax.persistence.Query:getSingleResult
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.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 java.util.Hashtable:remove
unanalyzed	call on java.util.Hashtable:containsKey
unanalyzed	call on java.util.Hashtable:get
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getId
unanalyzed	call on java.util.Hashtable:put
unanalyzed	call on java.lang.Boolean
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on java.util.concurrent.ExecutorService:submit
test_vector	this.asyncMode: {0}, {1}

info method not available -- call on void org.apache.commons.logging. Log:debug(Object)

info method not available -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

method	void enqueue(IncomingReferrer)
pre	this.referrerQueue != null
pre	(soft) mLogger != null
test_vector	java.util.List:size(...)@166: {-2³¹.. 250}, {251..2³²-1}

info method not available -- call on void org.apache.commons.logging. Log:warn(Object)

method	IncomingReferrer dequeue()
pre	this.referrerQueue != null
post	init'ed(return_value)
test_vector	java.util.List:isEmpty(...)@177: {1}, {0}

method	void shutdown()
pre	init'ed(this.workers)
pre	(soft) mLogger != null
presumption	java.util.Iterator:next(...)@197 != null
test_vector	this.workers: Addr_Set{null}, Inverse{null}
test_vector	java.util.Iterator:hasNext(...)@196: {0}, {1}
test_vector	java.util.List:size(...)@190: {-2³¹..0}, {1..2³²-1}

info method not available -- call on void org.apache.commons.logging. Log:info(Object)

info method not available -- call on void org.apache.roller.weblogger. business.runnable.WorkerThread:interrupt()