1use crate::descriptors::DescriptorLoop;
14use crate::error::{Error, Result};
15use crate::traits::Table;
16use dvb_common::{Parse, Serialize};
17
18pub const TABLE_ID: u8 = 0x7F;
20pub 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;
27const SERVICE_HEADER_LEN: usize = 4;
30const MAX_SERVICE_DESC_LEN: usize = 0x0FFF;
32
33#[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 pub service_id: u16,
43 pub running_status: u8,
45 pub descriptors: DescriptorLoop<'a>,
48}
49
50#[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 pub table_id_extension: u16,
58 pub version_number: u8,
60 pub current_next_indicator: bool,
62 pub section_number: u8,
64 pub last_section_number: u8,
66 pub transmission_info_descriptors: DescriptorLoop<'a>,
69 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 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 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 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 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 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]; 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 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 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 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 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 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 assert!(
451 v["services"][0]["descriptors"].is_array(),
452 "service descriptors must serialize as a typed sequence, got {v}"
453 );
454 }
455}