diff options
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src')
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) |