Ah these are very helpful , I will take a look at them tomorrow morning
-- thank you for the quick reply !
VN -
On Wed, Jul 8, 2009 at 1:35 AM, Christoph Spiel <csp...@freenet.de> wrote:
> Hi Vu,
>
> On Wed, Jul 08, 2009 at 12:39:22AM -0600, ThanhVu (Vu) Nguyen wrote:
> > Hi, can I find out what kind of statement (e.g., a single statement, a
> > block of statements, etc) from a given Cil.stmtkind?
>
> To distinguish between the kinds of
> statments (Instr, Return, Goto, etc.) you can
> just use "match" with the appropriate value.
> Here is one of my statement visitors:
>
> method vstmt (a_statement: Cil.stmt): Cil.stmt Cil.visitAction =
> begin
> match a_statement.Cil.skind with
> Cil.Instr _instruction_list -> ()
> | Cil.Return (optional_expression, location) ->
> begin
> match optional_expression with
> Some expression ->
> Trace.trace trace_identifier
> (Pretty.dprintf "+ vstmt: expression = %a\n"
> Cil.dn_exp expression);
> self#traverse expression location
> | None -> ()
> end
> | Cil.Goto (_statement_ref, _location) -> ()
> | Cil.Break _location -> ()
> | Cil.Continue _location -> ()
> | Cil.If (expression, _if_block, _else_block, location) ->
> Trace.trace trace_identifier
> (Pretty.dprintf "+ vstmt: expression = %a\n" Cil.dn_exp
> expression);
> self#traverse expression location
> | Cil.Switch (expression, _block, _statement_list, location) ->
> Trace.trace trace_identifier
> (Pretty.dprintf "+ vstmt: expression = %a\n" Cil.dn_exp
> expression);
> self#traverse expression location
> | Cil.Loop (_block, _location, _opt_statement1, _opt_statement2) ->
> ()
> | Cil.Block _block -> ()
> | Cil.TryFinally (_block1, _block2, _location) -> ()
> | Cil.TryExcept (_block1, _, _block2, _location) -> ()
> end;
> Cil.DoChildren
>
>
> > For example if my Cil.stmtkind c has the content {a single
> > statement} vs c has the content {a; block; of; many; statements;}?
>
> A "match" on a Cil.stmtkind (as shown
> above) dissects all statement kinds so that you
> can take care of them. For the case of
> Cil.Blocks you could look at the length of the
> statement list inside of it, like, e.g.,
> List.length a_block.Cil.bstmts
>
>
> HTH,
> Chris
>
> --
> Dr. Christoph L. Spiel
>
------------------------------------------------------------------------------
Enter the BlackBerry Developer Challenge
This is your chance to win up to $100,000 in prizes! For a limited time,
vendors submitting new applications to BlackBerry App World(TM) will have
the opportunity to enter the BlackBerry Developer Challenge. See full prize
details at: http://p.sf.net/sfu/Challenge
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
