Messages

method	org.apache.roller.weblogger.business.search. operations.IndexOperation__static_init
presumption	org.apache.commons.logging.LogFactory:getFactory(.. .)@50 != 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 org.apache.roller.weblogger.business.search. operations.IndexOperation(IndexManagerImpl)
post	this.manager == manager
post	init'ed(this.manager)

method	Document getDocument(WeblogEntry)
pre	data != null
pre	org/apache/roller/weblogger/config/WebloggerConfig. config != null
pre	org/apache/roller/weblogger/config/WebloggerConfig. log != null
presumption	java.util.Iterator:next(...)@87 != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntry:getCr eator(...)@114 != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntry:getPu bTime(...)@126 != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntry:getUp dateTime(...)@124 != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@111 != null
post	return_value == &new Document(getDocument#4)
post	new Document(getDocument#4) 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.lang.Boolean
unanalyzed	call on java.lang.Boolean:booleanValue
test_vector	java.util.Iterator:hasNext(...)@86: {0}, {1}
test_vector	org.apache.roller.weblogger.pojos.WeblogEntry:getCa tegory(...)@137: Inverse{null}, Addr_Set{null}
test_vector	org.apache.roller.weblogger.pojos.WeblogEntry:getCo mments(...)@81: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.pojos.WeblogEntryCommen t:getContent(...)@88: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.pojos.WeblogEntryCommen t:getEmail(...)@92: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.pojos.WeblogEntryCommen t:getName(...)@96: Addr_Set{null}, Inverse{null}

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

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogEntryComment:getContent()

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogEntryComment:getEmail()

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogEntryComment:getName()

info method not available -- call on void org.apache.lucene.document. Document()

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

info method not available -- call on Field org.apache.lucene.document. Field:Keyword(String, String)

info method not available -- call on void org.apache.lucene.document. Document:add(Field)

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

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

info method not available -- call on Field org.apache.lucene.document. Field:Keyword(String, String)

info method not available -- call on void org.apache.lucene.document. Document:add(Field)

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

info method not available -- call on Field org.apache.lucene.document. Field:UnIndexed(String, String)

info method not available -- call on void org.apache.lucene.document. Document:add(Field)

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

info method not available -- call on String org.apache.roller.weblogger. pojos.User:getUserName()

info method not available -- call on Field org.apache.lucene.document. Field:Text(String, String)

info method not available -- call on void org.apache.lucene.document. Document:add(Field)

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

info method not available -- call on Field org.apache.lucene.document. Field:Text(String, String)

info method not available -- call on void org.apache.lucene.document. Document:add(Field)

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

info method not available -- call on Field org.apache.lucene.document. Field:UnStored(String, String)

info method not available -- call on void org.apache.lucene.document. Document:add(Field)

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

info method not available -- call on String org.apache.roller.weblogger.util. Utilities:removeHTML(String)

info method not available -- call on String org.apache.roller.weblogger.util. Utilities:truncateNicely(String, int, int, String)

info method not available -- call on Field org.apache.lucene.document. Field:UnIndexed(String, String)

info method not available -- call on void org.apache.lucene.document. Document:add(Field)

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

info method not available -- call on Field org.apache.lucene.document. Field:Keyword(String, String)

info method not available -- call on void org.apache.lucene.document. Document:add(Field)

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

info method not available -- call on Field org.apache.lucene.document. Field:Keyword(String, String)

info method not available -- call on void org.apache.lucene.document. Document:add(Field)

info method not available -- call on Field org.apache.lucene.document. Field:UnStored(String, String)

info method not available -- call on void org.apache.lucene.document. Document:add(Field)

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

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogCategory:getName()

info method not available -- call on Field org.apache.lucene.document. Field:Text(String, String)

info method not available -- call on Field org.apache.lucene.document. Field:UnStored(String, String)

info method not available -- call on void org.apache.lucene.document. Document:add(Field)

method	IndexReader beginDeleting()
pre	(soft) init'ed(this.reader)
pre	(soft) org/apache/roller/weblogger/business/search/ IndexManagerImpl.mLogger != null
pre	(soft) this.manager != null
pre	(soft) init'ed(this.manager.fRAMindex)
pre	(soft) init'ed(this.manager.indexDir)
pre	(soft) init'ed(this.manager.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

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

method	void endDeleting()
pre	init'ed(this.reader)
pre	(soft) mLogger != null
test_vector	this.reader: Addr_Set{null}, Inverse{null}

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

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

method	IndexWriter beginWriting()
pre	(soft) mLogger != null
pre	(soft) init'ed(this.writer)
pre	(soft) org/apache/roller/weblogger/business/search/ IndexManagerImpl.mLogger != null
pre	(soft) this.manager != null
pre	(soft) init'ed(this.manager.fRAMindex)
pre	(soft) init'ed(this.manager.indexDir)
pre	(soft) init'ed(this.manager.useRAMIndex)
post	return_value == One-of{&new IndexWriter(beginWr iting#1), old this.writer}
post	(soft) init'ed(return_value)
post	this.writer == return_value
post	new IndexWriter(beginWriting#1) num objects <= 1
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.commons.logging. Log:error(Object, Throwable)

method	void endWriting()
pre	init'ed(this.writer)
pre	(soft) mLogger != null
test_vector	this.writer: Addr_Set{null}, Inverse{null}

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:error(Object, Throwable)

method

void run()

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

	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 String org.apache.roller.weblogger. pojos.WeblogEntry:getId()
info	method not available	-- call on Field org.apache.lucene.document. Field:Keyword(String, String)
info	method not available	-- call on void org.apache.lucene.document. Document:add(Field)

info	method not available	-- call on Weblog org.apache.roller.weblogger. pojos.WeblogEntry:getWebsite()
info	method not available	-- call on String org.apache.roller.weblogger. pojos.Weblog:getHandle()
info	method not available	-- call on Field org.apache.lucene.document. Field:Keyword(String, String)
info	method not available	-- call on void org.apache.lucene.document. Document:add(Field)

info	method not available	-- call on User org.apache.roller.weblogger.pojos. WeblogEntry:getCreator()
info	method not available	-- call on String org.apache.roller.weblogger. pojos.User:getUserName()
info	method not available	-- call on Field org.apache.lucene.document. Field:Text(String, String)
info	method not available	-- call on void org.apache.lucene.document. Document:add(Field)

info	method not available	-- call on Timestamp org.apache.roller.weblogger. pojos.WeblogEntry:getUpdateTime()
info	method not available	-- call on Field org.apache.lucene.document. Field:Keyword(String, String)
info	method not available	-- call on void org.apache.lucene.document. Document:add(Field)