Commit 8315996d authored by Bruno Guillaume's avatar Bruno Guillaume
Browse files

remove function for "code" handling

parent 61402ee4
......@@ -249,18 +249,15 @@ module G_graph = struct
rules: int String_map.t;
trace: trace_item option; (* if the rewriting history is kept *)
impact: G_deco.t;
code: string option;
}
let get_meta_opt key t = List.assoc_opt key t.meta
let get_meta_list t = t.meta
let get_code_opt t = t.code
let set_meta key value t = {t with meta = (key,value) :: List.remove_assoc key t.meta}
let empty = { meta=[]; map=Gid_map.empty; highest_index=0; rules=String_map.empty; trace=None; impact=G_deco.empty; code= None}
let empty = { meta=[]; map=Gid_map.empty; highest_index=0; rules=String_map.empty; trace=None; impact=G_deco.empty }
let is_empty t = Gid_map.is_empty t.map
......@@ -645,7 +642,6 @@ module G_graph = struct
meta;
map;
highest_index = final_index - 1;
code= json |> member "code" |> (function `String s -> Some s | _ -> None);
}
(* -------------------------------------------------------------------------------- *)
......
......@@ -100,8 +100,6 @@ module G_graph: sig
val get_history: t -> (G_deco.t * (string * int) * G_deco.t * t) list
val get_code_opt: t -> string option
val trace_depth: t -> int
val clear_rules: t -> t
......
......@@ -142,8 +142,6 @@ module Graph = struct
let get_meta_list t = Grew_graph.G_graph.get_meta_list t
let get_code_opt t = Grew_graph.G_graph.get_code_opt t
let set_meta key value t = Grew_graph.G_graph.set_meta key value t
let insert_proj keys t proj = Grew_graph.G_graph.insert_proj keys t proj
......
......@@ -162,8 +162,6 @@ module Graph : sig
val get_meta_list: t -> (string * string) list
val get_code_opt: t -> string option
val set_meta: string -> string -> t -> t
val insert_proj: string list -> t -> Projection.t -> Projection.t
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment