Frama-C API - `Project_skeleton`

This module should not be used outside of the Project library.

since Carbon-20101201

Type declaration

type t = private {

pid : int;
mutable name : string;
mutable unique_name : string;
(*
- deprecated use pid or get_project_debug_name
*)

}

since Carbon-20101201

see https://frama-c.com/download/frama-c-plugin-development-guide.pdf

type project = t

since Carbon-20101201

Constructor

val dummy : t

since Carbon-20101201

module Make_setter () : sig ... end

val get_project_debug_name : t -> string

returns
a project name appended with its id.

since Frama-C+dev