public final class Results
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static void |
prettyPrintHTML(org.apache.lucene.search.Searcher searcher,
org.apache.lucene.search.ScoreDoc[] hits,
int start,
int end,
java.io.Writer out,
Context sourceContext,
HistoryContext historyContext,
Summarizer summer,
java.lang.String urlPrefix,
java.lang.String morePrefix,
java.lang.String srcRoot,
java.lang.String dataRoot,
EftarFileReader desc) |
public static void prettyPrintHTML(org.apache.lucene.search.Searcher searcher, org.apache.lucene.search.ScoreDoc[] hits, int start, int end, java.io.Writer out, Context sourceContext, HistoryContext historyContext, Summarizer summer, java.lang.String urlPrefix, java.lang.String morePrefix, java.lang.String srcRoot, java.lang.String dataRoot, EftarFileReader desc) throws HistoryException, java.io.IOException, java.lang.ClassNotFoundException
HistoryException
java.io.IOException
java.lang.ClassNotFoundException