--- layout: fc_discuss_archives title: Message 71 from Frama-C-discuss on August 2013 ---
Hello David, If you only need to obtain the metrics, I think the current interface of the plugin should do. However, if -- as I think you do -- you need to do something programmatically with the data , you have remarked that the computed data are indeed not available outside of the plug-in (which apparently was not the best choice :-). Two choices for you: 1. Use the files from src/metrics and tailor them to your needs. 2. Add a visible API to get the data from src/metrics (and send the patch to the Frama-C developpers), then code you plug-in using this API. Choice 2 would be great :-) -- Richard Bonichon -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130829/6f40f06a/attachment.html>