package mopsa

You can search for identifiers within the package.

in-package search v0.2.0

MOPSA: A Modular and Open Platform for Static Analysis using Abstract Interpretation

Install

md5=9f673f79708b44a7effb3b6bb3618d2c

sha512=cb91cb428e43a22f1abbcb8219710d0c10a5b3756d0da392d4084b3b3a6157350776c596983e63def344f617d39964e91f244f60c07958695ee5c8c809a9f0f4

Command-line options. Replacement for Arg from the standard library

Sourcetype spec =

| Unit of unit -> unit
| Unit_delayed of unit -> unit
(*
Unit_delayed functions are only executed after parsing all the arguments, in the order they appear on the command-line.
*)
| Unit_exit of unit -> unit
(*
As Unit_delayed, but exit immediately after parsing the command-line and executing all the functions (including Unit_exit and Unit_delayed options). Useful for -help.
*)
| Bool of bool -> unit
| Set of bool Stdlib.ref
| Clear of bool Stdlib.ref
| Int of int -> unit
| Set_int of int Stdlib.ref
| String of string -> unit
| Set_string of string Stdlib.ref
| String_list of string list -> unit
| Set_string_list of string list Stdlib.ref
| Symbol of string list * string -> unit
| Symbol_delayed of string list * string -> unit
| Symbol_exit of string list * string -> unit

Sourcetype arg = {

}

val parse : 
  string array ->
  arg list ->
  (string -> unit) ->
  (string list -> unit) ->
  string ->
  (unit -> unit) ->
  unit

Replacement for Arg.parse. Adds delayed Unit arguments.