package frama-c

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Server.Kernel_astSource

Ast Data

Represented by a Json record with file, dir, basename, line

Sourceval jFunction : Package.jtype

Json key representing a function name

Represented by the function name as jFunction.

Represented by the function name as jFunction.

Ast Markers

Sourcemodule Marker : sig ... end

Exported as Json string with their unique tag.

Ast Markers of Specific Kinds

Sourcemodule Lval : sig ... end

Markers that are l-values.

Markers that are statements.

Optional markers interpreted as kinstr.

Sourcemodule Location : Data.S with type t = Function.t * Marker.t

Represented as a Json record with function name and marker tag.

Ast Printer

Ast Information

Sourcemodule Information : sig ... end

Globals

Sourcemodule Functions : sig ... end
OCaml

Innovation. Community. Security.