--- layout: fc_discuss_archives title: Message 103 from Frama-C-discuss on September 2013 ---
Dear all, 1. Overall, My question is: Whether could I know in advance it would have errors before adding a file (Kernel.Files.add)? What i want is almost coding as following: if (Kernel.Files.add filename has errors) then do not add the file else add the file Note that the function of Kernel.Files.add do not raise any exceptions. 2. Why I need to do it programmatically? I am analyzing large project with many pre-processing C files by using Frama-c. So I need to add some files programmatically. 3. Other infors: I have been tried the following modules but they do not emit any erros: Frontc.parse/Cabs2cil.convFile/Mergecil.merge/Clexer.init/Logic_preprocess/Cmdline Thanks for your attention. Hope to get any suggestions. Best regards, David Yang -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130915/9b665feb/attachment.html>