diff options
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSemanticSequencer.java')
-rw-r--r-- | Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSemanticSequencer.java | 135 |
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; | |||
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 | * |