gov.nasa.jpf.util

Class CommitOutputStream

java.lang.Object

java.io.OutputStream

gov.nasa.jpf.util.CommitOutputStream

All Implemented Interfaces:

java.io.Closeable, java.io.Flushable, java.lang.AutoCloseable

public class CommitOutputStream
extends java.io.OutputStream

Constructor Summary

Constructors

Constructor and Description
CommitOutputStream(java.io.OutputStream sink)

Method Summary

Modifier and Type	Method and Description
void	close()
void	commit()
void	flush()
int	getSize()
void	rollback()
void	write(byte[] buffer, int offset, int length)
void	write(int data)

Methods inherited from class java.io.OutputStream

write

Methods inherited from class java.lang.Object

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

Constructor Detail

CommitOutputStream

public CommitOutputStream(java.io.OutputStream sink)

Method Detail

write

public void write(int data)

Specified by:

write in class java.io.OutputStream

write

public void write(byte[] buffer,
                  int offset,
                  int length)

Overrides:

write in class java.io.OutputStream

getSize

public int getSize()

commit

public void commit()
            throws java.io.IOException

Throws:

java.io.IOException

rollback

public void rollback()

flush

public void flush()
           throws java.io.IOException

Specified by:

flush in interface java.io.Flushable

Overrides:

flush in class java.io.OutputStream

Throws:

java.io.IOException

close

public void close()
           throws java.io.IOException

Specified by:

close in interface java.io.Closeable

Specified by:

close in interface java.lang.AutoCloseable

Overrides:

close in class java.io.OutputStream

Throws:

java.io.IOException