summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/CfimOfJson.ml83
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*)