diff options
author | OszkarSemerath <oszka@152.66.252.189> | 2017-07-02 23:34:27 +0200 |
---|---|---|
committer | OszkarSemerath <oszka@152.66.252.189> | 2017-07-02 23:34:27 +0200 |
commit | f00ce77fdc3a1417ddfd833f122b64ecef80d7d6 (patch) | |
tree | 2a26b61a43576f58ed4c35680bd47fa3c15df3d8 /Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner | |
parent | Multiple model with interpretations (diff) | |
download | VIATRA-Generator-f00ce77fdc3a1417ddfd833f122b64ecef80d7d6.tar.gz VIATRA-Generator-f00ce77fdc3a1417ddfd833f122b64ecef80d7d6.tar.zst VIATRA-Generator-f00ce77fdc3a1417ddfd833f122b64ecef80d7d6.zip |
Alloy implementation of multiple model generation
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner')
4 files changed, 46 insertions, 46 deletions
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/AlloyLanguage.xtextbin b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/AlloyLanguage.xtextbin index a9ec3da4..a1410bb7 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/AlloyLanguage.xtextbin +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/AlloyLanguage.xtextbin | |||
Binary files differ | |||
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 b46c4575..9e973316 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 | |||
@@ -522,7 +522,7 @@ public class AlloyLanguageSemanticSequencer extends AbstractDelegatingSemanticSe | |||
522 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_REFERENCE__REFERRED)); | 522 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_REFERENCE__REFERRED)); |
523 | } | 523 | } |
524 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | 524 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); |
525 | feeder.accept(grammarAccess.getALSBasicRelationTermAccess().getReferredALSRelationDeclarationIDTerminalRuleCall_4_1_0_1(), semanticObject.eGet(AlloyLanguagePackage.Literals.ALS_REFERENCE__REFERRED, false)); | 525 | feeder.accept(grammarAccess.getALSBasicRelationTermAccess().getReferredALSRelationDeclarationIDTerminalRuleCall_4_1_0_1(), semanticObject.getReferred()); |
526 | feeder.finish(); | 526 | feeder.finish(); |
527 | } | 527 | } |
528 | 528 | ||
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 4c1eaf02..cb2da160 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 | |||
@@ -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 |
@@ -168,7 +168,7 @@ public class AlloyLanguageSyntacticSequencer extends AbstractSyntacticSequencer | |||
168 | 168 | ||
169 | /** | 169 | /** |
170 | * Ambiguous syntax: | 170 | * Ambiguous syntax: |
171 | * 'iff' | '<=>' | 171 | * '<=>' | 'iff' |
172 | * | 172 | * |
173 | * This ambiguous syntax occurs at: | 173 | * This ambiguous syntax occurs at: |
174 | * {ALSIff.leftOperand=} (ambiguity) rightOperand=ALSImpl | 174 | * {ALSIff.leftOperand=} (ambiguity) rightOperand=ALSImpl |
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/services/AlloyLanguageGrammarAccess.java b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/services/AlloyLanguageGrammarAccess.java index 1ccf8905..08dd554d 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/services/AlloyLanguageGrammarAccess.java +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/services/AlloyLanguageGrammarAccess.java | |||
@@ -296,7 +296,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
296 | //fields+=ALSFieldDeclaration)*)? '}' | 296 | //fields+=ALSFieldDeclaration)*)? '}' |
297 | public Group getGroup() { return cGroup; } | 297 | public Group getGroup() { return cGroup; } |
298 | 298 | ||
299 | //multiplicity=ALSMultiplicity? & abstract?='abstract'? | 299 | //(multiplicity=ALSMultiplicity? & abstract?='abstract'?) |
300 | public UnorderedGroup getUnorderedGroup_0() { return cUnorderedGroup_0; } | 300 | public UnorderedGroup getUnorderedGroup_0() { return cUnorderedGroup_0; } |
301 | 301 | ||
302 | //multiplicity=ALSMultiplicity? | 302 | //multiplicity=ALSMultiplicity? |
@@ -712,7 +712,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
712 | //ALSQuantified ALSTerm: | 712 | //ALSQuantified ALSTerm: |
713 | // {ALSQuantifiedEx} type=ALSMultiplicity | 713 | // {ALSQuantifiedEx} type=ALSMultiplicity |
714 | // disj?='disj'? variables+=ALSVariableDeclaration (',' variables+=ALSVariableDeclaration)* '{' expression=ALSTerm '}' | | 714 | // disj?='disj'? variables+=ALSVariableDeclaration (',' variables+=ALSVariableDeclaration)* '{' expression=ALSTerm '}' | |
715 | // ALSOr; | 715 | // ALSOr |
716 | @Override public ParserRule getRule() { return rule; } | 716 | @Override public ParserRule getRule() { return rule; } |
717 | 717 | ||
718 | //{ALSQuantifiedEx} type=ALSMultiplicity disj?='disj'? variables+=ALSVariableDeclaration (',' | 718 | //{ALSQuantifiedEx} type=ALSMultiplicity disj?='disj'? variables+=ALSVariableDeclaration (',' |
@@ -785,7 +785,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
785 | private final RuleCall cRightOperandALSIffParserRuleCall_1_2_0 = (RuleCall)cRightOperandAssignment_1_2.eContents().get(0); | 785 | private final RuleCall cRightOperandALSIffParserRuleCall_1_2_0 = (RuleCall)cRightOperandAssignment_1_2.eContents().get(0); |
786 | 786 | ||
787 | //ALSOr ALSTerm: | 787 | //ALSOr ALSTerm: |
788 | // ALSIff ({ALSOr.leftOperand=current} ("||" | "or") rightOperand=ALSIff)?; | 788 | // ALSIff ({ALSOr.leftOperand=current} ("||" | "or") rightOperand=ALSIff)? |
789 | @Override public ParserRule getRule() { return rule; } | 789 | @Override public ParserRule getRule() { return rule; } |
790 | 790 | ||
791 | //ALSIff ({ALSOr.leftOperand=current} ("||" | "or") rightOperand=ALSIff)? | 791 | //ALSIff ({ALSOr.leftOperand=current} ("||" | "or") rightOperand=ALSIff)? |
@@ -800,7 +800,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
800 | //{ALSOr.leftOperand=current} | 800 | //{ALSOr.leftOperand=current} |
801 | public Action getALSOrLeftOperandAction_1_0() { return cALSOrLeftOperandAction_1_0; } | 801 | public Action getALSOrLeftOperandAction_1_0() { return cALSOrLeftOperandAction_1_0; } |
802 | 802 | ||
803 | //"||" | "or" | 803 | //("||" | "or") |
804 | public Alternatives getAlternatives_1_1() { return cAlternatives_1_1; } | 804 | public Alternatives getAlternatives_1_1() { return cAlternatives_1_1; } |
805 | 805 | ||
806 | //"||" | 806 | //"||" |
@@ -829,7 +829,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
829 | private final RuleCall cRightOperandALSImplParserRuleCall_1_2_0 = (RuleCall)cRightOperandAssignment_1_2.eContents().get(0); | 829 | private final RuleCall cRightOperandALSImplParserRuleCall_1_2_0 = (RuleCall)cRightOperandAssignment_1_2.eContents().get(0); |
830 | 830 | ||
831 | //ALSIff ALSTerm: | 831 | //ALSIff ALSTerm: |
832 | // ALSImpl ({ALSIff.leftOperand=current} ("<=>" | "iff") rightOperand=ALSImpl)?; | 832 | // ALSImpl ({ALSIff.leftOperand=current} ("<=>" | "iff") rightOperand=ALSImpl)? |
833 | @Override public ParserRule getRule() { return rule; } | 833 | @Override public ParserRule getRule() { return rule; } |
834 | 834 | ||
835 | //ALSImpl ({ALSIff.leftOperand=current} ("<=>" | "iff") rightOperand=ALSImpl)? | 835 | //ALSImpl ({ALSIff.leftOperand=current} ("<=>" | "iff") rightOperand=ALSImpl)? |
@@ -844,7 +844,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
844 | //{ALSIff.leftOperand=current} | 844 | //{ALSIff.leftOperand=current} |
845 | public Action getALSIffLeftOperandAction_1_0() { return cALSIffLeftOperandAction_1_0; } | 845 | public Action getALSIffLeftOperandAction_1_0() { return cALSIffLeftOperandAction_1_0; } |
846 | 846 | ||
847 | //"<=>" | "iff" | 847 | //("<=>" | "iff") |
848 | public Alternatives getAlternatives_1_1() { return cAlternatives_1_1; } | 848 | public Alternatives getAlternatives_1_1() { return cAlternatives_1_1; } |
849 | 849 | ||
850 | //"<=>" | 850 | //"<=>" |
@@ -877,7 +877,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
877 | private final RuleCall cElseOperandALSAndParserRuleCall_1_3_1_0 = (RuleCall)cElseOperandAssignment_1_3_1.eContents().get(0); | 877 | private final RuleCall cElseOperandALSAndParserRuleCall_1_3_1_0 = (RuleCall)cElseOperandAssignment_1_3_1.eContents().get(0); |
878 | 878 | ||
879 | //ALSImpl ALSTerm: | 879 | //ALSImpl ALSTerm: |
880 | // ALSAnd ({ALSImpl.leftOperand=current} ("=>" | "implies") rightOperand=ALSAnd ('else' elseOperand=ALSAnd)?)?; | 880 | // ALSAnd ({ALSImpl.leftOperand=current} ("=>" | "implies") rightOperand=ALSAnd ('else' elseOperand=ALSAnd)?)? |
881 | @Override public ParserRule getRule() { return rule; } | 881 | @Override public ParserRule getRule() { return rule; } |
882 | 882 | ||
883 | //ALSAnd ({ALSImpl.leftOperand=current} ("=>" | "implies") rightOperand=ALSAnd ('else' elseOperand=ALSAnd)?)? | 883 | //ALSAnd ({ALSImpl.leftOperand=current} ("=>" | "implies") rightOperand=ALSAnd ('else' elseOperand=ALSAnd)?)? |
@@ -892,7 +892,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
892 | //{ALSImpl.leftOperand=current} | 892 | //{ALSImpl.leftOperand=current} |
893 | public Action getALSImplLeftOperandAction_1_0() { return cALSImplLeftOperandAction_1_0; } | 893 | public Action getALSImplLeftOperandAction_1_0() { return cALSImplLeftOperandAction_1_0; } |
894 | 894 | ||
895 | //"=>" | "implies" | 895 | //("=>" | "implies") |
896 | public Alternatives getAlternatives_1_1() { return cAlternatives_1_1; } | 896 | public Alternatives getAlternatives_1_1() { return cAlternatives_1_1; } |
897 | 897 | ||
898 | //"=>" | 898 | //"=>" |
@@ -933,7 +933,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
933 | private final RuleCall cRightOperandALSComparisonParserRuleCall_1_2_0 = (RuleCall)cRightOperandAssignment_1_2.eContents().get(0); | 933 | private final RuleCall cRightOperandALSComparisonParserRuleCall_1_2_0 = (RuleCall)cRightOperandAssignment_1_2.eContents().get(0); |
934 | 934 | ||
935 | //ALSAnd ALSTerm: | 935 | //ALSAnd ALSTerm: |
936 | // ALSComparison ({ALSAnd.leftOperand=current} ("&&" | "and") rightOperand=ALSComparison)?; | 936 | // ALSComparison ({ALSAnd.leftOperand=current} ("&&" | "and") rightOperand=ALSComparison)? |
937 | @Override public ParserRule getRule() { return rule; } | 937 | @Override public ParserRule getRule() { return rule; } |
938 | 938 | ||
939 | //ALSComparison ({ALSAnd.leftOperand=current} ("&&" | "and") rightOperand=ALSComparison)? | 939 | //ALSComparison ({ALSAnd.leftOperand=current} ("&&" | "and") rightOperand=ALSComparison)? |
@@ -948,7 +948,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
948 | //{ALSAnd.leftOperand=current} | 948 | //{ALSAnd.leftOperand=current} |
949 | public Action getALSAndLeftOperandAction_1_0() { return cALSAndLeftOperandAction_1_0; } | 949 | public Action getALSAndLeftOperandAction_1_0() { return cALSAndLeftOperandAction_1_0; } |
950 | 950 | ||
951 | //"&&" | "and" | 951 | //("&&" | "and") |
952 | public Alternatives getAlternatives_1_1() { return cAlternatives_1_1; } | 952 | public Alternatives getAlternatives_1_1() { return cAlternatives_1_1; } |
953 | 953 | ||
954 | //"&&" | 954 | //"&&" |
@@ -997,7 +997,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
997 | //ALSComparison ALSTerm: | 997 | //ALSComparison ALSTerm: |
998 | // ALSOverride (({ALSEquals.leftOperand=current} "=" | {ALSNotEquals.leftOperand=current} "!=" | | 998 | // ALSOverride (({ALSEquals.leftOperand=current} "=" | {ALSNotEquals.leftOperand=current} "!=" | |
999 | // {ALSSubset.leftOperand=current} "in" | {ALSLess.leftOperand=current} ">" | {ALSLeq.leftOperand=current} ">=" | | 999 | // {ALSSubset.leftOperand=current} "in" | {ALSLess.leftOperand=current} ">" | {ALSLeq.leftOperand=current} ">=" | |
1000 | // {ALSMore.leftOperand=current} "<" | {ALSMeq.leftOperand=current} "<=") rightOperand=ALSOverride)?; | 1000 | // {ALSMore.leftOperand=current} "<" | {ALSMeq.leftOperand=current} "<=") rightOperand=ALSOverride)? |
1001 | @Override public ParserRule getRule() { return rule; } | 1001 | @Override public ParserRule getRule() { return rule; } |
1002 | 1002 | ||
1003 | //ALSOverride (({ALSEquals.leftOperand=current} "=" | {ALSNotEquals.leftOperand=current} "!=" | | 1003 | //ALSOverride (({ALSEquals.leftOperand=current} "=" | {ALSNotEquals.leftOperand=current} "!=" | |
@@ -1013,9 +1013,9 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1013 | //{ALSMeq.leftOperand=current} "<=") rightOperand=ALSOverride)? | 1013 | //{ALSMeq.leftOperand=current} "<=") rightOperand=ALSOverride)? |
1014 | public Group getGroup_1() { return cGroup_1; } | 1014 | public Group getGroup_1() { return cGroup_1; } |
1015 | 1015 | ||
1016 | //{ALSEquals.leftOperand=current} "=" | {ALSNotEquals.leftOperand=current} "!=" | {ALSSubset.leftOperand=current} "in" | | 1016 | //({ALSEquals.leftOperand=current} "=" | {ALSNotEquals.leftOperand=current} "!=" | {ALSSubset.leftOperand=current} "in" | |
1017 | //{ALSLess.leftOperand=current} ">" | {ALSLeq.leftOperand=current} ">=" | {ALSMore.leftOperand=current} "<" | | 1017 | //{ALSLess.leftOperand=current} ">" | {ALSLeq.leftOperand=current} ">=" | {ALSMore.leftOperand=current} "<" | |
1018 | //{ALSMeq.leftOperand=current} "<=" | 1018 | //{ALSMeq.leftOperand=current} "<=") |
1019 | public Alternatives getAlternatives_1_0() { return cAlternatives_1_0; } | 1019 | public Alternatives getAlternatives_1_0() { return cAlternatives_1_0; } |
1020 | 1020 | ||
1021 | //{ALSEquals.leftOperand=current} "=" | 1021 | //{ALSEquals.leftOperand=current} "=" |
@@ -1099,7 +1099,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1099 | private final RuleCall cRightOperandALSRangeRestrictionRightParserRuleCall_1_2_0 = (RuleCall)cRightOperandAssignment_1_2.eContents().get(0); | 1099 | private final RuleCall cRightOperandALSRangeRestrictionRightParserRuleCall_1_2_0 = (RuleCall)cRightOperandAssignment_1_2.eContents().get(0); |
1100 | 1100 | ||
1101 | //ALSOverride ALSTerm: | 1101 | //ALSOverride ALSTerm: |
1102 | // ALSRangeRestrictionRight ({ALSOverride.leftOperand=current} '++' rightOperand=ALSRangeRestrictionRight)?; | 1102 | // ALSRangeRestrictionRight ({ALSOverride.leftOperand=current} '++' rightOperand=ALSRangeRestrictionRight)? |
1103 | @Override public ParserRule getRule() { return rule; } | 1103 | @Override public ParserRule getRule() { return rule; } |
1104 | 1104 | ||
1105 | //ALSRangeRestrictionRight ({ALSOverride.leftOperand=current} '++' rightOperand=ALSRangeRestrictionRight)? | 1105 | //ALSRangeRestrictionRight ({ALSOverride.leftOperand=current} '++' rightOperand=ALSRangeRestrictionRight)? |
@@ -1135,7 +1135,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1135 | private final RuleCall cFilterALSRangeRestrictionLeftParserRuleCall_1_2_0 = (RuleCall)cFilterAssignment_1_2.eContents().get(0); | 1135 | private final RuleCall cFilterALSRangeRestrictionLeftParserRuleCall_1_2_0 = (RuleCall)cFilterAssignment_1_2.eContents().get(0); |
1136 | 1136 | ||
1137 | //ALSRangeRestrictionRight ALSTerm: | 1137 | //ALSRangeRestrictionRight ALSTerm: |
1138 | // ALSRangeRestrictionLeft ({ALSRangeRestrictionRight.relation=current} ':>' filter=ALSRangeRestrictionLeft)?; | 1138 | // ALSRangeRestrictionLeft ({ALSRangeRestrictionRight.relation=current} ':>' filter=ALSRangeRestrictionLeft)? |
1139 | @Override public ParserRule getRule() { return rule; } | 1139 | @Override public ParserRule getRule() { return rule; } |
1140 | 1140 | ||
1141 | //ALSRangeRestrictionLeft ({ALSRangeRestrictionRight.relation=current} ':>' filter=ALSRangeRestrictionLeft)? | 1141 | //ALSRangeRestrictionLeft ({ALSRangeRestrictionRight.relation=current} ':>' filter=ALSRangeRestrictionLeft)? |
@@ -1171,7 +1171,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1171 | private final RuleCall cRelationALSJoinParserRuleCall_1_2_0 = (RuleCall)cRelationAssignment_1_2.eContents().get(0); | 1171 | private final RuleCall cRelationALSJoinParserRuleCall_1_2_0 = (RuleCall)cRelationAssignment_1_2.eContents().get(0); |
1172 | 1172 | ||
1173 | //ALSRangeRestrictionLeft ALSTerm: | 1173 | //ALSRangeRestrictionLeft ALSTerm: |
1174 | // ALSJoin ({ALSRangeRestrictionLeft.filter=current} '<:' relation=ALSJoin)?; | 1174 | // ALSJoin ({ALSRangeRestrictionLeft.filter=current} '<:' relation=ALSJoin)? |
1175 | @Override public ParserRule getRule() { return rule; } | 1175 | @Override public ParserRule getRule() { return rule; } |
1176 | 1176 | ||
1177 | //ALSJoin ({ALSRangeRestrictionLeft.filter=current} '<:' relation=ALSJoin)? | 1177 | //ALSJoin ({ALSRangeRestrictionLeft.filter=current} '<:' relation=ALSJoin)? |
@@ -1207,7 +1207,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1207 | private final RuleCall cRightOperandALSMinusParserRuleCall_1_2_0 = (RuleCall)cRightOperandAssignment_1_2.eContents().get(0); | 1207 | private final RuleCall cRightOperandALSMinusParserRuleCall_1_2_0 = (RuleCall)cRightOperandAssignment_1_2.eContents().get(0); |
1208 | 1208 | ||
1209 | //ALSJoin ALSTerm: | 1209 | //ALSJoin ALSTerm: |
1210 | // ALSMinus ({ALSJoin.leftOperand=current} '.' rightOperand=ALSMinus)*; | 1210 | // ALSMinus ({ALSJoin.leftOperand=current} '.' rightOperand=ALSMinus)* |
1211 | @Override public ParserRule getRule() { return rule; } | 1211 | @Override public ParserRule getRule() { return rule; } |
1212 | 1212 | ||
1213 | //ALSMinus ({ALSJoin.leftOperand=current} '.' rightOperand=ALSMinus)* | 1213 | //ALSMinus ({ALSJoin.leftOperand=current} '.' rightOperand=ALSMinus)* |
@@ -1243,7 +1243,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1243 | private final RuleCall cRightOperandALSPlusParserRuleCall_1_2_0 = (RuleCall)cRightOperandAssignment_1_2.eContents().get(0); | 1243 | private final RuleCall cRightOperandALSPlusParserRuleCall_1_2_0 = (RuleCall)cRightOperandAssignment_1_2.eContents().get(0); |
1244 | 1244 | ||
1245 | //ALSMinus ALSTerm: | 1245 | //ALSMinus ALSTerm: |
1246 | // ALSPlus ({ALSMinus.leftOperand=current} '-' rightOperand=ALSPlus)*; | 1246 | // ALSPlus ({ALSMinus.leftOperand=current} '-' rightOperand=ALSPlus)* |
1247 | @Override public ParserRule getRule() { return rule; } | 1247 | @Override public ParserRule getRule() { return rule; } |
1248 | 1248 | ||
1249 | //ALSPlus ({ALSMinus.leftOperand=current} '-' rightOperand=ALSPlus)* | 1249 | //ALSPlus ({ALSMinus.leftOperand=current} '-' rightOperand=ALSPlus)* |
@@ -1279,7 +1279,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1279 | private final RuleCall cRightOperandALSIntersectionParserRuleCall_1_2_0 = (RuleCall)cRightOperandAssignment_1_2.eContents().get(0); | 1279 | private final RuleCall cRightOperandALSIntersectionParserRuleCall_1_2_0 = (RuleCall)cRightOperandAssignment_1_2.eContents().get(0); |
1280 | 1280 | ||
1281 | //ALSPlus ALSTerm: | 1281 | //ALSPlus ALSTerm: |
1282 | // ALSIntersection ({ALSPlus.leftOperand=current} '+' rightOperand=ALSIntersection)*; | 1282 | // ALSIntersection ({ALSPlus.leftOperand=current} '+' rightOperand=ALSIntersection)* |
1283 | @Override public ParserRule getRule() { return rule; } | 1283 | @Override public ParserRule getRule() { return rule; } |
1284 | 1284 | ||
1285 | //ALSIntersection ({ALSPlus.leftOperand=current} '+' rightOperand=ALSIntersection)* | 1285 | //ALSIntersection ({ALSPlus.leftOperand=current} '+' rightOperand=ALSIntersection)* |
@@ -1315,7 +1315,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1315 | private final RuleCall cRightOperandALSDirectProductParserRuleCall_1_2_0 = (RuleCall)cRightOperandAssignment_1_2.eContents().get(0); | 1315 | private final RuleCall cRightOperandALSDirectProductParserRuleCall_1_2_0 = (RuleCall)cRightOperandAssignment_1_2.eContents().get(0); |
1316 | 1316 | ||
1317 | //ALSIntersection ALSTerm: | 1317 | //ALSIntersection ALSTerm: |
1318 | // ALSDirectProduct ({ALSIntersection.leftOperand=current} '&' rightOperand=ALSDirectProduct)*; | 1318 | // ALSDirectProduct ({ALSIntersection.leftOperand=current} '&' rightOperand=ALSDirectProduct)* |
1319 | @Override public ParserRule getRule() { return rule; } | 1319 | @Override public ParserRule getRule() { return rule; } |
1320 | 1320 | ||
1321 | //ALSDirectProduct ({ALSIntersection.leftOperand=current} '&' rightOperand=ALSDirectProduct)* | 1321 | //ALSDirectProduct ({ALSIntersection.leftOperand=current} '&' rightOperand=ALSDirectProduct)* |
@@ -1359,7 +1359,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1359 | // ALSPreficed ({ALSDirectProduct.leftOperand=current} leftMultiplicit=ALSMultiplicity? | 1359 | // ALSPreficed ({ALSDirectProduct.leftOperand=current} leftMultiplicit=ALSMultiplicity? |
1360 | // '->' | 1360 | // '->' |
1361 | // rightMultiplicit=ALSMultiplicity? | 1361 | // rightMultiplicit=ALSMultiplicity? |
1362 | // rightOperand=ALSPreficed)?; | 1362 | // rightOperand=ALSPreficed)? |
1363 | @Override public ParserRule getRule() { return rule; } | 1363 | @Override public ParserRule getRule() { return rule; } |
1364 | 1364 | ||
1365 | //ALSPreficed ({ALSDirectProduct.leftOperand=current} leftMultiplicit=ALSMultiplicity? '->' | 1365 | //ALSPreficed ({ALSDirectProduct.leftOperand=current} leftMultiplicit=ALSMultiplicity? '->' |
@@ -1472,7 +1472,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1472 | // operand=ALSBasicRelationTerm | {ALSSum} 'sum' variables+=ALSVariableDeclaration (',' | 1472 | // operand=ALSBasicRelationTerm | {ALSSum} 'sum' variables+=ALSVariableDeclaration (',' |
1473 | // variables+=ALSVariableDeclaration)* '{' expression=ALSTerm '}' | {ALSFunctionCall} | 1473 | // variables+=ALSVariableDeclaration)* '{' expression=ALSTerm '}' | {ALSFunctionCall} |
1474 | // (referredDefinition=[ALSDefinition] | referredNumericOperator=ALSNumericOperator) '[' params+=ALSTerm (',' | 1474 | // (referredDefinition=[ALSDefinition] | referredNumericOperator=ALSNumericOperator) '[' params+=ALSTerm (',' |
1475 | // params+=ALSTerm)* ']' | ALSBasicRelationTerm; | 1475 | // params+=ALSTerm)* ']' | ALSBasicRelationTerm |
1476 | @Override public ParserRule getRule() { return rule; } | 1476 | @Override public ParserRule getRule() { return rule; } |
1477 | 1477 | ||
1478 | //{ALSNot} => ("!" | 'not') operand=ALSBasicRelationTerm | {ALSInverseRelation} => "~" operand=ALSBasicRelationTerm | | 1478 | //{ALSNot} => ("!" | 'not') operand=ALSBasicRelationTerm | {ALSInverseRelation} => "~" operand=ALSBasicRelationTerm | |
@@ -1492,7 +1492,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1492 | //=> ("!" | 'not') | 1492 | //=> ("!" | 'not') |
1493 | public Group getGroup_0_1() { return cGroup_0_1; } | 1493 | public Group getGroup_0_1() { return cGroup_0_1; } |
1494 | 1494 | ||
1495 | //"!" | 'not' | 1495 | //("!" | 'not') |
1496 | public Alternatives getAlternatives_0_1_0() { return cAlternatives_0_1_0; } | 1496 | public Alternatives getAlternatives_0_1_0() { return cAlternatives_0_1_0; } |
1497 | 1497 | ||
1498 | //"!" | 1498 | //"!" |
@@ -1628,7 +1628,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1628 | //{ALSFunctionCall} | 1628 | //{ALSFunctionCall} |
1629 | public Action getALSFunctionCallAction_7_0() { return cALSFunctionCallAction_7_0; } | 1629 | public Action getALSFunctionCallAction_7_0() { return cALSFunctionCallAction_7_0; } |
1630 | 1630 | ||
1631 | //referredDefinition=[ALSDefinition] | referredNumericOperator=ALSNumericOperator | 1631 | //(referredDefinition=[ALSDefinition] | referredNumericOperator=ALSNumericOperator) |
1632 | public Alternatives getAlternatives_7_1() { return cAlternatives_7_1; } | 1632 | public Alternatives getAlternatives_7_1() { return cAlternatives_7_1; } |
1633 | 1633 | ||
1634 | //referredDefinition=[ALSDefinition] | 1634 | //referredDefinition=[ALSDefinition] |
@@ -1739,7 +1739,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1739 | //ALSBasicRelationTerm ALSTerm: | 1739 | //ALSBasicRelationTerm ALSTerm: |
1740 | // {ALSNone} 'none' | {ALSIden} 'iden' | {ALSUniv} 'univ' | {ALSInt} 'Int' | {ALSReference} | 1740 | // {ALSNone} 'none' | {ALSIden} 'iden' | {ALSUniv} 'univ' | {ALSInt} 'Int' | {ALSReference} |
1741 | // referred=[ALSRelationDeclaration] | {ALSNumberLiteral} value=INT | | 1741 | // referred=[ALSRelationDeclaration] | {ALSNumberLiteral} value=INT | |
1742 | // '(' ALSTerm ')'; | 1742 | // '(' ALSTerm ')' |
1743 | @Override public ParserRule getRule() { return rule; } | 1743 | @Override public ParserRule getRule() { return rule; } |
1744 | 1744 | ||
1745 | //{ALSNone} 'none' | {ALSIden} 'iden' | {ALSUniv} 'univ' | {ALSInt} 'Int' | {ALSReference} | 1745 | //{ALSNone} 'none' | {ALSIden} 'iden' | {ALSUniv} 'univ' | {ALSInt} 'Int' | {ALSReference} |
@@ -2210,7 +2210,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2210 | return getALSDocumentAccess().getRule(); | 2210 | return getALSDocumentAccess().getRule(); |
2211 | } | 2211 | } |
2212 | 2212 | ||
2213 | //@ Override terminal ID: | 2213 | //terminal ID: |
2214 | // ('a'..'z' | 'A'..'Z' | '_') ('a'..'z' | 'A'..'Z' | '_' | "'" | '"' | '0'..'9')*; | 2214 | // ('a'..'z' | 'A'..'Z' | '_') ('a'..'z' | 'A'..'Z' | '_' | "'" | '"' | '0'..'9')*; |
2215 | public TerminalRule getIDRule() { | 2215 | public TerminalRule getIDRule() { |
2216 | return tID; | 2216 | return tID; |
@@ -2374,7 +2374,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2374 | //ALSQuantified ALSTerm: | 2374 | //ALSQuantified ALSTerm: |
2375 | // {ALSQuantifiedEx} type=ALSMultiplicity | 2375 | // {ALSQuantifiedEx} type=ALSMultiplicity |
2376 | // disj?='disj'? variables+=ALSVariableDeclaration (',' variables+=ALSVariableDeclaration)* '{' expression=ALSTerm '}' | | 2376 | // disj?='disj'? variables+=ALSVariableDeclaration (',' variables+=ALSVariableDeclaration)* '{' expression=ALSTerm '}' | |
2377 | // ALSOr; | 2377 | // ALSOr |
2378 | public ALSQuantifiedElements getALSQuantifiedAccess() { | 2378 | public ALSQuantifiedElements getALSQuantifiedAccess() { |
2379 | return pALSQuantified; | 2379 | return pALSQuantified; |
2380 | } | 2380 | } |
@@ -2384,7 +2384,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2384 | } | 2384 | } |
2385 | 2385 | ||
2386 | //ALSOr ALSTerm: | 2386 | //ALSOr ALSTerm: |
2387 | // ALSIff ({ALSOr.leftOperand=current} ("||" | "or") rightOperand=ALSIff)?; | 2387 | // ALSIff ({ALSOr.leftOperand=current} ("||" | "or") rightOperand=ALSIff)? |
2388 | public ALSOrElements getALSOrAccess() { | 2388 | public ALSOrElements getALSOrAccess() { |
2389 | return pALSOr; | 2389 | return pALSOr; |
2390 | } | 2390 | } |
@@ -2394,7 +2394,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2394 | } | 2394 | } |
2395 | 2395 | ||
2396 | //ALSIff ALSTerm: | 2396 | //ALSIff ALSTerm: |
2397 | // ALSImpl ({ALSIff.leftOperand=current} ("<=>" | "iff") rightOperand=ALSImpl)?; | 2397 | // ALSImpl ({ALSIff.leftOperand=current} ("<=>" | "iff") rightOperand=ALSImpl)? |
2398 | public ALSIffElements getALSIffAccess() { | 2398 | public ALSIffElements getALSIffAccess() { |
2399 | return pALSIff; | 2399 | return pALSIff; |
2400 | } | 2400 | } |
@@ -2404,7 +2404,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2404 | } | 2404 | } |
2405 | 2405 | ||
2406 | //ALSImpl ALSTerm: | 2406 | //ALSImpl ALSTerm: |
2407 | // ALSAnd ({ALSImpl.leftOperand=current} ("=>" | "implies") rightOperand=ALSAnd ('else' elseOperand=ALSAnd)?)?; | 2407 | // ALSAnd ({ALSImpl.leftOperand=current} ("=>" | "implies") rightOperand=ALSAnd ('else' elseOperand=ALSAnd)?)? |
2408 | public ALSImplElements getALSImplAccess() { | 2408 | public ALSImplElements getALSImplAccess() { |
2409 | return pALSImpl; | 2409 | return pALSImpl; |
2410 | } | 2410 | } |
@@ -2414,7 +2414,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2414 | } | 2414 | } |
2415 | 2415 | ||
2416 | //ALSAnd ALSTerm: | 2416 | //ALSAnd ALSTerm: |
2417 | // ALSComparison ({ALSAnd.leftOperand=current} ("&&" | "and") rightOperand=ALSComparison)?; | 2417 | // ALSComparison ({ALSAnd.leftOperand=current} ("&&" | "and") rightOperand=ALSComparison)? |
2418 | public ALSAndElements getALSAndAccess() { | 2418 | public ALSAndElements getALSAndAccess() { |
2419 | return pALSAnd; | 2419 | return pALSAnd; |
2420 | } | 2420 | } |
@@ -2426,7 +2426,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2426 | //ALSComparison ALSTerm: | 2426 | //ALSComparison ALSTerm: |
2427 | // ALSOverride (({ALSEquals.leftOperand=current} "=" | {ALSNotEquals.leftOperand=current} "!=" | | 2427 | // ALSOverride (({ALSEquals.leftOperand=current} "=" | {ALSNotEquals.leftOperand=current} "!=" | |
2428 | // {ALSSubset.leftOperand=current} "in" | {ALSLess.leftOperand=current} ">" | {ALSLeq.leftOperand=current} ">=" | | 2428 | // {ALSSubset.leftOperand=current} "in" | {ALSLess.leftOperand=current} ">" | {ALSLeq.leftOperand=current} ">=" | |
2429 | // {ALSMore.leftOperand=current} "<" | {ALSMeq.leftOperand=current} "<=") rightOperand=ALSOverride)?; | 2429 | // {ALSMore.leftOperand=current} "<" | {ALSMeq.leftOperand=current} "<=") rightOperand=ALSOverride)? |
2430 | public ALSComparisonElements getALSComparisonAccess() { | 2430 | public ALSComparisonElements getALSComparisonAccess() { |
2431 | return pALSComparison; | 2431 | return pALSComparison; |
2432 | } | 2432 | } |
@@ -2436,7 +2436,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2436 | } | 2436 | } |
2437 | 2437 | ||
2438 | //ALSOverride ALSTerm: | 2438 | //ALSOverride ALSTerm: |
2439 | // ALSRangeRestrictionRight ({ALSOverride.leftOperand=current} '++' rightOperand=ALSRangeRestrictionRight)?; | 2439 | // ALSRangeRestrictionRight ({ALSOverride.leftOperand=current} '++' rightOperand=ALSRangeRestrictionRight)? |
2440 | public ALSOverrideElements getALSOverrideAccess() { | 2440 | public ALSOverrideElements getALSOverrideAccess() { |
2441 | return pALSOverride; | 2441 | return pALSOverride; |
2442 | } | 2442 | } |
@@ -2446,7 +2446,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2446 | } | 2446 | } |
2447 | 2447 | ||
2448 | //ALSRangeRestrictionRight ALSTerm: | 2448 | //ALSRangeRestrictionRight ALSTerm: |
2449 | // ALSRangeRestrictionLeft ({ALSRangeRestrictionRight.relation=current} ':>' filter=ALSRangeRestrictionLeft)?; | 2449 | // ALSRangeRestrictionLeft ({ALSRangeRestrictionRight.relation=current} ':>' filter=ALSRangeRestrictionLeft)? |
2450 | public ALSRangeRestrictionRightElements getALSRangeRestrictionRightAccess() { | 2450 | public ALSRangeRestrictionRightElements getALSRangeRestrictionRightAccess() { |
2451 | return pALSRangeRestrictionRight; | 2451 | return pALSRangeRestrictionRight; |
2452 | } | 2452 | } |
@@ -2456,7 +2456,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2456 | } | 2456 | } |
2457 | 2457 | ||
2458 | //ALSRangeRestrictionLeft ALSTerm: | 2458 | //ALSRangeRestrictionLeft ALSTerm: |
2459 | // ALSJoin ({ALSRangeRestrictionLeft.filter=current} '<:' relation=ALSJoin)?; | 2459 | // ALSJoin ({ALSRangeRestrictionLeft.filter=current} '<:' relation=ALSJoin)? |
2460 | public ALSRangeRestrictionLeftElements getALSRangeRestrictionLeftAccess() { | 2460 | public ALSRangeRestrictionLeftElements getALSRangeRestrictionLeftAccess() { |
2461 | return pALSRangeRestrictionLeft; | 2461 | return pALSRangeRestrictionLeft; |
2462 | } | 2462 | } |
@@ -2466,7 +2466,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2466 | } | 2466 | } |
2467 | 2467 | ||
2468 | //ALSJoin ALSTerm: | 2468 | //ALSJoin ALSTerm: |
2469 | // ALSMinus ({ALSJoin.leftOperand=current} '.' rightOperand=ALSMinus)*; | 2469 | // ALSMinus ({ALSJoin.leftOperand=current} '.' rightOperand=ALSMinus)* |
2470 | public ALSJoinElements getALSJoinAccess() { | 2470 | public ALSJoinElements getALSJoinAccess() { |
2471 | return pALSJoin; | 2471 | return pALSJoin; |
2472 | } | 2472 | } |
@@ -2476,7 +2476,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2476 | } | 2476 | } |
2477 | 2477 | ||
2478 | //ALSMinus ALSTerm: | 2478 | //ALSMinus ALSTerm: |
2479 | // ALSPlus ({ALSMinus.leftOperand=current} '-' rightOperand=ALSPlus)*; | 2479 | // ALSPlus ({ALSMinus.leftOperand=current} '-' rightOperand=ALSPlus)* |
2480 | public ALSMinusElements getALSMinusAccess() { | 2480 | public ALSMinusElements getALSMinusAccess() { |
2481 | return pALSMinus; | 2481 | return pALSMinus; |
2482 | } | 2482 | } |
@@ -2486,7 +2486,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2486 | } | 2486 | } |
2487 | 2487 | ||
2488 | //ALSPlus ALSTerm: | 2488 | //ALSPlus ALSTerm: |
2489 | // ALSIntersection ({ALSPlus.leftOperand=current} '+' rightOperand=ALSIntersection)*; | 2489 | // ALSIntersection ({ALSPlus.leftOperand=current} '+' rightOperand=ALSIntersection)* |
2490 | public ALSPlusElements getALSPlusAccess() { | 2490 | public ALSPlusElements getALSPlusAccess() { |
2491 | return pALSPlus; | 2491 | return pALSPlus; |
2492 | } | 2492 | } |
@@ -2496,7 +2496,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2496 | } | 2496 | } |
2497 | 2497 | ||
2498 | //ALSIntersection ALSTerm: | 2498 | //ALSIntersection ALSTerm: |
2499 | // ALSDirectProduct ({ALSIntersection.leftOperand=current} '&' rightOperand=ALSDirectProduct)*; | 2499 | // ALSDirectProduct ({ALSIntersection.leftOperand=current} '&' rightOperand=ALSDirectProduct)* |
2500 | public ALSIntersectionElements getALSIntersectionAccess() { | 2500 | public ALSIntersectionElements getALSIntersectionAccess() { |
2501 | return pALSIntersection; | 2501 | return pALSIntersection; |
2502 | } | 2502 | } |
@@ -2510,7 +2510,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2510 | // ALSPreficed ({ALSDirectProduct.leftOperand=current} leftMultiplicit=ALSMultiplicity? | 2510 | // ALSPreficed ({ALSDirectProduct.leftOperand=current} leftMultiplicit=ALSMultiplicity? |
2511 | // '->' | 2511 | // '->' |
2512 | // rightMultiplicit=ALSMultiplicity? | 2512 | // rightMultiplicit=ALSMultiplicity? |
2513 | // rightOperand=ALSPreficed)?; | 2513 | // rightOperand=ALSPreficed)? |
2514 | public ALSDirectProductElements getALSDirectProductAccess() { | 2514 | public ALSDirectProductElements getALSDirectProductAccess() { |
2515 | return pALSDirectProduct; | 2515 | return pALSDirectProduct; |
2516 | } | 2516 | } |
@@ -2526,7 +2526,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2526 | // operand=ALSBasicRelationTerm | {ALSSum} 'sum' variables+=ALSVariableDeclaration (',' | 2526 | // operand=ALSBasicRelationTerm | {ALSSum} 'sum' variables+=ALSVariableDeclaration (',' |
2527 | // variables+=ALSVariableDeclaration)* '{' expression=ALSTerm '}' | {ALSFunctionCall} | 2527 | // variables+=ALSVariableDeclaration)* '{' expression=ALSTerm '}' | {ALSFunctionCall} |
2528 | // (referredDefinition=[ALSDefinition] | referredNumericOperator=ALSNumericOperator) '[' params+=ALSTerm (',' | 2528 | // (referredDefinition=[ALSDefinition] | referredNumericOperator=ALSNumericOperator) '[' params+=ALSTerm (',' |
2529 | // params+=ALSTerm)* ']' | ALSBasicRelationTerm; | 2529 | // params+=ALSTerm)* ']' | ALSBasicRelationTerm |
2530 | public ALSPreficedElements getALSPreficedAccess() { | 2530 | public ALSPreficedElements getALSPreficedAccess() { |
2531 | return pALSPreficed; | 2531 | return pALSPreficed; |
2532 | } | 2532 | } |
@@ -2559,7 +2559,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2559 | //ALSBasicRelationTerm ALSTerm: | 2559 | //ALSBasicRelationTerm ALSTerm: |
2560 | // {ALSNone} 'none' | {ALSIden} 'iden' | {ALSUniv} 'univ' | {ALSInt} 'Int' | {ALSReference} | 2560 | // {ALSNone} 'none' | {ALSIden} 'iden' | {ALSUniv} 'univ' | {ALSInt} 'Int' | {ALSReference} |
2561 | // referred=[ALSRelationDeclaration] | {ALSNumberLiteral} value=INT | | 2561 | // referred=[ALSRelationDeclaration] | {ALSNumberLiteral} value=INT | |
2562 | // '(' ALSTerm ')'; | 2562 | // '(' ALSTerm ')' |
2563 | public ALSBasicRelationTermElements getALSBasicRelationTermAccess() { | 2563 | public ALSBasicRelationTermElements getALSBasicRelationTermAccess() { |
2564 | return pALSBasicRelationTerm; | 2564 | return pALSBasicRelationTerm; |
2565 | } | 2565 | } |
@@ -2624,7 +2624,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2624 | } | 2624 | } |
2625 | 2625 | ||
2626 | //terminal ML_COMMENT: | 2626 | //terminal ML_COMMENT: |
2627 | // '/*'->'*/'; | 2627 | // '/ *'->'* /'; |
2628 | public TerminalRule getML_COMMENTRule() { | 2628 | public TerminalRule getML_COMMENTRule() { |
2629 | return gaTerminals.getML_COMMENTRule(); | 2629 | return gaTerminals.getML_COMMENTRule(); |
2630 | } | 2630 | } |