diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2010-03-03 10:22:27 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2010-03-03 10:22:27 +0000 |
commit | 891377ce1962cdb31357d6580d6546ec22df2b4f (patch) | |
tree | 4ff7c38749cc7a4c1af411c5aa3eb7225c4ae6a1 /cparser/Parse_aux.ml | |
parent | 018edf2d81bf94197892cf1df221f7eeac1f96f6 (diff) | |
download | compcert-891377ce1962cdb31357d6580d6546ec22df2b4f.tar.gz compcert-891377ce1962cdb31357d6580d6546ec22df2b4f.zip |
Switching to the new C parser/elaborator/simplifier
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1269 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'cparser/Parse_aux.ml')
-rwxr-xr-x | cparser/Parse_aux.ml | 46 |
1 files changed, 46 insertions, 0 deletions
diff --git a/cparser/Parse_aux.ml b/cparser/Parse_aux.ml new file mode 100755 index 00000000..65922453 --- /dev/null +++ b/cparser/Parse_aux.ml @@ -0,0 +1,46 @@ +(* *********************************************************************) +(* *) +(* The Compcert verified compiler *) +(* *) +(* Xavier Leroy, INRIA Paris-Rocquencourt *) +(* *) +(* Copyright Institut National de Recherche en Informatique et en *) +(* Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU General Public License as published by *) +(* the Free Software Foundation, either version 2 of the License, or *) +(* (at your option) any later version. This file is also distributed *) +(* under the terms of the INRIA Non-Commercial License Agreement. *) +(* *) +(* *********************************************************************) + +open Format +open Errors +open Cabshelper + +(* Report parsing errors *) + +let parse_error msg = + error "%a: %s" format_cabsloc (currentLoc()) msg + +(* Are we parsing msvc syntax? *) + +let msvcMode = ref false + +(* We provide here a pointer to a function. It will be set by the lexer and + * used by the parser. In Ocaml lexers depend on parsers, so we we have put + * such functions in a separate module. *) +let add_identifier: (string -> unit) ref = + ref (fun _ -> assert false) + +let add_type: (string -> unit) ref = + ref (fun _ -> assert false) + +let push_context: (unit -> unit) ref = + ref (fun _ -> assert false) + +let pop_context: (unit -> unit) ref = + ref (fun _ -> assert false) + +(* Keep here the current pattern for formatparse *) +let currentPattern = ref "" + |