diff options
author | 2017-07-05 14:03:32 +0200 | |
---|---|---|
committer | 2017-07-05 14:03:32 +0200 | |
commit | 94c8f0eb155b624b07b92db2504dd17991be3f0f (patch) | |
tree | e8871f5f5458092e9185355f787fa5ff26709225 /Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src | |
parent | When there is a definition to a declaration in the logic problem, the (diff) | |
download | VIATRA-Generator-94c8f0eb155b624b07b92db2504dd17991be3f0f.tar.gz VIATRA-Generator-94c8f0eb155b624b07b92db2504dd17991be3f0f.tar.zst VIATRA-Generator-94c8f0eb155b624b07b92db2504dd17991be3f0f.zip |
full Ecore -> Logic -> Ecore support
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/EReferenceMapper.xtend | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/EReferenceMapper.xtend b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/EReferenceMapper.xtend index e5de6584..81c0858d 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/EReferenceMapper.xtend +++ b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/EReferenceMapper.xtend | |||
@@ -14,6 +14,7 @@ import org.eclipse.emf.ecore.EReference | |||
14 | 14 | ||
15 | interface EReferenceMapper{ | 15 | interface EReferenceMapper{ |
16 | def void transformEReferences(Ecore2Logic_Trace trace, LogicProblem problem, Iterable<EReference> classes); | 16 | def void transformEReferences(Ecore2Logic_Trace trace, LogicProblem problem, Iterable<EReference> classes); |
17 | def Iterable<EReference> allReferencesInScope(Ecore2Logic_Trace trace) | ||
17 | def Term IsInReference(Ecore2Logic_Trace trace, TermDescription source, TermDescription target, EReference type) | 18 | def Term IsInReference(Ecore2Logic_Trace trace, TermDescription source, TermDescription target, EReference type) |
18 | def RelationDeclaration relationOfReference(Ecore2Logic_Trace trace, EReference reference) | 19 | def RelationDeclaration relationOfReference(Ecore2Logic_Trace trace, EReference reference) |
19 | } | 20 | } |
@@ -151,4 +152,9 @@ class EReferenceMapper_RelationsOverTypes implements EReferenceMapper{ | |||
151 | override relationOfReference(Ecore2Logic_Trace trace, EReference reference) { | 152 | override relationOfReference(Ecore2Logic_Trace trace, EReference reference) { |
152 | trace.referenceMapperTrace.asTrace.indicators.get(reference) | 153 | trace.referenceMapperTrace.asTrace.indicators.get(reference) |
153 | } | 154 | } |
155 | |||
156 | override allReferencesInScope(Ecore2Logic_Trace trace) { | ||
157 | trace.referenceMapperTrace.asTrace.indicators.keySet | ||
158 | } | ||
159 | |||
154 | } \ No newline at end of file | 160 | } \ No newline at end of file |