From 2f99ce37e5380c8e53fb3515cc2bc5d48bd3d7fd Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kris7topher@gmail.com>
Date: Fri, 11 Jan 2019 15:41:57 +0100
Subject: Build with Eclipse 2018.12, generated files change

---
 .../META-INF/MANIFEST.MF                           | 44 +++++++++---------
 .../plugin.xml                                     | 52 +++++++++++-----------
 2 files changed, 48 insertions(+), 48 deletions(-)

(limited to 'Framework')

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/META-INF/MANIFEST.MF b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/META-INF/MANIFEST.MF
index 8e1bba03..338e8c09 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/META-INF/MANIFEST.MF
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/META-INF/MANIFEST.MF
@@ -7,29 +7,29 @@ Bundle-ClassPath: .
 Bundle-Vendor: %providerName
 Bundle-Localization: plugin
 Export-Package: hu.bme.mit.inf.dslreasoner.logic.model.builder,
-  hu.bme.mit.inf.dslreasoner.logic.model.builder.consistencychecker,
-  hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage,
-  hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl,
-  hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.util,
-  hu.bme.mit.inf.dslreasoner.logic.model.logicproblem,
-  hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl,
-  hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.util,
-  hu.bme.mit.inf.dslreasoner.logic.model.logicresult,
-  hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl,
-  hu.bme.mit.inf.dslreasoner.logic.model.logicresult.util,
-  hu.bme.mit.inf.dslreasoner.logic.model.patterns,
-  hu.bme.mit.inf.dslreasoner.logic.model.statistics,
-  hu.bme.mit.inf.dslreasoner.util,
-  hu.bme.mit.inf.dslreasoner.workspace
+ hu.bme.mit.inf.dslreasoner.logic.model.builder.consistencychecker,
+ hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage,
+ hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl,
+ hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.util,
+ hu.bme.mit.inf.dslreasoner.logic.model.logicproblem,
+ hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl,
+ hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.util,
+ hu.bme.mit.inf.dslreasoner.logic.model.logicresult,
+ hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl,
+ hu.bme.mit.inf.dslreasoner.logic.model.logicresult.util,
+ hu.bme.mit.inf.dslreasoner.logic.model.patterns,
+ hu.bme.mit.inf.dslreasoner.logic.model.statistics,
+ hu.bme.mit.inf.dslreasoner.util,
+ hu.bme.mit.inf.dslreasoner.workspace
 Require-Bundle: org.eclipse.core.runtime,
-  org.eclipse.emf.ecore;visibility:=reexport,
-  com.google.guava,
-  org.eclipse.xtend.lib,
-  org.eclipse.xtext.xbase.lib,
-  org.eclipse.core.resources;bundle-version="3.8.101",
-  org.eclipse.viatra.query.runtime;bundle-version="1.3.0",
-  org.apache.commons.lang;bundle-version="2.6.0",
-  org.eclipse.emf.ecore.xmi;bundle-version="2.13.0"
+ org.eclipse.emf.ecore;visibility:=reexport,
+ com.google.guava,
+ org.eclipse.xtend.lib,
+ org.eclipse.xtext.xbase.lib,
+ org.eclipse.core.resources;bundle-version="3.8.101",
+ org.eclipse.viatra.query.runtime;bundle-version="1.3.0",
+ org.apache.commons.lang;bundle-version="2.6.0",
+ org.eclipse.emf.ecore.xmi;bundle-version="2.13.0"
 Import-Package: org.apache.log4j
 Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.logic.model
 Bundle-ActivationPolicy: lazy
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/plugin.xml b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/plugin.xml
index 413002e2..bad09614 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/plugin.xml
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/plugin.xml
@@ -1,27 +1,27 @@
 <?xml version="1.0" encoding="UTF-8"?><?eclipse version="3.0"?><!--
