Messages

Last Msg First Msg

method	org.apache.roller.weblogger.business.runnable. ThreadManagerImpl__static_init
post	init'ed(log)

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

method	void org.apache.roller.weblogger.business. runnable.ThreadManagerImpl()
presumption	org.apache.commons.logging.LogFactory:getLog(... )@42 != null
post	this.schedulerThread == null
post	init'ed(this.serviceScheduler)

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

method	void initialize()
pre	init'ed(this.schedulerThread)
pre	org/apache/roller/weblogger/config/WebloggerConfig. config != null
pre	org/apache/roller/weblogger/config/WebloggerConfig. log != null
presumption	arr$.length@64 <= 2³²-1
presumption	java.lang.Class:forName(...)@72 != null
presumption	org.apache.commons.lang.StringUtils:stripAll(... )@64 != null
presumption	org.apache.commons.logging.LogFactory:getLog(... )@42 != null
post	org/apache/roller/weblogger/business/pings/PingQueu eProcessor.theInstance == old org/apache/roller/web logger/business/pings/PingQueueProcessor. theInstance
post	this.schedulerThread == One-of{old this. schedulerThread, &new Thread(initialize#8)}
post	this.schedulerThread != null
post	new PingQueueProcessor(init#1*) num objects == undefined
post	new PingQueueProcessor(init#1*) num objects == 0, if init'ed
post	new PingQueueProcessor(init#1*).pingQueueMgr == undefined
post	new PingQueueProcessor(init#1*).pingQueueMgr == null
post	new Thread(initialize#8) 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.util.concurrent.Executors:newCachedThr eadPool
test_vector	this.schedulerThread: Inverse{null}, Addr_Set{null}
test_vector	org.apache.roller.weblogger.business.runnable. ThreadManagerImpl:getTaskLockByName(...)@77: Inverse{null}, Addr_Set{null}

info method not available -- call on String[] org.apache.commons.lang. StringUtils:split(String, String)

info method not available -- call on String[] org.apache.commons.lang. StringUtils:stripAll(String[])

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

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

info method not available -- call on TaskLock org.apache.roller.weblogger. business.runnable.ThreadManagerImpl:getTaskLockByNa me(String)

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. TaskLock()

info method not available -- call on void org.apache.roller.weblogger.pojos. TaskLock:setName(String)

info method not available -- call on void org.apache.roller.weblogger.pojos. TaskLock:setLastRun(Date)

info method not available -- call on void org.apache.roller.weblogger.pojos. TaskLock:setTimeAquired(Date)

info method not available -- call on void org.apache.roller.weblogger.pojos. TaskLock:setTimeLeased(int)

info method not available -- call on void org.apache.roller.weblogger. business.runnable.ThreadManagerImpl:saveTaskLock(Ta skLock)

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

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

Prev Msg Next Msg

+

click for all messages in this file warning

test always goes same way test predetermined because scheduler != null

Prev Msg Next Msg

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

method	void executeInBackground(Runnable)
pre	this.serviceScheduler != null

Prev Msg Next Msg

+

click for all messages in this file warning

unused assignment unused assignment into task

Prev Msg Next Msg

method	void executeInForeground(Runnable)
pre	this.serviceScheduler != null
presumption	java.util.concurrent.ExecutorService:submit(... )@127 != null
test_vector	java.util.concurrent.Future:isDone(...)@132: {1}, {0}

method	void shutdown()
pre	init'ed(this.schedulerThread)
pre	this.serviceScheduler != null
presumption	org.apache.commons.logging.LogFactory:getLog(... )@42 != null
test_vector	this.schedulerThread: Addr_Set{null}, Inverse{null}

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

method

void release()

method	bool registerLease(RollerTask)
post	return_value == 1

method	bool unregisterLease(RollerTask)
post	return_value == 1

	info	method not available	-- call on String[] org.apache.commons.lang. StringUtils:split(String, String)
	info	method not available	-- call on String[] org.apache.commons.lang. StringUtils:stripAll(String[])