sofya.mutator
Class MutationFileWriter

java.lang.Object
  extended by sofya.mutator.MutationFileWriter
All Implemented Interfaces:
java.io.DataOutput

public class MutationFileWriter
extends java.lang.Object
implements java.io.DataOutput

Wrapper that provides write access to serialize a mutation table to file.

This class transparently handles encoding of strings in the file and generation of the corresponding string table.

Version:
09/27/2005
Author:
Alex Kinneer
See Also:
MutationFileReader, StringTable

Constructor Summary
MutationFileWriter(java.io.File file)
          Creates a new mutation file writer to write a mutation table.
MutationFileWriter(java.io.File file, StringTable st)
          Creates a new mutation file writer to write a mutation table.
MutationFileWriter(java.lang.String name)
          Creates a new mutation file writer to write a mutation table.
MutationFileWriter(java.lang.String name, StringTable st)
          Creates a new mutation file writer to write a mutation table.
 
Method Summary
 void close(int size)
           
 void write(byte[] b)
           
 void write(byte[] b, int off, int len)
           
 void write(int b)
           
 void writeBoolean(boolean v)
           
 void writeByte(int v)
           
 void writeBytes(java.lang.String s)
           
 void writeChar(int v)
           
 void writeChars(java.lang.String s)
           
 void writeDouble(double v)
           
 void writeFloat(float v)
           
 void writeInt(int v)
           
 void writeLong(long v)
           
 void writeShort(int v)
           
 void writeUTF(java.lang.String str)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MutationFileWriter

public MutationFileWriter(java.io.File file)
                   throws java.io.IOException
Creates a new mutation file writer to write a mutation table.

Parameters:
file - File to which the mutation table will be written.
Throws:
java.io.IOException - If the specified file cannot be created.

MutationFileWriter

public MutationFileWriter(java.lang.String name)
                   throws java.io.IOException
Creates a new mutation file writer to write a mutation table.

Parameters:
name - Name of the file to which the mutation table will be written.
Throws:
java.io.IOException - If the specified file cannot be created.

MutationFileWriter

public MutationFileWriter(java.lang.String name,
                          StringTable st)
                   throws java.io.IOException
Creates a new mutation file writer to write a mutation table.

Parameters:
name - Name of the file to which the mutation table will be written.
st - String table to be used/extended when writing the mutation table. This provides persistence of the encoding if a file is read and then written back.
Throws:
java.io.IOException - If the specified file cannot be created.

MutationFileWriter

public MutationFileWriter(java.io.File file,
                          StringTable st)
                   throws java.io.IOException
Creates a new mutation file writer to write a mutation table.

Parameters:
file - File to which the mutation table will be written.
st - String table to be used/extended when writing the mutation table. This provides persistence of the encoding if a file is read and then written back.
Throws:
java.io.IOException - If the specified file cannot be created.
Method Detail

writeUTF

public void writeUTF(java.lang.String str)
              throws java.io.IOException
Specified by:
writeUTF in interface java.io.DataOutput
Throws:
java.io.IOException

close

public void close(int size)
           throws java.io.IOException
Throws:
java.io.IOException

write

public void write(byte[] b)
           throws java.io.IOException
Specified by:
write in interface java.io.DataOutput
Throws:
java.io.IOException

write

public void write(byte[] b,
                  int off,
                  int len)
           throws java.io.IOException
Specified by:
write in interface java.io.DataOutput
Throws:
java.io.IOException

write

public void write(int b)
           throws java.io.IOException
Specified by:
write in interface java.io.DataOutput
Throws:
java.io.IOException

writeBoolean

public void writeBoolean(boolean v)
                  throws java.io.IOException
Specified by:
writeBoolean in interface java.io.DataOutput
Throws:
java.io.IOException

writeByte

public void writeByte(int v)
               throws java.io.IOException
Specified by:
writeByte in interface java.io.DataOutput
Throws:
java.io.IOException

writeBytes

public void writeBytes(java.lang.String s)
                throws java.io.IOException
Specified by:
writeBytes in interface java.io.DataOutput
Throws:
java.io.IOException

writeChar

public void writeChar(int v)
               throws java.io.IOException
Specified by:
writeChar in interface java.io.DataOutput
Throws:
java.io.IOException

writeChars

public void writeChars(java.lang.String s)
                throws java.io.IOException
Specified by:
writeChars in interface java.io.DataOutput
Throws:
java.io.IOException

writeDouble

public void writeDouble(double v)
                 throws java.io.IOException
Specified by:
writeDouble in interface java.io.DataOutput
Throws:
java.io.IOException

writeFloat

public void writeFloat(float v)
                throws java.io.IOException
Specified by:
writeFloat in interface java.io.DataOutput
Throws:
java.io.IOException

writeInt

public void writeInt(int v)
              throws java.io.IOException
Specified by:
writeInt in interface java.io.DataOutput
Throws:
java.io.IOException

writeLong

public void writeLong(long v)
               throws java.io.IOException
Specified by:
writeLong in interface java.io.DataOutput
Throws:
java.io.IOException

writeShort

public void writeShort(int v)
                throws java.io.IOException
Specified by:
writeShort in interface java.io.DataOutput
Throws:
java.io.IOException