|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object sofya.mutator.MutationFileWriter
public class MutationFileWriter
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.
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 |
---|
public MutationFileWriter(java.io.File file) throws java.io.IOException
file
- File to which the mutation table will be written.
java.io.IOException
- If the specified file cannot be created.public MutationFileWriter(java.lang.String name) throws java.io.IOException
name
- Name of the file to which the mutation table will be
written.
java.io.IOException
- If the specified file cannot be created.public MutationFileWriter(java.lang.String name, StringTable st) throws java.io.IOException
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.
java.io.IOException
- If the specified file cannot be created.public MutationFileWriter(java.io.File file, StringTable st) throws java.io.IOException
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.
java.io.IOException
- If the specified file cannot be created.Method Detail |
---|
public void writeUTF(java.lang.String str) throws java.io.IOException
writeUTF
in interface java.io.DataOutput
java.io.IOException
public void close(int size) throws java.io.IOException
java.io.IOException
public void write(byte[] b) throws java.io.IOException
write
in interface java.io.DataOutput
java.io.IOException
public void write(byte[] b, int off, int len) throws java.io.IOException
write
in interface java.io.DataOutput
java.io.IOException
public void write(int b) throws java.io.IOException
write
in interface java.io.DataOutput
java.io.IOException
public void writeBoolean(boolean v) throws java.io.IOException
writeBoolean
in interface java.io.DataOutput
java.io.IOException
public void writeByte(int v) throws java.io.IOException
writeByte
in interface java.io.DataOutput
java.io.IOException
public void writeBytes(java.lang.String s) throws java.io.IOException
writeBytes
in interface java.io.DataOutput
java.io.IOException
public void writeChar(int v) throws java.io.IOException
writeChar
in interface java.io.DataOutput
java.io.IOException
public void writeChars(java.lang.String s) throws java.io.IOException
writeChars
in interface java.io.DataOutput
java.io.IOException
public void writeDouble(double v) throws java.io.IOException
writeDouble
in interface java.io.DataOutput
java.io.IOException
public void writeFloat(float v) throws java.io.IOException
writeFloat
in interface java.io.DataOutput
java.io.IOException
public void writeInt(int v) throws java.io.IOException
writeInt
in interface java.io.DataOutput
java.io.IOException
public void writeLong(long v) throws java.io.IOException
writeLong
in interface java.io.DataOutput
java.io.IOException
public void writeShort(int v) throws java.io.IOException
writeShort
in interface java.io.DataOutput
java.io.IOException
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |