org.symcomp.openmath.latex
Class LatexRenderer

java.lang.Object
  extended by org.symcomp.openmath.AbstractRenderer
      extended by org.symcomp.openmath.latex.LatexRenderer

public class LatexRenderer
extends AbstractRenderer

Class that renders an OpenMathBase tree to a POPCORN expression. Don't use, use openMathBase.toPopcorn() instead.


Field Summary
 
Fields inherited from class org.symcomp.openmath.AbstractRenderer
applicationMethods, bindMethods, out, pack, precMethods, symbolMethods, symbolRendererConstructors, symbolRenderers
 
Constructor Summary
LatexRenderer(java.io.Writer out)
           
 
Method Summary
protected  void render(org.symcomp.openmath.OMApply oma, int level)
           
protected  void render(org.symcomp.openmath.OMBinary omb, int level)
           
protected  void render(org.symcomp.openmath.OMBind ombind, int level)
           
protected  void render(org.symcomp.openmath.OMError ome, int level)
           
protected  void render(org.symcomp.openmath.OMFloat omf, int level)
           
protected  void render(org.symcomp.openmath.OMForeign omf, int level)
           
protected  void render(org.symcomp.openmath.OMInteger omi, int prec)
           
protected  void render(org.symcomp.openmath.OMObject omobj, int prec)
           
protected  void render(org.symcomp.openmath.OMReference omr, int level)
           
protected  void render(org.symcomp.openmath.OMString omstr, int level)
           
protected  void render(org.symcomp.openmath.OMSymbol oms, int level)
           
protected  void render(org.symcomp.openmath.OMVariable omv, int level)
           
 
Methods inherited from class org.symcomp.openmath.AbstractRenderer
getOut, getPrec, render, render, renderApply, renderBinary, renderBind, renderNAry, renderNAry, renderNonAssocBinary, renderSymbol
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

LatexRenderer

public LatexRenderer(java.io.Writer out)
              throws java.lang.Exception
Throws:
java.lang.Exception
Method Detail

render

protected void render(org.symcomp.openmath.OMObject omobj,
                      int prec)
               throws java.io.IOException
Overrides:
render in class AbstractRenderer
Throws:
java.io.IOException

render

protected void render(org.symcomp.openmath.OMInteger omi,
                      int prec)
               throws java.io.IOException
Overrides:
render in class AbstractRenderer
Throws:
java.io.IOException

render

protected void render(org.symcomp.openmath.OMVariable omv,
                      int level)
               throws java.io.IOException
Overrides:
render in class AbstractRenderer
Throws:
java.io.IOException

render

protected void render(org.symcomp.openmath.OMFloat omf,
                      int level)
               throws java.io.IOException
Overrides:
render in class AbstractRenderer
Throws:
java.io.IOException

render

protected void render(org.symcomp.openmath.OMSymbol oms,
                      int level)
               throws java.io.IOException
Overrides:
render in class AbstractRenderer
Throws:
java.io.IOException

render

protected void render(org.symcomp.openmath.OMReference omr,
                      int level)
               throws java.io.IOException
Overrides:
render in class AbstractRenderer
Throws:
java.io.IOException

render

protected void render(org.symcomp.openmath.OMString omstr,
                      int level)
               throws java.io.IOException
Overrides:
render in class AbstractRenderer
Throws:
java.io.IOException

render

protected void render(org.symcomp.openmath.OMBind ombind,
                      int level)
               throws java.io.IOException
Overrides:
render in class AbstractRenderer
Throws:
java.io.IOException

render

protected void render(org.symcomp.openmath.OMApply oma,
                      int level)
               throws java.io.IOException
Overrides:
render in class AbstractRenderer
Throws:
java.io.IOException

render

protected void render(org.symcomp.openmath.OMError ome,
                      int level)
               throws java.io.IOException
Overrides:
render in class AbstractRenderer
Throws:
java.io.IOException

render

protected void render(org.symcomp.openmath.OMBinary omb,
                      int level)
               throws java.io.IOException
Overrides:
render in class AbstractRenderer
Throws:
java.io.IOException

render

protected void render(org.symcomp.openmath.OMForeign omf,
                      int level)
               throws java.io.IOException
Overrides:
render in class AbstractRenderer
Throws:
java.io.IOException


Copyright © 2010. All Rights Reserved.