Messages

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

method	org.apache.roller.weblogger.business.runnable. ScheduledEntriesTask__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 == &"ScheduledEntriesTask"

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	org/apache/roller/weblogger/config/WebloggerConfig. config != null
pre	org/apache/roller/weblogger/config/WebloggerConfig. log != null
pre	(soft) log != null
post	possibly_updated(this.clientId)
post	possibly_updated(this.interval)
post	possibly_updated(this.leaseTime)
post	possibly_updated(this.startTimeDesc)
unanalyzed	call on getName
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.lang.String:trim
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on java.util.Properties:getProperty
unanalyzed	call on java.util.Properties:setProperty
test_vector	java.util.Properties:getProperty(...)@100: Addr_Set{null}, Inverse{null}
test_vector	java.util.Properties:getProperty(...)@110: Addr_Set{null}, Inverse{null}
test_vector	java.util.Properties:getProperty(...)@88: Addr_Set{null}, Inverse{null}
test_vector	java.util.Properties:getProperty(...)@94: 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	org/apache/roller/weblogger/business/WebloggerFacto ry.webloggerProvider != null
pre	org/apache/roller/weblogger/business/WebloggerFacto ry.webloggerProvider.webloggerInstance != null
pre	(soft) org/apache/roller/weblogger/business/Weblogg erImpl.log != null
pre	(soft) org/apache/roller/weblogger/business/jpa/JPA AutoPingManagerImpl.logger != null
pre	(soft) org/apache/roller/weblogger/business/jpa/JPA PingQueueManagerImpl.log != null
pre	(soft) org/apache/roller/weblogger/business/search/ IndexManagerImpl.mLogger != null
pre	(soft) org/apache/roller/weblogger/config/Weblogger RuntimeConfig.log != null
pre	(soft) org/apache/roller/weblogger/pojos/AutoPing. pcInheritedFieldCount <= 2³²-3
presumption	getWeblogger(...).autoPingManager != null
presumption	getWeblogger(...).bookmarkManager != null
presumption	getWeblogger(...).fileManager != null
presumption	getWeblogger(...).indexManager != 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
presumption	java.util.Iterator:next(...)@156 != null
presumption	javax.persistence.Query:getResultList(...)@645 != null
presumption	searchMgr.roller != null
presumption	searchMgr.roller.threadManager != null
presumption	searchMgr.roller.threadManager.serviceScheduler != null
presumption	wMgr.roller != null
presumption	wMgr.roller...pingQueueManager != null
presumption	wMgr.roller...pingQueueManager.strategy != null
presumption	wMgr.roller...pingQueueManager.strategy. threadLocalEntityManager != null
presumption	wMgr.roller.autoPingManager != null
presumption	wMgr.roller.autoPingManager.roller != null
presumption	wMgr.roller.autoPingManager.strategy != null
presumption	wMgr.roller.autoPingManager.strategy. threadLocalEntityManager != null
presumption	wMgr.roller.userManager != null
presumption	wMgr.roller.userManager.strategy != null
presumption	wMgr.roller.userManager.strategy.threadLocalEntityM anager != null
presumption	wMgr.strategy != null
presumption	wMgr.strategy.emf != null
presumption	wMgr.strategy.emf@137 != null
presumption	wMgr.strategy.threadLocalEntityManager != null
unanalyzed	call on getWeblogger
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 org.apache.roller.weblogger.pojos. WeblogCategory:getId
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.ArrayList
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getId
unanalyzed	call on java.util.List:add
unanalyzed	call on javax.persistence.EntityManager:createQuery
unanalyzed	call on javax.persistence.Query:setFlushMode
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.List:get
unanalyzed	call on javax.persistence.Query:setParameter
unanalyzed	call on javax.persistence.Query:setMaxResults
unanalyzed	call on javax.persistence.Query:getResultList
unanalyzed	call on java.lang.String:trim
unanalyzed	call on getRootWeblogCategory
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:getSingleResult
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.lang.StringUtils:isNotEm pty
unanalyzed	call on getWeblogCategoryByPath
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getId
unanalyzed	call on java.util.Date:getTime
unanalyzed	call on java.sql.Timestamp
unanalyzed	call on javax.persistence.Query:setFirstResult
unanalyzed	call on javax.persistence.EntityManager:contains
unanalyzed	call on javax.persistence.EntityManager:persist
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getWebsite
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getPubTime
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:createAnchorBase
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on javax.persistence.Query:executeUpdate
unanalyzed	call on getUserManager
unanalyzed	call on saveWebsite
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntryTagAggregate
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntryTagAggregate:setLastUsed
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntryTagAggregate:getTotal
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntryTagAggregate:setTotal
unanalyzed	call on java.lang.Integer
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getAnchor
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:setAnchor
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getAddedTags
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getRemovedTags
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getStatus
unanalyzed	call on java.lang.System:currentTimeMillis
unanalyzed	call on java.sql.Timestamp:after
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:setStatus
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:setUpdateTime
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:isPublished
unanalyzed	call on getAutopingManager
unanalyzed	call on queueApplicableAutoPings
unanalyzed	call on javax.persistence.EntityTransaction:commit
unanalyzed	call on org.apache.roller.RollerException
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on org.apache.roller.weblogger.business. search.operations.WriteToIndexOperation
unanalyzed	call on scheduleIndexOperation
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on getThreadManager
unanalyzed	call on java.util.concurrent.ExecutorService:submit
unanalyzed	call on executeInBackground
unanalyzed	call on release
unanalyzed	call on javax.persistence.EntityTransaction:rollbac k
unanalyzed	call on javax.persistence.EntityManager:close
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:setLastModified
unanalyzed	call on getBooleanProperty
unanalyzed	call on org.apache.commons.logging.Log:isDebugEnabl ed
unanalyzed	call on getPingQueueManager
unanalyzed	call on java.util.List:iterator
unanalyzed	call on addQueueEntry
unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField
unanalyzed	call on org.apache.roller.util.UUIDGenerator:genera teUUID
unanalyzed	call on org.apache.roller.weblogger.business. search.operations.IndexOperation
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 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(...)@155: {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.roller.weblogger.pojos. WeblogEntry:setStatus(String)

info method not available -- call on void org.apache.roller.weblogger.util. cache.CacheManager:invalidate(WeblogEntry)

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

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

method	void main(String[])
pre	(soft) log != 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.RollerTaskWithLeasing
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 org.apache.commons.logging.Log:warn
unanalyzed	call on org.apache.roller.weblogger.business. runnable.RollerTask
unanalyzed	call on getName
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.lang.String:trim
unanalyzed	call on org.apache.commons.logging.Log:debug
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()