public void WritePointArray(byte[] points_buffer)
{
if (File.Exists(_FullName))
{
Close();
File.Delete(_FullName);
}
_WFIO = new WinFileIO();
_WFIO.OpenForWriting(_FullName);
byte[] header_bytes = _Header.ToByteArray();
_WFIO.PinBuffer(header_bytes);
_WFIO.WriteBlocks(header_bytes.Length);
_WFIO.PinBuffer(points_buffer);
_WFIO.WriteBlocks(points_buffer.Length);
_WFIO.Close();
}
