de.uni_due.inf.ti.raven.io

Interface AutomatonWriter

All Known Implementing Classes:

AutomatonFileWriter, PlainTextWriter

public interface AutomatonWriter

This interface offers methods to write a graph automaton to a specific file.

Version:

$Revision: 1.8 $

Author:

Christoph Blume

Method Summary

Methods

Modifier and Type	Method and Description
void	write(Automaton automaton, String filename) Writes an automaton to the file specified by filename.

Method Detail

write

void write(Automaton automaton,
         String filename)
           throws FileNotFoundException,
                  IOException

Writes an automaton to the file specified by filename.

Parameters:

automaton - the automaton to be written

filename - the filename of the file to which the automaton is written

Throws:

FileNotFoundException - thrown if the file exists but is a directory rather than a regular file, does not exist but cannot be created, or cannot be opened for any other reason

IOException - thrown if an I/O error occurs while writing the automaton