diff options
author | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-05-12 18:35:18 +0200 |
---|---|---|
committer | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-05-12 18:35:18 +0200 |
commit | 3fce63507359b76792d60cde4e6504249b1fb191 (patch) | |
tree | e4daf1e355b4f7bdb5f5ac2dce3cd0bc0bd675cc /Solvers | |
parent | File extension is set to *.png (diff) | |
download | VIATRA-Generator-3fce63507359b76792d60cde4e6504249b1fb191.tar.gz VIATRA-Generator-3fce63507359b76792d60cde4e6504249b1fb191.tar.zst VIATRA-Generator-3fce63507359b76792d60cde4e6504249b1fb191.zip |
Cleared metafiles
Diffstat (limited to 'Solvers')
4 files changed, 6 insertions, 10 deletions
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/build.properties b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/build.properties index bb9e5d4d..685c072b 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/build.properties +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/build.properties | |||
@@ -1,10 +1,10 @@ | |||
1 | bin.includes = .,\ | 1 | bin.includes = .,\ |
2 | model/,\ | ||
3 | META-INF/,\ | 2 | META-INF/,\ |
4 | plugin.xml,\ | 3 | plugin.xml,\ |
5 | plugin.properties | 4 | plugin.properties |
6 | jars.compile.order = . | 5 | jars.compile.order = . |
7 | source.. = ecore-gen/,\ | 6 | source.. = src/,\ |
8 | src/,\ | 7 | queries/,\ |
9 | src-gen/ | 8 | xtend-gen/,\ |
9 | vql-gen/ | ||
10 | output.. = bin/ | 10 | output.. = bin/ |
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/plugin.xml b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/plugin.xml index 23c55a4d..5457d70c 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/plugin.xml +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/plugin.xml | |||
@@ -1,9 +1,5 @@ | |||
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"> | ||
4 | <!-- @generated AlloyLanguage --> | ||
5 | <package class="hu.bme.mit.inf.dlsreasoner.alloy.reasoner.alloylanguage.AlloylanguagePackage" genModel="model/AlloyLanguage.genmodel" uri="hu.bme.mit.inf.dlsreasoner.alloy.reasoner.language"/> | ||
6 | </extension> | ||
7 | <extension id="hu.bme.mit.inf.dlsreasoner.alloy.reasoner.queries.SignatureQueries" point="org.eclipse.viatra.query.runtime.queryspecification"> | 3 | <extension id="hu.bme.mit.inf.dlsreasoner.alloy.reasoner.queries.SignatureQueries" point="org.eclipse.viatra.query.runtime.queryspecification"> |
8 | <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:hu.bme.mit.inf.dlsreasoner.alloy.reasoner.queries.SignatureQueries" id="hu.bme.mit.inf.dlsreasoner.alloy.reasoner.queries.SignatureQueries"> | 4 | <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:hu.bme.mit.inf.dlsreasoner.alloy.reasoner.queries.SignatureQueries" id="hu.bme.mit.inf.dlsreasoner.alloy.reasoner.queries.SignatureQueries"> |
9 | <query-specification fqn="hu.bme.mit.inf.dlsreasoner.alloy.reasoner.queries.directSubset"/> | 5 | <query-specification fqn="hu.bme.mit.inf.dlsreasoner.alloy.reasoner.queries.directSubset"/> |
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/META-INF/MANIFEST.MF b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/META-INF/MANIFEST.MF index a6ff6ade..a70512cd 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/META-INF/MANIFEST.MF +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/META-INF/MANIFEST.MF | |||
@@ -18,10 +18,11 @@ Require-Bundle: hu.bme.mit.inf.dslreasoner.alloy.language;visibility:=reexport, | |||
18 | org.eclipse.xtext.ui.codetemplates.ui, | 18 | org.eclipse.xtext.ui.codetemplates.ui, |
19 | org.eclipse.compare | 19 | org.eclipse.compare |
20 | Import-Package: org.apache.log4j | 20 | Import-Package: org.apache.log4j |
21 | Bundle-RequiredExecutionEnvironment: JavaSE-1.7 | 21 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 |
22 | Export-Package: hu.bme.mit.inf.dslreasoner.ui.quickfix, | 22 | Export-Package: hu.bme.mit.inf.dslreasoner.ui.quickfix, |
23 | hu.bme.mit.inf.dslreasoner.ui.contentassist, | 23 | hu.bme.mit.inf.dslreasoner.ui.contentassist, |
24 | hu.bme.mit.inf.dslreasoner.ui.contentassist.antlr, | 24 | hu.bme.mit.inf.dslreasoner.ui.contentassist.antlr, |
25 | hu.bme.mit.inf.dslreasoner.ui.internal, | 25 | hu.bme.mit.inf.dslreasoner.ui.internal, |
26 | hu.bme.mit.inf.dslreasoner.ui.contentassist.antlr.internal | 26 | hu.bme.mit.inf.dslreasoner.ui.contentassist.antlr.internal |
27 | Bundle-Activator: hu.bme.mit.inf.dslreasoner.ui.internal.AlloyLanguageActivator | 27 | Bundle-Activator: hu.bme.mit.inf.dslreasoner.ui.internal.AlloyLanguageActivator |
28 | Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.alloy.language.ui | ||
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/build.properties b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/build.properties index d6c49e5c..eeeed051 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/build.properties +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/build.properties | |||
@@ -1,5 +1,4 @@ | |||
1 | source.. = src/,\ | 1 | source.. = src/,\ |
2 | xtend-gen/ | 2 | xtend-gen/ |
3 | output.. = bin/ | ||
4 | bin.includes = META-INF/,\ | 3 | bin.includes = META-INF/,\ |
5 | . | 4 | . |