Method for updating observation counts in RINEX obs file header

A common need for those writing RINEX observations in post processing is to summarize the number of observations in the header. There are three optional records in the header designed to hold such information, with the following labels:

# / TYPES OF OBSERV
PRN / # OF OBS
# OF SATELLITES

A design recommendation. Let the user set a flag that denotes the optional records will be recorded. Save file position where the header is written. Write the header with bogus counts (zeros, say). Then in the streaming output operator, keep track of the counts if the flag is set. Then when the stream is closed (read: destructor() ) then before closing the output file, reseek to the header and dump the updated header ().

-- Contributors: BenHarris - 1 May 2005

Discussion