module Globals: sig
.. end
Operations on globals.
Consult the Plugin Development Guide for additional details.
module Vars: sig
.. end
Globals variables.
module Functions: sig
.. end
Functions.
module Annotations: sig
.. end
Globals annotations.
module FileIndex: sig
.. end
Globals associated to filename.
Entry point
exception No_such_entry_point of string
May be raised by entry_point
below.
val entry_point : unit -> Db_types.kernel_function * bool
Raises No_such_entry_point
if the current entrypoint name does not
exist.
Returns the current function entry point and a boolean indicating if it
is a library entry point.
val set_entry_point : string -> bool -> unit
set_entry_point name lib
sets
Parameters.MainFunction
to
name
if
lib
is
false
and
Parameters.LibEntry
to
name
if
lib
is
true
.
Moreover, clear the results of all the analysis which depend on
Parameters.MainFunction
or
Parameters.LibEntry
.
Consult the Plugin Development Guide for additional details.
val has_entry_point : unit -> bool
Returns true if the analysis has an entry-point, false otherwise.