globals/flag.ml

   1 let sgrep_mode2 = ref false
   2
   3 let show_misc = ref true
   4
   5 let show_transinfo = ref false
   6
   7 let show_trying = ref false
   8
   9 let track_iso_usage = ref false
  10
  11 type scanner = Glimpse | Google of string | NoScanner
  12 let scanner = ref NoScanner
  13
  14 let pyoutput = ref "coccilib.output.Console"
  15
  16 (*"Some" value is the path with respect to which the patch should be created*)
  17 let patch = ref (None : string option)
  18
  19 let make_hrule = ref (None : string (*dir*) option)
  20 let hrule_per_file = ref true (* if false, then a rule per function *)
  21
  22 let currentfile = ref (None : string option)
  23
  24 let current_element = ref ""
  25 let dir = ref ""