Removed unnecessary logging

2 files changed, 3 insertions, 0 deletions

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/EClassMapper.xtend b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/EClassMapper.xtend
index 82abd252..9c774dd9 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/EClassMapper.xtend
+++ b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/EClassMapper.xtend
@@ -31,6 +31,7 @@ class EClassMapper_AllElementAsObject implements EClassMapper{
                 }

                 for(c:classes) {

                         for(s : c.ESuperTypes) {

+                                //println('''«c.name» -> «s.name»''')

                                 Supertype(classMapperTrace.typeMap.get(c),classMapperTrace.typeMap.get(s))

                         }

                 }

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 4eb78bc6..179690dd 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
@@ -124,6 +124,8 @@ class EReferenceMapper_RelationsOverTypes implements EReferenceMapper{
                                 } else {

                                         val sourceType = reference.EContainingClass

                                         val targetType = reference.EType as EClass

+                                        //val name = '''oppositeReference «reference.name» «sourceType.name»'''

+                                        //println(name)

                                         val assertion = Assertion('''oppositeReference «reference.name» «sourceType.name»''',

                                                 Forall[

                                                         val src = addVar('''src''', trace.TypeofEClass(sourceType))