Adjust vsconfig xtext to consider reals as EDouble rather than EBigDecimals

2 files changed, 2 insertions, 3 deletions

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/ApplicationConfiguration.xtext b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/ApplicationConfiguration.xtext
index 537989f7..cba06509 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/ApplicationConfiguration.xtext
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/ApplicationConfiguration.xtext
@@ -14,7 +14,7 @@ Command:
 QualifiedName returns ecore::EString:

         ID ('.' ID)*;

 

-REALLiteral returns ecore::EBigDecimal:

+REALLiteral returns ecore::EDouble:

         '-'? INT '.' INT;

 

 INTLiteral returns ecore::EInt:

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<Type, Set<DefinedElement>> knownElements, Ecore2Logic ecore2Logic, Ecore2Logic_Trace trace, List<String> inconsistencies) {

                 val number = scope.number

                 if(number instanceof RealEnumeration) {

-                        val x = number.entry;

-                        <BigDecimal>addToKnownCollection(aggregated.knownReals,x,scope.isSetsNew,inconsistencies)

+                        addToKnownCollection(aggregated.knownReals,number.entry,scope.isSetsNew,inconsistencies)

                         if(!scope.isSetsNew) {

                                 aggregated.maxNewReals = 0

                         }