1 files changed, 133 insertions, 2 deletions
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSemanticSequencer.java b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSemanticSequencer.java
index 9e973316..6f23dc7d 100644
--- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSemanticSequencer.java
+++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSemanticSequencer.java
@@ -45,6 +45,9 @@ import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSRunCommand;
 import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSigScope;
 import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureBody;
 import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureDeclaration;
+import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSString;
+import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringLiteral;
+import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringScope;
 import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSubset;
 import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSum;
 import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSUnaryMinus;
@@ -201,6 +204,15 @@ public class AlloyLanguageSemanticSequencer extends AbstractDelegatingSemanticSe
                        case AlloyLanguagePackage.ALS_SIGNATURE_DECLARATION:
                                sequence_ALSSignatureDeclaration(context, (ALSSignatureDeclaration) semanticObject); 
                                return; 
+                        case AlloyLanguagePackage.ALS_STRING:
+                                sequence_ALSBasicRelationTerm(context, (ALSString) semanticObject); 
+                                return; 
+                        case AlloyLanguagePackage.ALS_STRING_LITERAL:
+                                sequence_ALSBasicRelationTerm(context, (ALSStringLiteral) semanticObject); 
+                                return; 
+                        case AlloyLanguagePackage.ALS_STRING_SCOPE:
+                                sequence_ALSStringScope(context, (ALSStringScope) semanticObject); 
+                                return; 
                        case AlloyLanguagePackage.ALS_SUBSET:
                                sequence_ALSComparison(context, (ALSSubset) semanticObject); 
                                return; 
@@ -469,7 +481,7 @@ public class AlloyLanguageSemanticSequencer extends AbstractDelegatingSemanticSe
                                errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_NUMBER_LITERAL__VALUE));
                }
                SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
-                feeder.accept(grammarAccess.getALSBasicRelationTermAccess().getValueINTTerminalRuleCall_5_1_0(), semanticObject.getValue());
+                feeder.accept(grammarAccess.getALSBasicRelationTermAccess().getValueINTTerminalRuleCall_6_1_0(), semanticObject.getValue());
                feeder.finish();
        }
        
@@ -522,7 +534,107 @@ public class AlloyLanguageSemanticSequencer extends AbstractDelegatingSemanticSe
                                errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_REFERENCE__REFERRED));
                }
                SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
