Messages

method	void org.apache.roller.weblogger.business.pings. PingQueueTask()
post	this.clientId == null
post	this.interval == 5
post	this.leaseTime == 30
post	this.startTimeDesc == &"immediate"
unanalyzed	call on org.apache.roller.weblogger.business. runnable.RollerTask

method	org.apache.roller.weblogger.business.pings. PingQueueTask__static_init
post	init'ed(log)

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

method	String getName()
post	return_value == &"PingQueueTask"

method	String getClientId()
pre	init'ed(this.clientId)
post	return_value == this.clientId
post	init'ed(return_value)

method	Date getStartTime(Date)
pre	init'ed(this.startTimeDesc)
post	init'ed(return_value)
unanalyzed	call on java.lang.String:equals
unanalyzed	call on org.apache.roller.util.DateUtil:getEndOfDay
unanalyzed	call on org.apache.roller.util.DateUtil:getEndOfHou r

method	String getStartTimeDesc()
pre	init'ed(this.startTimeDesc)
post	return_value == this.startTimeDesc
post	init'ed(return_value)

method	int getInterval()
pre	init'ed(this.interval)
post	return_value == this.interval
post	init'ed(return_value)

method	int getLeaseTime()
pre	init'ed(this.leaseTime)
post	return_value == this.leaseTime
post	init'ed(return_value)

method	void init()
pre	init'ed(org/apache/roller/weblogger/business/pings/ PingQueueProcessor.theInstance)
pre	org/apache/roller/weblogger/config/WebloggerConfig. config != null
pre	org/apache/roller/weblogger/config/WebloggerConfig. log != 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
post	org/apache/roller/weblogger/business/pings/PingQueu eProcessor.theInstance == One-of{old org/apache/roller/weblogger/business/pings/PingQue ueProcessor.theInstance, &new PingQueueProcesso r(init#1*)}
post	org/apache/roller/weblogger/business/pings/PingQueu eProcessor.theInstance != null
post	possibly_updated(this.clientId)
post	possibly_updated(this.interval)
post	possibly_updated(this.leaseTime)
post	possibly_updated(this.startTimeDesc)
post	new PingQueueProcessor(init#1*) num objects <= 1
post	init'ed(new PingQueueProcessor(init#1*). pingQueueMgr)
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on org.apache.commons.logging.Log:warn
unanalyzed	call on org.apache.commons.logging.Log:isDebugEnabl ed
unanalyzed	call on getWeblogger
unanalyzed	call on getPingQueueManager
unanalyzed	call on getName
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.util.Properties:getProperty
unanalyzed	call on java.util.Properties
unanalyzed	call on java.util.Properties:keys
unanalyzed	call on java.util.Enumeration:hasMoreElements
unanalyzed	call on java.util.Enumeration:nextElement
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.util.Properties:setProperty
test_vector	java.util.Properties:getProperty(...)@101: Addr_Set{null}, Inverse{null}
test_vector	java.util.Properties:getProperty(...)@111: Addr_Set{null}, Inverse{null}
test_vector	java.util.Properties:getProperty(...)@89: Addr_Set{null}, Inverse{null}
test_vector	java.util.Properties:getProperty(...)@95: Addr_Set{null}, Inverse{null}

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

method	void runTask()
pre	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) org/apache/roller/weblogger/business/jpa/JPA PingQueueManagerImpl.log != null
pre	(soft) org/apache/roller/weblogger/business/pings/P ingQueueProcessor.theInstance != null
pre	(soft) org/apache/roller/weblogger/business/pings/P ingQueueProcessor.theInstance.pingQueueMgr != null
pre	(soft) org/apache/roller/weblogger/business/pings/P ingQueueProcessor.theInstance.pingQueueMgr. strategy != null
pre	(soft) org/apache/roller/weblogger/business/pings/P ingQueueProcessor.theInstance.pingQueueMgr. strategy.emf != null
pre	(soft) org/apache/roller/weblogger/business/pings/P ingQueueProcessor.theInstance.pingQueueMgr. strategy.threadLocalEntityManager != 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
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(...).strategy != null
presumption	getWeblogger(...).strategy.emf != null
presumption	getWeblogger(...).strategy.threadLocalEntityManager != null
presumption	getWeblogger(...).threadManager != null
presumption	getWeblogger(...).userManager != null
presumption	getWeblogger(...).weblogManager != 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 getSuspendPingProcessing
unanalyzed	call on getAbsoluteContextURL
unanalyzed	call on getAllQueueEntries
unanalyzed	call on java.util.List:iterator
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:createNamed Query
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.util.Properties:getProperty
unanalyzed	call on java.lang.Integer:parseInt
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.Query:setFlushMode
unanalyzed	call on javax.persistence.Query:getResultList
unanalyzed	call on javax.persistence.EntityTransaction:commit
unanalyzed	call on org.apache.roller.RollerException
unanalyzed	call on release
unanalyzed	call on javax.persistence.EntityTransaction:rollbac k
unanalyzed	call on javax.persistence.EntityManager:close
unanalyzed	call on java.lang.Boolean

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 main(String[])
pre	(soft) log != null
pre	(soft) init'ed(org/apache/roller/weblogger/business /pings/PingQueueProcessor.theInstance)
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/config/Weblogger Config.config != null
pre	(soft) org/apache/roller/weblogger/config/Weblogger Config.log != null
unanalyzed	call on org.apache.roller.weblogger.business. runnable.RollerTask
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on org.apache.commons.logging.Log:warn
unanalyzed	call on org.apache.commons.logging.Log:isDebugEnabl ed
unanalyzed	call on getWeblogger
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on getTaskProperties
unanalyzed	call on java.util.Properties:getProperty
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on getPingQueueManager
unanalyzed	call on getName
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.util.Properties
unanalyzed	call on java.util.Properties:keys
unanalyzed	call on java.util.Enumeration:hasMoreElements
unanalyzed	call on java.util.Enumeration:nextElement
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.util.Properties:setProperty

info call too complex - analysis skipped -- call on void run()

info method not available -- call on void org.apache.roller.weblogger. WebloggerException:printStackTrace()