diff options
author | 2017-07-12 15:22:58 +0200 | |
---|---|---|
committer | 2017-07-12 15:29:58 +0200 | |
commit | 64bd54b9b61a2e20d5db6b1eb60b99331bed0a2f (patch) | |
tree | e545ee5c2dd669218ab0b217845940cfdcea8838 | |
parent | Added progress and basic statstic report to the yakindu model (diff) | |
download | VIATRA-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"
5 files changed, 8 insertions, 8 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) |
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/PartialInterpretation2Logic.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/PartialInterpretation2Logic.xtend index 39d8a365..87774f43 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/PartialInterpretation2Logic.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/PartialInterpretation2Logic.xtend | |||
@@ -57,7 +57,7 @@ class PartialInterpretation2Logic { | |||
57 | val newElements = new ArrayList(i.newElements) | 57 | val newElements = new ArrayList(i.newElements) |
58 | var newElementIndex = 1 | 58 | var newElementIndex = 1 |
59 | for(newElement : newElements) { | 59 | for(newElement : newElements) { |
60 | newElement.name = '''DefinedElement «newElementIndex++»''' | 60 | newElement.name = '''o «newElementIndex++»''' |
61 | p.elements += newElement | 61 | p.elements += newElement |
62 | } | 62 | } |
63 | } | 63 | } |
@@ -67,12 +67,12 @@ class PartialInterpretation2Logic { | |||
67 | val declaration = partialTypeDeclaration.interpretationOf | 67 | val declaration = partialTypeDeclaration.interpretationOf |
68 | 68 | ||
69 | val definedPart = createTypeDefinition => [ | 69 | val definedPart = createTypeDefinition => [ |
70 | it.name = '''DefinedPartOf «declaration.name»''' | 70 | it.name = '''«declaration.name» DefinedPart''' |
71 | it.elements += partialTypeDeclaration.elements | 71 | it.elements += partialTypeDeclaration.elements |
72 | it.isAbstract = declaration.isIsAbstract | 72 | it.isAbstract = declaration.isIsAbstract |
73 | ] | 73 | ] |
74 | val undefinedPart = createTypeDeclaration => [ | 74 | val undefinedPart = createTypeDeclaration => [ |
75 | it.name = '''UndefinedPartOf «declaration.name»''' | 75 | it.name = '''«declaration.name» UndefinedPart''' |
76 | it.isAbstract = declaration.isIsAbstract | 76 | it.isAbstract = declaration.isIsAbstract |
77 | ] | 77 | ] |
78 | declaration.isAbstract = true | 78 | declaration.isAbstract = true |