Parser and lookup helpers for ANTEX 1.4 receiver and satellite antenna blocks.
The module parses the relevant parts of ANTEX text into Elixir structs and exposes minimal helpers for Phase 3a:
load/1,load!/1— read and parse an ANTEX file.antenna/2— resolve an antenna by theTYPE / SERIALkey.pco/2— retrieve frequency PCO values in meters.pcv/4— interpolate phase-center variation in meters.
Interpolation is linear in zenith and, when azimuth data exists, linear in azimuth with wrap handling at 0/360°.
Summary
Functions
Return an antenna by its TYPE / SERIAL key.
Load and parse an ANTEX file from path.
Like load/1 but raises on failure.
Parse ANTEX text already in memory.
Frequency-dependent PCO (north/east/up in meters).
Frequency-dependent phase-center variation in meters.
Return the satellite antenna block for PRN prn (e.g. "G05") valid at the
given epoch, or nil if none.
Types
Functions
Return an antenna by its TYPE / SERIAL key.
@spec load(String.t()) :: {:ok, t()} | parse_error()
Load and parse an ANTEX file from path.
Like load/1 but raises on failure.
@spec parse(binary()) :: {:ok, t()} | parse_error()
Parse ANTEX text already in memory.
Frequency-dependent PCO (north/east/up in meters).
Frequency-dependent phase-center variation in meters.
Interpolation is linear in zenith and azimuth. Azimuth is optional: when not given (or when the antenna has no azimuth-dependent rows), the NOAZI row is used.
@spec satellite_antenna(t(), String.t(), NaiveDateTime.t()) :: Orbis.GNSS.Antex.Antenna.t() | nil
Return the satellite antenna block for PRN prn (e.g. "G05") valid at the
given epoch, or nil if none.
ANTEX carries one satellite-antenna block per spacecraft per validity window
(the same PRN is reused across spacecraft over time), so the block must be
selected by VALID FROM/VALID UNTIL. An unbounded valid_until (the active
spacecraft) is treated as open-ended.