fmrisc.ProgramExplorer.InOut

Class ASTPrinterHTML

java.lang.Object

fmrisc.ProgramExplorer.Syntax.ASTVisitorBase

fmrisc.ProgramExplorer.Syntax.ASTPrinter

fmrisc.ProgramExplorer.InOut.ASTPrinterHTML

All Implemented Interfaces:

ASTVisitor

public final class ASTPrinterHTML
extends ASTPrinter

Print syntax tree for embedding in HTML documents.

Nested Class Summary

Nested classes/interfaces inherited from class fmrisc.ProgramExplorer.Syntax.ASTPrinter

ASTPrinter.PrintStatementSpec

Constructor Summary

Constructors

Constructor and Description
ASTPrinterHTML(org.w3c.dom.Element parent, Presenter presenter, boolean radioButtons, Statement selected) Create printer which appends text to parent node and may create links to newly generated files in virtual directory.

Method Summary

Modifier and Type	Method and Description
void	append(AST tree) Append tree to output.
void	visit(ParamDeclarationBase tree) Visit tree.
void	visit(StatementBase tree) Visit tree.
void	visit(VariableStatement tree) Visit tree.

Methods inherited from class fmrisc.ProgramExplorer.Syntax.ASTPrinter

print, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class fmrisc.ProgramExplorer.Syntax.ASTVisitorBase

visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ASTPrinterHTML

public ASTPrinterHTML(org.w3c.dom.Element parent,
                      Presenter presenter,
                      boolean radioButtons,
                      Statement selected)

Create printer which appends text to parent node and may create links to newly generated files in virtual directory.

Parameters:

parent - the parent node to which the text is to be appended.

presenter - the presenter for writing formulas

radioButtons - true if to print a radio button for each statement.

selected - a statement to be highlighted (may be null)

Method Detail

append

public void append(AST tree)

Append tree to output.

Parameters:

tree - the tree

visit

public void visit(ParamDeclarationBase tree)

Visit tree.

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

Parameters:

tree - the tree

visit

public void visit(StatementBase tree)

Visit tree.

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTPrinter

Parameters:

tree - the tree

visit

public void visit(VariableStatement tree)

Visit tree.

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTPrinter

Parameters:

tree - the tree