method vstmt s =
sloc <- sloc + 1 ;
begin match s.skind with
| If _ ->
ifs <- ifs + 1;
self#add_stat (current_file_name,current_function_name,(1,0,0,0,0,0,0,0))
| Loop _ ->
loops <- loops + 1;
self#add_stat (current_file_name,current_function_name,(0,0,1,0,0,0,0,0))
| Goto _ ->
gotos <- gotos + 1;
self#add_stat (current_file_name,current_function_name,(0,0,0,0,1,0,0,0))
| Return _ ->
exits <- exits + 1;
self#add_stat (current_file_name,current_function_name,(0,0,0,0,0,0,1,0))
| _ -> ()
end;
DoChildren