public class HtmlOutputConfig extends Object implements OutputConfig
| Constructor and Description |
|---|
HtmlOutputConfig(GFmtOpt option,
EDbVendor dbVendor) |
| Modifier and Type | Method and Description |
|---|---|
void |
addHighlightingElementRender(HighlightingElement element,
HighlightingElementRender setting) |
boolean |
containsHighlightingElementRender(HighlightingElement element) |
String |
getGlobalFontName() |
int |
getGlobalFontSize() |
HighlightingElementRender |
getHighlightingElementRender(HighlightingElement element) |
void |
removeHighlightingElementRender(HighlightingElement element) |
String |
renderHighlightingElement(TSourceToken token) |
void |
setGlobalFontName(String globalFontName) |
void |
setGlobalFontSize(int globalFontSize) |
public HtmlOutputConfig(GFmtOpt option, EDbVendor dbVendor)
public void addHighlightingElementRender(HighlightingElement element, HighlightingElementRender setting)
addHighlightingElementRender in interface OutputConfigpublic boolean containsHighlightingElementRender(HighlightingElement element)
containsHighlightingElementRender in interface OutputConfigpublic String getGlobalFontName()
public int getGlobalFontSize()
public HighlightingElementRender getHighlightingElementRender(HighlightingElement element)
getHighlightingElementRender in interface OutputConfigpublic void removeHighlightingElementRender(HighlightingElement element)
removeHighlightingElementRender in interface OutputConfigpublic void setGlobalFontName(String globalFontName)
public void setGlobalFontSize(int globalFontSize)
public String renderHighlightingElement(TSourceToken token)
renderHighlightingElement in interface OutputConfig