de.uni_due.inf.ti.raven.io

Class AutomatonFileWriter

java.lang.Object

de.uni_due.inf.ti.raven.io.AutomatonFileWriter

All Implemented Interfaces:

AutomatonWriter

public class AutomatonFileWriter
extends Object
implements AutomatonWriter

This class provides operations for writing automata to files.

Version:

$Revision: 1.1 $

Author:

Laura Steinert

Constructor Summary

Constructors

Constructor and Description
AutomatonFileWriter()

Method Summary

Methods

Modifier and Type	Method and Description
static AutomatonFileWriter	getWriter() Returns a DataObjectFileWriter to save Data objects to files.
void	write(Automaton automaton, String zipname) Writes an automaton to the zip archive specified by zipname.

Methods inherited from class java.lang.Object

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

Constructor Detail

AutomatonFileWriter

public AutomatonFileWriter()

Method Detail

getWriter

public static AutomatonFileWriter getWriter()

Returns a DataObjectFileWriter to save Data objects to files.

Returns:

the file writer

write

public void write(Automaton automaton,
         String zipname)
           throws FileNotFoundException,
                  IOException

Writes an automaton to the zip archive specified by zipname.

Specified by:

write in interface AutomatonWriter

Parameters:

automaton - the automaton to be written

zipname - the name of the zip archive 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