From 94c8f0eb155b624b07b92db2504dd17991be3f0f Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Wed, 5 Jul 2017 14:03:32 +0200 Subject: full Ecore -> Logic -> Ecore support --- .../hu/bme/mit/inf/dslreasoner/ecore2logic/EReferenceMapper.xtend | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner') 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 classes); + def Iterable 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 -- cgit v1.2.3-70-g09d2