From 0de1dbfaed208ba70863abe3671f868f168bc9cd Mon Sep 17 00:00:00 2001 From: Aren Babikian Date: Thu, 14 Jan 2021 13:07:08 -0500 Subject: Adjust vsconfig xtext to consider reals as EDouble rather than EBigDecimals --- .../hu/bme/mit/inf/dslreasoner/application/execution/ScopeLoader.xtend | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution') diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScopeLoader.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScopeLoader.xtend index 6d6ad85e..ff775ad5 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScopeLoader.xtend +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScopeLoader.xtend @@ -148,8 +148,7 @@ class ScopeLoader { def dispatch setSpecification(RealTypeScope scope, TypeScopes aggregated, Map> knownElements, Ecore2Logic ecore2Logic, Ecore2Logic_Trace trace, List inconsistencies) { val number = scope.number if(number instanceof RealEnumeration) { - val x = number.entry; - addToKnownCollection(aggregated.knownReals,x,scope.isSetsNew,inconsistencies) + addToKnownCollection(aggregated.knownReals,number.entry,scope.isSetsNew,inconsistencies) if(!scope.isSetsNew) { aggregated.maxNewReals = 0 } -- cgit v1.2.3-70-g09d2