I'm about to create some dataflow related tasks for my language. Therefore the dataflow aspect should be suitable. But there are some information missing in the users guide. Perhaps someone can help me here.
- How do I specify what's a variable and where it's declared in the context of the dataflow analysis?
- How can I work with the dataflow analysis in the type system? How can I, for example, write a rule which produces an error if a variable is written more than one time?
- Is the list of statements in the dataflow language in the user guide in http://confluence.jetbrains.net/display/MPSD25/Data+flow complete? There is a return from subroutine statement, but no call subroutine. Is the code for statement equivalent to a call of a subroutine?
That's it for now. But I guess there will be more questions in the next days.