3 files changed, 70 insertions, 4 deletions
diff --git a/language-model/src/main/resources/model/builtin.problem_xmi b/language-model/src/main/resources/model/builtin.problem_xmi
new file mode 100644
index 00000000..9255ab66
--- /dev/null
+++ b/language-model/src/main/resources/model/builtin.problem_xmi
@@ -0,0 +1,67 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<problem:Problem
+    xmi:version="2.0"
+    xmlns:xmi="http://www.omg.org/XMI"
+    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+    xmlns:problem="https://refinery.tools/emf/2021/Problem"
+    xsi:schemaLocation="https://refinery.tools/emf/2021/Problem problem.ecore"
+    name="builtin">
+  <statements
+      xsi:type="problem:ClassDeclaration"
+      name="node"
+      abstract="true">
+    <referenceDeclarations
+        name="equals"
+        referenceType="//@statements.0"
+        opposite="//@statements.0/@referenceDeclarations.0">
+      <multiplicity
+          xsi:type="problem:UnboundedMultiplicity"/>
+    </referenceDeclarations>
+  </statements>
+  <statements
+      xsi:type="problem:PredicateDefinition"
+      name="exists">
+    <parameters
+        name="node"
+        parameterType="//@statements.0"/>
+  </statements>
+  <statements
+      xsi:type="problem:ClassDeclaration"
+      name="domain"
+      abstract="true"
+      superTypes="//@statements.0"/>
+  <statements
+      xsi:type="problem:ClassDeclaration"
+      name="data"
+      abstract="true"
+      superTypes="//@statements.0"/>
+  <statements
+      xsi:type="problem:EnumDeclaration"
+      name="bool">
+    <literals
+        name="false"/>
+    <literals
+        name="true"/>
+  </statements>
+  <statements
+      xsi:type="problem:ClassDeclaration"
+      name="real"
+      superTypes="//@statements.3">
+    <newNode
+        name="new"/>
+  </statements>
+  <statements
+      xsi:type="problem:ClassDeclaration"
+      name="int"
+      superTypes="//@statements.3">
+    <newNode
+        name="new"/>
+  </statements>
+  <statements
+      xsi:type="problem:ClassDeclaration"
+      name="string"
+      superTypes="//@statements.3">
+    <newNode
+        name="new"/>
+  </statements>
+</problem:Problem>
diff --git a/language-model/src/main/resources/model/problem.ecore b/language-model/src/main/resources/model/problem.ecore
index a62590ac..e86f0afd 100644
--- a/language-model/src/main/resources/model/problem.ecore
+++ b/language-model/src/main/resources/model/problem.ecore
@@ -1,7 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
-    xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="problem" nsURI="https://refinery.tools/emf/2021/Problem"
+    xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="problem" nsURI="https://refinery.tools/emf/2021/Problem" nsPrefix="problem">
-    nsPrefix="problem">
  <eClassifiers xsi:type="ecore:EClass" name="Problem" eSuperTypes="#//NamedElement">
    <eStructuralFeatures xsi:type="ecore:EReference" name="nodes" upperBound="-1"
        eType="#//Node" containment="true"/>
diff --git a/language-model/src/main/resources/model/problem.genmodel b/language-model/src/main/resources/model/problem.genmodel
index e529977f..057b4917 100644
--- a/language-model/src/main/resources/model/problem.genmodel
+++ b/language-model/src/main/resources/model/problem.genmodel
@@ -8,8 +8,8 @@
    copyrightFields="false" operationReflection="true" importOrganizing="true">
  <foreignModel>problem.ecore</foreignModel>
  <testsDirectory xsi:nil="true"/>
-  <genPackages prefix="Problem" basePackage="tools.refinery.language.model"
+  <genPackages prefix="Problem" basePackage="tools.refinery.language.model" resource="XMI"
-      disposableProviderFactory="true" ecorePackage="problem.ecore#/">
+      disposableProviderFactory="true" fileExtensions="problem_xmi" ecorePackage="problem.ecore#/">
    <genEnums typeSafeEnumCompatible="false" ecoreEnum="problem.ecore#//LogicValue">
      <genEnumLiterals ecoreEnumLiteral="problem.ecore#//LogicValue/TRUE"/>
      <genEnumLiterals ecoreEnumLiteral="problem.ecore#//LogicValue/FALSE"/>

