method get_data = let checker = (new Metrics_cilast.slocVisitor) in Metrics_parameters.Metrics.debug ~level:2 "Beginning of cyclo check@."; ignore (visitFramacGlobal (checker :> frama_c_visitor) fct_to_check); checker#get_metrics