CCSDS 133.0-B Space Packet Protocol for OCaml
space-packet: rename test_ functions, fix _bindings (merlint E330/E726)
+31
-31
+27
-27
lib/space_packet.ml
+27
-27
lib/space_packet.ml
···
193
193
194
194
let codec =
195
195
Wire.Codec.v "SpacePacket"
196
-
(fun version ptype shf apid seq_flags seq_count _data_length data ->
196
+
(fun version ptype shf apid seq_flags seq_count data_length data ->
197
197
{
198
198
version;
199
199
packet_type = ptype;
···
222
222
We keep a fixed-size header projection for C code generation. *)
223
223
224
224
type _header = {
225
-
_version : int;
226
-
_packet_type : packet_type;
227
-
_secondary_header : bool;
228
-
_apid : int;
229
-
_sequence_flags : sequence_flags;
230
-
_sequence_count : int;
231
-
_data_length : int;
225
+
version : int;
226
+
packet_type : packet_type;
227
+
secondary_header : bool;
228
+
apid : int;
229
+
sequence_flags : sequence_flags;
230
+
sequence_count : int;
231
+
data_length : int;
232
232
}
233
233
234
-
let _header_codec =
234
+
let header_codec =
235
235
Wire.Codec.v "SpacePacketHeader"
236
-
(fun _version _packet_type _secondary_header _apid _sequence_flags
237
-
_sequence_count _data_length ->
236
+
(fun version packet_type secondary_header apid sequence_flags
237
+
sequence_count data_length ->
238
238
{
239
-
_version;
240
-
_packet_type;
241
-
_secondary_header;
242
-
_apid;
243
-
_sequence_flags;
244
-
_sequence_count;
245
-
_data_length;
239
+
version;
240
+
packet_type;
241
+
secondary_header;
242
+
apid;
243
+
sequence_flags;
244
+
sequence_count;
245
+
data_length;
246
246
})
247
247
Wire.Codec.
248
248
[
249
-
(f_version $ fun t -> t._version);
250
-
(f_type $ fun t -> t._packet_type);
251
-
(f_shf $ fun t -> t._secondary_header);
252
-
(f_apid $ fun t -> t._apid);
253
-
(f_seq_flags $ fun t -> t._sequence_flags);
254
-
(f_seq_count $ fun t -> t._sequence_count);
255
-
(f_data_length $ fun t -> t._data_length);
249
+
(f_version $ fun t -> t.version);
250
+
(f_type $ fun t -> t.packet_type);
251
+
(f_shf $ fun t -> t.secondary_header);
252
+
(f_apid $ fun t -> t.apid);
253
+
(f_seq_flags $ fun t -> t.sequence_flags);
254
+
(f_seq_count $ fun t -> t.sequence_count);
255
+
(f_data_length $ fun t -> t.data_length);
256
256
]
257
257
258
-
let struct_ = Wire.Everparse.struct_of_codec _header_codec
258
+
let struct_ = Wire.Everparse.struct_of_codec header_codec
259
259
260
260
let module_ =
261
261
Wire.Everparse.Raw.module_
262
262
~doc:"CCSDS Space Packet Primary Header (133.0-B-2)"
263
263
[ Wire.Everparse.Raw.typedef ~entrypoint:true struct_ ]
264
264
265
-
let header_schema = Wire.Everparse.schema _header_codec
265
+
let header_schema = Wire.Everparse.schema header_codec
266
266
267
267
(* {1 Encoding/Decoding}
268
268
+4
-4
test/interop/spacepackets/test.ml
+4
-4
test/interop/spacepackets/test.ml
···
64
64
65
65
(* {1 Tests} *)
66
66
67
-
let test_decode_reference_packets () =
67
+
let decode_reference_packets () =
68
68
let rows =
69
69
match Csvt.decode_file packet_codec (trace "packets.csv") with
70
70
| Ok rows -> rows
···
85
85
(Space_packet.secondary_header_flag pkt))
86
86
rows
87
87
88
-
let test_encode_matches_reference () =
88
+
let encode_matches_reference () =
89
89
let rows =
90
90
match Csvt.decode_file packet_codec (trace "packets.csv") with
91
91
| Ok rows -> rows
···
110
110
( "decode",
111
111
[
112
112
Alcotest.test_case "decode reference packets" `Quick
113
-
test_decode_reference_packets;
113
+
decode_reference_packets;
114
114
] );
115
115
( "encode",
116
116
[
117
117
Alcotest.test_case "encode matches reference" `Quick
118
-
test_encode_matches_reference;
118
+
encode_matches_reference;
119
119
] );
120
120
]