diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-08-28 05:56:34 -0400 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-08-28 05:56:34 -0400 |
commit | 6b70878a56052e1c254ba8c66485f217d22db3f8 (patch) | |
tree | 66088b97e5b6c0194f1a45f70f5f05315aba9e43 /Tests/ca.mcgill.ecse.dslreasoner.vampire.test | |
parent | Pre-realisticBranchCreation Commit (diff) | |
download | VIATRA-Generator-6b70878a56052e1c254ba8c66485f217d22db3f8.tar.gz VIATRA-Generator-6b70878a56052e1c254ba8c66485f217d22db3f8.tar.zst VIATRA-Generator-6b70878a56052e1c254ba8c66485f217d22db3f8.zip |
VAMPIRE: integrate local Vampire executeable #32
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test')
20 files changed, 78 insertions, 383 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/.classpath b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/.classpath index f03a6d83..3f0838b6 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/.classpath +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/.classpath | |||
@@ -5,6 +5,5 @@ | |||
5 | <classpathentry kind="src" path="src"/> | 5 | <classpathentry kind="src" path="src"/> |
6 | <classpathentry kind="src" path="src-gen"/> | 6 | <classpathentry kind="src" path="src-gen"/> |
7 | <classpathentry kind="src" path="xtend-gen"/> | 7 | <classpathentry kind="src" path="xtend-gen"/> |
8 | <classpathentry kind="src" path="queries"/> | ||
9 | <classpathentry kind="output" path="bin"/> | 8 | <classpathentry kind="output" path="bin"/> |
10 | </classpath> | 9 | </classpath> |
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/META-INF/MANIFEST.MF b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/META-INF/MANIFEST.MF index 8b69d9a8..2ea274a4 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/META-INF/MANIFEST.MF +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/META-INF/MANIFEST.MF | |||
@@ -3,11 +3,7 @@ Bundle-ManifestVersion: 2 | |||
3 | Bundle-Name: Test | 3 | Bundle-Name: Test |
4 | Bundle-SymbolicName: ca.mcgill.ecse.dslreasoner.vampire.test;singleton:=true | 4 | Bundle-SymbolicName: ca.mcgill.ecse.dslreasoner.vampire.test;singleton:=true |
5 | Bundle-Version: 1.0.0.qualifier | 5 | Bundle-Version: 1.0.0.qualifier |
6 | Export-Package: ca.mcgill.ecse.dslreasoner.vampire.queries, | 6 | Export-Package: ca.mcgill.ecse.dslreasoner.vampire.queries |
7 | ca.mcgill.ecse.dslreasoner.vampire.test.queries.ecore, | ||
8 | ca.mcgill.ecse.dslreasoner.vampire.test.queries.fam, | ||
9 | ca.mcgill.ecse.dslreasoner.vampire.test.queries.filesystem, | ||
10 | ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu | ||
11 | Require-Bundle: org.eclipse.viatra.addon.querybasedfeatures.runtime, | 7 | Require-Bundle: org.eclipse.viatra.addon.querybasedfeatures.runtime, |
12 | org.eclipse.emf.ecore, | 8 | org.eclipse.emf.ecore, |
13 | org.eclipse.viatra.query.runtime.rete, | 9 | org.eclipse.viatra.query.runtime.rete, |
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/build.properties b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/build.properties index efae4b07..aed85a48 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/build.properties +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/build.properties | |||
@@ -1,6 +1,5 @@ | |||
1 | bin.includes = META-INF/,\ | 1 | bin.includes = META-INF/,\ |
2 | . | 2 | . |
3 | source.. = src/,\ | 3 | source.. = src/,\ |
4 | src-gen/,\ | ||
5 | src-gen/ | 4 | src-gen/ |
6 | output.. = bin/ | 5 | output.. = bin/ |
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/plugin.xml b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/plugin.xml index 33dc7485..b0735f37 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/plugin.xml +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/plugin.xml | |||
@@ -1,238 +1,9 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?><plugin> | 1 | <?xml version="1.0" encoding="UTF-8"?><plugin> |
2 | <extension id="ca.mcgill.ecse.dslreasoner.vampire.queries.EcorePatterns" point="org.eclipse.viatra.query.runtime.queryspecification"> | ||
3 | <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:ca.mcgill.ecse.dslreasoner.vampire.queries.EcorePatterns" id="ca.mcgill.ecse.dslreasoner.vampire.queries.EcorePatterns"> | ||
4 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.directSupertype"/> | ||
5 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.loopInInheritence"/> | ||
6 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.opposite"/> | ||
7 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.nonSymmetricOpposite"/> | ||
8 | </group> | ||
9 | </extension> | ||
10 | <extension id="ca.mcgill.ecse.dslreasoner.vampire.queries.FamPatterns" point="org.eclipse.viatra.query.runtime.queryspecification"> | 2 | <extension id="ca.mcgill.ecse.dslreasoner.vampire.queries.FamPatterns" point="org.eclipse.viatra.query.runtime.queryspecification"> |
11 | <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:ca.mcgill.ecse.dslreasoner.vampire.queries.FamPatterns" id="ca.mcgill.ecse.dslreasoner.vampire.queries.FamPatterns"> | 3 | <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:ca.mcgill.ecse.dslreasoner.vampire.queries.FamPatterns" id="ca.mcgill.ecse.dslreasoner.vampire.queries.FamPatterns"> |
12 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.terminatorAndInformation"/> | 4 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.terminatorAndInformation"/> |
13 | </group> | 5 | </group> |
14 | </extension> | 6 | </extension> |
15 | <extension id="ca.mcgill.ecse.dslreasoner.vampire.queries.FileSystemPatterns" point="org.eclipse.viatra.query.runtime.queryspecification"> | ||
16 | <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:ca.mcgill.ecse.dslreasoner.vampire.queries.FileSystemPatterns" id="ca.mcgill.ecse.dslreasoner.vampire.queries.FileSystemPatterns"> | ||
17 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.patternContent"/> | ||
18 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.live"/> | ||
19 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.contentInNotLive"/> | ||
20 | </group> | ||
21 | </extension> | ||
22 | <extension id="ca.mcgill.ecse.dslreasoner.vampire.queries.YakinduMutatedPatterns" point="org.eclipse.viatra.query.runtime.queryspecification"> | ||
23 | <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:ca.mcgill.ecse.dslreasoner.vampire.queries.YakinduMutatedPatterns" id="ca.mcgill.ecse.dslreasoner.vampire.queries.YakinduMutatedPatterns"> | ||
24 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.entryInRegion_M0"/> | ||
25 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.entryInRegion_M1"/> | ||
26 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.entryInRegion_M2"/> | ||
27 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.noEntryInRegion_M0"/> | ||
28 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.noEntryInRegion_M1"/> | ||
29 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.noEntryInRegion_M2"/> | ||
30 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.noEntryInRegion_M3"/> | ||
31 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.noEntryInRegion_M4"/> | ||
32 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.noEntryInRegion_M5"/> | ||
33 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.multipleEntryInRegion_M0"/> | ||
34 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.multipleEntryInRegion_M1"/> | ||
35 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.multipleEntryInRegion_M2"/> | ||
36 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.multipleEntryInRegion_M3"/> | ||
37 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.multipleEntryInRegion_M4"/> | ||
38 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.multipleEntryInRegion_M5"/> | ||
39 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.transition_M0"/> | ||
40 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.transition_M1"/> | ||
41 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.transition_M2"/> | ||
42 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.transition_M3"/> | ||
43 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.transition_M4"/> | ||
44 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.incomingToEntry_M0"/> | ||
45 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.incomingToEntry_1"/> | ||
46 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.incomingToEntry_2"/> | ||
47 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.incomingToEntry_3"/> | ||
48 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.incomingToEntry_4"/> | ||
49 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.incomingToEntry_5"/> | ||
50 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.noOutgoingTransitionFromEntry_M0"/> | ||
51 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.noOutgoingTransitionFromEntry_M1"/> | ||
52 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.noOutgoingTransitionFromEntry_M2"/> | ||
53 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.noOutgoingTransitionFromEntry_M3"/> | ||
54 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.noOutgoingTransitionFromEntry_M4"/> | ||
55 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.noOutgoingTransitionFromEntry_M5"/> | ||
56 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.multipleTransitionFromEntry_M0"/> | ||
57 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.multipleTransitionFromEntry_M1"/> | ||
58 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.multipleTransitionFromEntry_M2"/> | ||
59 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.multipleTransitionFromEntry_M3"/> | ||
60 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.multipleTransitionFromEntry_M4"/> | ||
61 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.outgoingFromExit_M0"/> | ||
62 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.outgoingFromExit_M1"/> | ||
63 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.outgoingFromExit_M2"/> | ||
64 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.outgoingFromFinal_M0"/> | ||
65 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.outgoingFromFinal_M1"/> | ||
66 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.outgoingFromFinal_M2"/> | ||
67 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.noStateInRegion_M0"/> | ||
68 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.noStateInRegion_M1"/> | ||
69 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.noStateInRegion_M2"/> | ||
70 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.noStateInRegion_M3"/> | ||
71 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.StateInRegion_M0"/> | ||
72 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.StateInRegion_M1"/> | ||
73 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.StateInRegion_M2"/> | ||
74 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.choiceHasNoOutgoing_M0"/> | ||
75 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.choiceHasNoOutgoing_M1"/> | ||
76 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.choiceHasNoOutgoing_M2"/> | ||
77 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.choiceHasNoOutgoing_M3"/> | ||
78 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.choiceHasNoOutgoing_M4"/> | ||
79 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.choiceHasNoOutgoing_M5"/> | ||
80 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.choiceHasNoOutgoing_M6"/> | ||
81 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.choiceHasNoIncoming_M0"/> | ||
82 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.choiceHasNoIncoming_M1"/> | ||
83 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.choiceHasNoIncoming_M2"/> | ||
84 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.choiceHasNoIncoming_M3"/> | ||
85 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.choiceHasNoIncoming_M4"/> | ||
86 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.choiceHasNoIncoming_M5"/> | ||
87 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.choiceHasNoIncoming_M6"/> | ||
88 | </group> | ||
89 | </extension> | ||
90 | <extension id="ca.mcgill.ecse.dslreasoner.vampire.queries.YakinduPatterns" point="org.eclipse.viatra.query.runtime.queryspecification"> | ||
91 | <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:ca.mcgill.ecse.dslreasoner.vampire.queries.YakinduPatterns" id="ca.mcgill.ecse.dslreasoner.vampire.queries.YakinduPatterns"> | ||
92 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.entryInRegion"/> | ||
93 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.noEntryInRegion"/> | ||
94 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.multipleEntryInRegion"/> | ||
95 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.transition"/> | ||
96 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.incomingToEntry"/> | ||
97 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.noOutgoingTransitionFromEntry"/> | ||
98 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.multipleTransitionFromEntry"/> | ||
99 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.outgoingFromExit"/> | ||
100 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.outgoingFromFinal"/> | ||
101 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.noStateInRegion"/> | ||
102 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.StateInRegion"/> | ||
103 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.choiceHasNoOutgoing"/> | ||
104 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.choiceHasNoIncoming"/> | ||
105 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.synchHasNoOutgoing"/> | ||
106 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.synchHasNoIncoming"/> | ||
107 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.SynchronizedIncomingInSameRegion"/> | ||
108 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.notSynchronizingStates"/> | ||
109 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.hasMultipleOutgoingTrainsition"/> | ||
110 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.hasMultipleIncomingTrainsition"/> | ||
111 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.SynchronizedRegionsAreNotSiblings"/> | ||
112 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.child"/> | ||
113 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.SynchronizedRegionDoesNotHaveMultipleRegions"/> | ||
114 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.hasMultipleRegions"/> | ||
115 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.synchThree"/> | ||
116 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.twoSynch"/> | ||
117 | </group> | ||
118 | </extension> | ||
119 | <extension id="ca.mcgill.ecse.dslreasoner.vampire.test.queries.ecore.EcorePatterns" point="org.eclipse.viatra.query.runtime.queryspecification"> | ||
120 | <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:ca.mcgill.ecse.dslreasoner.vampire.test.queries.ecore.EcorePatterns" id="ca.mcgill.ecse.dslreasoner.vampire.test.queries.ecore.EcorePatterns"> | ||
121 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.ecore.directSupertype"/> | ||
122 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.ecore.loopInInheritence"/> | ||
123 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.ecore.opposite"/> | ||
124 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.ecore.nonSymmetricOpposite"/> | ||
125 | </group> | ||
126 | </extension> | ||
127 | <extension id="ca.mcgill.ecse.dslreasoner.vampire.test.queries.fam.FamPatterns" point="org.eclipse.viatra.query.runtime.queryspecification"> | ||
128 | <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:ca.mcgill.ecse.dslreasoner.vampire.test.queries.fam.FamPatterns" id="ca.mcgill.ecse.dslreasoner.vampire.test.queries.fam.FamPatterns"> | ||
129 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.fam.terminatorAndInformation"/> | ||
130 | </group> | ||
131 | </extension> | ||
132 | <extension id="ca.mcgill.ecse.dslreasoner.vampire.test.queries.filesystem.FileSystemPatterns" point="org.eclipse.viatra.query.runtime.queryspecification"> | ||
133 | <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:ca.mcgill.ecse.dslreasoner.vampire.test.queries.filesystem.FileSystemPatterns" id="ca.mcgill.ecse.dslreasoner.vampire.test.queries.filesystem.FileSystemPatterns"> | ||
134 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.filesystem.patternContent"/> | ||
135 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.filesystem.live"/> | ||
136 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.filesystem.contentInNotLive"/> | ||
137 | </group> | ||
138 | </extension> | ||
139 | <extension id="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.YakinduMutatedPatterns" point="org.eclipse.viatra.query.runtime.queryspecification"> | ||
140 | <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.YakinduMutatedPatterns" id="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.YakinduMutatedPatterns"> | ||
141 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.entryInRegion_M0"/> | ||
142 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.entryInRegion_M1"/> | ||
143 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.entryInRegion_M2"/> | ||
144 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.noEntryInRegion_M0"/> | ||
145 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.noEntryInRegion_M1"/> | ||
146 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.noEntryInRegion_M2"/> | ||
147 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.noEntryInRegion_M3"/> | ||
148 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.noEntryInRegion_M4"/> | ||
149 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.noEntryInRegion_M5"/> | ||
150 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.multipleEntryInRegion_M0"/> | ||
151 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.multipleEntryInRegion_M1"/> | ||
152 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.multipleEntryInRegion_M2"/> | ||
153 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.multipleEntryInRegion_M3"/> | ||
154 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.multipleEntryInRegion_M4"/> | ||
155 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.multipleEntryInRegion_M5"/> | ||
156 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.transition_M0"/> | ||
157 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.transition_M1"/> | ||
158 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.transition_M2"/> | ||
159 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.transition_M3"/> | ||
160 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.transition_M4"/> | ||
161 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.incomingToEntry_M0"/> | ||
162 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.incomingToEntry_1"/> | ||
163 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.incomingToEntry_2"/> | ||
164 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.incomingToEntry_3"/> | ||
165 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.incomingToEntry_4"/> | ||
166 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.incomingToEntry_5"/> | ||
167 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.noOutgoingTransitionFromEntry_M0"/> | ||
168 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.noOutgoingTransitionFromEntry_M1"/> | ||
169 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.noOutgoingTransitionFromEntry_M2"/> | ||
170 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.noOutgoingTransitionFromEntry_M3"/> | ||
171 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.noOutgoingTransitionFromEntry_M4"/> | ||
172 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.noOutgoingTransitionFromEntry_M5"/> | ||
173 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.multipleTransitionFromEntry_M0"/> | ||
174 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.multipleTransitionFromEntry_M1"/> | ||
175 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.multipleTransitionFromEntry_M2"/> | ||
176 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.multipleTransitionFromEntry_M3"/> | ||
177 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.multipleTransitionFromEntry_M4"/> | ||
178 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.outgoingFromExit_M0"/> | ||
179 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.outgoingFromExit_M1"/> | ||
180 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.outgoingFromExit_M2"/> | ||
181 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.outgoingFromFinal_M0"/> | ||
182 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.outgoingFromFinal_M1"/> | ||
183 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.outgoingFromFinal_M2"/> | ||
184 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.noStateInRegion_M0"/> | ||
185 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.noStateInRegion_M1"/> | ||
186 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.noStateInRegion_M2"/> | ||
187 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.noStateInRegion_M3"/> | ||
188 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.StateInRegion_M0"/> | ||
189 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.StateInRegion_M1"/> | ||
190 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.StateInRegion_M2"/> | ||
191 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.choiceHasNoOutgoing_M0"/> | ||
192 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.choiceHasNoOutgoing_M1"/> | ||
193 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.choiceHasNoOutgoing_M2"/> | ||
194 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.choiceHasNoOutgoing_M3"/> | ||
195 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.choiceHasNoOutgoing_M4"/> | ||
196 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.choiceHasNoOutgoing_M5"/> | ||
197 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.choiceHasNoOutgoing_M6"/> | ||
198 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.choiceHasNoIncoming_M0"/> | ||
199 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.choiceHasNoIncoming_M1"/> | ||
200 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.choiceHasNoIncoming_M2"/> | ||
201 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.choiceHasNoIncoming_M3"/> | ||
202 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.choiceHasNoIncoming_M4"/> | ||
203 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.choiceHasNoIncoming_M5"/> | ||
204 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.choiceHasNoIncoming_M6"/> | ||
205 | </group> | ||
206 | </extension> | ||
207 | <extension id="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.YakinduPatterns" point="org.eclipse.viatra.query.runtime.queryspecification"> | ||
208 | <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.YakinduPatterns" id="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.YakinduPatterns"> | ||
209 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.entryInRegion"/> | ||
210 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.noEntryInRegion"/> | ||
211 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.multipleEntryInRegion"/> | ||
212 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.transition"/> | ||
213 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.incomingToEntry"/> | ||
214 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.noOutgoingTransitionFromEntry"/> | ||
215 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.multipleTransitionFromEntry"/> | ||
216 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.outgoingFromExit"/> | ||
217 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.outgoingFromFinal"/> | ||
218 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.noStateInRegion"/> | ||
219 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.StateInRegion"/> | ||
220 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.choiceHasNoOutgoing"/> | ||
221 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.choiceHasNoIncoming"/> | ||
222 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.synchHasNoOutgoing"/> | ||
223 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.synchHasNoIncoming"/> | ||
224 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.SynchronizedIncomingInSameRegion"/> | ||
225 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.notSynchronizingStates"/> | ||
226 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.hasMultipleOutgoingTrainsition"/> | ||
227 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.hasMultipleIncomingTrainsition"/> | ||
228 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.SynchronizedRegionsAreNotSiblings"/> | ||
229 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.child"/> | ||
230 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.SynchronizedRegionDoesNotHaveMultipleRegions"/> | ||
231 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.hasMultipleRegions"/> | ||
232 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.synchThree"/> | ||
233 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.test.queries.yakindu.twoSynch"/> | ||
234 | </group> | ||
235 | </extension> | ||
236 | <extension id="extension.derived.ca.mcgill.ecse.dslreasoner.vampire.queries.live" point="org.eclipse.viatra.query.runtime.base.wellbehaving.derived.features"> | 7 | <extension id="extension.derived.ca.mcgill.ecse.dslreasoner.vampire.queries.live" point="org.eclipse.viatra.query.runtime.base.wellbehaving.derived.features"> |
237 | <wellbehaving-derived-feature classifier-name="FileSystem" feature-name="live" package-nsUri="FileSystemMetamodel"/> | 8 | <wellbehaving-derived-feature classifier-name="FileSystem" feature-name="live" package-nsUri="FileSystemMetamodel"/> |
238 | </extension> | 9 | </extension> |
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/EcoreTest.xtend b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/EcoreTest.xtend index 35b76350..70ded02d 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/EcoreTest.xtend +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/EcoreTest.xtend | |||
@@ -50,7 +50,7 @@ class EcoreTest { | |||
50 | it.documentationLevel = DocumentationLevel::FULL | 50 | it.documentationLevel = DocumentationLevel::FULL |
51 | ] | 51 | ] |
52 | 52 | ||
53 | solution = reasoner.solve(logicProblem, vampireConfig, workspace) | 53 | solution = reasoner.solve(logicProblem, vampireConfig, workspace, "ECO") |
54 | 54 | ||
55 | println("Problem solved") | 55 | println("Problem solved") |
56 | 56 | ||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend index 3c24abf9..4625bfbf 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend | |||
@@ -56,7 +56,7 @@ class FAMTest { | |||
56 | //Start Time | 56 | //Start Time |
57 | var startTime = System.currentTimeMillis | 57 | var startTime = System.currentTimeMillis |
58 | 58 | ||
59 | var LogicReasoner reasoner | 59 | var VampireSolver reasoner |
60 | // * | 60 | // * |
61 | reasoner = new VampireSolver | 61 | reasoner = new VampireSolver |
62 | 62 | ||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FileSystemTest.xtend b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FileSystemTest.xtend index ba7ff028..2495ab77 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FileSystemTest.xtend +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FileSystemTest.xtend | |||
@@ -1,13 +1,13 @@ | |||
1 | package ca.mcgill.ecse.dslreasoner.vampire.icse | 1 | package ca.mcgill.ecse.dslreasoner.vampire.icse |
2 | 2 | ||
3 | import ca.mcgill.ecse.dslreasoner.standalone.test.filesystem.Dir | ||
4 | import ca.mcgill.ecse.dslreasoner.standalone.test.filesystem.File | ||
3 | import ca.mcgill.ecse.dslreasoner.standalone.test.filesystem.filesystemPackage | 5 | import ca.mcgill.ecse.dslreasoner.standalone.test.filesystem.filesystemPackage |
4 | import ca.mcgill.ecse.dslreasoner.vampire.queries.FileSystemPatterns | ||
5 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolver | 6 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolver |
6 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolverConfiguration | 7 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolverConfiguration |
7 | import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic | 8 | import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic |
8 | import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2LogicConfiguration | 9 | import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2LogicConfiguration |
9 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.DocumentationLevel | 10 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.DocumentationLevel |
10 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicReasoner | ||
11 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult | 11 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult |
12 | import hu.bme.mit.inf.dslreasoner.viatra2logic.Viatra2Logic | 12 | import hu.bme.mit.inf.dslreasoner.viatra2logic.Viatra2Logic |
13 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic.InstanceModel2Logic | 13 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic.InstanceModel2Logic |
@@ -15,7 +15,6 @@ import hu.bme.mit.inf.dslreasoner.workspace.FileSystemWorkspace | |||
15 | import java.util.HashMap | 15 | import java.util.HashMap |
16 | import org.eclipse.emf.ecore.resource.Resource | 16 | import org.eclipse.emf.ecore.resource.Resource |
17 | import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl | 17 | import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl |
18 | import ca.mcgill.ecse.dslreasoner.standalone.test.filesystem.* | ||
19 | 18 | ||
20 | class FileSystemTest { | 19 | class FileSystemTest { |
21 | def static void main(String[] args) { | 20 | def static void main(String[] args) { |
@@ -38,7 +37,7 @@ class FileSystemTest { | |||
38 | 37 | ||
39 | val metamodel = GeneralTest.loadMetamodel(filesystemPackage.eINSTANCE) | 38 | val metamodel = GeneralTest.loadMetamodel(filesystemPackage.eINSTANCE) |
40 | val partialModel = GeneralTest.loadPartialModel(inputs, "fs/filesystemInstance.xmi") | 39 | val partialModel = GeneralTest.loadPartialModel(inputs, "fs/filesystemInstance.xmi") |
41 | val queries = GeneralTest.loadQueries(metamodel, FileSystemPatterns.instance) | 40 | // val queries = GeneralTest.loadQueries(metamodel, FileSystemPatterns.instance) |
42 | 41 | ||
43 | println("DSL loaded") | 42 | println("DSL loaded") |
44 | 43 | ||
@@ -53,7 +52,7 @@ class FileSystemTest { | |||
53 | // Start Time | 52 | // Start Time |
54 | var startTime = System.currentTimeMillis | 53 | var startTime = System.currentTimeMillis |
55 | 54 | ||
56 | var LogicReasoner reasoner | 55 | var VampireSolver reasoner |
57 | // * | 56 | // * |
58 | reasoner = new VampireSolver | 57 | reasoner = new VampireSolver |
59 | 58 | ||
@@ -87,7 +86,7 @@ class FileSystemTest { | |||
87 | it.uniquenessDuplicates = false | 86 | it.uniquenessDuplicates = false |
88 | ] | 87 | ] |
89 | 88 | ||
90 | var LogicResult solution = reasoner.solve(problem, vampireConfig, workspace) | 89 | var LogicResult solution = reasoner.solve(problem, vampireConfig, workspace, "FS") |
91 | 90 | ||
92 | /*/ | 91 | /*/ |
93 | * | 92 | * |
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.xtend b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.xtend index 76ac727a..fb1bdb59 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.xtend +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.xtend | |||
@@ -53,7 +53,7 @@ class YakinduTest { | |||
53 | // Start Time | 53 | // Start Time |
54 | var startTime = System.currentTimeMillis | 54 | var startTime = System.currentTimeMillis |
55 | 55 | ||
56 | var LogicReasoner reasoner | 56 | var VampireSolver reasoner |
57 | // * | 57 | // * |
58 | reasoner = new VampireSolver | 58 | reasoner = new VampireSolver |
59 | 59 | ||
@@ -85,7 +85,7 @@ class YakinduTest { | |||
85 | it.uniquenessDuplicates = false | 85 | it.uniquenessDuplicates = false |
86 | ] | 86 | ] |
87 | 87 | ||
88 | var LogicResult solution = reasoner.solve(problem, vampireConfig, workspace) | 88 | var LogicResult solution = reasoner.solve(problem, vampireConfig, workspace, "YAK") |
89 | 89 | ||
90 | /*/ | 90 | /*/ |
91 | * | 91 | * |
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/vampire.exe b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/vampire.exe new file mode 100644 index 00000000..51b44f82 --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/vampire.exe | |||
Binary files differ | |||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.EcoreTest.xtendbin b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.EcoreTest.xtendbin index 890872ea..1bf1d5cb 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.EcoreTest.xtendbin +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.EcoreTest.xtendbin | |||
Binary files differ | |||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.FAMTest.xtendbin b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.FAMTest.xtendbin index 8d7947e1..43e916e8 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.FAMTest.xtendbin +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.FAMTest.xtendbin | |||
Binary files differ | |||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.FileSystemTest.xtendbin b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.FileSystemTest.xtendbin index 91741fb2..8da3064a 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.FileSystemTest.xtendbin +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.FileSystemTest.xtendbin | |||
Binary files differ | |||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.GeneralTest.xtendbin b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.GeneralTest.xtendbin index e1fba1c4..241e8efd 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.GeneralTest.xtendbin +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.GeneralTest.xtendbin | |||
Binary files differ | |||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.YakinduTest.xtendbin b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.YakinduTest.xtendbin index 22b54964..e6e6bbf4 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.YakinduTest.xtendbin +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.YakinduTest.xtendbin | |||
Binary files differ | |||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/EcoreTest.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/EcoreTest.java index 7019f162..01503783 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/EcoreTest.java +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/EcoreTest.java | |||
@@ -1,68 +1,9 @@ | |||
1 | package ca.mcgill.ecse.dslreasoner.vampire.icse; | 1 | package ca.mcgill.ecse.dslreasoner.vampire.icse; |
2 | 2 | ||
3 | import ca.mcgill.ecse.dslreasoner.standalone.test.filesystem.filesystemPackage; | ||
4 | import ca.mcgill.ecse.dslreasoner.vampire.icse.GeneralTest; | ||
5 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolver; | ||
6 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolverConfiguration; | ||
7 | import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic; | ||
8 | import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2LogicConfiguration; | ||
9 | import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic_Trace; | ||
10 | import hu.bme.mit.inf.dslreasoner.ecore2logic.EcoreMetamodelDescriptor; | ||
11 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.DocumentationLevel; | ||
12 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicReasoner; | ||
13 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.TracedOutput; | ||
14 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem; | ||
15 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult; | ||
16 | import hu.bme.mit.inf.dslreasoner.logic2ecore.Logic2Ecore; | ||
17 | import hu.bme.mit.inf.dslreasoner.viatra2logic.Viatra2Logic; | ||
18 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic.InstanceModel2Logic; | ||
19 | import hu.bme.mit.inf.dslreasoner.workspace.FileSystemWorkspace; | ||
20 | import org.eclipse.emf.common.util.EList; | ||
21 | import org.eclipse.emf.ecore.EObject; | ||
22 | import org.eclipse.xtend2.lib.StringConcatenation; | ||
23 | import org.eclipse.xtext.xbase.lib.Exceptions; | ||
24 | import org.eclipse.xtext.xbase.lib.InputOutput; | ||
25 | import org.eclipse.xtext.xbase.lib.ObjectExtensions; | ||
26 | import org.eclipse.xtext.xbase.lib.Procedures.Procedure1; | ||
27 | |||
28 | @SuppressWarnings("all") | 3 | @SuppressWarnings("all") |
29 | public class EcoreTest { | 4 | public class EcoreTest { |
30 | public static void main(final String[] args) { | 5 | public static void main(final String[] args) { |
31 | try { | 6 | throw new Error("Unresolved compilation problems:" |
32 | StringConcatenation _builder = new StringConcatenation(); | 7 | + "\nInvalid number of arguments. The method solve(LogicProblem, LogicSolverConfiguration, ReasonerWorkspace) is not applicable for the arguments (LogicProblem,VampireSolverConfiguration,FileSystemWorkspace,String)"); |
33 | _builder.append("initialModels/"); | ||
34 | final FileSystemWorkspace inputs = new FileSystemWorkspace(_builder.toString(), ""); | ||
35 | StringConcatenation _builder_1 = new StringConcatenation(); | ||
36 | _builder_1.append("output/FEcoreTest/"); | ||
37 | final FileSystemWorkspace workspace = new FileSystemWorkspace(_builder_1.toString(), ""); | ||
38 | workspace.initAndClear(); | ||
39 | InputOutput.<String>println("Input and output workspaces are created"); | ||
40 | final EcoreMetamodelDescriptor metamodel = GeneralTest.loadMetamodel(filesystemPackage.eINSTANCE); | ||
41 | final EList<EObject> partialModel = GeneralTest.loadPartialModel(inputs, "fs/filesystemInstance.xmi"); | ||
42 | final Object queries = null; | ||
43 | InputOutput.<String>println("DSL loaded"); | ||
44 | final Ecore2Logic ecore2Logic = new Ecore2Logic(); | ||
45 | final Logic2Ecore logic2Ecore = new Logic2Ecore(ecore2Logic); | ||
46 | final Viatra2Logic viatra2Logic = new Viatra2Logic(ecore2Logic); | ||
47 | final InstanceModel2Logic instanceModel2Logic = new InstanceModel2Logic(); | ||
48 | Ecore2LogicConfiguration _ecore2LogicConfiguration = new Ecore2LogicConfiguration(); | ||
49 | final TracedOutput<LogicProblem, Ecore2Logic_Trace> modelGenerationProblem = ecore2Logic.transformMetamodel(metamodel, _ecore2LogicConfiguration); | ||
50 | final TracedOutput<LogicProblem, Ecore2Logic_Trace> modelExtensionProblem = instanceModel2Logic.transform(modelGenerationProblem, partialModel); | ||
51 | final LogicProblem logicProblem = modelGenerationProblem.getOutput(); | ||
52 | InputOutput.<String>println("Problem created"); | ||
53 | LogicResult solution = null; | ||
54 | LogicReasoner reasoner = null; | ||
55 | VampireSolver _vampireSolver = new VampireSolver(); | ||
56 | reasoner = _vampireSolver; | ||
57 | VampireSolverConfiguration _vampireSolverConfiguration = new VampireSolverConfiguration(); | ||
58 | final Procedure1<VampireSolverConfiguration> _function = (VampireSolverConfiguration it) -> { | ||
59 | it.documentationLevel = DocumentationLevel.FULL; | ||
60 | }; | ||
61 | final VampireSolverConfiguration vampireConfig = ObjectExtensions.<VampireSolverConfiguration>operator_doubleArrow(_vampireSolverConfiguration, _function); | ||
62 | solution = reasoner.solve(logicProblem, vampireConfig, workspace); | ||
63 | InputOutput.<String>println("Problem solved"); | ||
64 | } catch (Throwable _e) { | ||
65 | throw Exceptions.sneakyThrow(_e); | ||
66 | } | ||
67 | } | 8 | } |
68 | } | 9 | } |
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java index ddbe05d7..ac49a9aa 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java | |||
@@ -12,7 +12,6 @@ import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2LogicConfiguration; | |||
12 | import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic_Trace; | 12 | import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic_Trace; |
13 | import hu.bme.mit.inf.dslreasoner.ecore2logic.EcoreMetamodelDescriptor; | 13 | import hu.bme.mit.inf.dslreasoner.ecore2logic.EcoreMetamodelDescriptor; |
14 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.DocumentationLevel; | 14 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.DocumentationLevel; |
15 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicReasoner; | ||
16 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.TracedOutput; | 15 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.TracedOutput; |
17 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type; | 16 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type; |
18 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem; | 17 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem; |
@@ -62,7 +61,7 @@ public class FAMTest { | |||
62 | workspace.writeModel(problem, "Fam.logicproblem"); | 61 | workspace.writeModel(problem, "Fam.logicproblem"); |
63 | InputOutput.<String>println("Problem created"); | 62 | InputOutput.<String>println("Problem created"); |
64 | long startTime = System.currentTimeMillis(); | 63 | long startTime = System.currentTimeMillis(); |
65 | LogicReasoner reasoner = null; | 64 | VampireSolver reasoner = null; |
66 | VampireSolver _vampireSolver = new VampireSolver(); | 65 | VampireSolver _vampireSolver = new VampireSolver(); |
67 | reasoner = _vampireSolver; | 66 | reasoner = _vampireSolver; |
68 | final HashMap<Class, Integer> classMapMin = new HashMap<Class, Integer>(); | 67 | final HashMap<Class, Integer> classMapMin = new HashMap<Class, Integer>(); |
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FileSystemTest.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FileSystemTest.java index 4a971fd6..7579bd98 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FileSystemTest.java +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FileSystemTest.java | |||
@@ -4,7 +4,6 @@ import ca.mcgill.ecse.dslreasoner.standalone.test.filesystem.Dir; | |||
4 | import ca.mcgill.ecse.dslreasoner.standalone.test.filesystem.File; | 4 | import ca.mcgill.ecse.dslreasoner.standalone.test.filesystem.File; |
5 | import ca.mcgill.ecse.dslreasoner.standalone.test.filesystem.filesystemPackage; | 5 | import ca.mcgill.ecse.dslreasoner.standalone.test.filesystem.filesystemPackage; |
6 | import ca.mcgill.ecse.dslreasoner.vampire.icse.GeneralTest; | 6 | import ca.mcgill.ecse.dslreasoner.vampire.icse.GeneralTest; |
7 | import ca.mcgill.ecse.dslreasoner.vampire.queries.FileSystemPatterns; | ||
8 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolver; | 7 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolver; |
9 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolverConfiguration; | 8 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolverConfiguration; |
10 | import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic; | 9 | import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic; |
@@ -12,13 +11,11 @@ import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2LogicConfiguration; | |||
12 | import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic_Trace; | 11 | import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic_Trace; |
13 | import hu.bme.mit.inf.dslreasoner.ecore2logic.EcoreMetamodelDescriptor; | 12 | import hu.bme.mit.inf.dslreasoner.ecore2logic.EcoreMetamodelDescriptor; |
14 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.DocumentationLevel; | 13 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.DocumentationLevel; |
15 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicReasoner; | ||
16 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.TracedOutput; | 14 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.TracedOutput; |
17 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type; | 15 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type; |
18 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem; | 16 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem; |
19 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult; | 17 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult; |
20 | import hu.bme.mit.inf.dslreasoner.viatra2logic.Viatra2Logic; | 18 | import hu.bme.mit.inf.dslreasoner.viatra2logic.Viatra2Logic; |
21 | import hu.bme.mit.inf.dslreasoner.viatra2logic.ViatraQuerySetDescriptor; | ||
22 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic.InstanceModel2Logic; | 19 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic.InstanceModel2Logic; |
23 | import hu.bme.mit.inf.dslreasoner.workspace.FileSystemWorkspace; | 20 | import hu.bme.mit.inf.dslreasoner.workspace.FileSystemWorkspace; |
24 | import java.util.HashMap; | 21 | import java.util.HashMap; |
@@ -28,7 +25,6 @@ import org.eclipse.emf.ecore.EObject; | |||
28 | import org.eclipse.emf.ecore.resource.Resource; | 25 | import org.eclipse.emf.ecore.resource.Resource; |
29 | import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl; | 26 | import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl; |
30 | import org.eclipse.xtend2.lib.StringConcatenation; | 27 | import org.eclipse.xtend2.lib.StringConcatenation; |
31 | import org.eclipse.xtext.xbase.lib.Exceptions; | ||
32 | import org.eclipse.xtext.xbase.lib.InputOutput; | 28 | import org.eclipse.xtext.xbase.lib.InputOutput; |
33 | import org.eclipse.xtext.xbase.lib.ObjectExtensions; | 29 | import org.eclipse.xtext.xbase.lib.ObjectExtensions; |
34 | import org.eclipse.xtext.xbase.lib.Procedures.Procedure1; | 30 | import org.eclipse.xtext.xbase.lib.Procedures.Procedure1; |
@@ -36,75 +32,70 @@ import org.eclipse.xtext.xbase.lib.Procedures.Procedure1; | |||
36 | @SuppressWarnings("all") | 32 | @SuppressWarnings("all") |
37 | public class FileSystemTest { | 33 | public class FileSystemTest { |
38 | public static void main(final String[] args) { | 34 | public static void main(final String[] args) { |
39 | try { | 35 | final Ecore2Logic ecore2Logic = new Ecore2Logic(); |
40 | final Ecore2Logic ecore2Logic = new Ecore2Logic(); | 36 | final Viatra2Logic viatra2Logic = new Viatra2Logic(ecore2Logic); |
41 | final Viatra2Logic viatra2Logic = new Viatra2Logic(ecore2Logic); | 37 | final InstanceModel2Logic instanceModel2Logic = new InstanceModel2Logic(); |
42 | final InstanceModel2Logic instanceModel2Logic = new InstanceModel2Logic(); | 38 | StringConcatenation _builder = new StringConcatenation(); |
43 | StringConcatenation _builder = new StringConcatenation(); | 39 | _builder.append("initialModels/"); |
44 | _builder.append("initialModels/"); | 40 | final FileSystemWorkspace inputs = new FileSystemWorkspace(_builder.toString(), ""); |
45 | final FileSystemWorkspace inputs = new FileSystemWorkspace(_builder.toString(), ""); | 41 | StringConcatenation _builder_1 = new StringConcatenation(); |
46 | StringConcatenation _builder_1 = new StringConcatenation(); | 42 | _builder_1.append("output/FileSystemTest/"); |
47 | _builder_1.append("output/FileSystemTest/"); | 43 | final FileSystemWorkspace workspace = new FileSystemWorkspace(_builder_1.toString(), ""); |
48 | final FileSystemWorkspace workspace = new FileSystemWorkspace(_builder_1.toString(), ""); | 44 | workspace.initAndClear(); |
49 | workspace.initAndClear(); | 45 | final Resource.Factory.Registry reg = Resource.Factory.Registry.INSTANCE; |
50 | final Resource.Factory.Registry reg = Resource.Factory.Registry.INSTANCE; | 46 | final Map<String, Object> map = reg.getExtensionToFactoryMap(); |
51 | final Map<String, Object> map = reg.getExtensionToFactoryMap(); | 47 | XMIResourceFactoryImpl _xMIResourceFactoryImpl = new XMIResourceFactoryImpl(); |
52 | XMIResourceFactoryImpl _xMIResourceFactoryImpl = new XMIResourceFactoryImpl(); | 48 | map.put("logicproblem", _xMIResourceFactoryImpl); |
53 | map.put("logicproblem", _xMIResourceFactoryImpl); | 49 | InputOutput.<String>println("Input and output workspaces are created"); |
54 | InputOutput.<String>println("Input and output workspaces are created"); | 50 | final EcoreMetamodelDescriptor metamodel = GeneralTest.loadMetamodel(filesystemPackage.eINSTANCE); |
55 | final EcoreMetamodelDescriptor metamodel = GeneralTest.loadMetamodel(filesystemPackage.eINSTANCE); | 51 | final EList<EObject> partialModel = GeneralTest.loadPartialModel(inputs, "fs/filesystemInstance.xmi"); |
56 | final EList<EObject> partialModel = GeneralTest.loadPartialModel(inputs, "fs/filesystemInstance.xmi"); | 52 | InputOutput.<String>println("DSL loaded"); |
57 | final ViatraQuerySetDescriptor queries = GeneralTest.loadQueries(metamodel, FileSystemPatterns.instance()); | 53 | Ecore2LogicConfiguration _ecore2LogicConfiguration = new Ecore2LogicConfiguration(); |
58 | InputOutput.<String>println("DSL loaded"); | 54 | final TracedOutput<LogicProblem, Ecore2Logic_Trace> modelGenerationProblem = ecore2Logic.transformMetamodel(metamodel, _ecore2LogicConfiguration); |
59 | Ecore2LogicConfiguration _ecore2LogicConfiguration = new Ecore2LogicConfiguration(); | 55 | LogicProblem problem = modelGenerationProblem.getOutput(); |
60 | final TracedOutput<LogicProblem, Ecore2Logic_Trace> modelGenerationProblem = ecore2Logic.transformMetamodel(metamodel, _ecore2LogicConfiguration); | 56 | problem = instanceModel2Logic.transform(modelGenerationProblem, partialModel).getOutput(); |
61 | LogicProblem problem = modelGenerationProblem.getOutput(); | 57 | workspace.writeModel(problem, "FileSystem.logicproblem"); |
62 | problem = instanceModel2Logic.transform(modelGenerationProblem, partialModel).getOutput(); | 58 | InputOutput.<String>println("Problem created"); |
63 | workspace.writeModel(problem, "FileSystem.logicproblem"); | 59 | long startTime = System.currentTimeMillis(); |
64 | InputOutput.<String>println("Problem created"); | 60 | VampireSolver reasoner = null; |
65 | long startTime = System.currentTimeMillis(); | 61 | VampireSolver _vampireSolver = new VampireSolver(); |
66 | LogicReasoner reasoner = null; | 62 | reasoner = _vampireSolver; |
67 | VampireSolver _vampireSolver = new VampireSolver(); | 63 | final HashMap<Class, Integer> classMapMin = new HashMap<Class, Integer>(); |
68 | reasoner = _vampireSolver; | 64 | classMapMin.put(Dir.class, Integer.valueOf(10)); |
69 | final HashMap<Class, Integer> classMapMin = new HashMap<Class, Integer>(); | 65 | classMapMin.put(File.class, Integer.valueOf(5)); |
70 | classMapMin.put(Dir.class, Integer.valueOf(10)); | 66 | final Map<Type, Integer> typeMapMin = GeneralTest.getTypeMap(classMapMin, metamodel, ecore2Logic, modelGenerationProblem.getTrace()); |
71 | classMapMin.put(File.class, Integer.valueOf(5)); | 67 | final HashMap<Class, Integer> classMapMax = new HashMap<Class, Integer>(); |
72 | final Map<Type, Integer> typeMapMin = GeneralTest.getTypeMap(classMapMin, metamodel, ecore2Logic, modelGenerationProblem.getTrace()); | 68 | classMapMax.put(File.class, Integer.valueOf(15)); |
73 | final HashMap<Class, Integer> classMapMax = new HashMap<Class, Integer>(); | 69 | classMapMax.put(Dir.class, Integer.valueOf(15)); |
74 | classMapMax.put(File.class, Integer.valueOf(15)); | 70 | final Map<Type, Integer> typeMapMax = GeneralTest.getTypeMap(classMapMax, metamodel, ecore2Logic, modelGenerationProblem.getTrace()); |
75 | classMapMax.put(Dir.class, Integer.valueOf(15)); | 71 | VampireSolverConfiguration _vampireSolverConfiguration = new VampireSolverConfiguration(); |
76 | final Map<Type, Integer> typeMapMax = GeneralTest.getTypeMap(classMapMax, metamodel, ecore2Logic, modelGenerationProblem.getTrace()); | 72 | final Procedure1<VampireSolverConfiguration> _function = (VampireSolverConfiguration it) -> { |
77 | VampireSolverConfiguration _vampireSolverConfiguration = new VampireSolverConfiguration(); | 73 | it.documentationLevel = DocumentationLevel.FULL; |
78 | final Procedure1<VampireSolverConfiguration> _function = (VampireSolverConfiguration it) -> { | 74 | it.typeScopes.minNewElements = 10; |
79 | it.documentationLevel = DocumentationLevel.FULL; | 75 | it.typeScopes.maxNewElements = 25; |
80 | it.typeScopes.minNewElements = 10; | 76 | int _size = typeMapMin.size(); |
81 | it.typeScopes.maxNewElements = 25; | 77 | boolean _notEquals = (_size != 0); |
82 | int _size = typeMapMin.size(); | 78 | if (_notEquals) { |
83 | boolean _notEquals = (_size != 0); | 79 | it.typeScopes.minNewElementsByType = typeMapMin; |
84 | if (_notEquals) { | 80 | } |
85 | it.typeScopes.minNewElementsByType = typeMapMin; | 81 | int _size_1 = typeMapMin.size(); |
86 | } | 82 | boolean _notEquals_1 = (_size_1 != 0); |
87 | int _size_1 = typeMapMin.size(); | 83 | if (_notEquals_1) { |
88 | boolean _notEquals_1 = (_size_1 != 0); | 84 | it.typeScopes.maxNewElementsByType = typeMapMax; |
89 | if (_notEquals_1) { | 85 | } |
90 | it.typeScopes.maxNewElementsByType = typeMapMax; | 86 | it.contCycleLevel = 5; |
91 | } | 87 | it.uniquenessDuplicates = false; |
92 | it.contCycleLevel = 5; | 88 | }; |
93 | it.uniquenessDuplicates = false; | 89 | final VampireSolverConfiguration vampireConfig = ObjectExtensions.<VampireSolverConfiguration>operator_doubleArrow(_vampireSolverConfiguration, _function); |
94 | }; | 90 | LogicResult solution = reasoner.solve(problem, vampireConfig, workspace, "FS"); |
95 | final VampireSolverConfiguration vampireConfig = ObjectExtensions.<VampireSolverConfiguration>operator_doubleArrow(_vampireSolverConfiguration, _function); | 91 | long _currentTimeMillis = System.currentTimeMillis(); |
96 | LogicResult solution = reasoner.solve(problem, vampireConfig, workspace); | 92 | long _minus = (_currentTimeMillis - startTime); |
97 | long _currentTimeMillis = System.currentTimeMillis(); | 93 | long totalTimeMin = (_minus / 60000); |
98 | long _minus = (_currentTimeMillis - startTime); | 94 | long _currentTimeMillis_1 = System.currentTimeMillis(); |
99 | long totalTimeMin = (_minus / 60000); | 95 | long _minus_1 = (_currentTimeMillis_1 - startTime); |
100 | long _currentTimeMillis_1 = System.currentTimeMillis(); | 96 | long _divide = (_minus_1 / 1000); |
101 | long _minus_1 = (_currentTimeMillis_1 - startTime); | 97 | long totalTimeSec = (_divide % 60); |
102 | long _divide = (_minus_1 / 1000); | 98 | InputOutput.<String>println("Problem solved"); |
103 | long totalTimeSec = (_divide % 60); | 99 | InputOutput.<String>println(((("Time was: " + Long.valueOf(totalTimeMin)) + ":") + Long.valueOf(totalTimeSec))); |
104 | InputOutput.<String>println("Problem solved"); | ||
105 | InputOutput.<String>println(((("Time was: " + Long.valueOf(totalTimeMin)) + ":") + Long.valueOf(totalTimeSec))); | ||
106 | } catch (Throwable _e) { | ||
107 | throw Exceptions.sneakyThrow(_e); | ||
108 | } | ||
109 | } | 100 | } |
110 | } | 101 | } |
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.MedicalSystem.xtendbin b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.MedicalSystem.xtendbin index c33ed958..36edabcd 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.MedicalSystem.xtendbin +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.MedicalSystem.xtendbin | |||
Binary files differ | |||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.SimpleRun.xtendbin b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.SimpleRun.xtendbin index 9fecf93f..0d4e05e0 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.SimpleRun.xtendbin +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.SimpleRun.xtendbin | |||
Binary files differ | |||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.VampireTest.xtendbin b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.VampireTest.xtendbin index 7b5be981..f93484b4 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.VampireTest.xtendbin +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.VampireTest.xtendbin | |||
Binary files differ | |||