From: Stefan S. <sse...@ar...> - 2004-10-05 13:20:25
|
Hi rodzilla, > From: RodZilla [mailto:rod...@fr...] > Sent: October 5, 2004 08:50 > IIRC this will be my third stupid question. > Is it possible to obtain the declaration of a variable from > a (ptree of a) reference ? I started looking at Environment > and Bind classes, but it seems I can get the type but not the > Ptree for the declaration. FWIW, symbol lookup as well as the (re)definition of what a Symbol (Binding) contains is what we are currently working on in Synopsis, see http://synopsis.fresco.org/issues/task25 . In the high level Synopsis AST API I provide a 'Type' hierarchy with a subclass 'Declared'. All declared types contain a reference to their respective declaration. I agree the same should be done in the lower level PTree API. Regards, Stefan |