Xsemantics Documentation

  1. 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. Fields
      3. Judgments
      4. 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)
      5. Auxiliary Functions
      6. Rules for Validator: checkrule
      7. Extend another System
      8. 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
      9. Automatic Caching
  2. Examples
    1. Examples
    2. An Expression Language
      1. Expressions Type System
        1. Type Inference for Variables
      2. Expressions Validation
      3. Interpreter for Expressions
      4. Customizations for Expressions
      5. A more involved Expressions System
      6. Generation for Expressions
    3. Featherweight Java
      1. FJ in a nutshell
      2. FJ implemented in Xtext
      3. FJ Type System
        1. Typing FJ Expressions
        2. FJ Scoping
        3. FJ Subtyping
      4. FJ Validation
      5. FJ Operational Semantics
    4. Lambda
      1. Lambda in a nutshell
      2. Lambda implemented in Xtext
      3. Lambda Type Inference
        1. Why Cloning?
      4. Lambda Type Checking
      5. Customizations for Lambda
      6. Use of Type Inference in the IDE
  3. Appendix
    1. Getting Sources