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