https://hal.archives-ouvertes.fr/hal-01897572
Tip revision: ad0c16675d221938530269610308cd5a2c142687 authored by Software Heritage on 17 October 2018, 13:20:37 UTC
hal: Deposit 205 in collection hal
hal: Deposit 205 in collection hal
Tip revision: ad0c166
morbigOptions.mli
(**************************************************************************)
(* -*- tuareg -*- *)
(* *)
(* Copyright (C) 2017,2018 Yann RĂ©gis-Gianas, Nicolas Jeannerod, *)
(* Ralf Treinen. *)
(* *)
(* This is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License, version 3. *)
(* *)
(* Additional terms apply, due to the reproduction of portions of *)
(* the POSIX standard. Please refer to the file COPYING for details. *)
(**************************************************************************)
(* Handling of command line options *)
(* different types of output *)
type backend = Json | Bin | SimpleJson | Dot
(* the output type chose on the command line *)
val backend : unit -> backend
(* the list of input files specified on the command line *)
val input_files : unit -> string list
(* return an output file name for a given input file name *)
val output_file_of_input_file : string -> string
(* tells whether input files which are ELF, or have a bash or perl magic *)
(* string, should be skipped. *)
val skip_nosh : unit -> bool
(* tells whether final statistics are demanded *)
val display_stats : unit -> bool
(* tell whether names of input files are to be read from stdin *)
val from_stdin : unit -> bool
(* tells whether parsing should continue with the next input file after *)
(* an error. *)
val continue_after_error : unit -> bool
(* parse the command line arguments *)
val analyze_command_line_arguments : unit -> unit
(* tells whether debugging mode is activated. *)
val debug : unit -> bool