org.symcomp.openmath.popcorn
Class PopcornRenderer

java.lang.Object
  org.symcomp.openmath.AbstractRenderer
      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