wyil.util.type

Class BinaryTypeWriter

java.lang.Object

wyautl_old.io.BinaryAutomataWriter

wyil.util.type.BinaryTypeWriter

All Implemented Interfaces:

GenericWriter<Automaton>

public class BinaryTypeWriter
extends BinaryAutomataWriter

A BinaryWriter will write types to a binary output stream. The types should be read back from the stream using BinaryReader .

NOTE: Under-the-hood, this class is essentially a wrapper for BinaryAutomataWriter.

Author:

David J. Pearce

Field Summary

Fields inherited from class wyautl_old.io.BinaryAutomataWriter

writer

Constructor Summary

Constructors

Constructor and Description
BinaryTypeWriter(wyfs.io.BinaryOutputStream writer)

Method Summary

Modifier and Type	Method and Description
void	write(Automaton.State state)

Methods inherited from class wyautl_old.io.BinaryAutomataWriter

close, flush, write

Methods inherited from class java.lang.Object

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

Constructor Detail

BinaryTypeWriter

public BinaryTypeWriter(wyfs.io.BinaryOutputStream writer)

Method Detail

write

public void write(Automaton.State state)
           throws IOException

Overrides:

write in class BinaryAutomataWriter

Throws:

IOException