Skip to main content

dvb_si/tables/
sit.rs

1//! Selection Information Table — ETSI EN 300 468 §7.1.2.
2//!
3//! Carried on PID 0x001F with table_id 0x7F, only in partial transport streams
4//! (e.g. a recording). After the section header it has two loops:
5//!   1. `transmission_info_descriptors` — descriptors describing the whole
6//!      partial stream, prefixed by a 12-bit length;
7//!   2. a per-service loop: `service_id(16) + reserved_future_use(1) +
8//!      running_status(3) + service_descriptors_length(12) + descriptors`.
9//!
10//! Both loops are typed: the transmission-info loop is a [`DescriptorLoop`] and
11//! the service loop is a `Vec<SitService>`, each with its own descriptor loop.
12
13use super::RunningStatus;
14use crate::descriptors::DescriptorLoop;
15use crate::error::{Error, Result};
16use alloc::vec::Vec;
17use dvb_common::{Parse, Serialize};
18
19/// table_id for the Selection Information Table.
20pub const TABLE_ID: u8 = 0x7F;
21/// Well-known PID on which the SIT is carried.
22pub const PID: u16 = 0x001F;
23
24const MIN_HEADER_LEN: usize = 3;
25const EXTENSION_HEADER_LEN: usize = 5;
26const DESC_LOOP_LEN_FIELD: usize = 2;
27const CRC_LEN: usize = 4;
28/// Per-service fixed header: service_id(16) + reserved(1)/running_status(3)/
29/// service_descriptors_length(12) = 2 + 2 bytes.
30const SERVICE_HEADER_LEN: usize = 4;
31/// Maximum value of the 12-bit service_descriptors_length field.
32const MAX_SERVICE_DESC_LEN: usize = 0x0FFF;
33const MIN_SECTION_LEN: usize =
34    MIN_HEADER_LEN + EXTENSION_HEADER_LEN + DESC_LOOP_LEN_FIELD + CRC_LEN;
35
36/// One service entry in the SIT service loop (§7.1.2, Table 164).
37///
38/// Wire layout: `service_id(16) + reserved_future_use(1) + running_status(3) +
39/// service_descriptors_length(12) + descriptors`.
40#[derive(Debug, Clone, PartialEq, Eq)]
41#[cfg_attr(feature = "serde", derive(serde::Serialize))]
42#[cfg_attr(feature = "yoke", derive(yoke::Yokeable))]
43pub struct SitService<'a> {
44    /// service_id of this service.
45    pub service_id: u16,
46    /// 3-bit running_status (EN 300 468 Table 6).
47    pub running_status: RunningStatus,
48    /// Descriptor loop for this service. Serializes as the typed descriptor
49    /// sequence; `.raw()` yields the wire bytes.
50    pub descriptors: DescriptorLoop<'a>,
51}
52
53/// Selection Information Table (§7.1.2, Table 164).
54#[derive(Debug, Clone, PartialEq, Eq)]
55#[cfg_attr(feature = "serde", derive(serde::Serialize))]
56#[cfg_attr(feature = "yoke", derive(yoke::Yokeable))]
57pub struct SitSection<'a> {
58    /// 16-bit field after section_length — reserved_future_use for the SIT
59    /// (conventionally 0xFFFF); retained verbatim.
60    pub table_id_extension: u16,
61    /// 5-bit version_number.
62    pub version_number: u8,
63    /// current_next_indicator bit.
64    pub current_next_indicator: bool,
65    /// section_number in the sub-table sequence.
66    pub section_number: u8,
67    /// last_section_number in the sub-table sequence.
68    pub last_section_number: u8,
69    /// Transmission-info descriptor loop (the first loop). Serializes as the
70    /// typed descriptor sequence; `.raw()` yields the wire bytes.
71    pub transmission_info_descriptors: DescriptorLoop<'a>,
72    /// Per-service loop, in wire order.
73    pub services: Vec<SitService<'a>>,
74}
75
76impl<'a> Parse<'a> for SitSection<'a> {
77    type Error = crate::error::Error;
78
79    fn parse(bytes: &'a [u8]) -> Result<Self> {
80        let min_len = MIN_HEADER_LEN + EXTENSION_HEADER_LEN + DESC_LOOP_LEN_FIELD + CRC_LEN;
81        if bytes.len() < min_len {
82            return Err(Error::BufferTooShort {
83                need: min_len,
84                have: bytes.len(),
85                what: "SitSection",
86            });
87        }
88        if bytes[0] != TABLE_ID {
89            return Err(Error::UnexpectedTableId {
90                table_id: bytes[0],
91                what: "SitSection",
92                expected: &[TABLE_ID],
93            });
94        }
95        let section_length = ((bytes[1] & 0x0F) as usize) << 8 | bytes[2] as usize;
96        let total = super::check_section_length(
97            bytes.len(),
98            MIN_HEADER_LEN,
99            section_length,
100            MIN_SECTION_LEN,
101        )?;
102
103        let table_id_extension = u16::from_be_bytes(*bytes[3..].first_chunk::<2>().unwrap());
104        let version_number = (bytes[5] >> 1) & 0x1F;
105        let current_next_indicator = (bytes[5] & 0x01) != 0;
106        let section_number = bytes[6];
107        let last_section_number = bytes[7];
108
109        let dl_pos = MIN_HEADER_LEN + EXTENSION_HEADER_LEN;
110        let ti_len = (((bytes[dl_pos] & 0x0F) as usize) << 8) | bytes[dl_pos + 1] as usize;
111        let ti_start = dl_pos + DESC_LOOP_LEN_FIELD;
112        let ti_end = ti_start + ti_len;
113        let crc_start = total - CRC_LEN;
114        if ti_end > crc_start {
115            return Err(Error::SectionLengthOverflow {
116                declared: ti_len,
117                available: crc_start.saturating_sub(ti_start),
118            });
119        }
120
121        // Everything between the transmission-info loop and the CRC is the
122        // per-service loop. Walk it entry by entry, boundary-checked.
123        let mut services = Vec::new();
124        let mut pos = ti_end;
125        while pos < crc_start {
126            if pos + SERVICE_HEADER_LEN > crc_start {
127                return Err(Error::BufferTooShort {
128                    need: pos + SERVICE_HEADER_LEN,
129                    have: crc_start,
130                    what: "SitService header",
131                });
132            }
133            let (b2, _) = bytes
134                .get(pos..)
135                .and_then(|s| s.split_first_chunk::<2>())
136                .ok_or(Error::BufferTooShort {
137                    need: pos + 2,
138                    have: crc_start,
139                    what: "SitService header",
140                })?;
141            let service_id = u16::from_be_bytes(*b2);
142            // byte[pos+2]: reserved_future_use(1) | running_status(3) | len_hi(4)
143            let running_status = RunningStatus::from_u8((bytes[pos + 2] >> 4) & 0x07);
144            let svc_desc_len = (((bytes[pos + 2] & 0x0F) as usize) << 8) | bytes[pos + 3] as usize;
145            let desc_start = pos + SERVICE_HEADER_LEN;
146            let desc_end = desc_start + svc_desc_len;
147            if desc_end > crc_start {
148                return Err(Error::SectionLengthOverflow {
149                    declared: svc_desc_len,
150                    available: crc_start.saturating_sub(desc_start),
151                });
152            }
153            services.push(SitService {
154                service_id,
155                running_status,
156                descriptors: DescriptorLoop::new(&bytes[desc_start..desc_end]),
157            });
158            pos = desc_end;
159        }
160
161        Ok(SitSection {
162            table_id_extension,
163            version_number,
164            current_next_indicator,
165            section_number,
166            last_section_number,
167            transmission_info_descriptors: DescriptorLoop::new(&bytes[ti_start..ti_end]),
168            services,
169        })
170    }
171}
172
173impl Serialize for SitSection<'_> {
174    type Error = crate::error::Error;
175
176    fn serialized_len(&self) -> usize {
177        let svc_bytes: usize = self
178            .services
179            .iter()
180            .map(|s| SERVICE_HEADER_LEN + s.descriptors.len())
181            .sum();
182        MIN_HEADER_LEN
183            + EXTENSION_HEADER_LEN
184            + DESC_LOOP_LEN_FIELD
185            + self.transmission_info_descriptors.len()
186            + svc_bytes
187            + CRC_LEN
188    }
189
190    fn serialize_into(&self, buf: &mut [u8]) -> Result<usize> {
191        // Reject over-range service descriptor loops up front — never truncate.
192        // service_descriptors_length is a 12-bit field (max 0x0FFF).
193        for svc in &self.services {
194            if svc.descriptors.len() > MAX_SERVICE_DESC_LEN {
195                return Err(Error::SectionLengthOverflow {
196                    declared: svc.descriptors.len(),
197                    available: MAX_SERVICE_DESC_LEN,
198                });
199            }
200        }
201        let len = self.serialized_len();
202        if buf.len() < len {
203            return Err(Error::OutputBufferTooSmall {
204                need: len,
205                have: buf.len(),
206            });
207        }
208        let section_length = (len - MIN_HEADER_LEN) as u16;
209        buf[0] = TABLE_ID;
210        buf[1] = super::SECTION_B1_FLAGS_DVB | ((section_length >> 8) as u8 & 0x0F);
211        buf[2] = (section_length & 0xFF) as u8;
212        buf[3..5].copy_from_slice(&self.table_id_extension.to_be_bytes());
213        buf[5] = 0xC0 | ((self.version_number & 0x1F) << 1) | u8::from(self.current_next_indicator);
214        buf[6] = self.section_number;
215        buf[7] = self.last_section_number;
216
217        let dl_pos = MIN_HEADER_LEN + EXTENSION_HEADER_LEN;
218        let ti_len = self.transmission_info_descriptors.len() as u16;
219        buf[dl_pos] = 0xF0 | ((ti_len >> 8) as u8 & 0x0F);
220        buf[dl_pos + 1] = (ti_len & 0xFF) as u8;
221        let ti_start = dl_pos + DESC_LOOP_LEN_FIELD;
222        let ti_end = ti_start + self.transmission_info_descriptors.len();
223        buf[ti_start..ti_end].copy_from_slice(self.transmission_info_descriptors.raw());
224
225        let mut pos = ti_end;
226        for svc in &self.services {
227            buf[pos..pos + 2].copy_from_slice(&svc.service_id.to_be_bytes());
228            let dll = svc.descriptors.len() as u16;
229            // reserved_future_use(1) emitted as 1 (§5.1 convention) | running_status(3) | len_hi(4)
230            buf[pos + 2] = 0x80 | (svc.running_status.to_u8() << 4) | ((dll >> 8) as u8 & 0x0F);
231            buf[pos + 3] = (dll & 0xFF) as u8;
232            let desc_start = pos + SERVICE_HEADER_LEN;
233            let desc_end = desc_start + svc.descriptors.len();
234            buf[desc_start..desc_end].copy_from_slice(svc.descriptors.raw());
235            pos = desc_end;
236        }
237
238        let crc_pos = len - CRC_LEN;
239        let crc = dvb_common::crc32_mpeg2::compute(&buf[..crc_pos]);
240        buf[crc_pos..len].copy_from_slice(&crc.to_be_bytes());
241        Ok(len)
242    }
243}
244impl<'a> crate::traits::TableDef<'a> for SitSection<'a> {
245    const TABLE_ID_RANGES: &'static [(u8, u8)] = &[(TABLE_ID, TABLE_ID)];
246    const NAME: &'static str = "SELECTION_INFORMATION";
247}
248
249#[cfg(test)]
250mod tests {
251    use super::*;
252
253    fn build_sit(
254        table_id_extension: u16,
255        version: u8,
256        ti_desc: &[u8],
257        service_loop: &[u8],
258    ) -> Vec<u8> {
259        let section_length = (EXTENSION_HEADER_LEN
260            + DESC_LOOP_LEN_FIELD
261            + ti_desc.len()
262            + service_loop.len()
263            + CRC_LEN) as u16;
264        let mut v = vec![
265            TABLE_ID,
266            super::super::SECTION_B1_FLAGS_DVB | ((section_length >> 8) as u8 & 0x0F),
267            (section_length & 0xFF) as u8,
268        ];
269        v.extend_from_slice(&table_id_extension.to_be_bytes());
270        v.push(0xC0 | ((version & 0x1F) << 1) | 0x01);
271        v.push(0x00);
272        v.push(0x00);
273        let dl = ti_desc.len() as u16;
274        v.push(0xF0 | ((dl >> 8) as u8 & 0x0F));
275        v.push((dl & 0xFF) as u8);
276        v.extend_from_slice(ti_desc);
277        v.extend_from_slice(service_loop);
278        v.extend_from_slice(&[0, 0, 0, 0]);
279        v
280    }
281
282    #[test]
283    fn parse_rejects_wrong_tag() {
284        let mut bytes = build_sit(0x1234, 5, &[], &[]);
285        bytes[0] = 0x7E;
286        assert!(matches!(
287            SitSection::parse(&bytes).unwrap_err(),
288            Error::UnexpectedTableId { table_id: 0x7E, .. }
289        ));
290    }
291
292    #[test]
293    fn parse_rejects_short_buffer() {
294        assert!(matches!(
295            SitSection::parse(&[0x7F, 0xB0]).unwrap_err(),
296            Error::BufferTooShort { .. }
297        ));
298    }
299
300    /// Encode one service entry: service_id + reserved(1)/running_status(3)/
301    /// svc_desc_len(12) + descriptor bytes.
302    fn service_entry(service_id: u16, running_status: u8, desc: &[u8]) -> Vec<u8> {
303        let dll = desc.len() as u16;
304        let mut v = Vec::new();
305        v.extend_from_slice(&service_id.to_be_bytes());
306        v.push(0x80 | ((running_status & 0x07) << 4) | ((dll >> 8) as u8 & 0x0F));
307        v.push((dll & 0xFF) as u8);
308        v.extend_from_slice(desc);
309        v
310    }
311
312    #[test]
313    fn parse_empty() {
314        let bytes = build_sit(0x1234, 5, &[], &[]);
315        let sit = SitSection::parse(&bytes).unwrap();
316        assert_eq!(sit.table_id_extension, 0x1234);
317        assert_eq!(sit.version_number, 5);
318        assert!(sit.current_next_indicator);
319        assert!(sit.transmission_info_descriptors.is_empty());
320        assert!(sit.services.is_empty());
321    }
322
323    #[test]
324    fn parse_two_services_typed() {
325        let ti = [0x4D, 0x02, 0x01, 0x02]; // a transmission-info descriptor
326        let mut sl = service_entry(0x0001, 4, &[0x48, 0x02, 0xAA, 0xBB]);
327        sl.extend(service_entry(0x0002, 2, &[]));
328        let bytes = build_sit(0xABCD, 7, &ti, &sl);
329        let sit = SitSection::parse(&bytes).unwrap();
330        assert_eq!(sit.transmission_info_descriptors.raw(), &ti[..]);
331        assert_eq!(sit.services.len(), 2);
332        assert_eq!(sit.services[0].service_id, 0x0001);
333        assert_eq!(sit.services[0].running_status, RunningStatus::Running);
334        assert_eq!(
335            sit.services[0].descriptors.raw(),
336            &[0x48, 0x02, 0xAA, 0xBB][..]
337        );
338        assert_eq!(sit.services[1].service_id, 0x0002);
339        assert_eq!(
340            sit.services[1].running_status,
341            RunningStatus::StartsInAFewSeconds
342        );
343        assert!(sit.services[1].descriptors.is_empty());
344    }
345
346    #[test]
347    fn parse_rejects_truncated_service_header() {
348        // Service loop has only 3 bytes — less than the 4-byte service header.
349        let ti = [0x4D, 0x00];
350        let bytes = build_sit(0x1234, 0, &ti, &[0x00, 0x01, 0xC0]);
351        assert!(matches!(
352            SitSection::parse(&bytes).unwrap_err(),
353            Error::BufferTooShort { .. }
354        ));
355    }
356
357    #[test]
358    fn parse_rejects_inner_descriptor_overflow() {
359        // service_descriptors_length declares 5 bytes but only 1 follows.
360        let service = [0x00, 0x01, 0x80, 0x05, 0xFF];
361        let bytes = build_sit(0x1234, 0, &[], &service);
362        assert!(matches!(
363            SitSection::parse(&bytes).unwrap_err(),
364            Error::SectionLengthOverflow { .. }
365        ));
366    }
367
368    #[test]
369    fn serialize_round_trip_two_services() {
370        let ti = [0x4D, 0x02, 0x01, 0x02];
371        let sit = SitSection {
372            table_id_extension: 0xCAFE,
373            version_number: 3,
374            current_next_indicator: true,
375            section_number: 0,
376            last_section_number: 0,
377            transmission_info_descriptors: DescriptorLoop::new(&ti),
378            services: vec![
379                SitService {
380                    service_id: 0x0001,
381                    running_status: RunningStatus::Running,
382                    descriptors: DescriptorLoop::new(&[0x48, 0x02, 0xAA, 0xBB]),
383                },
384                SitService {
385                    service_id: 0x0002,
386                    running_status: RunningStatus::StartsInAFewSeconds,
387                    descriptors: DescriptorLoop::new(&[]),
388                },
389            ],
390        };
391        let mut buf = vec![0u8; sit.serialized_len()];
392        sit.serialize_into(&mut buf).unwrap();
393        // Byte-exact: re-parse must equal the original.
394        assert_eq!(SitSection::parse(&buf).unwrap(), sit);
395    }
396
397    #[test]
398    fn serialize_round_trip_empty() {
399        let bytes = build_sit(0x0001, 0, &[], &[]);
400        let sit = SitSection::parse(&bytes).unwrap();
401        let mut buf = vec![0u8; sit.serialized_len()];
402        sit.serialize_into(&mut buf).unwrap();
403        assert_eq!(SitSection::parse(&buf).unwrap(), sit);
404    }
405
406    #[test]
407    fn serialize_rejects_over_range_service_desc_len() {
408        // A service descriptor loop longer than the 12-bit field can hold.
409        let big = vec![0u8; MAX_SERVICE_DESC_LEN + 1];
410        let sit = SitSection {
411            table_id_extension: 0x0001,
412            version_number: 0,
413            current_next_indicator: true,
414            section_number: 0,
415            last_section_number: 0,
416            transmission_info_descriptors: DescriptorLoop::new(&[]),
417            services: vec![SitService {
418                service_id: 0x0001,
419                running_status: RunningStatus::Running,
420                descriptors: DescriptorLoop::new(&big),
421            }],
422        };
423        let mut buf = vec![0u8; sit.serialized_len()];
424        assert!(matches!(
425            sit.serialize_into(&mut buf).unwrap_err(),
426            Error::SectionLengthOverflow { .. }
427        ));
428    }
429
430    #[test]
431    fn table_trait_constants() {
432        assert_eq!(TABLE_ID, 0x7F);
433        assert_eq!(PID, 0x001F);
434    }
435
436    #[test]
437    fn parse_rejects_zero_section_length() {
438        let mut buf = vec![0u8; 64];
439        buf[0] = TABLE_ID;
440        buf[1] = 0xF0;
441        buf[2] = 0x00;
442        for b in &mut buf[3..] {
443            *b = 0xFF;
444        }
445        assert!(matches!(
446            SitSection::parse(&buf).unwrap_err(),
447            Error::SectionLengthOverflow { .. }
448        ));
449    }
450
451    #[cfg(feature = "serde")]
452    #[test]
453    fn sit_serializes_typed_services() {
454        // Serialize-only (3.0). The transmission_info loop serializes as a typed
455        // descriptor sequence and each service exposes its typed descriptors.
456        let mut sl = service_entry(0x0001, 4, &[0x48, 0x02, 0xAA, 0xBB]);
457        sl.extend(service_entry(0x0002, 2, &[]));
458        let bytes = build_sit(0xDEAD, 9, &[0x4D, 0x00], &sl);
459        let sit = SitSection::parse(&bytes).unwrap();
460        let v = serde_json::to_value(&sit).unwrap();
461        assert!(
462            v["transmission_info_descriptors"].is_array(),
463            "transmission_info_descriptors must serialize as a typed sequence, got {v}"
464        );
465        assert!(
466            v["services"].is_array(),
467            "services must serialize as an array, got {v}"
468        );
469        assert_eq!(v["services"][0]["service_id"], 1);
470        assert_eq!(v["services"][0]["running_status"], "Running");
471        // The service descriptor loop renders as a typed descriptor sequence.
472        assert!(
473            v["services"][0]["descriptors"].is_array(),
474            "service descriptors must serialize as a typed sequence, got {v}"
475        );
476    }
477}