diff options
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme')
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: | |||
14 | QualifiedName returns ecore::EString: | 14 | QualifiedName returns ecore::EString: |
15 | ID ('.' ID)*; | 15 | ID ('.' ID)*; |
16 | 16 | ||
17 | REALLiteral returns ecore::EBigDecimal: | 17 | REALLiteral returns ecore::EDouble: |
18 | '-'? INT '.' INT; | 18 | '-'? INT '.' INT; |
19 | 19 | ||
20 | INTLiteral returns ecore::EInt: | 20 | 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 { | |||
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 | } |