Xsemantics Documentation
- Reference Documentation
- Introduction
- Getting Started
- Installation of Xsemantics
- Sources
- Using Xsemantics
- Using Xsemantics in Maven builds
- Xsemantics Syntax
- Imports
- Copyright
- Fields
- Judgments
- Premises
- Or Blocks
- Expressions in Premises
- Rule Invocations
- Rule Environment
- Error Specification
- Explicit Failure
- Accessing Previous Failure of an Or Block
- String Representation
- Graph Closures (getAll)
- Auxiliary Functions
- Rules for Validator: checkrule
- Extend another System
- Generated Code
- The Generated Java Packages
- The Generated Java Rule System
- The Generated Java Validator
- The validatorExtends clause
- Without the validatorExtends clause
- Error Marker Generation
- Automatic Caching
- Examples
- Examples
- An Expression Language
- Expressions Type System
- Type Inference for Variables
- Expressions Validation
- Interpreter for Expressions
- Customizations for Expressions
- A more involved Expressions System
- Generation for Expressions
- Featherweight Java
- FJ in a nutshell
- FJ implemented in Xtext
- FJ Type System
- Typing FJ Expressions
- FJ Scoping
- FJ Subtyping
- FJ Validation
- FJ Operational Semantics
- Lambda
- Lambda in a nutshell
- Lambda implemented in Xtext
- Lambda Type Inference
- Why Cloning?
- Lambda Type Checking
- Customizations for Lambda
- Use of Type Inference in the IDE
- Appendix
- Getting Sources