From 64bd54b9b61a2e20d5db6b1eb60b99331bed0a2f Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Wed, 12 Jul 2017 15:22:58 +0200 Subject: Changed naming convention in generated logic problems. An identifier usually separated by whitespaces into name sections, creating hierarchic names. By convention names with at most three sections are represented in the following way: "nameOfObject typeOfObject namespaceOfObject". For example, the name of a relation "vertices" representing a "reference" in class "Region" will be: "vertices reference Region" --- .../src/hu/bme/mit/inf/dslreasoner/ecore2logic/EReferenceMapper.xtend | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/EReferenceMapper.xtend') 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 81c0858d..4eb78bc6 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 @@ -50,7 +50,7 @@ class EReferenceMapper_RelationsOverTypes implements EReferenceMapper{ trace.referenceMapperTrace.asTrace.indicators = new HashMap for(reference : references) { val relation = problem.add(RelationDeclaration( - '''inreference «reference.name» «reference.EContainingClass.name»''', + '''«reference.name» reference «reference.EContainingClass.name»''', TypeofEClass(trace,reference.EContainingClass), TypeofEClass(trace,reference.EType as EClass))) trace.referenceMapperTrace.asTrace.indicators.put(reference,relation as RelationDeclaration) -- cgit v1.2.3-54-g00ecf