package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Platform dedicated to the analysis of source code written in C

Install

sha256=d2fbb3b8d0ff83945872e9e6fa258e934a706360e698dae3b4d5f971addf7493

Relocatable term

Sourcetype t

Sourceval pretty : Format.formatter -> t -> unit

Sourceval create : S.t Node.Map.t -> Lang.F.term -> t

Bundle a term with the sigma sequence that created it.

Sourceval get : t -> Lang.F.term

Sourceval reads : t -> S.domain Node.Map.t

Sourceval relocate : S.t Node.Map.t -> t -> t

Sourceval init : Node.Set.t -> (S.t Node.Map.t -> Lang.F.term) -> t

Sourceval init' : Node.t -> (S.t -> Lang.F.term) -> t