# xsemantics

**Repository Path**: mirrors_eclipse/xsemantics

## Basic Information

- **Project Name**: xsemantics
- **Description**: Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules) for languages implemented in Xtext. It then generates Java code that can be used in your language implemented in Xtext for scoping and validation (it can also generate a validator in Java).
- **Primary Language**: Unknown
- **License**: EPL-1.0
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2020-08-22
- **Last Updated**: 2026-04-18

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

<!--
Copyright (c) 2013-2017 Lorenzo Bettini.
All rights reserved. This program and the accompanying materials
are made available under the terms of the Eclipse Public License v1.0
which accompanies this distribution, and is available at
http://www.eclipse.org/legal/epl-v10.html

Contributors:
  Lorenzo Bettini - Initial contribution and API
-->

Xsemantics
============================

Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules) for languages implemented in Xtext. It then generates Java code that can be used in your language implemented in Xtext for scoping and validation (it can also generate a validator in Java).

https://projects.eclipse.org/projects/modeling.xsemantics

## Milestones update site:

https://download.eclipse.org/xsemantics/milestones/

- version 1.13 requires Xtext 2.13.0
- version 1.14 requires Xtext 2.14.0
- version 1.15 requires Xtext 2.15.0
- version 1.16 requires Xtext 2.16.0
- version 1.17 requires Xtext 2.17.0
- version 1.18 requires Xtext 2.19.0 (no version available for Xtext 2.18)
- version 1.19 requires Xtext 2.20.0
- version 1.20 requires Xtext 2.25.0 (no version available for Xtext 2.21-2.24)
- version 1.21 requires Xtext 2.26.0
- version 1.22 requires Xtext 2.27.0
- version 1.23 requires Xtext 2.30.0
- version 1.24 requires Xtext 2.33.0 (no version available for Xtext 2.31-2.32)

## Maven artifacts

- version 1.13.0-SNAPSHOT requires Xtext 2.13.0
- version 1.14.0-SNAPSHOT requires Xtext 2.14.0
- version 1.15.0-SNAPSHOT requires Xtext 2.15.0
- version 1.16.0-SNAPSHOT requires Xtext 2.16.0
- version 1.17.0-SNAPSHOT requires Xtext 2.17.0
- version 1.18.0-SNAPSHOT requires Xtext 2.19.0 (no version available for Xtext 2.18)
- version 1.19.0-SNAPSHOT requires Xtext 2.20.0
- version 1.20.0-SNAPSHOT requires Xtext 2.25.0 (no version available for Xtext 2.21-2.24)
- version 1.21.0-SNAPSHOT requires Xtext 2.26.0
- version 1.22.0 requires Xtext 2.27.0
- version 1.23.0 requires Xtext 2.30.0
- version 1.24.0 requires Xtext 2.33.0 (no version available for Xtext 2.31-2.32)

Make sure you enable Maven snapshots repositories, see, e.g., https://github.com/eclipse/xsemantics/blob/master/tests/org.eclipse.xsemantics.example.maven.test/pom.xml

[![Java CI with Maven](https://github.com/eclipse/xsemantics/actions/workflows/maven.yml/badge.svg?branch=master)](https://github.com/eclipse/xsemantics/actions/workflows/maven.yml)
[![Coverage Status](https://coveralls.io/repos/github/eclipse/xsemantics/badge.svg?branch=master)](https://coveralls.io/github/eclipse/xsemantics?branch=master)