Messages

method	org.apache.roller.weblogger.business.pings. PingQueueProcessor__static_init
post	init'ed(logger)

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

method	PingQueueProcessor getInstance()
pre	init'ed(theInstance)
post	return_value == theInstance
post	init'ed(return_value)

method	void org.apache.roller.weblogger.business.pings. PingQueueProcessor()
pre	org/apache/roller/weblogger/business/WebloggerFacto ry.webloggerProvider != null
pre	org/apache/roller/weblogger/business/WebloggerFacto ry.webloggerProvider.webloggerInstance != null
presumption	getWeblogger(...)@54 init'ed
post	init'ed(this.pingQueueMgr)
unanalyzed	call on getWeblogger

method	void init()
pre	init'ed(theInstance)
pre	(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider != null
pre	(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider.webloggerInstance != null
presumption	org.apache.commons.logging.LogFactory:getLog(... )@41 != null
post	theInstance == One-of{old theInstance, &new PingQueueProcessor(init#1)}
post	theInstance != null
post	new PingQueueProcessor(init#1) num objects <= 1
post	init'ed(new PingQueueProcessor(init#1). pingQueueMgr)
unanalyzed	call on getWeblogger
unanalyzed	call on getPingQueueManager
test_vector	theInstance: Addr_Set{null}, Inverse{null}
test_vector	org.apache.commons.logging.Log:isDebugEnabled(... )@69: {0}, {1}

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

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

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

method	void processQueue()
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 PingQueueManagerImpl.log != null
pre	(soft) org/apache/roller/weblogger/config/Weblogger Config.config != null
pre	(soft) org/apache/roller/weblogger/config/Weblogger Config.log != null
pre	(soft) init'ed(org/apache/roller/weblogger/config/W ebloggerRuntimeConfig.absoluteContextURL)
pre	(soft) org/apache/roller/weblogger/config/Weblogger RuntimeConfig.log != null
pre	(soft) org/apache/roller/weblogger/pojos/PingQueueE ntry.pcInheritedFieldCount <= 2³²-5
pre	(soft) this.pingQueueMgr != null
pre	(soft) this.pingQueueMgr.strategy != null
pre	(soft) this.pingQueueMgr.strategy.emf != null
pre	(soft) this.pingQueueMgr.strategy.threadLocalEntity Manager != null
presumption	java.util.Iterator:next(...)@102 != null
presumption	javax.persistence.Query:getResultList(...)@104 != null
presumption	org.apache.commons.logging.LogFactory:getLog(... )@41 != null
presumption	pingQueueEntry.attempts@102 <= 2³²-2
presumption	pingQueueEntry.pingTarget@102 != null
presumption	pingQueueEntry.website@102 != null
unanalyzed	call on getMaxPingAttempts
unanalyzed	call on java.net.UnknownHostException:instanceof
unanalyzed	call on java.net.MalformedURLException:instanceof
unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField
unanalyzed	call on java.lang.Exception:getMessage
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on saveQueueEntry
unanalyzed	call on org.apache.commons.logging.Log:warn
unanalyzed	call on removeQueueEntry
unanalyzed	call on org.apache.commons.logging.Log:isDebugEnabl ed
unanalyzed	call on getLogPingsOnly
unanalyzed	call on org.apache.commons.logging.Log:info
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getAbsoluteURL
unanalyzed	call on org.apache.roller.weblogger.pojos. PingTarget:getPingUrl
unanalyzed	call on getVariantOptions
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Set:contains
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getName
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Set:isEmpty
unanalyzed	call on org.apache.xmlrpc.client.XmlRpcClientConfig Impl
unanalyzed	call on java.net.URL
unanalyzed	call on org.apache.xmlrpc.client.XmlRpcClientConfig Impl:setServerURL
unanalyzed	call on org.apache.xmlrpc.client.XmlRpcClient
unanalyzed	call on org.apache.xmlrpc.client.XmlRpcClient:setCo nfig
unanalyzed	call on java.util.List:toArray
unanalyzed	call on org.apache.xmlrpc.client.XmlRpcClient:execu te
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.util.Properties:getProperty
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on org.apache.commons.logging.Log:error
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:contains
unanalyzed	call on javax.persistence.EntityManager:persist
unanalyzed	call on javax.persistence.EntityManager:remove
unanalyzed	call on java.lang.Boolean:valueOf
unanalyzed	call on getBooleanProperty
unanalyzed	call on getWeblogger
unanalyzed	call on getPropertiesManager
unanalyzed	call on getProperty
unanalyzed	call on javax.persistence.EntityManager:find
unanalyzed	call on org.apache.roller.weblogger.pojos. RuntimeConfigProperty:getValue
unanalyzed	call on java.lang.String:length
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode
unanalyzed	call on javax.persistence.Query:getResultList
unanalyzed	call on java.lang.Boolean
test_vector	java.util.Iterator:hasNext(...)@101: {0}, {1}
test_vector	org.apache.commons.logging.Log:isDebugEnabled(... )@105: {0}, {1}
test_vector	org.apache.commons.logging.Log:isDebugEnabled(... )@96: {0}, {1}

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 bool org.apache.commons.logging. Log:isDebugEnabled()

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 processQueueEntry(PingQueueEntry)
pre	org/apache/roller/weblogger/config/WebloggerConfig. config != null
pre	org/apache/roller/weblogger/config/WebloggerConfig. log != null
pre	pingQueueEntry != null
pre	init'ed(pingQueueEntry.pcStateManager)
pre	(soft) pingQueueEntry.attempts <= 2³²-2
pre	(soft) org/apache/roller/weblogger/business/jpa/JPA PingQueueManagerImpl.log != null
pre	(soft) org/apache/roller/weblogger/pojos/PingQueueE ntry.pcInheritedFieldCount <= 2³²-5
pre	(soft) pingQueueEntry.pingTarget != null
pre	(soft) pingQueueEntry.website != null
pre	(soft) this.pingQueueMgr != null
pre	(soft) this.pingQueueMgr.strategy != null
pre	(soft) this.pingQueueMgr.strategy.emf != null
pre	(soft) this.pingQueueMgr.strategy.threadLocalEntity Manager != null
presumption	org.apache.commons.logging.LogFactory:getLog(... )@41 != null
post	pingQueueEntry.attempts == One-of{old pingQueueEntry.attempts, old pingQueueEntry. attempts + 1}
post	(soft) init'ed(pingQueueEntry.attempts)
unanalyzed	call on getMaxPingAttempts
unanalyzed	call on java.net.UnknownHostException:instanceof
unanalyzed	call on java.net.MalformedURLException:instanceof
unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField
unanalyzed	call on java.lang.Exception:getMessage
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on saveQueueEntry
unanalyzed	call on org.apache.commons.logging.Log:warn
unanalyzed	call on removeQueueEntry
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:isDebugEnabl ed
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getAbsoluteURL
unanalyzed	call on org.apache.roller.weblogger.pojos. PingTarget:getPingUrl
unanalyzed	call on getVariantOptions
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Set:contains
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getName
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Set:isEmpty
unanalyzed	call on org.apache.xmlrpc.client.XmlRpcClientConfig Impl
unanalyzed	call on java.net.URL
unanalyzed	call on org.apache.xmlrpc.client.XmlRpcClientConfig Impl:setServerURL
unanalyzed	call on org.apache.xmlrpc.client.XmlRpcClient
unanalyzed	call on org.apache.xmlrpc.client.XmlRpcClient:setCo nfig
unanalyzed	call on java.util.List:toArray
unanalyzed	call on org.apache.xmlrpc.client.XmlRpcClient:execu te
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.util.Properties:getProperty
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on org.apache.commons.logging.Log:error
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:contains
unanalyzed	call on javax.persistence.EntityManager:persist
unanalyzed	call on javax.persistence.EntityManager:remove
unanalyzed	call on java.lang.Boolean:valueOf
test_vector	org.apache.commons.logging.Log:isDebugEnabled(... )@120: {0}, {1}
test_vector	org.apache.commons.logging.Log:isDebugEnabled(... )@144: {0}, {1}

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

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:info(Object)

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

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

method	void handlePingError(PingQueueEntry, Exception)
pre	ex != null
pre	pingQueueEntry.attempts <= 2³²-2
pre	org/apache/roller/weblogger/business/jpa/JPAPingQue ueManagerImpl.log != null
pre	org/apache/roller/weblogger/config/WebloggerConfig. config != null
pre	org/apache/roller/weblogger/config/WebloggerConfig. log != null
pre	pingQueueEntry != null
pre	init'ed(pingQueueEntry.pcStateManager)
pre	this.pingQueueMgr != null
pre	this.pingQueueMgr.strategy != null
pre	this.pingQueueMgr.strategy.threadLocalEntityManager != null
pre	(soft) init'ed(org/apache/roller/weblogger/pojos/Pi ngQueueEntry.pcInheritedFieldCount)
pre	(soft) this.pingQueueMgr.strategy.emf != null
presumption	org.apache.commons.logging.LogFactory:getLog(... )@41 != null
post	pingQueueEntry.attempts == old pingQueueEntry. attempts + 1
post	pingQueueEntry.attempts >= -2³¹+1
unanalyzed	call on java.net.UnknownHostException:instanceof
unanalyzed	call on java.net.MalformedURLException:instanceof
unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField
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 org.apache.commons.logging.Log:isDebugEnabl ed
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
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:contains
unanalyzed	call on javax.persistence.EntityManager:persist
unanalyzed	call on javax.persistence.EntityManager:remove

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:debug(Object, Throwable)

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

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

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