Hello, 2012/11/16 Gabriel Kerneis <gabr...@kerneis.info>: > On Thu, Nov 15, 2012 at 06:01:50PM +0100, Pietro Braione wrote: >> Our current idea is to inject some kind of assignment statement to a fubar >> variable as, e.g., _next_statement_is_relevant = 1, right before every >> "relevant" statement. Can anyone suggest something better? > > Some magic label on relevant statements? (but you should be careful that CIL > does not erase it, and have a different label for every statement — not easy) >
This is also what I was going to suggest, but you're right, if there is already a label there, CIL might not choose the one you want for pretty-printing. Another solution is to enclose the statement in a block and use a block attribute (field battrs) -- E tutto per oggi, a la prossima volta Virgile ------------------------------------------------------------------------------ Monitor your physical, virtual and cloud infrastructure from a single web console. Get in-depth insight into apps, servers, databases, vmware, SAP, cloud infrastructure, etc. Download 30-day Free Trial. Pricing starts from $795 for 25 servers or applications! http://p.sf.net/sfu/zoho_dev2dev_nov _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
