Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules) for languages implemented in Xtext. It then generates Java code that can be used in your language implemented in Xtext for scoping and validation (it can also generate a validator in Java).
https://projects.eclipse.org/projects/modeling.xsemantics
http://download.eclipse.org/xsemantics/milestones/
- version 1.13 requires Xtext 2.13.0
- version 1.14 requires Xtext 2.14.0
- version 1.13.0-SNAPSHOT requires Xtext 2.13.0
- version 1.14.0-SNAPSHOT requires Xtext 2.13.0
Make sure you enable Maven snapshots repositories, see, e.g., https://github.com/eclipse/xsemantics/blob/master/tests/org.eclipse.xsemantics.example.maven.test/pom.xml
