1 files changed, 9 insertions, 6 deletions

diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src/hu/bme/mit/inf/dslreasoner/AlloyLanguage.xtext b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src/hu/bme/mit/inf/dslreasoner/AlloyLanguage.xtext
index 6d5fcf58..468d453a 100644
--- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src/hu/bme/mit/inf/dslreasoner/AlloyLanguage.xtext
+++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src/hu/bme/mit/inf/dslreasoner/AlloyLanguage.xtext
@@ -128,12 +128,14 @@ enum ALSNumericOperator: plus|sub|mul|rem|div;
 ALSVariableDeclaration: name=ALSID ':'  range = ALSTerm;

 

 ALSBasicRelationTerm returns ALSTerm: 

-        {ALSNone} 'none'|

-        {ALSIden} 'iden'|

-        {ALSUniv} 'univ'|

-        {ALSInt}  'Int' |

+        {ALSNone}   'none'|

+        {ALSIden}   'iden'|

+        {ALSUniv}   'univ'|

+        {ALSInt}    'Int' |

+        {ALSString} 'String' |

         {ALSReference} referred = [ALSRelationDeclaration] |

         {ALSNumberLiteral} value = INT|

+        {ALSStringLiteral} value = STRING|

         '(' ALSTerm ')'

 ;

 

@@ -143,7 +145,8 @@ ALSBasicRelationTerm returns ALSTerm:
 ALSRunCommand:

         {ALSRunCommand} 'run' '{' '}' ('for' typeScopes+=ALSTypeScope (',' typeScopes+=ALSTypeScope)*)?;
 
-ALSTypeScope: ALSSigScope | ALSIntScope;
+ALSTypeScope: ALSSigScope | ALSIntScope | ALSStringScope;
 
 ALSSigScope: (exactly?='exactly')? number = INT type = [ALSSignatureDeclaration];

-ALSIntScope: number = INT 'Int';
\ No newline at end of file
+ALSIntScope: number = INT 'Int';

+ALSStringScope: 'exactly' number = INT 'String';
\ No newline at end of file