org.javacc.jjdoc
Class HTMLGenerator

java.lang.Object
  extended by org.javacc.jjdoc.Generator
      extended by org.javacc.jjdoc.HTMLGenerator

public class HTMLGenerator
extends Generator


Field Summary
 
Fields inherited from class org.javacc.jjdoc.Generator
ostr
 
Constructor Summary
HTMLGenerator(java.io.PrintWriter o)
           
 
Method Summary
 void documentEnd()
           
 void documentStart()
           
 void expansionEnd(Expansion e, boolean first)
           
 void expansionStart(Expansion e, boolean first)
           
 void javacode(JavaCodeProduction jp)
           
 void nonTerminalEnd(NonTerminal nt)
           
 void nonterminalsEnd()
           
 void nonterminalsStart()
           
 void nonTerminalStart(NonTerminal nt)
           
 void print(java.lang.String s)
           
 void productionEnd(NormalProduction np)
           
 void productionStart(NormalProduction np)
           
 void reEnd(RegularExpression r)
           
 void reStart(RegularExpression r)
           
 void specialTokens(java.lang.String s)
           
 void text(java.lang.String s)
           
 void tokensEnd()
           
 void tokensStart()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

HTMLGenerator

public HTMLGenerator(java.io.PrintWriter o)
Method Detail

text

public void text(java.lang.String s)
Overrides:
text in class Generator

print

public void print(java.lang.String s)
Overrides:
print in class Generator

specialTokens

public void specialTokens(java.lang.String s)
Overrides:
specialTokens in class Generator

documentStart

public void documentStart()
Overrides:
documentStart in class Generator

documentEnd

public void documentEnd()
Overrides:
documentEnd in class Generator

nonterminalsStart

public void nonterminalsStart()
Overrides:
nonterminalsStart in class Generator

nonterminalsEnd

public void nonterminalsEnd()
Overrides:
nonterminalsEnd in class Generator

tokensStart

public void tokensStart()
Overrides:
tokensStart in class Generator

tokensEnd

public void tokensEnd()
Overrides:
tokensEnd in class Generator

javacode

public void javacode(JavaCodeProduction jp)
Overrides:
javacode in class Generator

productionStart

public void productionStart(NormalProduction np)
Overrides:
productionStart in class Generator

productionEnd

public void productionEnd(NormalProduction np)
Overrides:
productionEnd in class Generator

expansionStart

public void expansionStart(Expansion e,
                           boolean first)
Overrides:
expansionStart in class Generator

expansionEnd

public void expansionEnd(Expansion e,
                         boolean first)
Overrides:
expansionEnd in class Generator

nonTerminalStart

public void nonTerminalStart(NonTerminal nt)
Overrides:
nonTerminalStart in class Generator

nonTerminalEnd

public void nonTerminalEnd(NonTerminal nt)
Overrides:
nonTerminalEnd in class Generator

reStart

public void reStart(RegularExpression r)
Overrides:
reStart in class Generator

reEnd

public void reEnd(RegularExpression r)
Overrides:
reEnd in class Generator