Messages

Last Msg First Msg

method

org.apache.roller.weblogger.business.search. IndexManagerImpl$1__static_init

method	org.apache.roller.weblogger.business.search. IndexManagerImpl__static_init
presumption	org.apache.commons.logging.LogFactory:getFactory(.. .)@65 != 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)

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

method	void org.apache.roller.weblogger.business.search. IndexManagerImpl(Weblogger)
pre	mLogger != null
pre	org/apache/roller/weblogger/config/WebloggerConfig. config != null
pre	org/apache/roller/weblogger/config/WebloggerConfig. log != null
presumption	init'ed(java.io.File.separator)
presumption	init'ed(java.io.File.separatorChar)
post	this.inconsistentAtStartup == 0
post	this.useRAMIndex == 0
post	this.indexConsistencyMarker == &new File(IndexManagerImpl#5)
post	this.indexDir != null
post	this.roller == roller
post	init'ed(this.roller)
post	this.rwl == &new WriterPreferenceReadWriteLock( IndexManagerImpl#1)
post	init'ed(this.searchEnabled)
post	new File(IndexManagerImpl#5) num objects == 1
post	new WriterPreferenceReadWriteLock(IndexManagerImpl# 1) 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
test_vector	java.lang.String:equalsIgnoreCase(...)@103: {0}, {1}

Prev Msg Next Msg

+

click for all messages in this file medium

null dereference check might fail: requires searchIndexDir != null

Prev Msg Next Msg

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

method	void initialize()
pre	init'ed(this.searchEnabled)
pre	(soft) mLogger != null
pre	(soft) init'ed(this.inconsistentAtStartup)
pre	(soft) this.indexConsistencyMarker != null
pre	(soft) init'ed(this.indexDir)
pre	(soft) this.roller != null
pre	(soft) this.roller.threadManager != null
pre	(soft) this.roller.threadManager.serviceScheduler != null
pre	(soft) init'ed(this.useRAMIndex)
post	this.fRAMindex == One-of{old this.fRAMindex, &new RAMDirectory(initialize#2), &new RAMDirectory(initialize#3)}
post	(soft) init'ed(this.inconsistentAtStartup)
post	new RAMDirectory(initialize#2) num objects <= 1
post	new RAMDirectory(initialize#3) num objects <= 1
unanalyzed	call on org.apache.lucene.index.IndexReader:indexEx ists
unanalyzed	call on org.apache.lucene.analysis.standard. StandardAnalyzer
unanalyzed	call on org.apache.lucene.index.IndexWriter
unanalyzed	call on org.apache.lucene.index.IndexWriter:close
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on org.apache.lucene.store.FSDirectory:getDire ctory
unanalyzed	call on org.apache.roller.weblogger.business. search.operations.IndexOperation
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
test_vector	this.searchEnabled: {0}, {1}
test_vector	this.useRAMIndex: {0}, {1}
test_vector	java.io.File:exists(...)@133: {0}, {1}
test_vector	java.io.File:exists(...)@139: {1}, {0}
test_vector	org.apache.lucene.index.IndexReader:indexExists(... )@288: {0}, {1}

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

info method not available -- call on void org.apache.lucene.store. RAMDirectory(Directory)

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

info method not available -- call on void org.apache.lucene.store. RAMDirectory()

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

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

method	void rebuildWebsiteIndex()
pre	(soft) mLogger != null
pre	(soft) this.roller != null
pre	(soft) this.roller.threadManager != null
pre	(soft) this.roller.threadManager.serviceScheduler != null
pre	(soft) init'ed(this.searchEnabled)
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on org.apache.roller.weblogger.business. search.operations.IndexOperation
unanalyzed	call on org.apache.roller.weblogger.business. search.operations.WriteToIndexOperation
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

method	void rebuildWebsiteIndex(Weblog)
pre	(soft) mLogger != null
pre	(soft) this.roller != null
pre	(soft) this.roller.threadManager != null
pre	(soft) this.roller.threadManager.serviceScheduler != null
pre	(soft) init'ed(this.searchEnabled)
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on org.apache.roller.weblogger.business. search.operations.IndexOperation
unanalyzed	call on org.apache.roller.weblogger.business. search.operations.WriteToIndexOperation
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

method	void removeWebsiteIndex(Weblog)
pre	(soft) mLogger != null
pre	(soft) this.roller != null
pre	(soft) this.roller.threadManager != null
pre	(soft) this.roller.threadManager.serviceScheduler != null
pre	(soft) init'ed(this.searchEnabled)
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on org.apache.roller.weblogger.business. search.operations.IndexOperation
unanalyzed	call on org.apache.roller.weblogger.business. search.operations.WriteToIndexOperation
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

method	void addEntryIndexOperation(WeblogEntry)
pre	(soft) mLogger != null
pre	(soft) this.roller != null
pre	(soft) this.roller.threadManager != null
pre	(soft) this.roller.threadManager.serviceScheduler != null
pre	(soft) init'ed(this.searchEnabled)
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on org.apache.roller.weblogger.business. search.operations.IndexOperation
unanalyzed	call on org.apache.roller.weblogger.business. search.operations.WriteToIndexOperation
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

method	void addEntryReIndexOperation(WeblogEntry)
pre	(soft) mLogger != null
pre	(soft) this.roller != null
pre	(soft) this.roller.threadManager != null
pre	(soft) this.roller.threadManager.serviceScheduler != null
pre	(soft) init'ed(this.searchEnabled)
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on org.apache.roller.weblogger.business. search.operations.IndexOperation
unanalyzed	call on org.apache.roller.weblogger.business. search.operations.WriteToIndexOperation
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

method	void removeEntryIndexOperation(WeblogEntry)
pre	(soft) mLogger != null
pre	(soft) this.roller != null
pre	(soft) this.roller.threadManager != null
pre	(soft) this.roller.threadManager.serviceScheduler != null
pre	(soft) init'ed(this.searchEnabled)
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on org.apache.roller.weblogger.business. search.operations.IndexOperation
unanalyzed	call on org.apache.roller.weblogger.business. search.operations.WriteToIndexOperation
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 java.util.concurrent.Future:isDone
unanalyzed	call on java.lang.Thread:sleep
unanalyzed	call on executeInForeground

method	ReadWriteLock getReadWriteLock()
pre	init'ed(this.rwl)
post	return_value == this.rwl
post	init'ed(return_value)

method	bool isInconsistentAtStartup()
pre	init'ed(this.inconsistentAtStartup)
post	return_value == this.inconsistentAtStartup
post	init'ed(return_value)

method	Analyzer getAnalyzer()
post	return_value == &new StandardAnalyzer(getAnalyz er#1)
post	new StandardAnalyzer(getAnalyzer#1) num objects == 1

info method not available -- call on void org.apache.lucene.analysis. standard.StandardAnalyzer()

method	void scheduleIndexOperation(IndexOperation)
pre	(soft) mLogger != null
pre	(soft) op != null
pre	(soft) this.roller != null
pre	(soft) this.roller.threadManager != null
pre	(soft) this.roller.threadManager.serviceScheduler != null
pre	(soft) init'ed(this.searchEnabled)
presumption	java.lang.Object:getClass(...)@236 != null
unanalyzed	call on java.util.concurrent.ExecutorService:submit
test_vector	this.searchEnabled: {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.commons.logging. Log:error(Object, Throwable)

method	void executeIndexOperationNow(IndexOperation)
pre	(soft) mLogger != null
pre	(soft) op != null
pre	(soft) this.roller != null
pre	(soft) this.roller.threadManager != null
pre	(soft) this.roller.threadManager.serviceScheduler != null
pre	(soft) init'ed(this.searchEnabled)
presumption	java.lang.Object:getClass(...)@251 != null
unanalyzed	call on java.util.concurrent.ExecutorService:submit
unanalyzed	call on java.util.concurrent.Future:isDone
unanalyzed	call on java.lang.Thread:sleep
test_vector	this.searchEnabled: {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.commons.logging. Log:error(Object, Throwable)

method	void resetSharedReader()
post	this.reader == null

method	IndexReader getSharedIndexReader()
pre	init'ed(this.reader)
pre	(soft) mLogger != null
pre	(soft) init'ed(this.fRAMindex)
pre	(soft) init'ed(this.indexDir)
pre	(soft) init'ed(this.useRAMIndex)
post	init'ed(return_value)
post	this.reader == return_value
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on org.apache.lucene.store.FSDirectory:getDire ctory
test_vector	this.reader: Inverse{null}, Addr_Set{null}

info method not available -- call on IndexReader org.apache.lucene.index. IndexReader:open(Directory)

method	Directory getIndexDirectory()
pre	init'ed(this.useRAMIndex)
pre	(soft) mLogger != null
pre	(soft) init'ed(this.fRAMindex)
pre	(soft) init'ed(this.indexDir)
post	init'ed(return_value)
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on org.apache.lucene.store.FSDirectory:getDire ctory
test_vector	this.useRAMIndex: {0}, {1}

method	bool indexExists()
pre	init'ed(this.indexDir)
post	init'ed(return_value)

info method not available -- call on bool org.apache.lucene.index. IndexReader:indexExists(String)

method	Directory getFSDirectory(bool)
pre	(soft) mLogger != null
pre	(soft) init'ed(this.indexDir)
post	init'ed(return_value)

info method not available -- call on FSDirectory org.apache.lucene.store. FSDirectory:getDirectory(String, bool)

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

method	void createIndex(Directory)
pre	(soft) mLogger != null
unanalyzed	call on org.apache.lucene.analysis.standard. StandardAnalyzer

info method not available -- call on void org.apache.lucene.index. IndexWriter(Directory, Analyzer, bool)

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

info method not available -- call on void org.apache.lucene.index. IndexWriter:close()

method	void org.apache.roller.weblogger.business.search. IndexManagerImpl$1(IndexManagerImpl, IndexManagerImpl)
post	this.manager == x0
post	init'ed(this.manager)
unanalyzed	call on org.apache.roller.weblogger.business. search.operations.IndexOperation

method	IndexOperation getSaveIndexOperation()
post	return_value == &new IndexManagerImpl$1(getSave IndexOperation#1)
post	new IndexManagerImpl$1(getSaveIndexOperation#1) num objects == 1
post	return_value.manager == this
post	return_value.manager != null
unanalyzed	call on org.apache.roller.weblogger.business. search.operations.IndexOperation

method	void doRun()
pre	init'ed(this.useRAMIndex)
pre	(soft) org/apache/roller/weblogger/business/search/ IndexManagerImpl.mLogger != null
pre	(soft) init'ed(this.fRAMindex)
pre	(soft) this.indexConsistencyMarker != null
pre	(soft) init'ed(this.indexDir)
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on org.apache.lucene.store.FSDirectory:getDire ctory
unanalyzed	call on org.apache.lucene.analysis.standard. StandardAnalyzer

info method not available -- call on void org.apache.lucene.index. IndexWriter(Directory, Analyzer, bool)

info method not available -- call on void org.apache.lucene.index. IndexWriter:addIndexes(Directory[])

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

info method not available -- call on void org.apache.lucene.index. IndexWriter:close()

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

method

void release()

method	void shutdown()
pre	init'ed(this.useRAMIndex)
pre	(soft) mLogger != null
pre	(soft) this.indexConsistencyMarker != null
pre	(soft) init'ed(this.reader)
pre	(soft) this.roller != null
pre	(soft) this.roller.threadManager != null
pre	(soft) this.roller.threadManager.serviceScheduler != null
pre	(soft) init'ed(this.searchEnabled)
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on org.apache.roller.weblogger.business. search.operations.IndexOperation
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
test_vector	this.reader: Addr_Set{null}, Inverse{null}
test_vector	this.useRAMIndex: {0}, {1}

info method not available -- call on void org.apache.lucene.index. IndexReader:close()

	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)