Files
libguestfs/common/mltools/JSON_parser.ml
Pino Toscano bb00c482e8 mltools: JSON: add json_parser_tree_parse_file
Easy way to parse JSON from a file, without reading it all to string
first.
2018-08-23 19:06:22 +02:00

77 lines
2.7 KiB
OCaml
Raw Blame History

This file contains ambiguous Unicode characters
This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.
(* JSON parser
* Copyright (C) 2015-2018 Red Hat Inc.
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation; either version 2 of the License, or
* (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License along
* with this program; if not, write to the Free Software Foundation, Inc.,
* 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
*)
open Std_utils
open Tools_utils
open Common_gettext.Gettext
external json_parser_tree_parse : string -> JSON.json_t = "virt_builder_json_parser_tree_parse"
external json_parser_tree_parse_file : string -> JSON.json_t = "virt_builder_json_parser_tree_parse_file"
let object_find_optional key = function
| JSON.Dict fields ->
(match List.filter (fun (k, _) -> k = key) fields with
| [(k, v)] -> Some v
| [] -> None
| _ -> error (f_"more than value for the key %s") key)
| _ -> error (f_"the value of the key %s is not an object") key
let object_find key yv =
match object_find_optional key yv with
| None -> error (f_"missing value for the key %s") key
| Some v -> v
let object_get_string key yv =
match object_find key yv with
| JSON.String s -> s
| _ -> error (f_"the value for the key %s is not a string") key
let object_find_object key yv =
match object_find key yv with
| JSON.Dict _ as o -> o
| _ -> error (f_"the value for the key %s is not an object") key
let object_find_objects fn = function
| JSON.Dict fields -> List.filter_map fn fields
| _ -> error (f_"the value is not an object")
let object_get_object key yv =
match object_find_object key yv with
| JSON.Dict fields -> fields
| _ -> assert false (* object_find_object already errors out. *)
let object_get_number key yv =
match object_find key yv with
| JSON.Int n -> n
| JSON.Float f -> Int64.of_float f
| _ -> error (f_"the value for the key %s is not an integer") key
let objects_get_string key yvs =
let rec loop = function
| [] -> None
| x :: xs ->
(match object_find_optional key x with
| Some (JSON.String s) -> Some s
| Some _ -> error (f_"the value for key %s is not a string as expected") key
| None -> loop xs
)
in
match loop yvs with
| Some s -> s
| None -> error (f_"the key %s was not found in a list of objects") key