Eclipse Xsemantics™ is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters and general relation rules for languages implemented in Xtext. A system definition in Xsemantics is a set of judgment rules which have a conclusion and a set of premises. Xsemantics then generates Java code that can be used in your Xtext-based language for scoping and validation.
Licenses:
Active Member Companies:
Member companies supporting this project over the last three months.
Contribution Activity:
Commits on this project (last 12 months).