Functor Dataflows.Simple_forward

module Simple_forward: 
functor (Fenv : FUNCTION_ENV) ->
functor (P : FORWARD_MONOTONE_PARAMETER) -> sig .. end
Parameters:
Fenv : FUNCTION_ENV
P : FORWARD_MONOTONE_PARAMETER


Retrieve the state before and after a statement.


val pre_state : Cil_types.stmt -> P.t
val post_state : Cil_types.stmt -> P.t
This function calls transfer_stmt on the result of pre_state. Beware if transfer_stmt is impure or costly

Iterations on the results of the dataflow.

In this dataflow, the results are the pre-states of all the statements reachable from the statements from P.init.

val fold_on_result : ('a -> Cil_types.stmt -> P.t -> 'a) -> 'a -> 'a
val iter_on_result : (Cil_types.stmt -> P.t -> unit) -> unit