gazagnaire.org / ocaml-cfdp
CCSDS File Delivery Protocol (CCSDS 727.0-B-5) for space file transfer
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

fix(lint): extract helpers to reduce long functions (E005)

Extract helpers in bpsec.ml (parameter_of_cbor, security_block_of_cbor)
and claudeio transport/examples to bring function lengths under threshold.

Thomas Gazagnaire 23260fa7 d8b20f1f

+3 -3
+3 -3
lib/cfdp.ml
··· 667 667 put_u32_be buf 0 (Int64.to_int value); 668 668 Bytes.to_string buf 669 669 670 - let encode_eof ~large_file eof_pdu = 670 + let encode_eof ~large_file (eof_pdu : eof) = 671 671 let fss = encode_fss ~large_file eof_pdu.file_size in 672 672 let fault_tlv = 673 673 match eof_pdu.fault_location with ··· 685 685 put_u32_be buf 2 (Int32.to_int eof_pdu.checksum); 686 686 Bytes.to_string buf ^ fss ^ fault_tlv 687 687 688 - let encode_finished fin = 688 + let encode_finished (fin : finished) = 689 689 let buf = Bytes.create 2 in 690 690 Bytes.set buf 0 (Char.chr (int_of_directive_code Dir_finished)); 691 691 let b1 = ··· 704 704 Bytes.set buf 1 (Char.chr b1); 705 705 Bytes.to_string buf 706 706 707 - let encode_ack ack_pdu = 707 + let encode_ack (ack_pdu : ack) = 708 708 let buf = Bytes.create 3 in 709 709 Bytes.set buf 0 (Char.chr (int_of_directive_code Dir_ack)); 710 710 let b1 =