diff options
author | Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-01-14 13:07:08 -0500 |
---|---|---|
committer | Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-01-14 13:07:08 -0500 |
commit | 0de1dbfaed208ba70863abe3671f868f168bc9cd (patch) | |
tree | 24961120f0d94d4da6fd1ac03e6776e224d493b0 /Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScopeLoader.xtend | |
parent | Add aird file for crossingScenario Ecore (diff) | |
download | VIATRA-Generator-0de1dbfaed208ba70863abe3671f868f168bc9cd.tar.gz VIATRA-Generator-0de1dbfaed208ba70863abe3671f868f168bc9cd.tar.zst VIATRA-Generator-0de1dbfaed208ba70863abe3671f868f168bc9cd.zip |
Adjust vsconfig xtext to consider reals as EDouble rather than EBigDecimals
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScopeLoader.xtend')
-rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScopeLoader.xtend | 3 |
1 files changed, 1 insertions, 2 deletions
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 { | |||
148 | def dispatch setSpecification(RealTypeScope scope, TypeScopes aggregated, Map<Type, Set<DefinedElement>> knownElements, Ecore2Logic ecore2Logic, Ecore2Logic_Trace trace, List<String> inconsistencies) { | 148 | def dispatch setSpecification(RealTypeScope scope, TypeScopes aggregated, Map<Type, Set<DefinedElement>> knownElements, Ecore2Logic ecore2Logic, Ecore2Logic_Trace trace, List<String> inconsistencies) { |
149 | val number = scope.number | 149 | val number = scope.number |
150 | if(number instanceof RealEnumeration) { | 150 | if(number instanceof RealEnumeration) { |
151 | val x = number.entry; | 151 | addToKnownCollection(aggregated.knownReals,number.entry,scope.isSetsNew,inconsistencies) |
152 | <BigDecimal>addToKnownCollection(aggregated.knownReals,x,scope.isSetsNew,inconsistencies) | ||
153 | if(!scope.isSetsNew) { | 152 | if(!scope.isSetsNew) { |
154 | aggregated.maxNewReals = 0 | 153 | aggregated.maxNewReals = 0 |
155 | } | 154 | } |