Class RinexNavigationHeader


  • public class RinexNavigationHeader
    extends RinexBaseHeader
    Header for Rinex Navigation.
    Since:
    12.0
    Author:
    Luc Maisonobe
    • Constructor Detail

      • RinexNavigationHeader

        public RinexNavigationHeader()
        Simple constructor.
    • Method Detail

      • getIonosphericCorrectionType

        public IonosphericCorrectionType getIonosphericCorrectionType()
        Getter for the ionospheric correction type.
        Returns:
        the ionospheric correction type
      • setIonosphericCorrectionType

        public void setIonosphericCorrectionType​(IonosphericCorrectionType ionosphericCorrectionType)
        Setter for the ionospheric correction type.
        Parameters:
        ionosphericCorrectionType - the ionospheric correction type to set
      • getTimeSystemCorrections

        public List<TimeSystemCorrection> getTimeSystemCorrections()
        Getter for the time system corrections contained in the file header.

        Corrections to transform the system time to UTC or oter time system.

        Returns:
        the list of time system corrections
      • addTimeSystemCorrections

        public void addTimeSystemCorrections​(TimeSystemCorrection timeSystemCorrection)
        Add a time system correction to the list.
        Parameters:
        timeSystemCorrection - the element to add
      • getMergedFiles

        public int getMergedFiles()
        Getter for the number of merged files.
        Returns:
        the number of merged files
      • setMergedFiles

        public void setMergedFiles​(int mergedFiles)
        Setter for the number of merged files.
        Parameters:
        mergedFiles - the number of merged files
      • getNumberOfLeapSeconds

        public int getNumberOfLeapSeconds()
        Getter for the current number of leap seconds.
        Returns:
        the current number of leap seconds
      • setNumberOfLeapSeconds

        public void setNumberOfLeapSeconds​(int numberOfLeapSeconds)
        Setter for the current number of leap seconds.
        Parameters:
        numberOfLeapSeconds - the number of leap seconds to set