diff options
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/ApplicationConfiguration.xtext')
-rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/ApplicationConfiguration.xtext | 10 |
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 : | |||
15 | ; | 15 | ; |
16 | 16 | ||
17 | QualifiedName returns ecore::EString: | 17 | QualifiedName returns ecore::EString: |
18 | ID (=>'.' ID)*; | 18 | ID ('.' ID)*; |
19 | 19 | ||
20 | /////////////////////////////////////////////////// | 20 | /////////////////////////////////////////////////// |
21 | // Imports | 21 | // Imports |
@@ -106,10 +106,14 @@ enum Solver: SMTSolver | AlloySolver | ViatraSolver; | |||
106 | ScopeSpecification: {ScopeSpecification} '{' | 106 | ScopeSpecification: {ScopeSpecification} '{' |
107 | (scopes += TypeScope (',' scopes += TypeScope)*)? | 107 | (scopes += TypeScope (',' scopes += TypeScope)*)? |
108 | '}'; | 108 | '}'; |
109 | TypeScope: ( min = INT ( greather?='<' | greaterOrEqual?= '<='))? '#' type = TypeReference (( less?='<' | lessOrEqual?= '<=') max = INT)?; | 109 | TypeScope: '#' type = TypeReference |
110 | (setsNew ?='+=' | setsSum ?= '=') | ||
111 | ( min = INT ) | ||
112 | ('..' (maxUnlimited?='*' | max=INT))? | ||
113 | ; | ||
110 | TypeReference: ClassReference | ObjectReference | IntegerReference | RealReference | StringReference; | 114 | TypeReference: ClassReference | ObjectReference | IntegerReference | RealReference | StringReference; |
111 | ClassReference: '[' element = MetamodelElement ']'; | 115 | ClassReference: '[' element = MetamodelElement ']'; |
112 | ObjectReference: {ObjectReference} 'Object'; | 116 | ObjectReference: {ObjectReference} 'node'; |
113 | IntegerReference: {IntegerScope} 'int'; | 117 | IntegerReference: {IntegerScope} 'int'; |
114 | RealReference: {RealScope} 'real'; | 118 | RealReference: {RealScope} 'real'; |
115 | StringReference: {StringScope} 'string'; | 119 | StringReference: {StringScope} 'string'; |