diff options
Diffstat (limited to 'Domains')
6 files changed, 25 insertions, 48 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/.classpath b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/.classpath index 3b808ec0..7f459bda 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/.classpath +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/.classpath | |||
@@ -1,10 +1,13 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | 1 | <?xml version="1.0" encoding="UTF-8"?> |
2 | <classpath> | 2 | <classpath> |
3 | <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/> | 3 | <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"> |
4 | <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/> | 4 | <attributes> |
5 | <classpathentry kind="src" path="src"/> | 5 | <attribute name="module" value="true"/> |
6 | <classpathentry kind="src" path="xtend-gen"/> | 6 | </attributes> |
7 | <classpathentry kind="src" path="patterns"/> | 7 | </classpathentry> |
8 | <classpathentry kind="src" path="src-gen/"/> | 8 | <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/> |
9 | <classpathentry kind="output" path="bin"/> | 9 | <classpathentry kind="src" path="src"/> |
10 | </classpath> | 10 | <classpathentry kind="src" path="patterns"/> |
11 | <classpathentry kind="src" path="src-gen"/> | ||
12 | <classpathentry kind="output" path="bin"/> | ||
13 | </classpath> | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/META-INF/MANIFEST.MF b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/META-INF/MANIFEST.MF index 5fb85170..1adef165 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/META-INF/MANIFEST.MF +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/META-INF/MANIFEST.MF | |||
@@ -9,8 +9,7 @@ Bundle-Localization: plugin | |||
9 | Export-Package: hu.bme.mit.inf.dslreasoner.domains.alloyexamples, | 9 | Export-Package: hu.bme.mit.inf.dslreasoner.domains.alloyexamples, |
10 | hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem, | 10 | hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem, |
11 | hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl, | 11 | hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl, |
12 | hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.util, | 12 | hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.util |
13 | hu.bme.mit.inf.dslreasoner.domains.alloyexamples.util | ||
14 | Require-Bundle: org.eclipse.viatra.addon.querybasedfeatures.runtime, | 13 | Require-Bundle: org.eclipse.viatra.addon.querybasedfeatures.runtime, |
15 | org.eclipse.viatra.query.runtime, | 14 | org.eclipse.viatra.query.runtime, |
16 | org.eclipse.core.runtime, | 15 | org.eclipse.core.runtime, |
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/build.properties b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/build.properties index a9ab8b56..418a7a43 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/build.properties +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/build.properties | |||
@@ -5,5 +5,6 @@ bin.includes = .,\ | |||
5 | plugin.properties | 5 | plugin.properties |
6 | jars.compile.order = . | 6 | jars.compile.order = . |
7 | source.. = src/,\ | 7 | source.. = src/,\ |
8 | src-gen/ | 8 | src-gen/,\ |
9 | patterns/ | ||
9 | output.. = bin/ | 10 | output.. = bin/ |
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/.gitignore b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/.gitignore index 52338993..1e7d444f 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/.gitignore +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/.gitignore | |||
@@ -42,3 +42,11 @@ | |||
42 | /.Opposite.java._trace | 42 | /.Opposite.java._trace |
43 | /.OppositeDifferentClass.java._trace | 43 | /.OppositeDifferentClass.java._trace |
44 | /.PatternContent.java._trace | 44 | /.PatternContent.java._trace |
45 | /ContentInNotLive.java | ||
46 | /DirectSupertype.java | ||
47 | /Live.java | ||
48 | /LoopInInheritence.java | ||
49 | /NonSymmetricOpposite.java | ||
50 | /Opposite.java | ||
51 | /OppositeDifferentClass.java | ||
52 | /PatternContent.java | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/util/.gitignore b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/util/.gitignore deleted file mode 100644 index 4b17cd82..00000000 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/util/.gitignore +++ /dev/null | |||
@@ -1,32 +0,0 @@ | |||
1 | /.ContentInNotLiveProcessor.java._trace | ||
2 | /.ContentInNotLiveQuerySpecification.java._trace | ||
3 | /.DirectSupertypeProcessor.java._trace | ||
4 | /.DirectSupertypeQuerySpecification.java._trace | ||
5 | /.LiveProcessor.java._trace | ||
6 | /.LiveQuerySpecification.java._trace | ||
7 | /.LoopInInheritenceProcessor.java._trace | ||
8 | /.LoopInInheritenceQuerySpecification.java._trace | ||
9 | /.NonSymmetricOppositeProcessor.java._trace | ||
10 | /.NonSymmetricOppositeQuerySpecification.java._trace | ||
11 | /.OppositeDifferentClassProcessor.java._trace | ||
12 | /.OppositeDifferentClassQuerySpecification.java._trace | ||
13 | /.OppositeProcessor.java._trace | ||
14 | /.OppositeQuerySpecification.java._trace | ||
15 | /.PatternContentProcessor.java._trace | ||
16 | /.PatternContentQuerySpecification.java._trace | ||
17 | /ContentInNotLiveProcessor.java | ||
18 | /ContentInNotLiveQuerySpecification.java | ||
19 | /DirectSupertypeProcessor.java | ||
20 | /DirectSupertypeQuerySpecification.java | ||
21 | /LiveProcessor.java | ||
22 | /LiveQuerySpecification.java | ||
23 | /LoopInInheritenceProcessor.java | ||
24 | /LoopInInheritenceQuerySpecification.java | ||
25 | /NonSymmetricOppositeProcessor.java | ||
26 | /NonSymmetricOppositeQuerySpecification.java | ||
27 | /OppositeDifferentClassProcessor.java | ||
28 | /OppositeDifferentClassQuerySpecification.java | ||
29 | /OppositeProcessor.java | ||
30 | /OppositeQuerySpecification.java | ||
31 | /PatternContentProcessor.java | ||
32 | /PatternContentQuerySpecification.java | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/META-INF/MANIFEST.MF b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/META-INF/MANIFEST.MF index 73ebb2c7..81ee8677 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/META-INF/MANIFEST.MF +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/META-INF/MANIFEST.MF | |||
@@ -10,9 +10,7 @@ Export-Package: hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm, | |||
10 | hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl, | 10 | hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl, |
11 | hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.util, | 11 | hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.util, |
12 | hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu, | 12 | hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu, |
13 | hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated, | 13 | hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated |
14 | hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.util, | ||
15 | hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.util | ||
16 | Require-Bundle: org.eclipse.viatra.query.runtime, | 14 | Require-Bundle: org.eclipse.viatra.query.runtime, |
17 | org.eclipse.core.runtime, | 15 | org.eclipse.core.runtime, |
18 | org.eclipse.emf.ecore;visibility:=reexport, | 16 | org.eclipse.emf.ecore;visibility:=reexport, |