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