Module Inputs


module Inputs: sig .. end

val call_stack : Kernel_function.t Stack.t
exception Ignore
class do_it : object .. end
val statement : Cil_types.stmt -> Locations.Zone.t
val expr : Cil_types.stmt -> Cil_types.exp -> Locations.Zone.t
module Internals: Kf_state.Make(sig
val name : string
val dependencies : Project.Computation.t list
end)
val get_internal : Db_types.kernel_function -> Internals.data
val externalize : Db_types.cil_function -> Locations.Zone.t -> Locations.Zone.t
module Externals: Kf_state.Make(sig
val name : string
val dependencies : Project.Computation.t list
end)
val get_external : Kernel_function.t -> Externals.data
val remove_locals_keep_formals : Db_types.cil_function -> Locations.Zone.t -> Locations.Zone.t
module With_formals: Kf_state.Make(sig
val name : string
val dependencies : Project.Computation.t list
end)
val get_with_formals : Kernel_function.t -> With_formals.data
val compute_external : Kernel_function.t -> unit
val pretty_external : Format.formatter -> Kernel_function.t -> unit
val pretty_with_formals : Format.formatter -> Kernel_function.t -> unit