-                feeder.accept(grammarAccess.getALSBasicRelationTermAccess().getReferredALSRelationDeclarationIDTerminalRuleCall_4_1_0_1(), semanticObject.getReferred());
+                feeder.accept(grammarAccess.getALSBasicRelationTermAccess().getReferredALSRelationDeclarationIDTerminalRuleCall_5_1_0_1(), semanticObject.eGet(AlloyLanguagePackage.Literals.ALS_REFERENCE__REFERRED, false));
+                feeder.finish();
+        }
+        
+        
+        /**
+         * Contexts:
+         *     ALSTerm returns ALSString
+         *     ALSQuantified returns ALSString
+         *     ALSOr returns ALSString
+         *     ALSOr.ALSOr_1_0 returns ALSString
+         *     ALSIff returns ALSString
+         *     ALSIff.ALSIff_1_0 returns ALSString
+         *     ALSImpl returns ALSString
+         *     ALSImpl.ALSImpl_1_0 returns ALSString
+         *     ALSAnd returns ALSString
+         *     ALSAnd.ALSAnd_1_0 returns ALSString
+         *     ALSComparison returns ALSString
+         *     ALSComparison.ALSEquals_1_0_0_0 returns ALSString
+         *     ALSComparison.ALSNotEquals_1_0_1_0 returns ALSString
+         *     ALSComparison.ALSSubset_1_0_2_0 returns ALSString
+         *     ALSComparison.ALSLess_1_0_3_0 returns ALSString
+         *     ALSComparison.ALSLeq_1_0_4_0 returns ALSString
+         *     ALSComparison.ALSMore_1_0_5_0 returns ALSString
+         *     ALSComparison.ALSMeq_1_0_6_0 returns ALSString
+         *     ALSOverride returns ALSString
+         *     ALSOverride.ALSOverride_1_0 returns ALSString
+         *     ALSRangeRestrictionRight returns ALSString
+         *     ALSRangeRestrictionRight.ALSRangeRestrictionRight_1_0 returns ALSString
+         *     ALSRangeRestrictionLeft returns ALSString
+         *     ALSRangeRestrictionLeft.ALSRangeRestrictionLeft_1_0 returns ALSString
+         *     ALSJoin returns ALSString
+         *     ALSJoin.ALSJoin_1_0 returns ALSString
+         *     ALSMinus returns ALSString
+         *     ALSMinus.ALSMinus_1_0 returns ALSString
+         *     ALSPlus returns ALSString
+         *     ALSPlus.ALSPlus_1_0 returns ALSString
+         *     ALSIntersection returns ALSString
+         *     ALSIntersection.ALSIntersection_1_0 returns ALSString
+         *     ALSDirectProduct returns ALSString
+         *     ALSDirectProduct.ALSDirectProduct_1_0 returns ALSString
+         *     ALSPreficed returns ALSString
+         *     ALSBasicRelationTerm returns ALSString
+         *
+         * Constraint:
+         *     {ALSString}
+         */
+        protected void sequence_ALSBasicRelationTerm(ISerializationContext context, ALSString semanticObject) {
+                genericSequencer.createSequence(context, semanticObject);
+        }
+        
+        
+        /**
+         * Contexts:
+         *     ALSTerm returns ALSStringLiteral
+         *     ALSQuantified returns ALSStringLiteral
+         *     ALSOr returns ALSStringLiteral
+         *     ALSOr.ALSOr_1_0 returns ALSStringLiteral
+         *     ALSIff returns ALSStringLiteral
+         *     ALSIff.ALSIff_1_0 returns ALSStringLiteral
+         *     ALSImpl returns ALSStringLiteral
+         *     ALSImpl.ALSImpl_1_0 returns ALSStringLiteral
+         *     ALSAnd returns ALSStringLiteral
+         *     ALSAnd.ALSAnd_1_0 returns ALSStringLiteral
+         *     ALSComparison returns ALSStringLiteral
+         *     ALSComparison.ALSEquals_1_0_0_0 returns ALSStringLiteral
+         *     ALSComparison.ALSNotEquals_1_0_1_0 returns ALSStringLiteral
+         *     ALSComparison.ALSSubset_1_0_2_0 returns ALSStringLiteral
+         *     ALSComparison.ALSLess_1_0_3_0 returns ALSStringLiteral
+         *     ALSComparison.ALSLeq_1_0_4_0 returns ALSStringLiteral
+         *     ALSComparison.ALSMore_1_0_5_0 returns ALSStringLiteral
+         *     ALSComparison.ALSMeq_1_0_6_0 returns ALSStringLiteral
+         *     ALSOverride returns ALSStringLiteral
+         *     ALSOverride.ALSOverride_1_0 returns ALSStringLiteral
+         *     ALSRangeRestrictionRight returns ALSStringLiteral
+         *     ALSRangeRestrictionRight.ALSRangeRestrictionRight_1_0 returns ALSStringLiteral
+         *     ALSRangeRestrictionLeft returns ALSStringLiteral
+         *     ALSRangeRestrictionLeft.ALSRangeRestrictionLeft_1_0 returns ALSStringLiteral
+         *     ALSJoin returns ALSStringLiteral
+         *     ALSJoin.ALSJoin_1_0 returns ALSStringLiteral
+         *     ALSMinus returns ALSStringLiteral
+         *     ALSMinus.ALSMinus_1_0 returns ALSStringLiteral
+         *     ALSPlus returns ALSStringLiteral
+         *     ALSPlus.ALSPlus_1_0 returns ALSStringLiteral
+         *     ALSIntersection returns ALSStringLiteral
+         *     ALSIntersection.ALSIntersection_1_0 returns ALSStringLiteral
+         *     ALSDirectProduct returns ALSStringLiteral
+         *     ALSDirectProduct.ALSDirectProduct_1_0 returns ALSStringLiteral
+         *     ALSPreficed returns ALSStringLiteral
+         *     ALSBasicRelationTerm returns ALSStringLiteral
+         *
+         * Constraint:
+         *     value=STRING
+         */
+        protected void sequence_ALSBasicRelationTerm(ISerializationContext context, ALSStringLiteral semanticObject) {
+                if (errorAcceptor != null) {
+                        if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_STRING_LITERAL__VALUE) == ValueTransient.YES)
+                                errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_STRING_LITERAL__VALUE));
+                }
+                SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
+                feeder.accept(grammarAccess.getALSBasicRelationTermAccess().getValueSTRINGTerminalRuleCall_7_1_0(), semanticObject.getValue());
                feeder.finish();
        }
        
