org.symcomp.openmath
Class SymbolRenderer

java.lang.Object
  extended by 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


Copyright © 2010. All Rights Reserved.