module Spare_marks:sig
..end
The project is composed of FctIndex
marked with BoolMark
to be used by Pdg.Register.F_Proj
, and another table to store if a function
is visible (useful for Top PDG).
type
proj
type
fct
val select_useful_things : select_annot:bool ->
select_slice_pragma:bool -> Cil_types.kernel_function -> proj
val get_marks : proj -> Cil_types.kernel_function -> fct option
Not_found
when the function is not marked. It might be the case
that it is nonetheless visible, but has no marks because of a Top PDG.val key_visible : fct -> PdgIndex.Key.t -> bool
val kf_visible : proj -> Cil_types.kernel_function -> bool
Useful only if there has been some Pdg.Top