wyautl_old.io

Interface GenericWriter<T>

Type Parameters:

T -

All Known Implementing Classes:

BinaryAutomataWriter, BinaryTypeWriter

public interface GenericWriter<T>

An interface for writing out specific values to a binary stream. This is used by the Generator class so allow writing of Automata and/or values to the stream.

Author:

David J. Pearce

Method Summary

Modifier and Type	Method and Description
void	close()
void	flush()
void	write(T value)

Method Detail

write

void write(T value)
    throws IOException

Throws:

IOException

flush

void flush()
    throws IOException

Throws:

IOException

close

void close()
    throws IOException

Throws:

IOException