method pVDecl fmt var =
match opt_ff with
| None -> super#pVDecl fmt var
| Some ff ->
if var.vglob then
Format.fprintf fmt "/**/%a" super#pVDecl var
else
let str_m =
try
let m = Fct_slice.get_local_var_mark ff var in
SlicingMarks.mark_to_string m
with Db.Pdg.NotFound -> "[---]"
in
Format.fprintf fmt "/* %s */ %a"
str_m
super#pVDecl var