All Packages Class Hierarchy This Package Previous Next Index
Class fr.inria.openmath.omapi.implementation.BinaryPrinter
java.lang.Object
|
+----fr.inria.openmath.omapi.implementation.BinaryPrinter
- public class BinaryPrinter
- extends Object
- implements StreamPrinter
-
BinaryPrinter()
-
-
BinaryPrinter(OutputStream)
-
-
endPrint()
-
-
getOutput()
-
-
putBeginApplication()
-
-
putBeginAttributePairs()
-
-
putBeginAttribution()
-
-
putBeginBind()
-
-
putBeginBVars()
-
-
putBeginError()
-
-
putBeginObject()
-
-
putByteArray(byte[])
-
-
putByteArray(byte[], int)
-
-
putComment(String)
-
-
putEndApplication()
-
-
putEndAttributePairs()
-
-
putEndAttribution()
-
-
putEndBind()
-
-
putEndBVars()
-
-
putEndError()
-
-
putEndObject()
-
-
putFloat(double)
-
-
putFloat(double, int)
-
-
putInteger(BigInteger)
-
-
putInteger(BigInteger, int)
-
-
putInteger(int)
-
-
putInteger(int, int)
-
-
putPInstruction(String)
-
-
putString(String)
-
-
putSymbol(Symbol)
-
-
putVariable(String)
-
-
setOutput(OutputStream)
-
BinaryPrinter
public BinaryPrinter(OutputStream output)
BinaryPrinter
public BinaryPrinter()
setOutput
public void setOutput(OutputStream output) throws OMException
- See Also:
- setOutput
getOutput
public OutputStream getOutput()
- See Also:
- getOutput
putBeginObject
public void putBeginObject() throws IOException
- See Also:
- putBeginObject
putEndObject
public void putEndObject() throws IOException
- See Also:
- putEndObject
putBeginApplication
public void putBeginApplication() throws IOException
- See Also:
- putBeginApplication
putEndApplication
public void putEndApplication() throws IOException
- See Also:
- putEndApplication
putBeginAttribution
public void putBeginAttribution() throws IOException
- See Also:
- putBeginAttribution
putEndAttribution
public void putEndAttribution() throws IOException
- See Also:
- putEndAttribution
putBeginAttributePairs
public void putBeginAttributePairs() throws IOException
- See Also:
- putBeginAttributePairs
putEndAttributePairs
public void putEndAttributePairs() throws IOException
- See Also:
- putEndAttributePairs
putBeginBind
public void putBeginBind() throws IOException
- See Also:
- putBeginBind
putEndBind
public void putEndBind() throws IOException
- See Also:
- putEndBind
putBeginBVars
public void putBeginBVars() throws IOException
- See Also:
- putBeginBVars
putEndBVars
public void putEndBVars() throws IOException
- See Also:
- putEndBVars
putBeginError
public void putBeginError() throws IOException
- See Also:
- putBeginError
putEndError
public void putEndError() throws IOException
- See Also:
- putEndError
putInteger
public void putInteger(int value) throws IOException
- See Also:
- putInteger
putInteger
public void putInteger(int value,
int base) throws IOException
- Parameters:
- base - is unused in binary encoding.
- See Also:
- putInteger
putInteger
public void putInteger(BigInteger value,
int base) throws IOException
- See Also:
- putInteger
putInteger
public void putInteger(BigInteger value) throws IOException
- See Also:
- putInteger
putFloat
public void putFloat(double value,
int base) throws IOException
- Parameters:
- base - base is useless with binary encoding.
- See Also:
- putFloat
putFloat
public void putFloat(double value) throws IOException
- See Also:
- putFloat
putString
public void putString(String value) throws IOException
- See Also:
- putString
putVariable
public void putVariable(String name) throws IOException
- See Also:
- putVariable
putByteArray
public void putByteArray(byte value[],
int len) throws IOException
- See Also:
- putByteArray
putByteArray
public void putByteArray(byte value[]) throws IOException
- See Also:
- putByteArray
putSymbol
public void putSymbol(Symbol symbol) throws IOException
- See Also:
- putSymbol
putComment
public void putComment(String comment) throws IOException
- See Also:
- putComment
putPInstruction
public void putPInstruction(String pi) throws IOException
- See Also:
- putPInstruction
endPrint
public void endPrint() throws IOException
- See Also:
- endPrint
All Packages Class Hierarchy This Package Previous Next Index