public void AddDone()
{
if (@out != null)
{
@out.Dispose();
@out = null;
}
}
public virtual void Flush(Stream stream)
{
OutputStreamDataOutput dos = new OutputStreamDataOutput(stream);
try
{
dos.WriteInt(this.counter);
// write the labelRepository
this.labelRepository.Flush(dos);
// Closes the data output stream
dos.Dispose();
}
finally
{
dos.Dispose();
}
}