@@ -2212,6 +2324,25 @@ public class AlloyLanguageSemanticSequencer extends AbstractDelegatingSemanticSe
        
        /**
         * Contexts:
+         *     ALSTypeScope returns ALSStringScope
+         *     ALSStringScope returns ALSStringScope
+         *
+         * Constraint:
+         *     number=INT
+         */
+        protected void sequence_ALSStringScope(ISerializationContext context, ALSStringScope semanticObject) {
+                if (errorAcceptor != null) {
+                        if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_TYPE_SCOPE__NUMBER) == ValueTransient.YES)
+                                errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_TYPE_SCOPE__NUMBER));
+                }
+                SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
+                feeder.accept(grammarAccess.getALSStringScopeAccess().getNumberINTTerminalRuleCall_1_0(), semanticObject.getNumber());
+                feeder.finish();
+        }
+        
+        
+        /**
+         * Contexts:
         *     ALSRelationDeclaration returns ALSVariableDeclaration
         *     ALSVariableDeclaration returns ALSVariableDeclaration
         *

diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSemanticSequencer.java b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSemanticSequencer.java index 9e973316..6f23dc7d 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSemanticSequencer.java +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSemanticSequencer.java
@@ -45,6 +45,9 @@ import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSRunCommand;
45	import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSigScope;	45	import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSigScope;
46	import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureBody;	46	import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureBody;
47	import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureDeclaration;	47	import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureDeclaration;
		48	import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSString;
		49	import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringLiteral;
		50	import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringScope;
48	import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSubset;	51	import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSubset;
49	import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSum;	52	import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSum;
50	import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSUnaryMinus;	53	import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSUnaryMinus;
@@ -201,6 +204,15 @@ public class AlloyLanguageSemanticSequencer extends AbstractDelegatingSemanticSe
201	case AlloyLanguagePackage.ALS_SIGNATURE_DECLARATION:	204	case AlloyLanguagePackage.ALS_SIGNATURE_DECLARATION:
202	sequence_ALSSignatureDeclaration(context, (ALSSignatureDeclaration) semanticObject);	205	sequence_ALSSignatureDeclaration(context, (ALSSignatureDeclaration) semanticObject);
203	return;	206	return;
		207	case AlloyLanguagePackage.ALS_STRING:
		208	sequence_ALSBasicRelationTerm(context, (ALSString) semanticObject);
		209	return;
		210	case AlloyLanguagePackage.ALS_STRING_LITERAL:
		211	sequence_ALSBasicRelationTerm(context, (ALSStringLiteral) semanticObject);
		212	return;
		213	case AlloyLanguagePackage.ALS_STRING_SCOPE:
		214	sequence_ALSStringScope(context, (ALSStringScope) semanticObject);
		215	return;
204	case AlloyLanguagePackage.ALS_SUBSET:	216	case AlloyLanguagePackage.ALS_SUBSET:
205	sequence_ALSComparison(context, (ALSSubset) semanticObject);	217	sequence_ALSComparison(context, (ALSSubset) semanticObject);
206	return;	218	return;
@@ -469,7 +481,7 @@ public class AlloyLanguageSemanticSequencer extends AbstractDelegatingSemanticSe
469	errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_NUMBER_LITERAL__VALUE));	481	errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_NUMBER_LITERAL__VALUE));
470	}	482	}
471	SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);	483	SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
472	feeder.accept(grammarAccess.getALSBasicRelationTermAccess().getValueINTTerminalRuleCall_5_1_0(), semanticObject.getValue());	484	feeder.accept(grammarAccess.getALSBasicRelationTermAccess().getValueINTTerminalRuleCall_6_1_0(), semanticObject.getValue());
473	feeder.finish();	485	feeder.finish();
474	}	486	}
475		487
@@ -522,7 +534,107 @@ public class AlloyLanguageSemanticSequencer extends AbstractDelegatingSemanticSe
522	errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_REFERENCE__REFERRED));	534	errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_REFERENCE__REFERRED));
523	}	535	}
524	SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);	536	SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
525	feeder.accept(grammarAccess.getALSBasicRelationTermAccess().getReferredALSRelationDeclarationIDTerminalRuleCall_4_1_0_1(), semanticObject.getReferred());	537	feeder.accept(grammarAccess.getALSBasicRelationTermAccess().getReferredALSRelationDeclarationIDTerminalRuleCall_5_1_0_1(), semanticObject.eGet(AlloyLanguagePackage.Literals.ALS_REFERENCE__REFERRED, false));
		538	feeder.finish();
		539	}
		540
		541
		542	/**
		543	* Contexts:
		544	* ALSTerm returns ALSString
		545	* ALSQuantified returns ALSString
		546	* ALSOr returns ALSString
		547	* ALSOr.ALSOr_1_0 returns ALSString
		548	* ALSIff returns ALSString
		549	* ALSIff.ALSIff_1_0 returns ALSString
		550	* ALSImpl returns ALSString
		551	* ALSImpl.ALSImpl_1_0 returns ALSString
		552	* ALSAnd returns ALSString
		553	* ALSAnd.ALSAnd_1_0 returns ALSString
		554	* ALSComparison returns ALSString
		555	* ALSComparison.ALSEquals_1_0_0_0 returns ALSString
		556	* ALSComparison.ALSNotEquals_1_0_1_0 returns ALSString
		557	* ALSComparison.ALSSubset_1_0_2_0 returns ALSString
		558	* ALSComparison.ALSLess_1_0_3_0 returns ALSString
		559	* ALSComparison.ALSLeq_1_0_4_0 returns ALSString
		560	* ALSComparison.ALSMore_1_0_5_0 returns ALSString
		561	* ALSComparison.ALSMeq_1_0_6_0 returns ALSString
		562	* ALSOverride returns ALSString
		563	* ALSOverride.ALSOverride_1_0 returns ALSString
		564	* ALSRangeRestrictionRight returns ALSString
		565	* ALSRangeRestrictionRight.ALSRangeRestrictionRight_1_0 returns ALSString
		566	* ALSRangeRestrictionLeft returns ALSString
		567	* ALSRangeRestrictionLeft.ALSRangeRestrictionLeft_1_0 returns ALSString
		568	* ALSJoin returns ALSString
		569	* ALSJoin.ALSJoin_1_0 returns ALSString
		570	* ALSMinus returns ALSString
		571	* ALSMinus.ALSMinus_1_0 returns ALSString
		572	* ALSPlus returns ALSString
		573	* ALSPlus.ALSPlus_1_0 returns ALSString
		574	* ALSIntersection returns ALSString
		575	* ALSIntersection.ALSIntersection_1_0 returns ALSString
		576	* ALSDirectProduct returns ALSString
		577	* ALSDirectProduct.ALSDirectProduct_1_0 returns ALSString
		578	* ALSPreficed returns ALSString
		579	* ALSBasicRelationTerm returns ALSString
		580	*
		581	* Constraint:
		582	* {ALSString}
		583	*/
		584	protected void sequence_ALSBasicRelationTerm(ISerializationContext context, ALSString semanticObject) {
		585	genericSequencer.createSequence(context, semanticObject);
		586	}
		587
		588
		589	/**
		590	* Contexts:
		591	* ALSTerm returns ALSStringLiteral
		592	* ALSQuantified returns ALSStringLiteral
		593	* ALSOr returns ALSStringLiteral
		594	* ALSOr.ALSOr_1_0 returns ALSStringLiteral
		595	* ALSIff returns ALSStringLiteral
		596	* ALSIff.ALSIff_1_0 returns ALSStringLiteral
		597	* ALSImpl returns ALSStringLiteral
		598	* ALSImpl.ALSImpl_1_0 returns ALSStringLiteral
		599	* ALSAnd returns ALSStringLiteral
		600	* ALSAnd.ALSAnd_1_0 returns ALSStringLiteral
		601	* ALSComparison returns ALSStringLiteral
		602	* ALSComparison.ALSEquals_1_0_0_0 returns ALSStringLiteral
		603	* ALSComparison.ALSNotEquals_1_0_1_0 returns ALSStringLiteral
		604	* ALSComparison.ALSSubset_1_0_2_0 returns ALSStringLiteral
		605	* ALSComparison.ALSLess_1_0_3_0 returns ALSStringLiteral
		606	* ALSComparison.ALSLeq_1_0_4_0 returns ALSStringLiteral
		607	* ALSComparison.ALSMore_1_0_5_0 returns ALSStringLiteral
		608	* ALSComparison.ALSMeq_1_0_6_0 returns ALSStringLiteral
		609	* ALSOverride returns ALSStringLiteral
		610	* ALSOverride.ALSOverride_1_0 returns ALSStringLiteral
		611	* ALSRangeRestrictionRight returns ALSStringLiteral
		612	* ALSRangeRestrictionRight.ALSRangeRestrictionRight_1_0 returns ALSStringLiteral
		613	* ALSRangeRestrictionLeft returns ALSStringLiteral
		614	* ALSRangeRestrictionLeft.ALSRangeRestrictionLeft_1_0 returns ALSStringLiteral
		615	* ALSJoin returns ALSStringLiteral
		616	* ALSJoin.ALSJoin_1_0 returns ALSStringLiteral
		617	* ALSMinus returns ALSStringLiteral
		618	* ALSMinus.ALSMinus_1_0 returns ALSStringLiteral
		619	* ALSPlus returns ALSStringLiteral
		620	* ALSPlus.ALSPlus_1_0 returns ALSStringLiteral
		621	* ALSIntersection returns ALSStringLiteral
		622	* ALSIntersection.ALSIntersection_1_0 returns ALSStringLiteral
		623	* ALSDirectProduct returns ALSStringLiteral
		624	* ALSDirectProduct.ALSDirectProduct_1_0 returns ALSStringLiteral
		625	* ALSPreficed returns ALSStringLiteral
		626	* ALSBasicRelationTerm returns ALSStringLiteral
		627	*
		628	* Constraint:
		629	* value=STRING
		630	*/
		631	protected void sequence_ALSBasicRelationTerm(ISerializationContext context, ALSStringLiteral semanticObject) {
		632	if (errorAcceptor != null) {
		633	if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_STRING_LITERAL__VALUE) == ValueTransient.YES)
		634	errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_STRING_LITERAL__VALUE));
		635	}
		636	SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
		637	feeder.accept(grammarAccess.getALSBasicRelationTermAccess().getValueSTRINGTerminalRuleCall_7_1_0(), semanticObject.getValue());
