wyautl_old.io

Class BinaryAutomataWriter

java.lang.Object

wyautl_old.io.BinaryAutomataWriter

All Implemented Interfaces:

GenericWriter<Automaton>

Direct Known Subclasses:

BinaryTypeWriter

public class BinaryAutomataWriter
extends Object
implements GenericWriter<Automaton>

Responsible for writing an automaton in a binary format to an output stream. Obviously, it cannot know how to handle the supplementary data that can be provided as part of a state. Therefore, if the automaton contains states which have supplementary data, the client is expected to deal with this.

NOTE: By default, this class completely ignores any supplementary data. To allow writing this data, the client should extend this class and overwrite the method write(Automata.State). In such case, it is recommended that super.write(state) is called before writing the supplementary data. In other words, the standard information (i.e. kind and children) for a state comes first, and the supplementary data is placed after that.

Author:

David J. Pearce

Field Summary

Fields

Modifier and Type	Field and Description
protected wyfs.io.BinaryOutputStream	writer

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
void	close()
void	flush()
protected void	write(Automaton.State state)
void	write(Automaton automaton)

Methods inherited from class java.lang.Object

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

Field Detail

writer

protected final wyfs.io.BinaryOutputStream writer

Constructor Detail

BinaryAutomataWriter

public BinaryAutomataWriter(wyfs.io.BinaryOutputStream writer)

Method Detail

write

public void write(Automaton automaton)
           throws IOException

Specified by:

write in interface GenericWriter<Automaton>

Throws:

IOException

write

protected void write(Automaton.State state)
              throws IOException

Throws:

IOException

close

public void close()
           throws IOException

Specified by:

close in interface GenericWriter<Automaton>

Throws:

IOException

flush

public void flush()
           throws IOException

Specified by:

flush in interface GenericWriter<Automaton>

Throws:

IOException