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