Class RinexNavigationHeader


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

      • LABEL_INDEX

        public static final int LABEL_INDEX
        Index of label in header lines.
        See Also:
        Constant Field Values
    • Constructor Detail

      • RinexNavigationHeader

        public RinexNavigationHeader()
        Simple constructor.
    • Method Detail

      • parseProgramRunByDate

        public void parseProgramRunByDate​(String line,
                                          TimeScales timeScales)
        Parse program, run/by and date.
        Specified by:
        parseProgramRunByDate in class RinexBaseHeader
        Parameters:
        line - line to parse
        timeScales - the set of time scales used for parsing dates
      • getIonosphericCorrections

        public List<IonosphericCorrection> getIonosphericCorrections()
        Getter for the ionospheric corrections.
        Returns:
        the ionospheric corrections
      • addIonosphericCorrection

        public void addIonosphericCorrection​(IonosphericCorrection ionosphericCorrection)
        Add a ionospheric correction.
        Parameters:
        ionosphericCorrection - the ionospheric correction type to add
      • 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
      • checkType

        public void checkType​(String line,
                              String name)
        Check file type.
        Specified by:
        checkType in class RinexBaseHeader
        Parameters:
        line - header line
        name - file name (for error message)
      • getLabelIndex

        public int getLabelIndex()
        Get the index of the header label.
        Specified by:
        getLabelIndex in class RinexBaseHeader
        Returns:
        index of the header label
      • matchFound

        public boolean matchFound​(Label label,
                                  String line)
        Check if a label is found in a line.
        Specified by:
        matchFound in class RinexBaseHeader
        Parameters:
        label - label to check
        line - header line
        Returns:
        true if label is found in the header line