package frama-c

  1. Overview
  2. Docs

Module Frama_c_kernel.Project_skeleton

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

  • since Carbon-20101201

Type declaration

type t = private {
  1. pid : int;
  2. mutable name : string;
  3. mutable unique_name : string;
    (*
    • deprecated use pid or get_project_debug_name
    *)
}
  • since Carbon-20101201
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