Frama-C:
Plug-ins:
Libraries:

Frama-C API - Marker

Exported as Json string with their unique tag.

include Data.S with type t = Frama_c_kernel.Printer_tag.localizable
val jtype : Package.jtype
val of_json : Data.json -> t
val to_json : t -> Data.json
val index : t -> string

Memoized unique identifier.

val find : string -> t

Get back the scope, if any.

  • raises Not_found

    if the marker is not defined yet