diff --git a/language-model/src/main/resources/model/builtin.problem_xmi b/language-model/src/main/resources/model/builtin.problem_xmi new file mode 100644 index 00000000..9255ab66 --- /dev/null +++ b/language-model/src/main/resources/model/builtin.problem_xmi
@@ -0,0 +1,67 @@
		1	<?xml version="1.0" encoding="UTF-8"?>
		2	<problem:Problem
		3	xmi:version="2.0"
		4	xmlns:xmi="http://www.omg.org/XMI"
		5	xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
		6	xmlns:problem="https://refinery.tools/emf/2021/Problem"
		7	xsi:schemaLocation="https://refinery.tools/emf/2021/Problem problem.ecore"
		8	name="builtin">
		9	<statements
		10	xsi:type="problem:ClassDeclaration"
		11	name="node"
		12	abstract="true">
		13	<referenceDeclarations
		14	name="equals"
		15	referenceType="//@statements.0"
		16	opposite="//@statements.0/@referenceDeclarations.0">
		17	<multiplicity
		18	xsi:type="problem:UnboundedMultiplicity"/>
		19	</referenceDeclarations>
		20	</statements>
		21	<statements
		22	xsi:type="problem:PredicateDefinition"
		23	name="exists">
		24	<parameters
		25	name="node"
		26	parameterType="//@statements.0"/>
		27	</statements>
		28	<statements
		29	xsi:type="problem:ClassDeclaration"
		30	name="domain"
		31	abstract="true"
		32	superTypes="//@statements.0"/>
		33	<statements
		34	xsi:type="problem:ClassDeclaration"
		35	name="data"
		36	abstract="true"
		37	superTypes="//@statements.0"/>
		38	<statements
		39	xsi:type="problem:EnumDeclaration"
		40	name="bool">
		41	<literals
		42	name="false"/>
		43	<literals
		44	name="true"/>
		45	</statements>
		46	<statements
		47	xsi:type="problem:ClassDeclaration"
		48	name="real"
		49	superTypes="//@statements.3">
		50	<newNode
		51	name="new"/>
		52	</statements>
		53	<statements
		54	xsi:type="problem:ClassDeclaration"
		55	name="int"
		56	superTypes="//@statements.3">
		57	<newNode
		58	name="new"/>
		59	</statements>
		60	<statements
		61	xsi:type="problem:ClassDeclaration"
		62	name="string"
		63	superTypes="//@statements.3">
		64	<newNode
		65	name="new"/>
		66	</statements>
		67	</problem:Problem>


diff --git a/language-model/src/main/resources/model/problem.ecore b/language-model/src/main/resources/model/problem.ecore index a62590ac..e86f0afd 100644 --- a/language-model/src/main/resources/model/problem.ecore +++ b/language-model/src/main/resources/model/problem.ecore
@@ -1,7 +1,6 @@
1	<?xml version="1.0" encoding="UTF-8"?>	1	<?xml version="1.0" encoding="UTF-8"?>
2	<ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"	2	<ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
3	xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="problem" nsURI="https://refinery.tools/emf/2021/Problem"	3	xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="problem" nsURI="https://refinery.tools/emf/2021/Problem" nsPrefix="problem">
4	nsPrefix="problem">
5	<eClassifiers xsi:type="ecore:EClass" name="Problem" eSuperTypes="#//NamedElement">	4	<eClassifiers xsi:type="ecore:EClass" name="Problem" eSuperTypes="#//NamedElement">
6	<eStructuralFeatures xsi:type="ecore:EReference" name="nodes" upperBound="-1"	5	<eStructuralFeatures xsi:type="ecore:EReference" name="nodes" upperBound="-1"
7	eType="#//Node" containment="true"/>	6	eType="#//Node" containment="true"/>


diff --git a/language-model/src/main/resources/model/problem.genmodel b/language-model/src/main/resources/model/problem.genmodel index e529977f..057b4917 100644 --- a/language-model/src/main/resources/model/problem.genmodel +++ b/language-model/src/main/resources/model/problem.genmodel
@@ -8,8 +8,8 @@
8	copyrightFields="false" operationReflection="true" importOrganizing="true">	8	copyrightFields="false" operationReflection="true" importOrganizing="true">
9	<foreignModel>problem.ecore</foreignModel>	9	<foreignModel>problem.ecore</foreignModel>
10	<testsDirectory xsi:nil="true"/>	10	<testsDirectory xsi:nil="true"/>
11	<genPackages prefix="Problem" basePackage="tools.refinery.language.model"	11	<genPackages prefix="Problem" basePackage="tools.refinery.language.model" resource="XMI"
12	disposableProviderFactory="true" ecorePackage="problem.ecore#/">	12	disposableProviderFactory="true" fileExtensions="problem_xmi" ecorePackage="problem.ecore#/">
13	<genEnums typeSafeEnumCompatible="false" ecoreEnum="problem.ecore#//LogicValue">	13	<genEnums typeSafeEnumCompatible="false" ecoreEnum="problem.ecore#//LogicValue">
14	<genEnumLiterals ecoreEnumLiteral="problem.ecore#//LogicValue/TRUE"/>	14	<genEnumLiterals ecoreEnumLiteral="problem.ecore#//LogicValue/TRUE"/>
15	<genEnumLiterals ecoreEnumLiteral="problem.ecore#//LogicValue/FALSE"/>	15	<genEnumLiterals ecoreEnumLiteral="problem.ecore#//LogicValue/FALSE"/>