https://hal.archives-ouvertes.fr/hal-01897572
Raw File
Tip revision: ad0c16675d221938530269610308cd5a2c142687 authored by Software Heritage on 17 October 2018, 13:20:37 UTC
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
back to top