public class SearchableHtmlFormatter extends StaticHtmlFormatter
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
bypage |
static java.lang.String |
ddmCount |
static java.lang.String |
ddmDeadline |
static java.lang.String |
higlight |
static java.lang.String |
infoAfter |
static java.lang.String |
infoBefore |
static java.lang.String |
jump |
static java.lang.String |
jumpPrefix |
static java.lang.String |
library |
static java.lang.String |
merge |
static java.lang.String |
noInfo |
static java.lang.String |
pdf2txt |
static java.lang.String |
previewMaxLoad |
static java.lang.String |
previewMaxShow |
static java.lang.String |
query |
static java.lang.String |
records |
static java.lang.String |
searchType |
static java.lang.String |
showAlsoPdfInfo |
static java.lang.String |
startAt |
infoExtractor, out, setup
Constructor and Description |
---|
SearchableHtmlFormatter(java.io.PrintStream out,
LibrarySetup setup) |
SearchableHtmlFormatter(java.io.PrintStream out,
WebParams defaults) |
Modifier and Type | Method and Description |
---|---|
void |
file(java.lang.String url,
int page,
float score) |
WebParams |
getDefaults() |
void |
haders() |
void |
pages(int from,
int to,
int total) |
anchors, couldYouMeant, highlightEnd, highlitEnd, highlitStart, highlitStart, initializationFailed, printLibrary, resulsSummary, resultsIn, searchStarted, summary, tail, title
public static final java.lang.String searchType
public static final java.lang.String previewMaxShow
public static final java.lang.String previewMaxLoad
public static final java.lang.String merge
public static final java.lang.String higlight
public static final java.lang.String jump
public static final java.lang.String pdf2txt
public static final java.lang.String query
public static final java.lang.String library
public static final java.lang.String noInfo
public static final java.lang.String showAlsoPdfInfo
public static final java.lang.String infoBefore
public static final java.lang.String infoAfter
public static final java.lang.String ddmDeadline
public static final java.lang.String ddmCount
public static final java.lang.String startAt
public static final java.lang.String records
public static final java.lang.String bypage
public static final java.lang.String jumpPrefix
public SearchableHtmlFormatter(java.io.PrintStream out, LibrarySetup setup)
public SearchableHtmlFormatter(java.io.PrintStream out, WebParams defaults)
public void file(java.lang.String url, int page, float score)
file
in interface Formatter
file
in class StaticHtmlFormatter
public void pages(int from, int to, int total)
pages
in interface Formatter
pages
in class StaticHtmlFormatter
public void haders()
haders
in interface Formatter
haders
in class StaticHtmlFormatter
public WebParams getDefaults()