526	feeder.finish();	638	feeder.finish();
527	}	639	}
528		640
@@ -2212,6 +2324,25 @@ public class AlloyLanguageSemanticSequencer extends AbstractDelegatingSemanticSe
2212		2324
2213	/**	2325	/**
2214	* Contexts:	2326	* Contexts:
		2327	* ALSTypeScope returns ALSStringScope
		2328	* ALSStringScope returns ALSStringScope
		2329	*
		2330	* Constraint:
		2331	* number=INT
		2332	*/
		2333	protected void sequence_ALSStringScope(ISerializationContext context, ALSStringScope semanticObject) {
		2334	if (errorAcceptor != null) {
		2335	if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_TYPE_SCOPE__NUMBER) == ValueTransient.YES)
		2336	errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_TYPE_SCOPE__NUMBER));
		2337	}
		2338	SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
		2339	feeder.accept(grammarAccess.getALSStringScopeAccess().getNumberINTTerminalRuleCall_1_0(), semanticObject.getNumber());
		2340	feeder.finish();
		2341	}
		2342
		2343
		2344	/**
		2345	* Contexts:
2215	* ALSRelationDeclaration returns ALSVariableDeclaration	2346	* ALSRelationDeclaration returns ALSVariableDeclaration
2216	* ALSVariableDeclaration returns ALSVariableDeclaration	2347	* ALSVariableDeclaration returns ALSVariableDeclaration
2217	*	2348	*