---><plugin>
-  <extension point="org.eclipse.emf.ecore.generated_package">
-    <!-- @generated logiclanguage -->
-    <package class="hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage" genModel="model/logiclanguage.genmodel" uri="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language"/>
-  </extension>
-  <extension point="org.eclipse.emf.ecore.generated_package">
-    <!-- @generated logiclanguage -->
-    <package class="hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage" genModel="model/logiclanguage.genmodel" uri="http://www.bme.hu/mit/inf/dslreasoner/logic/model/problem"/>
-  </extension>
-  <extension point="org.eclipse.emf.ecore.generated_package">
-    <!-- @generated logiclanguage -->
-    <package class="hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage" genModel="model/logiclanguage.genmodel" uri="http://www.bme.hu/mit/inf/dslreasoner/logic/model/result"/>
-  </extension>
-  <extension id="hu.bme.mit.inf.dslreasoner.logic.model.patterns.TypeUtil" point="org.eclipse.viatra.query.runtime.queryspecification">
-    <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:hu.bme.mit.inf.dslreasoner.logic.model.patterns.TypeUtil" id="hu.bme.mit.inf.dslreasoner.logic.model.patterns.TypeUtil">
-      <query-specification fqn="hu.bme.mit.inf.dslreasoner.logic.model.patterns.supertypeStar"/>
-      <query-specification fqn="hu.bme.mit.inf.dslreasoner.logic.model.patterns.typeDirectElements"/>
-      <query-specification fqn="hu.bme.mit.inf.dslreasoner.logic.model.patterns.possibleDynamicType"/>
-      <query-specification fqn="hu.bme.mit.inf.dslreasoner.logic.model.patterns.mustTypeElement"/>
-      <query-specification fqn="hu.bme.mit.inf.dslreasoner.logic.model.patterns.typeSystemIsInconsistent"/>
-      <query-specification fqn="hu.bme.mit.inf.dslreasoner.logic.model.patterns.elementNotDefinedInSupertype"/>
-      <query-specification fqn="hu.bme.mit.inf.dslreasoner.logic.model.patterns.elementWithNoPossibleDynamicType"/>
-      <query-specification fqn="hu.bme.mit.inf.dslreasoner.logic.model.patterns.cyclicTypeHierarchy"/>
-    </group>
-  </extension>
-</plugin>
+--><plugin>
+  <extension point="org.eclipse.emf.ecore.generated_package">
+    <!-- @generated logiclanguage -->
+    <package class="hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage" genModel="model/logiclanguage.genmodel" uri="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language"/>
+  </extension>
+  <extension point="org.eclipse.emf.ecore.generated_package">
+    <!-- @generated logiclanguage -->
+    <package class="hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage" genModel="model/logiclanguage.genmodel" uri="http://www.bme.hu/mit/inf/dslreasoner/logic/model/problem"/>
+  </extension>
+  <extension point="org.eclipse.emf.ecore.generated_package">
+    <!-- @generated logiclanguage -->
+    <package class="hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage" genModel="model/logiclanguage.genmodel" uri="http://www.bme.hu/mit/inf/dslreasoner/logic/model/result"/>
+  </extension>
+  <extension id="hu.bme.mit.inf.dslreasoner.logic.model.patterns.TypeUtil" point="org.eclipse.viatra.query.runtime.queryspecification">
+    <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:hu.bme.mit.inf.dslreasoner.logic.model.patterns.TypeUtil" id="hu.bme.mit.inf.dslreasoner.logic.model.patterns.TypeUtil">
+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.logic.model.patterns.supertypeStar"/>
+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.logic.model.patterns.typeDirectElements"/>
+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.logic.model.patterns.possibleDynamicType"/>
+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.logic.model.patterns.mustTypeElement"/>
+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.logic.model.patterns.typeSystemIsInconsistent"/>
+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.logic.model.patterns.elementNotDefinedInSupertype"/>
+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.logic.model.patterns.elementWithNoPossibleDynamicType"/>
+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.logic.model.patterns.cyclicTypeHierarchy"/>
+    </group>
+  </extension>
+</plugin>
-- 
cgit v1.2.3-54-g00ecf