/
feature.xml
54 lines (46 loc) · 1.8 KB
/
feature.xml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
<?xml version="1.0" encoding="UTF-8"?>
<!--
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
-->
<feature
id="org.eclipse.xsemantics.examples.feature"
label="Xsemantics Examples"
version="1.12.1.qualifier"
provider-name="%providerName"
license-feature="org.eclipse.license"
license-feature-version="1.0.1.v20140414-1359">
<description url="http://xsemantics.sourceforge.net">
This feature provides wizards to import in your workspace some examples of languages which use
Xsemantics for implementing the type system and the semantics/interpreter.
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).
</description>
<copyright>
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
</copyright>
<license url="%licenseURL">
%license
</license>
<plugin
id="org.eclipse.xsemantics.ui.examples"
download-size="0"
install-size="0"
version="0.0.0"
unpack="false"/>
</feature>