--- layout: fc_discuss_archives title: Message 14 from Frama-C-discuss on July 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] How to get the function list from AST?



Hi,

I have a test to get the function list from a file.

Basically, we could do the following steps "1. Ast.get() 2. traverse globals
and match the GFun".

However, for a file with only function declaration on implementation, we
could not get the function list from the globals. So, how to alleviate this
problem?

/*@
  behavior b1:
     assumes x > y;
     ensures \result == x;
  behavior b2:
     assumes x < y;
     ensures \result == y;
*/
int max (int a, int b);

Thanks,
Haihao
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20110712/d4faed55/attachment.htm>