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 OutputConfig
public boolean containsHighlightingElementRender(HighlightingElement element)
containsHighlightingElementRender
in interface OutputConfig
public String getGlobalFontName()
public int getGlobalFontSize()
public HighlightingElementRender getHighlightingElementRender(HighlightingElement element)
getHighlightingElementRender
in interface OutputConfig
public void removeHighlightingElementRender(HighlightingElement element)
removeHighlightingElementRender
in interface OutputConfig
public void setGlobalFontName(String globalFontName)
public void setGlobalFontSize(int globalFontSize)
public String renderHighlightingElement(TSourceToken token)
renderHighlightingElement
in interface OutputConfig