diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-03-07 17:29:18 -0500 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:22:48 -0400 |
commit | 0380611be40f8f92256455e117f2f3c04b7dd216 (patch) | |
tree | 87feff0aadaa0395299d040bfe83adf77773bd58 /Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.java | |
parent | Fix Enum handling for Paradox Integration (diff) | |
download | VIATRA-Generator-0380611be40f8f92256455e117f2f3c04b7dd216.tar.gz VIATRA-Generator-0380611be40f8f92256455e117f2f3c04b7dd216.tar.zst VIATRA-Generator-0380611be40f8f92256455e117f2f3c04b7dd216.zip |
Improve TypeScope handling
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.java')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.java | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.java index 5e4df399..c902bd10 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.java +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.java | |||
@@ -2,6 +2,7 @@ package ca.mcgill.ecse.dslreasoner.vampire.icse; | |||
2 | 2 | ||
3 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolver; | 3 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolver; |
4 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolverConfiguration; | 4 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolverConfiguration; |
5 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguageFactory; | ||
5 | import com.google.common.base.Objects; | 6 | import com.google.common.base.Objects; |
6 | import com.google.common.collect.Iterables; | 7 | import com.google.common.collect.Iterables; |
7 | import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic; | 8 | import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic; |
@@ -39,6 +40,7 @@ import org.eclipse.viatra.query.runtime.api.IQuerySpecification; | |||
39 | import org.eclipse.viatra.query.runtime.matchers.psystem.annotations.PAnnotation; | 40 | import org.eclipse.viatra.query.runtime.matchers.psystem.annotations.PAnnotation; |
40 | import org.eclipse.xtext.xbase.lib.CollectionLiterals; | 41 | import org.eclipse.xtext.xbase.lib.CollectionLiterals; |
41 | import org.eclipse.xtext.xbase.lib.Exceptions; | 42 | import org.eclipse.xtext.xbase.lib.Exceptions; |
43 | import org.eclipse.xtext.xbase.lib.Extension; | ||
42 | import org.eclipse.xtext.xbase.lib.Functions.Function1; | 44 | import org.eclipse.xtext.xbase.lib.Functions.Function1; |
43 | import org.eclipse.xtext.xbase.lib.InputOutput; | 45 | import org.eclipse.xtext.xbase.lib.InputOutput; |
44 | import org.eclipse.xtext.xbase.lib.IterableExtensions; | 46 | import org.eclipse.xtext.xbase.lib.IterableExtensions; |
@@ -52,6 +54,8 @@ public class GeneralTest { | |||
52 | try { | 54 | try { |
53 | String _xblockexpression = null; | 55 | String _xblockexpression = null; |
54 | { | 56 | { |
57 | @Extension | ||
58 | final VampireLanguageFactory factory = VampireLanguageFactory.eINSTANCE; | ||
55 | final Ecore2Logic ecore2Logic = new Ecore2Logic(); | 59 | final Ecore2Logic ecore2Logic = new Ecore2Logic(); |
56 | final Logic2Ecore logic2Ecore = new Logic2Ecore(ecore2Logic); | 60 | final Logic2Ecore logic2Ecore = new Logic2Ecore(ecore2Logic); |
57 | final Viatra2Logic viatra2Logic = new Viatra2Logic(ecore2Logic); | 61 | final Viatra2Logic viatra2Logic = new Viatra2Logic(ecore2Logic); |
@@ -68,7 +72,8 @@ public class GeneralTest { | |||
68 | VampireSolverConfiguration _vampireSolverConfiguration = new VampireSolverConfiguration(); | 72 | VampireSolverConfiguration _vampireSolverConfiguration = new VampireSolverConfiguration(); |
69 | final Procedure1<VampireSolverConfiguration> _function = (VampireSolverConfiguration it) -> { | 73 | final Procedure1<VampireSolverConfiguration> _function = (VampireSolverConfiguration it) -> { |
70 | it.documentationLevel = DocumentationLevel.FULL; | 74 | it.documentationLevel = DocumentationLevel.FULL; |
71 | it.typeScopes.minNewElements = 5; | 75 | it.typeScopes.minNewElements = 3; |
76 | it.typeScopes.maxNewElements = 6; | ||
72 | }; | 77 | }; |
73 | final VampireSolverConfiguration vampireConfig = ObjectExtensions.<VampireSolverConfiguration>operator_doubleArrow(_vampireSolverConfiguration, _function); | 78 | final VampireSolverConfiguration vampireConfig = ObjectExtensions.<VampireSolverConfiguration>operator_doubleArrow(_vampireSolverConfiguration, _function); |
74 | solution = reasoner.solve(problem, vampireConfig, workspace); | 79 | solution = reasoner.solve(problem, vampireConfig, workspace); |