full Ecore -> Logic -> Ecore support

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
 

 interface EReferenceMapper{

         def void transformEReferences(Ecore2Logic_Trace trace, LogicProblem problem, Iterable<EReference> classes);

+        def Iterable<EReference> allReferencesInScope(Ecore2Logic_Trace trace) 

         def Term IsInReference(Ecore2Logic_Trace trace, TermDescription source, TermDescription target, EReference type)

         def RelationDeclaration relationOfReference(Ecore2Logic_Trace trace, EReference reference)

 }

@@ -151,4 +152,9 @@ class EReferenceMapper_RelationsOverTypes implements EReferenceMapper{
         override relationOfReference(Ecore2Logic_Trace trace, EReference reference) {

                 trace.referenceMapperTrace.asTrace.indicators.get(reference)

         }

+        

+        override allReferencesInScope(Ecore2Logic_Trace trace) {

+                trace.referenceMapperTrace.asTrace.indicators.keySet

+        }

+        

 }
\ No newline at end of file