Source file `flag_parsing.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

let verbose_lexing = ref false
let verbose_parsing = ref true
let exn_when_lexical_error = ref true

let debug_lexer   = ref false

let show_parsing_error = ref true
(* Do not raise an exn when a parse error but use NotParsedCorrectly.
 * If the parser is quite complete, it's better to set 
 * error_recovery to false by default and raise a true ParseError exn.
 *)
let error_recovery = ref false

let sgrep_mode = ref false

let cmdline_flags_verbose () = [
  "-no_verbose_parsing", Arg.Clear verbose_parsing , "  ";
  "-no_verbose_lexing", Arg.Clear verbose_lexing , "  ";
]
let cmdline_flags_debugging () = [
  "-debug_lexer",        Arg.Set  debug_lexer , " ";
]

let sgrep_guard v = 
  if !sgrep_mode
  then v
  else raise Parsing.Parse_error