diff options
author | 2017-10-13 13:35:03 +0200 | |
---|---|---|
committer | 2017-10-13 13:35:03 +0200 | |
commit | fe2881fe9c09372ac4a5cc54e96b439d024dffd9 (patch) | |
tree | 3504ac660491293154ca2cb566a68ba8ce635c39 /Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper.xtend | |
parent | Refactoring of Alloy type mapping and interpretation. (diff) | |
download | VIATRA-Generator-fe2881fe9c09372ac4a5cc54e96b439d024dffd9.tar.gz VIATRA-Generator-fe2881fe9c09372ac4a5cc54e96b439d024dffd9.tar.zst VIATRA-Generator-fe2881fe9c09372ac4a5cc54e96b439d024dffd9.zip |
:lipstick:
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper.xtend')
-rw-r--r-- | Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper.xtend | 17 |
1 files changed, 8 insertions, 9 deletions
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper.xtend b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper.xtend index d6c62f54..ee7c092a 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper.xtend +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper.xtend | |||
@@ -1,6 +1,7 @@ | |||
1 | package hu.bme.mit.inf.dlsreasoner.alloy.reasoner.builder | 1 | package hu.bme.mit.inf.dlsreasoner.alloy.reasoner.builder |
2 | 2 | ||
3 | import hu.bme.mit.inf.dlsreasoner.alloy.reasoner.AlloySolverConfiguration | 3 | import hu.bme.mit.inf.dlsreasoner.alloy.reasoner.AlloySolverConfiguration |
4 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDirectProduct | ||
4 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDocument | 5 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDocument |
5 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSEnumLiteral | 6 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSEnumLiteral |
6 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMultiplicity | 7 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMultiplicity |
@@ -8,6 +9,9 @@ import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSNumericOperator | |||
8 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSTerm | 9 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSTerm |
9 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSVariableDeclaration | 10 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSVariableDeclaration |
10 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguageFactory | 11 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguageFactory |
12 | import hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.InverseRelationAssertion | ||
13 | import hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.LowerMultiplicityAssertion | ||
14 | import hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.UpperMultiplicityAssertion | ||
11 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicSolverConfiguration | 15 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicSolverConfiguration |
12 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.TracedOutput | 16 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.TracedOutput |
13 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.And | 17 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.And |
@@ -46,8 +50,12 @@ import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDeclaration | |||
46 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDefinition | 50 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDefinition |
47 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicValue | 51 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicValue |
48 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Term | 52 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Term |
53 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TransitiveClosure | ||
49 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Variable | 54 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Variable |
55 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation | ||
56 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation | ||
50 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem | 57 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem |
58 | import java.util.Collection | ||
51 | import java.util.Collections | 59 | import java.util.Collections |
52 | import java.util.HashMap | 60 | import java.util.HashMap |
53 | import java.util.List | 61 | import java.util.List |
@@ -57,15 +65,6 @@ import org.eclipse.viatra.query.runtime.emf.EMFScope | |||
57 | import org.eclipse.xtend.lib.annotations.Accessors | 65 | import org.eclipse.xtend.lib.annotations.Accessors |
58 | 66 | ||
59 | import static extension hu.bme.mit.inf.dslreasoner.util.CollectionsUtil.* | 67 | import static extension hu.bme.mit.inf.dslreasoner.util.CollectionsUtil.* |
60 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation | ||
61 | import hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.InverseRelationAssertion | ||
62 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation | ||
63 | import java.util.Collection | ||
64 | import hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.LowerMultiplicityAssertion | ||
65 | import hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.UpperMultiplicityAssertion | ||
66 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDirectProduct | ||
67 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TransitiveClosure | ||
68 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation | ||
69 | 68 | ||
70 | class Logic2AlloyLanguageMapper { | 69 | class Logic2AlloyLanguageMapper { |
71 | private val extension AlloyLanguageFactory factory = AlloyLanguageFactory.eINSTANCE | 70 | private val extension AlloyLanguageFactory factory = AlloyLanguageFactory.eINSTANCE |