PrettyMathML

java.lang.Object
- fmrisc.ProgramExplorer.Syntax.ASTVisitorBase
- - fmrisc.ProgramExplorer.InOut.PrettyMathML

All Implemented Interfaces:

ASTVisitor
```
public final class PrettyMathML
extends ASTVisitorBase
```
Pretty-pinting abstract syntax trees in HTML/MathML.

Constructor Summary

Constructors
Constructor and Description

PrettyMathML(org.w3c.dom.Document document, int width)
Create converter that creates DOM nodes in the specified document.

Constructors
Constructor and Description
`PrettyMathML(org.w3c.dom.Document document, int width)` Create converter that creates DOM nodes in the specified document.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`appendFormula(org.w3c.dom.Node parent, Formula formula)` Convert formula to DOM representation of HTML/MathML markup.
`void`	`appendName(org.w3c.dom.Node parent, Name name)` Convert nameto DOM representation of HTML/MathML markup.
`void`	`appendTerm(org.w3c.dom.Node parent, Term term)` Convert term to DOM representation of HTML/MathML markup.
`void`	`reset()` Set pretty appender to initial state.
`void`	`visit(AndFormula exp)`
`void`	`visit(ApplicationExpression exp)`
`void`	`visit(ArrayTerm exp)`
`void`	`visit(ArrayType exp)`
`void`	`visit(BitAndTerm exp)`
`void`	`visit(BitLiteral exp)`
`void`	`visit(BitOrTerm exp)`
`void`	`visit(BitType exp)`
`void`	`visit(BooleanLiteral exp)`
`void`	`visit(BooleanType exp)`
`void`	`visit(DividesTerm exp)`
`void`	`visit(EqualsFormula exp)`
`void`	`visit(EquivalentFormula exp)`
`void`	`visit(ExistsFormula exp)`
`void`	`visit(ForallFormula exp)`
`void`	`visit(FunctionType exp)`
`void`	`visit(GreaterEqualFormula exp)`
`void`	`visit(GreaterFormula exp)`
`void`	`visit(Identifier exp)`
`void`	`visit(IfThenElseExpression exp)`
`void`	`visit(ImpliesFormula exp)`
`void`	`visit(IntLiteral exp)`
`void`	`visit(IntType exp)`
`void`	`visit(LambdaTerm exp)`
`void`	`visit(LessEqualFormula exp)`
`void`	`visit(LessFormula exp)`
`void`	`visit(LetExpression exp)`
`void`	`visit(MinusTerm exp)`
`void`	`visit(Name exp)`
`void`	`visit(NatType exp)`
`void`	`visit(NotEqualsFormula exp)`
`void`	`visit(NotEquivalentFormula exp)`
`void`	`visit(NotFormula exp)`
`void`	`visit(OrFormula exp)`
`void`	`visit(PlusTerm exp)`
`void`	`visit(PostfixApplication exp)`
`void`	`visit(PowerTerm exp)`
`void`	`visit(ProgramVariableBase exp)`
`void`	`visit(RealType exp)`
`void`	`visit(RecordTerm exp)`
`void`	`visit(RecordType exp)`
`void`	`visit(Reference exp)`
`void`	`visit(SelectionTerm exp)`
`void`	`visit(SelectorIdentifier exp)`
`void`	`visit(SelectorIndex exp)`
`void`	`visit(SelectorNumber exp)`
`void`	`visit(SimilarFormula exp)`
`void`	`visit(StateLiteral exp)`
`void`	`visit(StateThrowsException exp)`
`void`	`visit(StateType exp)`
`void`	`visit(StringLiteral exp)`
`void`	`visit(SubrangeType exp)`
`void`	`visit(SubType exp)`
`void`	`visit(TimesTerm exp)`
`void`	`visit(TupleTerm exp)`
`void`	`visit(TupleType exp)`
`void`	`visit(TypedIdentifier exp)`
`void`	`visit(UnaryTerm exp)`
`void`	`visit(UpdateTerm exp)`
`void`	`visit(ValueDeclarationInitialized def)`
`void`	`visit(ValueDefinitionClass def)`
`void`	`visit(ValuedIdentifier exp)`
`void`	`visit(WritesOnlyFormula exp)`

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, 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
  - PrettyMathML
```
public PrettyMathML(org.w3c.dom.Document document,
                    int width)
```
    Create converter that creates DOM nodes in the specified document.
    
    Parameters:
    
    width - the maximum line width (suggestion, not a hard bound).
    
    document - the document in which to create the DOM nodes.
- Method Detail
  - reset
```
public void reset()
```
    Set pretty appender to initial state.
  - appendFormula
```
public void appendFormula(org.w3c.dom.Node parent,
                          Formula formula)
```
    Convert formula to DOM representation of HTML/MathML markup.
    
    Parameters:
    
    parent - the node to which the representation is appended.
    
    formula - the expression to convert.
  - appendTerm
```
public void appendTerm(org.w3c.dom.Node parent,
                       Term term)
```
    Convert term to DOM representation of HTML/MathML markup.
    
    Parameters:
    
    parent - the node to which the representation is appended.
    
    term - the expression to convert.
  - appendName
```
public void appendName(org.w3c.dom.Node parent,
                       Name name)
```
    Convert nameto DOM representation of HTML/MathML markup.
    
    Parameters:
    
    parent - the node to which the representation is appended.
    
    name - the expression to convert.
  - visit
```
public void visit(Identifier exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(Name exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(ApplicationExpression exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(PlusTerm exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(MinusTerm exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(BitOrTerm exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(BitAndTerm exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(TimesTerm exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(DividesTerm exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(PowerTerm exp)
```
  - visit
```
public void visit(EqualsFormula exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(GreaterEqualFormula exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(GreaterFormula exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(LessEqualFormula exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(LessFormula exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(NotEqualsFormula exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(SimilarFormula exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(AndFormula exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(OrFormula exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(EquivalentFormula exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(NotEquivalentFormula exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(ImpliesFormula exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(UnaryTerm exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(NotFormula exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(ForallFormula exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(ExistsFormula exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(LambdaTerm exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(ArrayTerm exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(ArrayType exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(BooleanType exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(BitType exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(NatType exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(IntType exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(RealType exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(BooleanLiteral exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(BitLiteral exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(IntLiteral exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(StateLiteral exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(StringLiteral exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(FunctionType exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(IfThenElseExpression exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(LetExpression exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(PostfixApplication exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(StateThrowsException exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(ProgramVariableBase exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(WritesOnlyFormula exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(RecordTerm exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(RecordType exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(Reference exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(SelectionTerm exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(SelectorIdentifier exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(SelectorIndex exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(SelectorNumber exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(StateType exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(SubrangeType exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(SubType exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(TupleTerm exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(TupleType exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(TypedIdentifier exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(UpdateTerm exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(ValueDeclarationInitialized def)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(ValueDefinitionClass def)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase
  - visit
```
public void visit(ValuedIdentifier exp)
```
    Specified by:
    
    visit in interface ASTVisitor
    
    Overrides:
    
    visit in class ASTVisitorBase

Class PrettyMathML

Constructor Summary

Method Summary

Methods inherited from class fmrisc.ProgramExplorer.Syntax.ASTVisitorBase

Methods inherited from class java.lang.Object

Constructor Detail

PrettyMathML

Method Detail

reset

appendFormula

appendTerm

appendName

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