If I have defined a type like User,when I use this type in oher files,how to check whether it has be defined?

Asked by ZJG on 27 March 2013 at 05:15

This requires name resolution. You can define name binding and scope rules in NaBL, the Spoofax Name Binding Language. In your example, you need to define a namespace (e.g. Type), a pattern for terms that introduce a name (...: defines Type t) and a pattern for terms that use a name (...: refers to Type t).

Answered by Guido Wachsmuth on 29 March 2013 at 02:10