https://hal.archives-ouvertes.fr/hal-01897572
Tip revision: ad0c16675d221938530269610308cd5a2c142687 authored by Software Heritage on 17 October 2018, 13:20:37 UTC
hal: Deposit 205 in collection hal
hal: Deposit 205 in collection hal
Tip revision: ad0c166
API.ml
(**************************************************************************)
(* -*- 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. *)
(**************************************************************************)
let parse_file = Scripts.parse_file
let parse_string = Scripts.parse_string
module Errors = Errors
let load_binary_cst cin =
(input_value cin : CST.program)
let save_binary_cst cout cst =
output_value cout cst
let load_json_cst cin =
JsonHelpers.load_from_json cin
let save_json_cst cout cst =
JsonHelpers.save_as_json false cout cst
let save_dot_cst cout cst =
JsonHelpers.save_as_dot cout cst
let on_located = CSTHelpers.on_located
let start_of_position = CSTHelpers.start_of_position
let end_of_position = CSTHelpers.end_of_position
let filename_of_position = CSTHelpers.filename_of_position
let string_of_lexing_position = CSTHelpers.string_of_lexing_position
let remove_quotes = QuoteRemoval.on_string