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"

1 files changed, 2 insertions, 2 deletions

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/EEnumMapper.xtend b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/EEnumMapper.xtend
index eb7e9e44..82aee1e2 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/EEnumMapper.xtend
+++ b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/EEnumMapper.xtend
@@ -37,11 +37,11 @@ class EEnumMapper_PredefinedClasses implements EEnumMapper {
                 for(enum : enums) {

                         val l = new ArrayList<DefinedElement>(enum.ELiterals.size)

                         for(literal : enum.ELiterals.map[instance]) {

-                                val element = Element('''«literal.name» «enum.name»''')

+                                val element = Element('''«literal.name» literal «enum.name»''')

                                 l+=element

                                 enumTrace.literals.put(literal,element)

                         }

-                        val type = TypeDefinition('''enum «enum.name»''',false,l)

+                        val type = TypeDefinition('''«enum.name» enum''',false,l)

                         problem.add(type)

                         enumTrace.enums.put(enum,type)

                 }