public class MainHighlighter
extends java.lang.Object
| Constructor | Description |
|---|---|
MainHighlighter(java.lang.String highlighterId,
java.lang.String configFilename) |
| Modifier and Type | Method | Description |
|---|---|---|
void |
add(Highlighter h) |
|
void |
addWhole(WholeHighlighter h) |
Deprecated.
|
java.lang.String |
getFilename() |
The configuration filename, can be null
|
java.lang.String |
getId() |
The highlighter identifier
|
java.util.List<Block> |
highlight(java.lang.String source) |
Convert the input string into a collection of text blocks
|
public MainHighlighter(java.lang.String highlighterId,
java.lang.String configFilename)
public java.lang.String getId()
public java.lang.String getFilename()
public void add(Highlighter h)
@Deprecated public void addWhole(WholeHighlighter h)
public java.util.List<Block> highlight(java.lang.String source)
source -