Eclipse Community Forums: TMF (Xtext) » DSL Generation and Validation

Help

Home

Home » Modeling » TMF (Xtext) » DSL Generation and Validation

Show: Today's Messages :: Show Polls :: Message Navigator

DSL Generation and Validation [message #813584]

Mon, 05 March 2012 13:18

Alex G

Messages: 96
Registered: January 2012

Member

Hi!

I have a DSL where elements have indices which can be
* statically parametrized, like "element[1,3]" or
* dynamically parametrized, like "element[n]", where n is only known at runtime or when the whole DSL specification is available (only then the paramater can be resolved).

The DSL can be generated into a DSL with same grammar, for example if the parameter n is known (for example n==3), then "element[3]" will be generated out of "element[n]".

Now I want to split the validation of the DSL into two parts:
1. a part which can be validated statically
2. a part which can be validated after transformation

Is it possible to split the validation process in these two parts? If yes, how can I do it? So, after transformation I want to have a kind of "call-backs" to the original DSL model.

Thank you in advance!
Alex.

Report message to a moderator

Re: DSL Generation and Validation [message #813587 is a reply to message #813584]

Mon, 05 March 2012 13:23

Meinte Boersma

Messages: 434
Registered: July 2009
Location: Leiden, Netherlands

Senior Member

The precise nature of the transformation and runtime characteristics are unclear to me, so I'm guessing here a bit.

Validation part 1 is something you'd do in the Xtext Validator.
Validation part 2 needs information that's not available to the Xtext DSL editor so can't be done at that point. In any case, you're going to need a runtime validation of sorts. You could (e.g.) make messages coming from that "callbacks" by using the same type of links that you see for Java classes in the console. Xtext's NodeModel can provide you with the right locations in the model files.

Xtext blogs: executable models...again? | workshop material | custom scoping with Xtend

Report message to a moderator