org.symcomp.openmath
Class SymbolRenderer

java.lang.Object
  org.symcomp.openmath.SymbolRenderer

Direct Known Subclasses:

Arith1, Arith1, Calculus1, Complex1, Complex1, Fns1, Fns1, Interval1, Interval1, List1, List1, Logic1, Logic1, Minmax1, Minmax1, Nums1, Nums1, Piece1, Prog1, Prog1, Relation1, Relation1, Relation2, Relation2, Set1, Set1, Setname1, Transc1, Transc1

public abstract class SymbolRenderer
extends java.lang.Object

Field Summary

protected java.io.Writer	out
protected AbstractRenderer	renderer

Constructor Summary

SymbolRenderer(AbstractRenderer renderer)

Method Summary

protected void	render(OpenMathBase om, int prec)
protected void	renderBinary(OpenMathBase[] params, java.lang.String operator, int iprec, int prec)
protected void	renderNAry(OpenMathBase[] params, java.lang.String operator, int iprec, int prec)
protected void	renderNAry(OpenMathBase[] params, java.lang.String operator, int iprec, int prec, boolean assoc)
protected void	renderNonAssocBinary(OpenMathBase[] params, java.lang.String operator, int iprec, int prec)

Methods inherited from class java.lang.Object

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

Field Detail

renderer

protected AbstractRenderer renderer

out

protected java.io.Writer out

Constructor Detail

SymbolRenderer

public SymbolRenderer(AbstractRenderer renderer)

Method Detail

render

protected void render(OpenMathBase om,
                      int prec)
               throws java.io.IOException

Throws:

java.io.IOException

renderBinary

protected void renderBinary(OpenMathBase[] params,
                            java.lang.String operator,
                            int iprec,
                            int prec)
                     throws java.io.IOException

Throws:

java.io.IOException

renderNonAssocBinary

protected void renderNonAssocBinary(OpenMathBase[] params,
                                    java.lang.String operator,
                                    int iprec,
                                    int prec)
                             throws java.io.IOException

Throws:

java.io.IOException

renderNAry

protected void renderNAry(OpenMathBase[] params,
                          java.lang.String operator,
                          int iprec,
                          int prec)
                   throws java.io.IOException

Throws:

java.io.IOException

renderNAry

protected void renderNAry(OpenMathBase[] params,
                          java.lang.String operator,
                          int iprec,
                          int prec,
                          boolean assoc)
                   throws java.io.IOException

Throws:

java.io.IOException