org.symcomp.openmath.popcorn
Class PopcornRenderer

java.lang.Object
  extended by org.symcomp.openmath.AbstractRenderer
      extended by org.symcomp.openmath.popcorn.PopcornRenderer

public class PopcornRenderer
extends AbstractRenderer

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


Field Summary
protected  java.lang.String ID_DOESNT_NEED_ESCAPE
           
protected  java.util.regex.Pattern idDoesntNeedEscape
           
 
Fields inherited from class org.symcomp.openmath.AbstractRenderer
applicationMethods, bindMethods, out, pack, precMethods, symbolMethods, symbolRendererConstructors, symbolRenderers
 
Constructor Summary
PopcornRenderer(java.io.Writer out)
           
 
Method Summary
protected  java.lang.String escapeIfNeeded(java.lang.String s)
           
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)
           
protected  void render(OpenMathBase om, int prec)
           
 
Methods inherited from class org.symcomp.openmath.AbstractRenderer
getOut, getPrec, 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
 

Field Detail

idDoesntNeedEscape

protected java.util.regex.Pattern idDoesntNeedEscape

ID_DOESNT_NEED_ESCAPE

protected final java.lang.String ID_DOESNT_NEED_ESCAPE
See Also:
Constant Field Values
Constructor Detail

PopcornRenderer

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

escapeIfNeeded

protected java.lang.String escapeIfNeeded(java.lang.String s)

render

protected void render(OpenMathBase om,
                      int prec)
               throws java.io.IOException
Overrides:
render in class AbstractRenderer
Throws:
java.io.IOException

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.