Messages

method	org.apache.roller.weblogger.business.jpa. JPAAutoPingManagerImpl__static_init
presumption	org.apache.commons.logging.LogFactory:getFactory(.. .)@52 != null
post	init'ed(logger)

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

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

method	void org.apache.roller.weblogger.business.jpa. JPAAutoPingManagerImpl(Weblogger, JPAPersistenceStr ategy)
post	this.roller == roller
post	init'ed(this.roller)
post	this.strategy == strategy
post	init'ed(this.strategy)

method	AutoPing getAutoPing(String)
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
post	init'ed(return_value)
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:find

method	void saveAutoPing(AutoPing)
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
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

method	void removeAutoPing(AutoPing)
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
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:remove

method	void removeAutoPing(PingTarget, Weblog)
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
presumption	javax.persistence.EntityManager:createNamedQuery(.. .)@301 != null
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

method	void removeAutoPings(Collection)
pre	autopings != null
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
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:remove
unanalyzed	call on java.util.Collection:iterator

method	void removeAllAutoPings()
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
presumption	javax.persistence.EntityManager:createNamedQuery(.. .)@301 != null
presumption	javax.persistence.Query:getResultList(...)@88 != null
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.EntityManager:remove
unanalyzed	call on java.util.Collection:iterator

method	void queueApplicableAutoPings(WeblogEntry)
pre	org/apache/roller/weblogger/config/WebloggerRuntime Config.log != null
pre	(soft) changedWeblogEntry != null
pre	(soft) logger != 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 PingQueueManagerImpl.log != null
pre	(soft) org/apache/roller/weblogger/pojos/AutoPing. pcInheritedFieldCount <= 2³²-3
pre	(soft) this.roller != null
pre	(soft) this.roller.pingQueueManager != null
pre	(soft) this.roller.pingQueueManager.strategy != null
pre	(soft) this.roller.pingQueueManager.strategy. threadLocalEntityManager != null
pre	(soft) this.strategy != null
pre	(soft) this.strategy.emf != null
pre	(soft) this.strategy.threadLocalEntityManager != null
presumption	java.util.Iterator:next(...)@102 != null
presumption	javax.persistence.Query:getResultList(...)@110 != null
presumption	pingQueueMgr.strategy.emf@100 != null
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 org.apache.roller.weblogger.pojos. WeblogEntry:getWebsite
unanalyzed	call on getBooleanProperty
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on javax.persistence.EntityManager:contains
unanalyzed	call on javax.persistence.EntityManager:persist
unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField
unanalyzed	call on java.util.List:size
unanalyzed	call on java.lang.System:currentTimeMillis
unanalyzed	call on java.sql.Timestamp
unanalyzed	call on org.apache.roller.util.UUIDGenerator:genera teUUID
unanalyzed	call on javax.persistence.EntityManager:find
unanalyzed	call on getWeblogger
unanalyzed	call on getPropertiesManager
unanalyzed	call on getProperty
unanalyzed	call on org.apache.roller.weblogger.pojos. RuntimeConfigProperty:getValue
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:warn
unanalyzed	call on java.lang.Boolean
unanalyzed	call on java.lang.Boolean:booleanValue
test_vector	java.util.Iterator:hasNext(...)@101: {0}, {1}
test_vector	org.apache.commons.logging.Log:isDebugEnabled(... )@93: {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)

method	List getAutoPingsByWebsite(Weblog)
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
post	init'ed(return_value)
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

method	List getAutoPingsByTarget(PingTarget)
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
post	init'ed(return_value)
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

method	List getApplicableAutoPings(WeblogEntry)
pre	changedWeblogEntry != null
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
post	init'ed(return_value)
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

info method not available -- call on Weblog org.apache.roller.weblogger. pojos.WeblogEntry:getWebsite()

method	List getCategoryRestrictions(AutoPing)
presumption	init'ed(java.util.Collections.EMPTY_LIST)
post	return_value == java.util.Collections.EMPTY_LIST
post	(soft) init'ed(return_value)

method

void setCategoryRestrictions(AutoPing, Collection)

method

void release()

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