...
Xtext supports automatic formatting, which is available in the text editor with right-click → Format or ctrl+shift+F. However, the formatter must be configured in order to generate good results. Write a formatter configuration that fits well to your syntax by editing the generated file TuringFormatter
in the formatting
subpackage. Learn how this is done by reading the Xtext reference documentation → Runtime Concepts → Formatting.
Parsing
...
Validation
The generated code includes some automatic validation of models with respect to syntactic issues. If the token sequence in a text file does not conform to the grammar, error markers are shown at appropriate points in the text. However, this should be augmented by semantic validation by checking high-level properties of the model. Implement such a semantic validation by editing the generated file TuringJavaValidator
in the validation
subpackage. Learn how this is done by reading the Xtext reference documentation → Runtime Concepts → Validation → Custom Validation. You should implement at least the following checks:
- Is there exactly one initial state?
- Are all states reachable through transitions starting from the initial state?
Parsing
The generated code includes a parser for text files in your syntax. This parser is simply used with the same interface as for any other EMF models: resource sets.