Messages

method	org.apache.roller.weblogger.business.search. operations.SearchOperation__static_init
presumption	org.apache.commons.logging.LogFactory:getFactory(.. .)@50 != null
post	SEARCH_FIELDS == &new String[](SearchOperation_ _static_init#1)
post	SORTER == &new Sort(SearchOperation__static_ init#2)
post	init'ed(mLogger)
post	new Sort(SearchOperation__static_init#2) num objects == 1
post	new String[](SearchOperation__static_init#1) num objects == 1
post	SEARCH_FIELDS.length == 4
post	SEARCH_FIELDS[0] == &"content"
post	SEARCH_FIELDS[1] == &"title"
post	SEARCH_FIELDS[2] == &"comment"
post	SEARCH_FIELDS[3] == &"cat"

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 org.apache.lucene.search. SortField(String, int, bool)

info method not available -- call on void org.apache.lucene.search. Sort(SortField)

method	void org.apache.roller.weblogger.business.search. operations.SearchOperation(IndexManager)
post	this.manager == mgr
post	init'ed(this.manager)
unanalyzed	call on org.apache.roller.weblogger.business. search.operations.IndexOperation

method	void setTerm(String)
post	this.term == term
post	init'ed(this.term)

method	void doRun()
pre	(soft) init'ed(SEARCH_FIELDS)
pre	(soft) init'ed(SORTER)
pre	(soft) mLogger != null
pre	(soft) init'ed(this.manager.reader)
pre	(soft) org/apache/roller/weblogger/business/search/ IndexManagerImpl.mLogger != null
pre	(soft) init'ed(this.category)
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)
pre	(soft) init'ed(this.term)
pre	(soft) init'ed(this.websiteHandle)
post	init'ed(this.manager.reader)
post	possibly_updated(this.parseError)
post	init'ed(this.searchresults)
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 getIndexDirectory
unanalyzed	call on org.apache.lucene.index.IndexReader:open
unanalyzed	call on getAnalyzer
unanalyzed	call on java.io.StringReader
unanalyzed	call on org.apache.lucene.analysis.Analyzer:tokenSt ream
unanalyzed	call on org.apache.lucene.analysis.TokenStream:next
unanalyzed	call on org.apache.lucene.analysis.Token:termText
unanalyzed	call on org.apache.lucene.index.Term
unanalyzed	call on org.apache.lucene.analysis.standard. StandardAnalyzer

info method not available -- call on void org.apache.lucene.search. IndexSearcher(IndexReader)

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

info method not available -- call on Query org.apache.lucene.queryParser. MultiFieldQueryParser:parse(String, String[], Analyzer)

info method not available -- call on void org.apache.lucene.search. BooleanQuery()

info method not available -- call on void org.apache.lucene.search. BooleanQuery:add(Query, bool, bool)

info method not available -- call on void org.apache.lucene.search. TermQuery(Term)

info method not available -- call on void org.apache.lucene.search. BooleanQuery:add(Query, bool, bool)

info method not available -- call on void org.apache.lucene.search. BooleanQuery()

info method not available -- call on void org.apache.lucene.search. BooleanQuery:add(Query, bool, bool)

info method not available -- call on void org.apache.lucene.search. TermQuery(Term)

info method not available -- call on void org.apache.lucene.search. BooleanQuery:add(Query, bool, bool)

info method not available -- call on Hits org.apache.lucene.search. IndexSearcher:search(Query, Filter, Sort)

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

info method not available -- call on String org.apache.lucene.queryParser. ParseException:getMessage()

method	Hits getResults()
pre	init'ed(this.searchresults)
post	return_value == this.searchresults
post	init'ed(return_value)

method	int getResultsCount()
pre	init'ed(this.searchresults)
post	init'ed(return_value)
test_vector	this.searchresults: Inverse{null}, Addr_Set{null}

info method not available -- call on int org.apache.lucene.search. Hits:length()

method	String getParseError()
pre	init'ed(this.parseError)
post	return_value == this.parseError
post	init'ed(return_value)

method	void setWebsiteHandle(String)
post	this.websiteHandle == websiteHandle
post	init'ed(this.websiteHandle)

method	void setCategory(String)
post	this.category == category
post	init'ed(this.category)

	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 org.apache.lucene.search. SortField(String, int, bool)
	info	method not available	-- call on void org.apache.lucene.search. Sort(SortField)

	info	method not available	-- call on void org.apache.lucene.analysis. standard.StandardAnalyzer()
	info	method not available	-- call on Query org.apache.lucene.queryParser. MultiFieldQueryParser:parse(String, String[], Analyzer)