Source file `flag_parsing_cpp.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61

(*****************************************************************************)
(* types *)
(*****************************************************************************)

type language = 
  | C
  | Cplusplus

(*****************************************************************************)
(* macros *)
(*****************************************************************************)

let macros_h = 
  ref (Filename.concat Config_pfff.path "/data/cpp_stdlib/macros.h")

let cmdline_flags_macrofile () = [
  "-macros", Arg.Set_string macros_h,
  " <file>";
]

(*****************************************************************************)
(* verbose *)
(*****************************************************************************)

let verbose_pp_ast = ref false

let filter_msg = ref false
let filter_classic_passed = ref false
let filter_define_error = ref true

(*****************************************************************************)
(* debugging *)
(*****************************************************************************)

let debug_typedef = ref false
let debug_pp = ref false
let debug_pp_ast  = ref false
let debug_cplusplus = ref false

let cmdline_flags_debugging () = [
  "-debug_pp",          Arg.Set  debug_pp, " ";
  "-debug_typedef",     Arg.Set  debug_typedef, "  ";
  "-debug_cplusplus",   Arg.Set  debug_cplusplus, " ";

  "-debug_cpp", Arg.Unit (fun () ->
    debug_pp := true;
    debug_typedef := true;
    debug_cplusplus := true;
  ), " ";
]

(*****************************************************************************)
(* Disable parsing features *)
(*****************************************************************************)

let strict_lexer = ref false

let if0_passing = ref true
let ifdef_to_if  = ref false