Merge remote-tracking branch 'origin/master' into Vampire-New

Merge Oszkar's Java-related commit

1 files changed, 2 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 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))