aterm.pure.binary

Class BAFReader

java.lang.Object

aterm.pure.binary.BAFReader

public class BAFReader
extends Object

Reader for the binary aterm format (BAF).

Author:

Karl Trygve Kalleberg

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	BAFReader.BitStream

Field Summary

Fields

Modifier and Type	Field and Description
static boolean	isDebugging

Constructor Summary

Constructors

Constructor and Description
BAFReader(PureFactory factory, InputStream inputStream)

Method Summary

Methods

Modifier and Type	Method and Description
static boolean	isBinaryATerm(BufferedInputStream in)
ATerm	readFromBinaryFile(boolean headerAlreadyRead)

Methods inherited from class java.lang.Object

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

Field Detail

isDebugging

public static boolean isDebugging

Constructor Detail

BAFReader

public BAFReader(PureFactory factory,
         InputStream inputStream)

Method Detail

readFromBinaryFile

public ATerm readFromBinaryFile(boolean headerAlreadyRead)
                         throws ParseError,
                                IOException

Throws:

ParseError

IOException

isBinaryATerm

public static boolean isBinaryATerm(BufferedInputStream in)
                             throws IOException

Throws:

IOException