diff options
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer')
2 files changed, 150 insertions, 17 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; | |||
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 | * |
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSyntacticSequencer.java b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSyntacticSequencer.java index cb2da160..4a5cad5d 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSyntacticSequencer.java +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSyntacticSequencer.java | |||
@@ -22,8 +22,8 @@ public class AlloyLanguageSyntacticSequencer extends AbstractSyntacticSequencer | |||
22 | 22 | ||
23 | protected AlloyLanguageGrammarAccess grammarAccess; | 23 | protected AlloyLanguageGrammarAccess grammarAccess; |
24 | protected AbstractElementAlias match_ALSAnd_AmpersandAmpersandKeyword_1_1_0_or_AndKeyword_1_1_1; | 24 | protected AbstractElementAlias match_ALSAnd_AmpersandAmpersandKeyword_1_1_0_or_AndKeyword_1_1_1; |
25 | protected AbstractElementAlias match_ALSBasicRelationTerm_LeftParenthesisKeyword_6_0_a; | 25 | protected AbstractElementAlias match_ALSBasicRelationTerm_LeftParenthesisKeyword_8_0_a; |
26 | protected AbstractElementAlias match_ALSBasicRelationTerm_LeftParenthesisKeyword_6_0_p; | 26 | protected AbstractElementAlias match_ALSBasicRelationTerm_LeftParenthesisKeyword_8_0_p; |
27 | protected AbstractElementAlias match_ALSIff_IffKeyword_1_1_1_or_LessThanSignEqualsSignGreaterThanSignKeyword_1_1_0; | 27 | protected AbstractElementAlias match_ALSIff_IffKeyword_1_1_1_or_LessThanSignEqualsSignGreaterThanSignKeyword_1_1_0; |
28 | protected AbstractElementAlias match_ALSImpl_EqualsSignGreaterThanSignKeyword_1_1_0_or_ImpliesKeyword_1_1_1; | 28 | protected AbstractElementAlias match_ALSImpl_EqualsSignGreaterThanSignKeyword_1_1_0_or_ImpliesKeyword_1_1_1; |
29 | protected AbstractElementAlias match_ALSOr_OrKeyword_1_1_1_or_VerticalLineVerticalLineKeyword_1_1_0; | 29 | protected AbstractElementAlias match_ALSOr_OrKeyword_1_1_1_or_VerticalLineVerticalLineKeyword_1_1_0; |
@@ -33,8 +33,8 @@ public class AlloyLanguageSyntacticSequencer extends AbstractSyntacticSequencer | |||
33 | protected void init(IGrammarAccess access) { | 33 | protected void init(IGrammarAccess access) { |
34 | grammarAccess = (AlloyLanguageGrammarAccess) access; | 34 | grammarAccess = (AlloyLanguageGrammarAccess) access; |
35 | match_ALSAnd_AmpersandAmpersandKeyword_1_1_0_or_AndKeyword_1_1_1 = new AlternativeAlias(false, false, new TokenAlias(false, false, grammarAccess.getALSAndAccess().getAmpersandAmpersandKeyword_1_1_0()), new TokenAlias(false, false, grammarAccess.getALSAndAccess().getAndKeyword_1_1_1())); | 35 | match_ALSAnd_AmpersandAmpersandKeyword_1_1_0_or_AndKeyword_1_1_1 = new AlternativeAlias(false, false, new TokenAlias(false, false, grammarAccess.getALSAndAccess().getAmpersandAmpersandKeyword_1_1_0()), new TokenAlias(false, false, grammarAccess.getALSAndAccess().getAndKeyword_1_1_1())); |
36 | match_ALSBasicRelationTerm_LeftParenthesisKeyword_6_0_a = new TokenAlias(true, true, grammarAccess.getALSBasicRelationTermAccess().getLeftParenthesisKeyword_6_0()); | 36 | match_ALSBasicRelationTerm_LeftParenthesisKeyword_8_0_a = new TokenAlias(true, true, grammarAccess.getALSBasicRelationTermAccess().getLeftParenthesisKeyword_8_0()); |
37 | match_ALSBasicRelationTerm_LeftParenthesisKeyword_6_0_p = new TokenAlias(true, false, grammarAccess.getALSBasicRelationTermAccess().getLeftParenthesisKeyword_6_0()); | 37 | match_ALSBasicRelationTerm_LeftParenthesisKeyword_8_0_p = new TokenAlias(true, false, grammarAccess.getALSBasicRelationTermAccess().getLeftParenthesisKeyword_8_0()); |
38 | match_ALSIff_IffKeyword_1_1_1_or_LessThanSignEqualsSignGreaterThanSignKeyword_1_1_0 = new AlternativeAlias(false, false, new TokenAlias(false, false, grammarAccess.getALSIffAccess().getIffKeyword_1_1_1()), new TokenAlias(false, false, grammarAccess.getALSIffAccess().getLessThanSignEqualsSignGreaterThanSignKeyword_1_1_0())); | 38 | match_ALSIff_IffKeyword_1_1_1_or_LessThanSignEqualsSignGreaterThanSignKeyword_1_1_0 = new AlternativeAlias(false, false, new TokenAlias(false, false, grammarAccess.getALSIffAccess().getIffKeyword_1_1_1()), new TokenAlias(false, false, grammarAccess.getALSIffAccess().getLessThanSignEqualsSignGreaterThanSignKeyword_1_1_0())); |
39 | match_ALSImpl_EqualsSignGreaterThanSignKeyword_1_1_0_or_ImpliesKeyword_1_1_1 = new AlternativeAlias(false, false, new TokenAlias(false, false, grammarAccess.getALSImplAccess().getEqualsSignGreaterThanSignKeyword_1_1_0()), new TokenAlias(false, false, grammarAccess.getALSImplAccess().getImpliesKeyword_1_1_1())); | 39 | match_ALSImpl_EqualsSignGreaterThanSignKeyword_1_1_0_or_ImpliesKeyword_1_1_1 = new AlternativeAlias(false, false, new TokenAlias(false, false, grammarAccess.getALSImplAccess().getEqualsSignGreaterThanSignKeyword_1_1_0()), new TokenAlias(false, false, grammarAccess.getALSImplAccess().getImpliesKeyword_1_1_1())); |
40 | match_ALSOr_OrKeyword_1_1_1_or_VerticalLineVerticalLineKeyword_1_1_0 = new AlternativeAlias(false, false, new TokenAlias(false, false, grammarAccess.getALSOrAccess().getOrKeyword_1_1_1()), new TokenAlias(false, false, grammarAccess.getALSOrAccess().getVerticalLineVerticalLineKeyword_1_1_0())); | 40 | match_ALSOr_OrKeyword_1_1_1_or_VerticalLineVerticalLineKeyword_1_1_0 = new AlternativeAlias(false, false, new TokenAlias(false, false, grammarAccess.getALSOrAccess().getOrKeyword_1_1_1()), new TokenAlias(false, false, grammarAccess.getALSOrAccess().getVerticalLineVerticalLineKeyword_1_1_0())); |
@@ -55,10 +55,10 @@ public class AlloyLanguageSyntacticSequencer extends AbstractSyntacticSequencer | |||
55 | List<INode> syntaxNodes = getNodesFor(transitionNodes, syntax); | 55 | List<INode> syntaxNodes = getNodesFor(transitionNodes, syntax); |
56 | if (match_ALSAnd_AmpersandAmpersandKeyword_1_1_0_or_AndKeyword_1_1_1.equals(syntax)) | 56 | if (match_ALSAnd_AmpersandAmpersandKeyword_1_1_0_or_AndKeyword_1_1_1.equals(syntax)) |
57 | emit_ALSAnd_AmpersandAmpersandKeyword_1_1_0_or_AndKeyword_1_1_1(semanticObject, getLastNavigableState(), syntaxNodes); | 57 | emit_ALSAnd_AmpersandAmpersandKeyword_1_1_0_or_AndKeyword_1_1_1(semanticObject, getLastNavigableState(), syntaxNodes); |
58 | else if (match_ALSBasicRelationTerm_LeftParenthesisKeyword_6_0_a.equals(syntax)) | 58 | else if (match_ALSBasicRelationTerm_LeftParenthesisKeyword_8_0_a.equals(syntax)) |
59 | emit_ALSBasicRelationTerm_LeftParenthesisKeyword_6_0_a(semanticObject, getLastNavigableState(), syntaxNodes); | 59 | emit_ALSBasicRelationTerm_LeftParenthesisKeyword_8_0_a(semanticObject, getLastNavigableState(), syntaxNodes); |
60 | else if (match_ALSBasicRelationTerm_LeftParenthesisKeyword_6_0_p.equals(syntax)) | 60 | else if (match_ALSBasicRelationTerm_LeftParenthesisKeyword_8_0_p.equals(syntax)) |
61 | emit_ALSBasicRelationTerm_LeftParenthesisKeyword_6_0_p(semanticObject, getLastNavigableState(), syntaxNodes); | 61 | emit_ALSBasicRelationTerm_LeftParenthesisKeyword_8_0_p(semanticObject, getLastNavigableState(), syntaxNodes); |
62 | else if (match_ALSIff_IffKeyword_1_1_1_or_LessThanSignEqualsSignGreaterThanSignKeyword_1_1_0.equals(syntax)) | 62 | else if (match_ALSIff_IffKeyword_1_1_1_or_LessThanSignEqualsSignGreaterThanSignKeyword_1_1_0.equals(syntax)) |
63 | emit_ALSIff_IffKeyword_1_1_1_or_LessThanSignEqualsSignGreaterThanSignKeyword_1_1_0(semanticObject, getLastNavigableState(), syntaxNodes); | 63 | emit_ALSIff_IffKeyword_1_1_1_or_LessThanSignEqualsSignGreaterThanSignKeyword_1_1_0(semanticObject, getLastNavigableState(), syntaxNodes); |
64 | else if (match_ALSImpl_EqualsSignGreaterThanSignKeyword_1_1_0_or_ImpliesKeyword_1_1_1.equals(syntax)) | 64 | else if (match_ALSImpl_EqualsSignGreaterThanSignKeyword_1_1_0_or_ImpliesKeyword_1_1_1.equals(syntax)) |
@@ -73,7 +73,7 @@ public class AlloyLanguageSyntacticSequencer extends AbstractSyntacticSequencer | |||
73 | 73 | ||
74 | /** | 74 | /** |
75 | * Ambiguous syntax: | 75 | * Ambiguous syntax: |
76 | * '&&' | 'and' | 76 | * 'and' | '&&' |
77 | * | 77 | * |
78 | * This ambiguous syntax occurs at: | 78 | * This ambiguous syntax occurs at: |
79 | * {ALSAnd.leftOperand=} (ambiguity) rightOperand=ALSComparison | 79 | * {ALSAnd.leftOperand=} (ambiguity) rightOperand=ALSComparison |
@@ -91,18 +91,20 @@ public class AlloyLanguageSyntacticSequencer extends AbstractSyntacticSequencer | |||
91 | * (rule start) (ambiguity) '*' operand=ALSBasicRelationTerm | 91 | * (rule start) (ambiguity) '*' operand=ALSBasicRelationTerm |
92 | * (rule start) (ambiguity) '-' operand=ALSBasicRelationTerm | 92 | * (rule start) (ambiguity) '-' operand=ALSBasicRelationTerm |
93 | * (rule start) (ambiguity) 'Int' (rule start) | 93 | * (rule start) (ambiguity) 'Int' (rule start) |
94 | * (rule start) (ambiguity) 'String' (rule start) | ||
94 | * (rule start) (ambiguity) '^' operand=ALSBasicRelationTerm | 95 | * (rule start) (ambiguity) '^' operand=ALSBasicRelationTerm |
95 | * (rule start) (ambiguity) 'iden' (rule start) | 96 | * (rule start) (ambiguity) 'iden' (rule start) |
96 | * (rule start) (ambiguity) 'none' (rule start) | 97 | * (rule start) (ambiguity) 'none' (rule start) |
97 | * (rule start) (ambiguity) 'sum' variables+=ALSVariableDeclaration | 98 | * (rule start) (ambiguity) 'sum' variables+=ALSVariableDeclaration |
98 | * (rule start) (ambiguity) 'univ' (rule start) | 99 | * (rule start) (ambiguity) 'univ' (rule start) |
99 | * (rule start) (ambiguity) '~' operand=ALSBasicRelationTerm | 100 | * (rule start) (ambiguity) '~' operand=ALSBasicRelationTerm |
100 | * (rule start) (ambiguity) ('!' | 'not') operand=ALSBasicRelationTerm | 101 | * (rule start) (ambiguity) ('not' | '!') operand=ALSBasicRelationTerm |
101 | * (rule start) (ambiguity) referred=[ALSRelationDeclaration|ID] | 102 | * (rule start) (ambiguity) referred=[ALSRelationDeclaration|ID] |
102 | * (rule start) (ambiguity) referredDefinition=[ALSDefinition|ID] | 103 | * (rule start) (ambiguity) referredDefinition=[ALSDefinition|ID] |
103 | * (rule start) (ambiguity) referredNumericOperator=ALSNumericOperator | 104 | * (rule start) (ambiguity) referredNumericOperator=ALSNumericOperator |
104 | * (rule start) (ambiguity) type=ALSMultiplicity | 105 | * (rule start) (ambiguity) type=ALSMultiplicity |
105 | * (rule start) (ambiguity) value=INT | 106 | * (rule start) (ambiguity) value=INT |
107 | * (rule start) (ambiguity) value=STRING | ||
106 | * (rule start) (ambiguity) {ALSAnd.leftOperand=} | 108 | * (rule start) (ambiguity) {ALSAnd.leftOperand=} |
107 | * (rule start) (ambiguity) {ALSDirectProduct.leftOperand=} | 109 | * (rule start) (ambiguity) {ALSDirectProduct.leftOperand=} |
108 | * (rule start) (ambiguity) {ALSEquals.leftOperand=} | 110 | * (rule start) (ambiguity) {ALSEquals.leftOperand=} |
@@ -123,7 +125,7 @@ public class AlloyLanguageSyntacticSequencer extends AbstractSyntacticSequencer | |||
123 | * (rule start) (ambiguity) {ALSRangeRestrictionRight.relation=} | 125 | * (rule start) (ambiguity) {ALSRangeRestrictionRight.relation=} |
124 | * (rule start) (ambiguity) {ALSSubset.leftOperand=} | 126 | * (rule start) (ambiguity) {ALSSubset.leftOperand=} |
125 | */ | 127 | */ |
126 | protected void emit_ALSBasicRelationTerm_LeftParenthesisKeyword_6_0_a(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { | 128 | protected void emit_ALSBasicRelationTerm_LeftParenthesisKeyword_8_0_a(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { |
127 | acceptNodes(transition, nodes); | 129 | acceptNodes(transition, nodes); |
128 | } | 130 | } |
129 | 131 | ||
@@ -138,7 +140,7 @@ public class AlloyLanguageSyntacticSequencer extends AbstractSyntacticSequencer | |||
138 | * (rule start) (ambiguity) '^' operand=ALSBasicRelationTerm | 140 | * (rule start) (ambiguity) '^' operand=ALSBasicRelationTerm |
139 | * (rule start) (ambiguity) 'sum' variables+=ALSVariableDeclaration | 141 | * (rule start) (ambiguity) 'sum' variables+=ALSVariableDeclaration |
140 | * (rule start) (ambiguity) '~' operand=ALSBasicRelationTerm | 142 | * (rule start) (ambiguity) '~' operand=ALSBasicRelationTerm |
141 | * (rule start) (ambiguity) ('!' | 'not') operand=ALSBasicRelationTerm | 143 | * (rule start) (ambiguity) ('not' | '!') operand=ALSBasicRelationTerm |
142 | * (rule start) (ambiguity) referredDefinition=[ALSDefinition|ID] | 144 | * (rule start) (ambiguity) referredDefinition=[ALSDefinition|ID] |
143 | * (rule start) (ambiguity) referredNumericOperator=ALSNumericOperator | 145 | * (rule start) (ambiguity) referredNumericOperator=ALSNumericOperator |
144 | * (rule start) (ambiguity) type=ALSMultiplicity | 146 | * (rule start) (ambiguity) type=ALSMultiplicity |
@@ -162,7 +164,7 @@ public class AlloyLanguageSyntacticSequencer extends AbstractSyntacticSequencer | |||
162 | * (rule start) (ambiguity) {ALSRangeRestrictionRight.relation=} | 164 | * (rule start) (ambiguity) {ALSRangeRestrictionRight.relation=} |
163 | * (rule start) (ambiguity) {ALSSubset.leftOperand=} | 165 | * (rule start) (ambiguity) {ALSSubset.leftOperand=} |
164 | */ | 166 | */ |
165 | protected void emit_ALSBasicRelationTerm_LeftParenthesisKeyword_6_0_p(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { | 167 | protected void emit_ALSBasicRelationTerm_LeftParenthesisKeyword_8_0_p(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { |
166 | acceptNodes(transition, nodes); | 168 | acceptNodes(transition, nodes); |
167 | } | 169 | } |
168 | 170 | ||
@@ -190,7 +192,7 @@ public class AlloyLanguageSyntacticSequencer extends AbstractSyntacticSequencer | |||
190 | 192 | ||
191 | /** | 193 | /** |
192 | * Ambiguous syntax: | 194 | * Ambiguous syntax: |
193 | * '||' | 'or' | 195 | * 'or' | '||' |
194 | * | 196 | * |
195 | * This ambiguous syntax occurs at: | 197 | * This ambiguous syntax occurs at: |
196 | * {ALSOr.leftOperand=} (ambiguity) rightOperand=ALSIff | 198 | * {ALSOr.leftOperand=} (ambiguity) rightOperand=ALSIff |
@@ -201,7 +203,7 @@ public class AlloyLanguageSyntacticSequencer extends AbstractSyntacticSequencer | |||
201 | 203 | ||
202 | /** | 204 | /** |
203 | * Ambiguous syntax: | 205 | * Ambiguous syntax: |
204 | * '!' | 'not' | 206 | * 'not' | '!' |
205 | * | 207 | * |
206 | * This ambiguous syntax occurs at: | 208 | * This ambiguous syntax occurs at: |
207 | * (rule start) '('* (ambiguity) operand=ALSBasicRelationTerm | 209 | * (rule start) '('* (ambiguity) operand=ALSBasicRelationTerm |