module Service_graph:sig
..end
Compute services from a callgraph.
val frama_c_display : bool -> unit
must be set to false
before output the graph in dot format
and must be set to true
in order to display the graph in the Frama-C GUI.
type 'a
vertex = private {
|
node : |
|
mutable is_root : |
|
mutable root : |
}
type
edge = private
| |
Inter_services |
| |
Inter_functions |
| |
Both |
module type S =sig
..end
Output signature for services.
module Make:functor (
G
:
sig
type
t
module V:sig
..end
val iter_vertex :(V.t -> unit) -> t -> unit
val iter_succ :(V.t -> unit) ->
t -> V.t -> unitval iter_pred :(V.t -> unit) ->
t -> V.t -> unitval fold_pred :(V.t -> 'a -> 'a) ->
t -> V.t -> 'a -> 'aval datatype_name :string
end
) ->
S
with type node = G.V.t and type graph = G.t
Generic functor implementing the services algorithm according to a graph implementation.