All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class fr.inria.openmath.omapi.implementation.HumanPrinter

java.lang.Object
   |
   +----fr.inria.openmath.omapi.implementation.HumanPrinter

public class HumanPrinter
extends Object
implements StreamPrinter
This class implements the Printer interface with a human readable form. OpenMath objects are output in a less verbose way than in XML encoding and of course in a more readable form than in Binary enconding. This printer is thus intended to help humans wanting to read OpenMath objects.


Constructor Index

 o HumanPrinter()
 o HumanPrinter(OutputStream)
 o HumanPrinter(OutputStream, int)

Method Index

 o endPrint()
 o getIndent()
Get the curent number of spaces skiped at each indentation level.
 o getOutput()
 o putBeginApplication()
 o putBeginAttributePairs()
 o putBeginAttribution()
 o putBeginBind()
 o putBeginBVars()
 o putBeginError()
 o putBeginObject()
 o putByteArray(byte[])
 o putComment(String)
 o putEndApplication()
 o putEndAttributePairs()
 o putEndAttribution()
 o putEndBind()
 o putEndBVars()
 o putEndError()
 o putEndObject()
 o putFloat(double)
 o putFloat(double, int)
 o putInteger(BigInteger)
 o putInteger(BigInteger, int)
 o putInteger(int)
 o putInteger(int, int)
 o putPInstruction(String)
 o putString(String)
 o putSymbol(Symbol)
 o putVariable(String)
 o setIndent(int)
Set the number of spaces skiped at each indentation level.
 o setOutput(OutputStream)

Constructors

 o HumanPrinter
 public HumanPrinter(OutputStream output,
                     int indent)
 o HumanPrinter
 public HumanPrinter(OutputStream output)
 o HumanPrinter
 public HumanPrinter()

Methods

 o setIndent
 public void setIndent(int indent)
Set the number of spaces skiped at each indentation level.

Parameters:
indent - The number of spaces skiped at each indentation level. 0 means no indent will be performed.
 o getIndent
 public int getIndent()
Get the curent number of spaces skiped at each indentation level.

Returns:
The curent number of spaces skiped at each indentation level.
 o setOutput
 public void setOutput(OutputStream output) throws OMException
See Also:
setOutput
 o getOutput
 public OutputStream getOutput()
See Also:
getOutput
 o putBeginObject
 public void putBeginObject() throws IOException
See Also:
putBeginObject
 o putEndObject
 public void putEndObject() throws IOException
See Also:
putEndObject
 o putBeginApplication
 public void putBeginApplication() throws IOException
See Also:
putBeginApplication
 o putEndApplication
 public void putEndApplication() throws IOException
See Also:
putEndApplication
 o putBeginAttribution
 public void putBeginAttribution() throws IOException
See Also:
putBeginAttribution
 o putEndAttribution
 public void putEndAttribution() throws IOException
See Also:
putEndAttribution
 o putBeginAttributePairs
 public void putBeginAttributePairs() throws IOException
See Also:
putBeginAttributePairs
 o putEndAttributePairs
 public void putEndAttributePairs() throws IOException
See Also:
putEndAttributePairs
 o putBeginBind
 public void putBeginBind() throws IOException
See Also:
putBeginBind
 o putEndBind
 public void putEndBind() throws IOException
See Also:
putEndBind
 o putBeginBVars
 public void putBeginBVars() throws IOException
See Also:
putBeginBVars
 o putEndBVars
 public void putEndBVars() throws IOException
See Also:
putEndBVars
 o putBeginError
 public void putBeginError() throws IOException
See Also:
putBeginError
 o putEndError
 public void putEndError() throws IOException
See Also:
putEndError
 o putInteger
 public void putInteger(int value) throws IOException
See Also:
putInteger
 o putInteger
 public void putInteger(int value,
                        int base) throws IOException
See Also:
putInteger
 o putInteger
 public void putInteger(BigInteger value,
                        int base) throws IOException
See Also:
putInteger
 o putInteger
 public void putInteger(BigInteger value) throws IOException
See Also:
putInteger
 o putFloat
 public void putFloat(double value,
                      int base) throws IOException
See Also:
putFloat
 o putFloat
 public void putFloat(double value) throws IOException
See Also:
putFloat
 o putString
 public void putString(String value) throws IOException
See Also:
putString
 o putVariable
 public void putVariable(String name) throws IOException
See Also:
putVariable
 o putByteArray
 public void putByteArray(byte value[]) throws IOException
See Also:
putByteArray
 o putSymbol
 public void putSymbol(Symbol symbol) throws IOException
See Also:
putSymbol
 o putComment
 public void putComment(String comment) throws IOException
See Also:
putComment
 o putPInstruction
 public void putPInstruction(String pi) throws IOException
See Also:
putPInstruction
 o endPrint
 public void endPrint() throws IOException
See Also:
endPrint

All Packages  Class Hierarchy  This Package  Previous  Next  Index