Messages

method	void org.apache.roller.weblogger.business.search. operations.WriteToIndexOperation(IndexManagerImpl)
post	this.manager == mgr
post	init'ed(this.manager)

method	org.apache.roller.weblogger.business.search. operations.WriteToIndexOperation__static_init
presumption	org.apache.commons.logging.LogFactory:getFactory(.. .)@35 != null
post	init'ed(mLogger)

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 run()
pre	mLogger != null
pre	this.manager != null
pre	this.manager.rwl != null
presumption	EDU.oswego.cs.dl.util.concurrent.ReadWriteLock:writ eLock(...)@40 != null
presumption	EDU.oswego.cs.dl.util.concurrent.ReadWriteLock:writ eLock(...)@47 != null
post	this.manager.reader == null

info method not available -- call on Sync EDU.oswego.cs.dl.util.concurrent. ReadWriteLock:writeLock()

info method not available -- call on void EDU.oswego.cs.dl.util.concurrent. Sync:acquire()

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

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

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)

info method not available -- call on Sync EDU.oswego.cs.dl.util.concurrent. ReadWriteLock:writeLock()

info method not available -- call on void EDU.oswego.cs.dl.util.concurrent. Sync: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)

	info	method not available	-- call on Sync EDU.oswego.cs.dl.util.concurrent. ReadWriteLock:writeLock()
	info	method not available	-- call on void EDU.oswego.cs.dl.util.concurrent. Sync:acquire()