51 lines
1.8 KiB
OCaml
51 lines
1.8 KiB
OCaml
(* Yoann Padioleau
|
|
*
|
|
* Copyright (C) 2012 Yoann Padioleau
|
|
*
|
|
* This program is free software; you can redistribute it and/or
|
|
* modify it under the terms of the GNU General Public License (GPL)
|
|
* version 2 as published by the Free Software Foundation.
|
|
*
|
|
* This program is distributed in the hope that it will be useful,
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
* file license.txt for more details.
|
|
*)
|
|
open Common
|
|
|
|
module Stat = Parse_info
|
|
|
|
(*****************************************************************************)
|
|
(* Prelude *)
|
|
(*****************************************************************************)
|
|
(*
|
|
* Just a small wrapper around the C++ parser
|
|
*)
|
|
|
|
(*****************************************************************************)
|
|
(* Types *)
|
|
(*****************************************************************************)
|
|
|
|
type program_and_tokens =
|
|
Ast_c.program option * Parser_cpp.token list
|
|
|
|
(*****************************************************************************)
|
|
(* Main entry point *)
|
|
(*****************************************************************************)
|
|
|
|
let parse file =
|
|
let (ast2, stat) = Parse_cpp.parse_with_lang ~lang:Flag_parsing_cpp.C file in
|
|
let ast = ast2 +> List.map fst in
|
|
let toks = ast2 +> List.map snd +> List.flatten in
|
|
let ast_opt, stat =
|
|
try Some (Ast_c_simple_build.program ast), stat
|
|
with exn ->
|
|
pr2 (spf "PB: Ast_c_build, on %s (exn = %s)" file (Common.exn_to_s exn));
|
|
(*None, { stat with Stat.bad = stat.Stat.bad + stat.Stat.correct } *)
|
|
raise exn
|
|
in
|
|
(ast_opt, toks), stat
|
|
|
|
let parse_program file =
|
|
let (program_and_tokens, _stat) = parse file in
|
|
Common2.some (fst program_and_tokens)
|