From c0568c4373fa00e2ba2e165cfd681dd7cd61add6 Mon Sep 17 00:00:00 2001 From: Oszkar Semerath Date: Mon, 18 May 2020 21:45:19 +0200 Subject: removed every occurence of check expressions --- .../logic2viatra/rules/RefinementRuleProvider.xtend | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/RefinementRuleProvider.xtend') diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/RefinementRuleProvider.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/RefinementRuleProvider.xtend index 16438a5a..23ea118b 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/RefinementRuleProvider.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/RefinementRuleProvider.xtend @@ -413,9 +413,6 @@ class RefinementRuleProvider { newElement.name = '''new «interpretation.newElements.size»''' } - // Existence - interpretation.newElements+=newElement - // Types typeInterpretation.elements += newElement if(typeInterpretation instanceof PartialComplexTypeInterpretation) { @@ -431,6 +428,9 @@ class RefinementRuleProvider { // Scope propagation scopePropagator.propagateAdditionToType(typeInterpretation) + // Existence + interpretation.newElements+=newElement + // Do recursive object creation for(newConstructor : recursiceObjectCreations) { createObjectAction(nameNewElement,newConstructor,newElement,scopePropagator) @@ -454,9 +454,6 @@ class RefinementRuleProvider { newElement.name = '''new «interpretation.newElements.size»''' } - // Existence - interpretation.newElements+=newElement - // Types typeInterpretation.elements += newElement if(typeInterpretation instanceof PartialComplexTypeInterpretation) { @@ -469,6 +466,9 @@ class RefinementRuleProvider { // Scope propagation scopePropagator.propagateAdditionToType(typeInterpretation) + // Existence + interpretation.newElements+=newElement + // Do recursive object creation for(newConstructor : recursiceObjectCreations) { createObjectAction(nameNewElement,newConstructor,newElement,scopePropagator) @@ -490,9 +490,6 @@ class RefinementRuleProvider { newElement.name = '''new «interpretation.newElements.size»''' } - // Existence - interpretation.newElements+=newElement - // Types typeInterpretation.elements += newElement if(typeInterpretation instanceof PartialComplexTypeInterpretation) { @@ -502,6 +499,9 @@ class RefinementRuleProvider { // Scope propagation scopePropagator.propagateAdditionToType(typeInterpretation) + // Existence + interpretation.newElements+=newElement + // Do recursive object creation for(newConstructor : recursiceObjectCreations) { createObjectAction(nameNewElement,newConstructor,newElement,scopePropagator) -- cgit v1.2.3-70-g09d2