diff options
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/EReferenceMapper.xtend')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/EReferenceMapper.xtend | 2 |
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{ | |||
124 | } else { | 124 | } else { |
125 | val sourceType = reference.EContainingClass | 125 | val sourceType = reference.EContainingClass |
126 | val targetType = reference.EType as EClass | 126 | val targetType = reference.EType as EClass |
127 | //val name = '''oppositeReference «reference.name» «sourceType.name»''' | ||
128 | //println(name) | ||
127 | val assertion = Assertion('''oppositeReference «reference.name» «sourceType.name»''', | 129 | val assertion = Assertion('''oppositeReference «reference.name» «sourceType.name»''', |
128 | Forall[ | 130 | Forall[ |
129 | val src = addVar('''src''', trace.TypeofEClass(sourceType)) | 131 | val src = addVar('''src''', trace.TypeofEClass(sourceType)) |