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" --- .../partialinterpretation2logic/PartialInterpretation2Logic.xtend | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf') 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 { val newElements = new ArrayList(i.newElements) var newElementIndex = 1 for(newElement : newElements) { - newElement.name = '''DefinedElement «newElementIndex++»''' + newElement.name = '''o «newElementIndex++»''' p.elements += newElement } } @@ -67,12 +67,12 @@ class PartialInterpretation2Logic { val declaration = partialTypeDeclaration.interpretationOf val definedPart = createTypeDefinition => [ - it.name = '''DefinedPartOf «declaration.name»''' + it.name = '''«declaration.name» DefinedPart''' it.elements += partialTypeDeclaration.elements it.isAbstract = declaration.isIsAbstract ] val undefinedPart = createTypeDeclaration => [ - it.name = '''UndefinedPartOf «declaration.name»''' + it.name = '''«declaration.name» UndefinedPart''' it.isAbstract = declaration.isIsAbstract ] declaration.isAbstract = true -- cgit v1.2.3-54-g00ecf