Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-06-07 00:53:41 +08:00
Code Issues Actions 26 Packages Projects Releases Wiki Activity

add error handling in values_of_payload

Browse Source
This commit is contained in:
Pascal Brisset
2009-08-13 19:43:06 +00:00
parent 6d68111e4d
commit 8bb9846839
1 changed files with 15 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/lib/ocaml/pprz.ml
+15 -11
View File
@@ -420,17 +420,21 @@ module MessagesOfXml(Class:CLASS_Xml) = struct
let values_of_payload = fun buffer ->
let buffer = Serial.string_of_payload buffer in
let id = Char.code buffer.[offset_msg_id] in
let ac_id = Char.code buffer.[offset_ac_id] in
let message = message_of_id id in
Debug.call 'T' (fun f -> fprintf f "Pprz.values id=%d\n" id);
let rec loop = fun index fields ->
match fields with
[] -> []
| (field_name, field_descr)::fs ->
let (value, n) = value_field buffer index field_descr in
(field_name, value) :: loop (index+n) fs in
(id, ac_id, loop offset_fields message.fields)
try
let id = Char.code buffer.[offset_msg_id] in
let ac_id = Char.code buffer.[offset_ac_id] in
let message = message_of_id id in
Debug.call 'T' (fun f -> fprintf f "Pprz.values id=%d\n" id);
let rec loop = fun index fields ->
match fields with
[] -> []
| (field_name, field_descr)::fs ->
let (value, n) = value_field buffer index field_descr in
(field_name, value) :: loop (index+n) fs in
(id, ac_id, loop offset_fields message.fields)
with
Invalid_argument("index out of bounds") ->
failwith (sprintf "Pprz.values_of_payload, wrong argument: %s" (Debug.xprint buffer))
let payload_of_values = fun id ac_id values ->