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;

}

since Carbon-20101201

before Frama-C+dev
Had a mutable field unique_name

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 32.0-Germanium