gov.nasa.jpf.util

Class CommitOutputStream

java.lang.Object

java.io.OutputStream

gov.nasa.jpf.util.CommitOutputStream

All Implemented Interfaces:

Closeable, Flushable, AutoCloseable

public class CommitOutputStream
extends OutputStream

Constructor Summary

Constructors

Constructor and Description
CommitOutputStream(OutputStream sink)

Method Summary

Methods

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(OutputStream sink)

Method Detail

write

public void write(int data)

Specified by:

write in class OutputStream

write

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

Overrides:

write in class OutputStream

getSize

public int getSize()

commit

public void commit()
            throws IOException

Throws:

IOException

rollback

public void rollback()

flush

public void flush()
           throws IOException

Specified by:

flush in interface Flushable

Overrides:

flush in class OutputStream

Throws:

IOException

close

public void close()
           throws IOException

Specified by:

close in interface Closeable

Specified by:

close in interface AutoCloseable

Overrides:

close in class OutputStream

Throws:

IOException