On Wed, Jul 03, 2013 at 03:59:10PM +0300, Alex Susu wrote: > A suggestion (this is actually the main reason I wrote this email): the > ChangeDoChildrenPost is a very useful feature - I used it to build and > update at the end of the visit the stackStmt. Now I wonder if it is > worthy to have a simpler DoChildrenPost that would not have the update part > of ChangeDoChildrenPost, but simply execute a "Post" function after > traversing all the children.
No: having a single constructor that you can use it for various purposes (change and update, or only update) is good. Adding DoChildrenPost would only yield confusion in my opinion (and a lot of boiler-plate to the visiting functions in cil.ml). Best, -- Gabriel ------------------------------------------------------------------------------ This SF.net email is sponsored by Windows: Build for Windows Store. http://p.sf.net/sfu/windows-dev2dev _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
