aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src
diff options
context:
space:
mode:
authorLibravatar OszkarSemerath <oszka@SEMERATH-LAPTOP>2017-07-12 15:22:58 +0200
committerLibravatar OszkarSemerath <oszka@SEMERATH-LAPTOP>2017-07-12 15:29:58 +0200
commit64bd54b9b61a2e20d5db6b1eb60b99331bed0a2f (patch)
treee545ee5c2dd669218ab0b217845940cfdcea8838 /Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src
parentAdded progress and basic statstic report to the yakindu model (diff)
downloadVIATRA-Generator-64bd54b9b61a2e20d5db6b1eb60b99331bed0a2f.tar.gz
VIATRA-Generator-64bd54b9b61a2e20d5db6b1eb60b99331bed0a2f.tar.zst
VIATRA-Generator-64bd54b9b61a2e20d5db6b1eb60b99331bed0a2f.zip
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"
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src')
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/AttributeMapper.xtend2
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/EClassMapper.xtend2
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/EEnumMapper.xtend4
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/EReferenceMapper.xtend2
4 files changed, 5 insertions, 5 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/AttributeMapper.xtend b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/AttributeMapper.xtend
index ebf49196..b78ad89f 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/AttributeMapper.xtend
+++ b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/AttributeMapper.xtend
@@ -47,7 +47,7 @@ class EAttributeMapper_RelationsOverTypes implements EAttributeMapper {
47 val rangeType = trace.TypeOfRange(attribute) 47 val rangeType = trace.TypeOfRange(attribute)
48 48
49 // relations 49 // relations
50 val indicator = '''inAttribute «attribute.name» «attribute.EContainingClass.name»'''.RelationDeclaration(sourceType,rangeType) 50 val indicator = '''«attribute.name» attribute «attribute.EContainingClass.name»'''.RelationDeclaration(sourceType,rangeType)
51 51
52 logicProblem.add(indicator) 52 logicProblem.add(indicator)
53 attributeMapperTrace.indicators.put(attribute,indicator) 53 attributeMapperTrace.indicators.put(attribute,indicator)
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 3949749b..82abd252 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
@@ -26,7 +26,7 @@ class EClassMapper_AllElementAsObject implements EClassMapper{
26 val classMapperTrace = new EClassMapper_AllElementAsObject_Trace 26 val classMapperTrace = new EClassMapper_AllElementAsObject_Trace
27 trace.classMapperTrace = classMapperTrace 27 trace.classMapperTrace = classMapperTrace
28 for(c:classes) { 28 for(c:classes) {
29 val logicType = problem.add(TypeDeclaration('''class «c.name»''',c.isAbstract || c.isInterface)) 29 val logicType = problem.add(TypeDeclaration('''«c.name» class''',c.isAbstract || c.isInterface))
30 classMapperTrace.typeMap.put(c,logicType) 30 classMapperTrace.typeMap.put(c,logicType)
31 } 31 }
32 for(c:classes) { 32 for(c:classes) {
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 {
37 for(enum : enums) { 37 for(enum : enums) {
38 val l = new ArrayList<DefinedElement>(enum.ELiterals.size) 38 val l = new ArrayList<DefinedElement>(enum.ELiterals.size)
39 for(literal : enum.ELiterals.map[instance]) { 39 for(literal : enum.ELiterals.map[instance]) {
40 val element = Element('''«literal.name» «enum.name»''') 40 val element = Element('''«literal.name» literal «enum.name»''')
41 l+=element 41 l+=element
42 enumTrace.literals.put(literal,element) 42 enumTrace.literals.put(literal,element)
43 } 43 }
44 val type = TypeDefinition('''enum «enum.name»''',false,l) 44 val type = TypeDefinition('''«enum.name» enum''',false,l)
45 problem.add(type) 45 problem.add(type)
46 enumTrace.enums.put(enum,type) 46 enumTrace.enums.put(enum,type)
47 } 47 }
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{
50 trace.referenceMapperTrace.asTrace.indicators = new HashMap 50 trace.referenceMapperTrace.asTrace.indicators = new HashMap
51 for(reference : references) { 51 for(reference : references) {
52 val relation = problem.add(RelationDeclaration( 52 val relation = problem.add(RelationDeclaration(
53 '''inreference «reference.name» «reference.EContainingClass.name»''', 53 '''«reference.name» reference «reference.EContainingClass.name»''',
54 TypeofEClass(trace,reference.EContainingClass), 54 TypeofEClass(trace,reference.EContainingClass),
55 TypeofEClass(trace,reference.EType as EClass))) 55 TypeofEClass(trace,reference.EType as EClass)))
56 trace.referenceMapperTrace.asTrace.indicators.put(reference,relation as RelationDeclaration) 56 trace.referenceMapperTrace.asTrace.indicators.put(reference,relation as RelationDeclaration)