package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Kernel_ast.MarkerSource

Exported as Json string with their unique tag.

include Data.S with type t = Frama_c_kernel.Printer_tag.localizable
Sourceval of_json : Data.json -> t
Sourceval to_json : t -> Data.json
Sourceval tag : t -> string

Memoized unique identifier.

Sourceval find : string -> t

Get back the localizable, if any.

  • raises Not_found

    if marker is not defined yet