sofya.mutator
Class MutationFileReader

java.lang.Object
  sofya.mutator.MutationFileReader

All Implemented Interfaces:

java.io.DataInput

public class MutationFileReader
extends java.lang.Object
implements java.io.DataInput

Wrapper that provides read access to a mutation table serialized to file.

This class transparently handles deserialization of the string table and decoding of strings in the file.

Version:

09/27/2005

Author:

Alex Kinneer

See Also:

MutationFileWriter, StringTable

Constructor Summary

MutationFileReader(java.io.File file)
Creates a new mutation file reader to read a mutation table.

MutationFileReader(java.lang.String name)
Creates a new mutation file reader to read a mutation table.

Method Summary

void	close()
int	getMutationCount() Gets the number of mutations stored in the mutation table.
StringTable	getStringTable() Gets the string table read from the mutation file.
boolean	readBoolean()
byte	readByte()
char	readChar()
double	readDouble()
float	readFloat()
void	readFully(byte[] b)
void	readFully(byte[] b, int off, int len)
int	readInt()
java.lang.String	readLine()
long	readLong()
short	readShort()
int	readUnsignedByte()
int	readUnsignedShort()
java.lang.String	readUTF()
int	skipBytes(int n)

Methods inherited from class java.lang.Object

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

Constructor Detail

MutationFileReader

public MutationFileReader(java.io.File file)
                   throws java.io.IOException

Creates a new mutation file reader to read a mutation table.

Parameters:

file - File containing the mutation table to be read.

Throws:

java.io.IOException - If the specified file does not exist or does not contain a mutation table.

MutationFileReader

public MutationFileReader(java.lang.String name)
                   throws java.io.IOException

Creates a new mutation file reader to read a mutation table.

Parameters:

name - Name of the file containing the mutation table to be read.

Throws:

java.io.IOException - If the specified file does not exist or does not contain a mutation table.

Method Detail

getStringTable

public StringTable getStringTable()

Gets the string table read from the mutation file.

Returns:

The string table used to encode strings in the file.

getMutationCount

public int getMutationCount()

Gets the number of mutations stored in the mutation table.

Returns:

The number of mutations in the mutation table in this file.

readUTF

public java.lang.String readUTF()
                         throws java.io.IOException

Specified by:

readUTF in interface java.io.DataInput

Throws:

java.io.IOException

close

public void close()
           throws java.io.IOException

Throws:

java.io.IOException

readBoolean

public boolean readBoolean()
                    throws java.io.IOException

Specified by:

readBoolean in interface java.io.DataInput

Throws:

java.io.IOException

readByte

public byte readByte()
              throws java.io.IOException

Specified by:

readByte in interface java.io.DataInput

Throws:

java.io.IOException

readChar

public char readChar()
              throws java.io.IOException

Specified by:

readChar in interface java.io.DataInput

Throws:

java.io.IOException

readDouble

public double readDouble()
                  throws java.io.IOException

Specified by:

readDouble in interface java.io.DataInput

Throws:

java.io.IOException

readFloat

public float readFloat()
                throws java.io.IOException

Specified by:

readFloat in interface java.io.DataInput

Throws:

java.io.IOException

readFully

public void readFully(byte[] b)
               throws java.io.IOException

Specified by:

readFully in interface java.io.DataInput

Throws:

java.io.IOException

readFully

public void readFully(byte[] b,
                      int off,
                      int len)
               throws java.io.IOException

Specified by:

readFully in interface java.io.DataInput

Throws:

java.io.IOException

readInt

public int readInt()
            throws java.io.IOException

Specified by:

readInt in interface java.io.DataInput

Throws:

java.io.IOException

readLine

public java.lang.String readLine()
                          throws java.io.IOException

Specified by:

readLine in interface java.io.DataInput

Throws:

java.io.IOException

readLong

public long readLong()
              throws java.io.IOException

Specified by:

readLong in interface java.io.DataInput

Throws:

java.io.IOException

readShort

public short readShort()
                throws java.io.IOException

Specified by:

readShort in interface java.io.DataInput

Throws:

java.io.IOException

readUnsignedByte

public int readUnsignedByte()
                     throws java.io.IOException

Specified by:

readUnsignedByte in interface java.io.DataInput

Throws:

java.io.IOException

readUnsignedShort

public int readUnsignedShort()
                      throws java.io.IOException

Specified by:

readUnsignedShort in interface java.io.DataInput

Throws:

java.io.IOException

skipBytes

public int skipBytes(int n)
              throws java.io.IOException

Specified by:

skipBytes in interface java.io.DataInput

Throws:

java.io.IOException