org.symcomp.openmath.binary
Class BinaryRenderer

java.lang.Object
  org.symcomp.openmath.binary.BinaryRenderer

All Implemented Interfaces:

BinaryConstants

public class BinaryRenderer
extends java.lang.Object
implements BinaryConstants

Field Summary

Fields inherited from interface org.symcomp.openmath.binary.BinaryConstants

FLAG_ID, FLAG_LONG, FLAG_STATUS, MASK_BASE_10, MASK_BASE_16, MASK_BASE_256, MASK_SIGN_NEG, MASK_SIGN_POS, TYPE_APPLICATION, TYPE_APPLICATION_END, TYPE_ATTRIBUTION, TYPE_ATTRIBUTION_END, TYPE_ATTRPAIRS, TYPE_ATTRPAIRS_END, TYPE_BINDING, TYPE_BINDING_END, TYPE_BVARS, TYPE_BVARS_END, TYPE_BYTES, TYPE_CDBASE, TYPE_ERROR, TYPE_ERROR_END, TYPE_FLOAT, TYPE_FOREIGN, TYPE_INT_BIG, TYPE_INT_SMALL, TYPE_MASK, TYPE_OBJECT, TYPE_OBJECT_END, TYPE_REFERENCE_EXT, TYPE_REFERENCE_INT, TYPE_STRING_ISO, TYPE_STRING_UTF, TYPE_SYMBOL, TYPE_VARIABLE

Method Summary

static char[]	render(OpenMathBase om)
static char[]	render(OpenMathBase om, boolean compress)
static void	render(java.io.Writer writer, OpenMathBase om)
static void	render(java.io.Writer writer, OpenMathBase om, boolean compress)

Methods inherited from class java.lang.Object

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

Method Detail

render

public static char[] render(OpenMathBase om)
                     throws java.lang.Exception

Throws:

java.lang.Exception

render

public static char[] render(OpenMathBase om,
                            boolean compress)
                     throws java.lang.Exception

Throws:

java.lang.Exception

render

public static void render(java.io.Writer writer,
                          OpenMathBase om)
                   throws java.lang.Exception

Throws:

java.lang.Exception

render

public static void render(java.io.Writer writer,
                          OpenMathBase om,
                          boolean compress)
                   throws java.lang.Exception

Throws:

java.lang.Exception