use sese pretty id and id to generate method names, param struct and local struct...
authorjjenista <jjenista>
Thu, 14 May 2009 22:34:21 +0000 (22:34 +0000)
committerjjenista <jjenista>
Thu, 14 May 2009 22:34:21 +0000 (22:34 +0000)
commit1182a29c6c7b4dafe907ad1db57647092b2a037b
tree13a07448a8fd6e28dee041180461842406b85afc
parent5286e56e354ee7449915af1b40f951bb61092cb2
use sese pretty id and id to generate method names, param struct and local struct that is unique--keep a mapping of seses to the bogus flat method for retrieval in order to reproduce those names at call sites.  Also some bug fixes
Robust/src/IR/Flat/BuildCode.java