--- layout: fc_discuss_archives title: Message 12 from Frama-C-discuss on January 2014 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] How to discard a visiting glob?



Hi all,

How to discard a visiting glob while it satisfy some condition?

method vglob_aux g =
     match g with
     | GType _ -> SkipChildren
     | GVar _ ->
         if(g satisfy some condition) then
               ; (*** discard this glob ***)
         else SkipChildren
     | _ -> SkipChildren


Here, How to write the code for if condition?

Thanks.

-david