Reference Documentation

  1. Introduction
  2. Getting Started
    1. Installation of Xsemantics
      1. Sources
    2. Using Xsemantics
    3. Using Xsemantics in Maven builds
  3. Xsemantics Syntax
    1. Imports
    2. Copyright
    3. Fields
    4. Judgments
    5. Premises
      1. Or Blocks
      2. Expressions in Premises
      3. Rule Invocations
      4. Rule Environment
      5. Error Specification
      6. Explicit Failure
      7. Accessing Previous Failure of an Or Block
      8. String Representation
      9. Graph Closures (getAll)
    6. Auxiliary Functions
    7. Rules for Validator: checkrule
    8. Extend another System
    9. Generated Code
      1. The Generated Java Packages
      2. The Generated Java Rule System
      3. The Generated Java Validator
        1. The validatorExtends clause
        2. Without the validatorExtends clause
      4. Error Marker Generation
    10. Automatic Caching