1 files changed, 7 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 2ac81bf6..3efde6ec 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
@@ -15,7 +15,7 @@ Command :
 ;

 

 QualifiedName returns ecore::EString:

-  ID (=>'.' ID)*;

+  ID ('.' ID)*;

 

 ///////////////////////////////////////////////////

 // Imports

@@ -106,10 +106,14 @@ enum Solver: SMTSolver | AlloySolver | ViatraSolver;
 ScopeSpecification: {ScopeSpecification} '{' 

                 (scopes += TypeScope (',' scopes += TypeScope)*)?

 '}';

-TypeScope: ( min = INT ( greather?='<' | greaterOrEqual?= '<='))? '#' type = TypeReference (( less?='<' | lessOrEqual?= '<=') max = INT)?;

+TypeScope: '#' type = TypeReference

+        (setsNew ?='+=' | setsSum ?= '=')

+        ( min = INT )

+        ('..' (maxUnlimited?='*' | max=INT))?

+;

 TypeReference: ClassReference | ObjectReference | IntegerReference | RealReference | StringReference;

 ClassReference: '[' element = MetamodelElement ']';

-ObjectReference: {ObjectReference} 'Object';

+ObjectReference: {ObjectReference} 'node';

 IntegerReference: {IntegerScope} 'int';

 RealReference: {RealScope} 'real';

 StringReference: {StringScope} 'string';