1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

msg! (
    id: msg1001_sat,
    type_name: Msg1001Sat,
    fields: [
        (gps_satellite_id, df009),
        (gps_l1_code_ind, df010),
        (gps_l1_pseudorange_m, df011),
        (gps_l1_phase_pseudorange_diff_m, df012_18_42_48),
        (gps_l1_lock_time_bitval, df013)
    ],
);

frag_vec!(
    id: msg1001_sat_vec,
    frag_id: msg1001_sat,
    cap_name: DF006_CAP,
);

msg!(
    id: msg1001,
    type_name: Msg1001T,
    fields: [
        (reference_station_id, df003),
        (gps_epoch_time_ms, df004),
        (synchronous_gnss_msg_flag, df005),
        (satellites_len, df006),
        (gps_divergence_free_smoothing_flag, df007),
        (gps_smoothing_interval_bitval, df008),
        (satellites, msg1001_sat_vec, satellites_len)
    ],
);