diff options
author | 2019-02-17 19:04:34 +0100 | |
---|---|---|
committer | 2019-02-17 19:04:34 +0100 | |
commit | d60363d1124f0e6ae6a02795e7dd1ff17a028d32 (patch) | |
tree | 19e68547634b12f06f75f6929b007fdc18cb5595 /Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner | |
parent | Removed visualisation test (diff) | |
download | VIATRA-Generator-d60363d1124f0e6ae6a02795e7dd1ff17a028d32.tar.gz VIATRA-Generator-d60363d1124f0e6ae6a02795e7dd1ff17a028d32.tar.zst VIATRA-Generator-d60363d1124f0e6ae6a02795e7dd1ff17a028d32.zip |
Removed unnecessary logging
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner')
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{ | |||
31 | } | 31 | } |
32 | for(c:classes) { | 32 | for(c:classes) { |
33 | for(s : c.ESuperTypes) { | 33 | for(s : c.ESuperTypes) { |
34 | //println('''«c.name» -> «s.name»''') | ||
34 | Supertype(classMapperTrace.typeMap.get(c),classMapperTrace.typeMap.get(s)) | 35 | Supertype(classMapperTrace.typeMap.get(c),classMapperTrace.typeMap.get(s)) |
35 | } | 36 | } |
36 | } | 37 | } |
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)) |