Added methods to decide which attribure or enum type is mapped ot the

logic problem.

1 files changed, 6 insertions, 0 deletions

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/AttributeMapper.xtend b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/AttributeMapper.xtend
index b78ad89f..74f82a13 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/AttributeMapper.xtend
+++ b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/AttributeMapper.xtend
@@ -18,6 +18,7 @@ interface EAttributeMapper {
         def Term IsAttributeValue(Ecore2Logic_Trace trace, TermDescription object, TermDescription value, EAttribute attribute)

         def RelationDeclaration relationOfAttribute(Ecore2Logic_Trace trace, EAttribute attribute)

         def TypeDescriptor TypeOfRange(Ecore2Logic_Trace trace, EAttribute attribute)

+        def Iterable<EAttribute> allAttributesInScope(Ecore2Logic_Trace trace) 

 }

 

 class EAttributeMapper_RelationsOverTypes_Trace implements Trace<EAttributeMapper_RelationsOverTypes>{

@@ -116,4 +117,9 @@ class EAttributeMapper_RelationsOverTypes implements EAttributeMapper {
         override relationOfAttribute(Ecore2Logic_Trace trace, EAttribute attribute) {

                 trace.attributeMapperTrace.asTrace.indicators.get(attribute)

         }

+        

+        override allAttributesInScope(Ecore2Logic_Trace trace) {

+                trace.attributeMapperTrace.asTrace.indicators.keySet

+        }

+        

 }
\ No newline at end of file