diff options
| -rw-r--r-- | src/CfimOfJson.ml | 83 |
1 files changed, 82 insertions, 1 deletions
diff --git a/src/CfimOfJson.ml b/src/CfimOfJson.ml index 2ce70ea3..79e1798a 100644 --- a/src/CfimOfJson.ml +++ b/src/CfimOfJson.ml @@ -30,6 +30,15 @@ type json = t let ( let* ) o f = match o with Error e -> Error e | Ok x -> f x +let bool_of_json (js : json) : (bool, string) result = + match js with + | `Bool b -> Ok b + | _ -> Error ("bool_of_json: not a bool: " ^ show js) + +let char_of_json (_js : json) : (char, string) result = + (* TODO: implement *) + Error "char_of_json: unimplemented" + let rec of_json_list (a_of_json : json -> ('a, string) result) (jsl : json list) : ('a list, string) result = match jsl with @@ -214,7 +223,79 @@ let type_def_of_json (js : json) : (type_def, string) result = Ok { def_id; name; region_params; type_params; kind } | _ -> Error ("type_def_of_json failed on:" ^ show js) -(* open Values + +let var_of_json (js : json) : (var, string) result = + match js with + | `Assoc [ ("index", index); ("name", name); ("ty", ty) ] -> + let* index = VarId.id_of_json index in + let* name = string_option_of_json name in + let* ty = ety_of_json ty in + Ok { index; name; ty } + | _ -> Error ("var_of_json failed on:" ^ show js) + +let big_int_of_json (js : json) : (big_int, string) result = + match js with + | `Int i -> Ok (Z.of_int i) + | `Intlit is -> Ok (Z.of_string is) + | _ -> Error ("big_int_of_json failed on: " ^ show js) + +let scalar_value_of_json (js : json) : (scalar_value, string) result = + match js with + | `Variant ("Isize", Some bi) -> + let* bi = big_int_of_json bi in + Ok (Isize bi) + | `Variant ("I8", Some bi) -> + let* bi = big_int_of_json bi in + Ok (I8 bi) + | `Variant ("I16", Some bi) -> + let* bi = big_int_of_json bi in + Ok (I16 bi) + | `Variant ("I32", Some bi) -> + let* bi = big_int_of_json bi in + Ok (I32 bi) + | `Variant ("I64", Some bi) -> + let* bi = big_int_of_json bi in + Ok (I64 bi) + | `Variant ("I128", Some bi) -> + let* bi = big_int_of_json bi in + Ok (I128 bi) + | `Variant ("Usize", Some bi) -> + let* bi = big_int_of_json bi in + Ok (Usize bi) + | `Variant ("U8", Some bi) -> + let* bi = big_int_of_json bi in + Ok (U8 bi) + | `Variant ("U16", Some bi) -> + let* bi = big_int_of_json bi in + Ok (U16 bi) + | `Variant ("U32", Some bi) -> + let* bi = big_int_of_json bi in + Ok (U32 bi) + | `Variant ("U64", Some bi) -> + let* bi = big_int_of_json bi in + Ok (U64 bi) + | `Variant ("U128", Some bi) -> + let* bi = big_int_of_json bi in + Ok (U128 bi) + | _ -> Error ("scalar_value_of_json failed on:" ^ show js) + +let constant_value_of_json (js : json) : (constant_value, string) result = + match js with + | `Variant ("Scalar", Some scalar_value) -> + let* scalar_value = scalar_value_of_json scalar_value in + Ok (Scalar scalar_value) + | `Variant ("Bool", Some v) -> + let* v = bool_of_json v in + Ok (Bool v) + | `Variant ("Char", Some v) -> + let* v = char_of_json v in + Ok (Char v) + | `Variant ("String", Some v) -> + let* v = string_of_json v in + Ok (String v) + | _ -> Error ("scalar_value_of_json failed on:" ^ show js) +(* + open Expressions open CfimAst*) |