package catala

  1. Overview
  2. Docs
package catala
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Clerk_cliSource

Sourcetype backend = [
  1. | `C
  2. | `Interpret
  3. | `OCaml
  4. | `Python
  5. | `Java
]
Sourceval catala_exe : string option Cmdliner.Term.t
Sourceval catala_opts : string list Cmdliner.Term.t
Sourceval autotest : bool Cmdliner.Term.t
Sourceval prepare_only : bool Cmdliner.Term.t
Sourceval build_dir : string option Cmdliner.Term.t
Sourceval scan_dirs : string list Cmdliner.Term.t
Sourceval include_dirs : string list Cmdliner.Term.t
Sourceval test_flags : string list Cmdliner.Term.t
Sourceval runtest_report : string option Cmdliner.Term.t
Sourceval runtest_out : string option Cmdliner.Term.t
Sourceval backends : backend list Cmdliner.Term.t
Sourceval run_command : string Cmdliner.Term.t
Sourceval vars_override : (string * string) list Cmdliner.Term.t
Sourceval files_or_folders : string list Cmdliner.Term.t
Sourceval files : string list Cmdliner.Term.t
Sourceval targets : string list Cmdliner.Term.t
Sourceval single_file : string Cmdliner.Term.t
Sourceval reset_test_outputs : bool Cmdliner.Term.t
Sourceval scope : string Cmdliner.Term.t
Sourceval scope_opt : string option Cmdliner.Term.t
Sourceval scope_input : string option Cmdliner.Term.t
Sourceval variable : string Cmdliner.Term.t
Sourceval clerk_targets_or_files : string list Cmdliner.Term.t
Sourceval clerk_targets_or_files_or_folders : string list Cmdliner.Term.t
Sourceval report_verbosity : [> `Failures | `Short | `Summary | `Verbose ] Cmdliner.Term.t
Sourceval report_format : [> `Terminal | `JUnitXML | `VSCodeJSON ] Cmdliner.Term.t
Sourceval code_coverage : bool Cmdliner.Term.t
Sourceval diff_command : string option option Cmdliner.Term.t
Sourceval ninja_flags : string list Cmdliner.Term.t
Sourceval disable_warnings : bool Cmdliner.Term.t
Sourceval whole_program : bool Cmdliner.Term.t
Sourceval objects : bool Cmdliner.Term.t

Already included in init_term

Sourceval debug : bool Cmdliner.Term.t

Already included in init_term

Type utilities

Sourceval all_backends : backend list
Sourceval backend_name : backend -> string

Initialisation of options

Sourcetype config = {
  1. file : Clerk_config.t;
  2. fix_path : Catala_utils.File.t -> Catala_utils.File.t;
  3. ninja_file : Catala_utils.File.t option;
  4. test_flags : string list;
  5. include_objects : bool;
}
Sourceval init_term : ?allow_test_flags:bool -> unit -> config Cmdliner.Term.t

Reads the supplied command-line flags and configuration file and runs globals initialisation routines

Sourceval run_command_line : ?setenv:(string * string) list -> ?quiet:bool -> ?forward_stderr:bool -> string list -> int * string list