diff options
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/META-INF/MANIFEST.MF | 44 | ||||
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/plugin.xml | 52 |
2 files changed, 48 insertions, 48 deletions
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: . | |||
7 | Bundle-Vendor: %providerName | 7 | Bundle-Vendor: %providerName |
8 | Bundle-Localization: plugin | 8 | Bundle-Localization: plugin |
9 | Export-Package: hu.bme.mit.inf.dslreasoner.logic.model.builder, | 9 | Export-Package: hu.bme.mit.inf.dslreasoner.logic.model.builder, |
10 | hu.bme.mit.inf.dslreasoner.logic.model.builder.consistencychecker, | 10 | hu.bme.mit.inf.dslreasoner.logic.model.builder.consistencychecker, |
11 | hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage, | 11 | hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage, |
12 | hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl, | 12 | hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl, |
13 | hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.util, | 13 | hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.util, |
14 | hu.bme.mit.inf.dslreasoner.logic.model.logicproblem, | 14 | hu.bme.mit.inf.dslreasoner.logic.model.logicproblem, |
15 | hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl, | 15 | hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl, |
16 | hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.util, | 16 | hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.util, |
17 | hu.bme.mit.inf.dslreasoner.logic.model.logicresult, | 17 | hu.bme.mit.inf.dslreasoner.logic.model.logicresult, |
18 | hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl, | 18 | hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl, |
19 | hu.bme.mit.inf.dslreasoner.logic.model.logicresult.util, | 19 | hu.bme.mit.inf.dslreasoner.logic.model.logicresult.util, |
20 | hu.bme.mit.inf.dslreasoner.logic.model.patterns, | 20 | hu.bme.mit.inf.dslreasoner.logic.model.patterns, |
21 | hu.bme.mit.inf.dslreasoner.logic.model.statistics, | 21 | hu.bme.mit.inf.dslreasoner.logic.model.statistics, |
22 | hu.bme.mit.inf.dslreasoner.util, | 22 | hu.bme.mit.inf.dslreasoner.util, |
23 | hu.bme.mit.inf.dslreasoner.workspace | 23 | hu.bme.mit.inf.dslreasoner.workspace |
24 | Require-Bundle: org.eclipse.core.runtime, | 24 | Require-Bundle: org.eclipse.core.runtime, |
25 | org.eclipse.emf.ecore;visibility:=reexport, | 25 | org.eclipse.emf.ecore;visibility:=reexport, |
26 | com.google.guava, | 26 | com.google.guava, |
27 | org.eclipse.xtend.lib, | 27 | org.eclipse.xtend.lib, |
28 | org.eclipse.xtext.xbase.lib, | 28 | org.eclipse.xtext.xbase.lib, |
29 | org.eclipse.core.resources;bundle-version="3.8.101", | 29 | org.eclipse.core.resources;bundle-version="3.8.101", |
30 | org.eclipse.viatra.query.runtime;bundle-version="1.3.0", | 30 | org.eclipse.viatra.query.runtime;bundle-version="1.3.0", |
31 | org.apache.commons.lang;bundle-version="2.6.0", | 31 | org.apache.commons.lang;bundle-version="2.6.0", |
32 | org.eclipse.emf.ecore.xmi;bundle-version="2.13.0" | 32 | org.eclipse.emf.ecore.xmi;bundle-version="2.13.0" |
33 | Import-Package: org.apache.log4j | 33 | Import-Package: org.apache.log4j |
34 | Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.logic.model | 34 | Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.logic.model |
35 | Bundle-ActivationPolicy: lazy | 35 | 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 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?><?eclipse version="3.0"?><!-- | 1 | <?xml version="1.0" encoding="UTF-8"?><?eclipse version="3.0"?><!-- |
2 | --><plugin> | 2 | --><plugin> |
3 | <extension point="org.eclipse.emf.ecore.generated_package"> | 3 | <extension point="org.eclipse.emf.ecore.generated_package"> |
4 | <!-- @generated logiclanguage --> | 4 | <!-- @generated logiclanguage --> |
5 | <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"/> | 5 | <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"/> |
6 | </extension> | 6 | </extension> |
7 | <extension point="org.eclipse.emf.ecore.generated_package"> | 7 | <extension point="org.eclipse.emf.ecore.generated_package"> |
8 | <!-- @generated logiclanguage --> | 8 | <!-- @generated logiclanguage --> |
9 | <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"/> | 9 | <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"/> |
10 | </extension> | 10 | </extension> |
11 | <extension point="org.eclipse.emf.ecore.generated_package"> | 11 | <extension point="org.eclipse.emf.ecore.generated_package"> |
12 | <!-- @generated logiclanguage --> | 12 | <!-- @generated logiclanguage --> |
13 | <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"/> | 13 | <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"/> |
14 | </extension> | 14 | </extension> |
15 | <extension id="hu.bme.mit.inf.dslreasoner.logic.model.patterns.TypeUtil" point="org.eclipse.viatra.query.runtime.queryspecification"> | 15 | <extension id="hu.bme.mit.inf.dslreasoner.logic.model.patterns.TypeUtil" point="org.eclipse.viatra.query.runtime.queryspecification"> |
16 | <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"> | 16 | <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"> |
17 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.logic.model.patterns.supertypeStar"/> | 17 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.logic.model.patterns.supertypeStar"/> |
18 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.logic.model.patterns.typeDirectElements"/> | 18 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.logic.model.patterns.typeDirectElements"/> |
19 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.logic.model.patterns.possibleDynamicType"/> | 19 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.logic.model.patterns.possibleDynamicType"/> |
20 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.logic.model.patterns.mustTypeElement"/> | 20 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.logic.model.patterns.mustTypeElement"/> |
21 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.logic.model.patterns.typeSystemIsInconsistent"/> | 21 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.logic.model.patterns.typeSystemIsInconsistent"/> |
22 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.logic.model.patterns.elementNotDefinedInSupertype"/> | 22 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.logic.model.patterns.elementNotDefinedInSupertype"/> |
23 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.logic.model.patterns.elementWithNoPossibleDynamicType"/> | 23 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.logic.model.patterns.elementWithNoPossibleDynamicType"/> |
24 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.logic.model.patterns.cyclicTypeHierarchy"/> | 24 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.logic.model.patterns.cyclicTypeHierarchy"/> |
25 | </group> | 25 | </group> |
26 | </extension> | 26 | </extension> |
27 | </plugin> | 27 | </plugin> |