Module Dataflow2.StartData

This module can be used to instantiate the StmtStartData components of the functors below. It is implemented through stmt-indexed hashtables.

Parameters

module X : sig ... end

Signature

type data = X.t
val clear : unit -> unit
val mem : Cil_types.stmt -> bool
val find : Cil_types.stmt -> data
val replace : Cil_types.stmt -> data -> unit
val add : Cil_types.stmt -> data -> unit
val iter : ( Cil_types.stmt -> data -> unit ) -> unit
val length : unit -> int