HtmlPrinter¶

public final class HtmlPrinter extends Printer ¶: Prints HTML output file.

Constructors¶

HtmlPrinter¶

public HtmlPrinter(String fileName, String targetName, String targetZone, String cssDir)¶

Methods¶

closeFile¶

public void closeFile()¶

defineAnchor¶

public void defineAnchor(String ref)¶

endAnchorRef¶

public void endAnchorRef()¶

hasAnchors¶

public boolean hasAnchors()¶: Html output does manage anchors.

initFile¶

public void initFile(int language)¶

messageRef¶

public void messageRef(TapList<String> msgTty, boolean showMsg, int language)¶

newLine¶

public void newLine()¶

printText¶

public void printText(String text, String kind)¶

resetTargetNameAndZone¶

public void resetTargetNameAndZone()¶

setTargetNameAndZone¶

public void setTargetNameAndZone(String name, String zone)¶

space¶

public void space(int nbSpaces)¶

startAnchorRef¶

public void startAnchorRef(String ref)¶