Revision ad0c16675d221938530269610308cd5a2c142687 authored by Software Heritage on 17 October 2018, 13:20:37 UTC, committed by Software Heritage on 17 October 2018, 13:20:37 UTC
0 parent
jsonHelpers.mli
(**************************************************************************)
(* -*- tuareg -*- *)
(* *)
(* Copyright (C) 2017,2018 Yann RĂ©gis-Gianas, Nicolas Jeannerod, *)
(* Ralf Treinen. *)
(* *)
(* This is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License, version 3. *)
(* *)
(* Additional terms apply, due to the reproduction of portions of *)
(* the POSIX standard. Please refer to the file COPYING for details. *)
(**************************************************************************)
(** [save_as_json simplified oc cst] writes the concrete syntax tree [cst]
to the out_channel [oc]. If [simplified] is [true] then location
information is omitted, otherwise it is included in the json output. *)
val save_as_json: bool -> out_channel -> CST.program -> unit
(** [load_from_json ic] retrieves a concrete syntax tree [cst]
from the in_channel [ic], assuming it has been generated using
[save_as_json false]. *)
val load_from_json : in_channel -> CST.program
(** [save_as_dot oc cst] writes the concrete syntax tree [cst]
to the out_channel [oc] using the DOT format. *)
val save_as_dot: out_channel -> CST.program -> unit
Computing file changes ...