diff options
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/services/AlloyLanguageGrammarAccess.java')
-rw-r--r-- | Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/services/AlloyLanguageGrammarAccess.java | 220 |
1 files changed, 146 insertions, 74 deletions
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 08dd554d..9acc4a39 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] |
@@ -1723,27 +1723,34 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1723 | private final Action cALSIntAction_3_0 = (Action)cGroup_3.eContents().get(0); | 1723 | private final Action cALSIntAction_3_0 = (Action)cGroup_3.eContents().get(0); |
1724 | private final Keyword cIntKeyword_3_1 = (Keyword)cGroup_3.eContents().get(1); | 1724 | private final Keyword cIntKeyword_3_1 = (Keyword)cGroup_3.eContents().get(1); |
1725 | private final Group cGroup_4 = (Group)cAlternatives.eContents().get(4); | 1725 | private final Group cGroup_4 = (Group)cAlternatives.eContents().get(4); |
1726 | private final Action cALSReferenceAction_4_0 = (Action)cGroup_4.eContents().get(0); | 1726 | private final Action cALSStringAction_4_0 = (Action)cGroup_4.eContents().get(0); |
1727 | private final Assignment cReferredAssignment_4_1 = (Assignment)cGroup_4.eContents().get(1); | 1727 | private final Keyword cStringKeyword_4_1 = (Keyword)cGroup_4.eContents().get(1); |
1728 | private final CrossReference cReferredALSRelationDeclarationCrossReference_4_1_0 = (CrossReference)cReferredAssignment_4_1.eContents().get(0); | ||
1729 | private final RuleCall cReferredALSRelationDeclarationIDTerminalRuleCall_4_1_0_1 = (RuleCall)cReferredALSRelationDeclarationCrossReference_4_1_0.eContents().get(1); | ||
1730 | private final Group cGroup_5 = (Group)cAlternatives.eContents().get(5); | 1728 | private final Group cGroup_5 = (Group)cAlternatives.eContents().get(5); |
1731 | private final Action cALSNumberLiteralAction_5_0 = (Action)cGroup_5.eContents().get(0); | 1729 | private final Action cALSReferenceAction_5_0 = (Action)cGroup_5.eContents().get(0); |
1732 | private final Assignment cValueAssignment_5_1 = (Assignment)cGroup_5.eContents().get(1); | 1730 | private final Assignment cReferredAssignment_5_1 = (Assignment)cGroup_5.eContents().get(1); |
1733 | private final RuleCall cValueINTTerminalRuleCall_5_1_0 = (RuleCall)cValueAssignment_5_1.eContents().get(0); | 1731 | private final CrossReference cReferredALSRelationDeclarationCrossReference_5_1_0 = (CrossReference)cReferredAssignment_5_1.eContents().get(0); |
1732 | private final RuleCall cReferredALSRelationDeclarationIDTerminalRuleCall_5_1_0_1 = (RuleCall)cReferredALSRelationDeclarationCrossReference_5_1_0.eContents().get(1); | ||
1734 | private final Group cGroup_6 = (Group)cAlternatives.eContents().get(6); | 1733 | private final Group cGroup_6 = (Group)cAlternatives.eContents().get(6); |
1735 | private final Keyword cLeftParenthesisKeyword_6_0 = (Keyword)cGroup_6.eContents().get(0); | 1734 | private final Action cALSNumberLiteralAction_6_0 = (Action)cGroup_6.eContents().get(0); |
1736 | private final RuleCall cALSTermParserRuleCall_6_1 = (RuleCall)cGroup_6.eContents().get(1); | 1735 | private final Assignment cValueAssignment_6_1 = (Assignment)cGroup_6.eContents().get(1); |
1737 | private final Keyword cRightParenthesisKeyword_6_2 = (Keyword)cGroup_6.eContents().get(2); | 1736 | private final RuleCall cValueINTTerminalRuleCall_6_1_0 = (RuleCall)cValueAssignment_6_1.eContents().get(0); |
1737 | private final Group cGroup_7 = (Group)cAlternatives.eContents().get(7); | ||
1738 | private final Action cALSStringLiteralAction_7_0 = (Action)cGroup_7.eContents().get(0); | ||
1739 | private final Assignment cValueAssignment_7_1 = (Assignment)cGroup_7.eContents().get(1); | ||
1740 | private final RuleCall cValueSTRINGTerminalRuleCall_7_1_0 = (RuleCall)cValueAssignment_7_1.eContents().get(0); | ||
1741 | private final Group cGroup_8 = (Group)cAlternatives.eContents().get(8); | ||
1742 | private final Keyword cLeftParenthesisKeyword_8_0 = (Keyword)cGroup_8.eContents().get(0); | ||
1743 | private final RuleCall cALSTermParserRuleCall_8_1 = (RuleCall)cGroup_8.eContents().get(1); | ||
1744 | private final Keyword cRightParenthesisKeyword_8_2 = (Keyword)cGroup_8.eContents().get(2); | ||
1738 | 1745 | ||
1739 | //ALSBasicRelationTerm ALSTerm: | 1746 | //ALSBasicRelationTerm ALSTerm: |
1740 | // {ALSNone} 'none' | {ALSIden} 'iden' | {ALSUniv} 'univ' | {ALSInt} 'Int' | {ALSReference} | 1747 | // {ALSNone} 'none' | {ALSIden} 'iden' | {ALSUniv} 'univ' | {ALSInt} 'Int' | {ALSString} 'String' | {ALSReference} |
1741 | // referred=[ALSRelationDeclaration] | {ALSNumberLiteral} value=INT | | 1748 | // referred=[ALSRelationDeclaration] | {ALSNumberLiteral} value=INT | {ALSStringLiteral} value=STRING | |
1742 | // '(' ALSTerm ')' | 1749 | // '(' ALSTerm ')'; |
1743 | @Override public ParserRule getRule() { return rule; } | 1750 | @Override public ParserRule getRule() { return rule; } |
1744 | 1751 | ||
1745 | //{ALSNone} 'none' | {ALSIden} 'iden' | {ALSUniv} 'univ' | {ALSInt} 'Int' | {ALSReference} | 1752 | //{ALSNone} 'none' | {ALSIden} 'iden' | {ALSUniv} 'univ' | {ALSInt} 'Int' | {ALSString} 'String' | {ALSReference} |
1746 | //referred=[ALSRelationDeclaration] | {ALSNumberLiteral} value=INT | '(' ALSTerm ')' | 1753 | //referred=[ALSRelationDeclaration] | {ALSNumberLiteral} value=INT | {ALSStringLiteral} value=STRING | '(' ALSTerm ')' |
1747 | public Alternatives getAlternatives() { return cAlternatives; } | 1754 | public Alternatives getAlternatives() { return cAlternatives; } |
1748 | 1755 | ||
1749 | //{ALSNone} 'none' | 1756 | //{ALSNone} 'none' |
@@ -1782,44 +1789,65 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1782 | //'Int' | 1789 | //'Int' |
1783 | public Keyword getIntKeyword_3_1() { return cIntKeyword_3_1; } | 1790 | public Keyword getIntKeyword_3_1() { return cIntKeyword_3_1; } |
1784 | 1791 | ||
1785 | //{ALSReference} referred=[ALSRelationDeclaration] | 1792 | //{ALSString} 'String' |
1786 | public Group getGroup_4() { return cGroup_4; } | 1793 | public Group getGroup_4() { return cGroup_4; } |
1787 | 1794 | ||
1795 | //{ALSString} | ||
1796 | public Action getALSStringAction_4_0() { return cALSStringAction_4_0; } | ||
1797 | |||
1798 | //'String' | ||
1799 | public Keyword getStringKeyword_4_1() { return cStringKeyword_4_1; } | ||
1800 | |||
1801 | //{ALSReference} referred=[ALSRelationDeclaration] | ||
1802 | public Group getGroup_5() { return cGroup_5; } | ||
1803 | |||
1788 | //{ALSReference} | 1804 | //{ALSReference} |
1789 | public Action getALSReferenceAction_4_0() { return cALSReferenceAction_4_0; } | 1805 | public Action getALSReferenceAction_5_0() { return cALSReferenceAction_5_0; } |
1790 | 1806 | ||
1791 | //referred=[ALSRelationDeclaration] | 1807 | //referred=[ALSRelationDeclaration] |
1792 | public Assignment getReferredAssignment_4_1() { return cReferredAssignment_4_1; } | 1808 | public Assignment getReferredAssignment_5_1() { return cReferredAssignment_5_1; } |
1793 | 1809 | ||
1794 | //[ALSRelationDeclaration] | 1810 | //[ALSRelationDeclaration] |
1795 | public CrossReference getReferredALSRelationDeclarationCrossReference_4_1_0() { return cReferredALSRelationDeclarationCrossReference_4_1_0; } | 1811 | public CrossReference getReferredALSRelationDeclarationCrossReference_5_1_0() { return cReferredALSRelationDeclarationCrossReference_5_1_0; } |
1796 | 1812 | ||
1797 | //ID | 1813 | //ID |
1798 | public RuleCall getReferredALSRelationDeclarationIDTerminalRuleCall_4_1_0_1() { return cReferredALSRelationDeclarationIDTerminalRuleCall_4_1_0_1; } | 1814 | public RuleCall getReferredALSRelationDeclarationIDTerminalRuleCall_5_1_0_1() { return cReferredALSRelationDeclarationIDTerminalRuleCall_5_1_0_1; } |
1799 | 1815 | ||
1800 | //{ALSNumberLiteral} value=INT | 1816 | //{ALSNumberLiteral} value=INT |
1801 | public Group getGroup_5() { return cGroup_5; } | 1817 | public Group getGroup_6() { return cGroup_6; } |
1802 | 1818 | ||
1803 | //{ALSNumberLiteral} | 1819 | //{ALSNumberLiteral} |
1804 | public Action getALSNumberLiteralAction_5_0() { return cALSNumberLiteralAction_5_0; } | 1820 | public Action getALSNumberLiteralAction_6_0() { return cALSNumberLiteralAction_6_0; } |
1805 | 1821 | ||
1806 | //value=INT | 1822 | //value=INT |
1807 | public Assignment getValueAssignment_5_1() { return cValueAssignment_5_1; } | 1823 | public Assignment getValueAssignment_6_1() { return cValueAssignment_6_1; } |
1808 | 1824 | ||
1809 | //INT | 1825 | //INT |
1810 | public RuleCall getValueINTTerminalRuleCall_5_1_0() { return cValueINTTerminalRuleCall_5_1_0; } | 1826 | public RuleCall getValueINTTerminalRuleCall_6_1_0() { return cValueINTTerminalRuleCall_6_1_0; } |
1827 | |||
1828 | //{ALSStringLiteral} value=STRING | ||
1829 | public Group getGroup_7() { return cGroup_7; } | ||
1830 | |||
1831 | //{ALSStringLiteral} | ||
1832 | public Action getALSStringLiteralAction_7_0() { return cALSStringLiteralAction_7_0; } | ||
1833 | |||
1834 | //value=STRING | ||
1835 | public Assignment getValueAssignment_7_1() { return cValueAssignment_7_1; } | ||
1836 | |||
1837 | //STRING | ||
1838 | public RuleCall getValueSTRINGTerminalRuleCall_7_1_0() { return cValueSTRINGTerminalRuleCall_7_1_0; } | ||
1811 | 1839 | ||
1812 | //'(' ALSTerm ')' | 1840 | //'(' ALSTerm ')' |
1813 | public Group getGroup_6() { return cGroup_6; } | 1841 | public Group getGroup_8() { return cGroup_8; } |
1814 | 1842 | ||
1815 | //'(' | 1843 | //'(' |
1816 | public Keyword getLeftParenthesisKeyword_6_0() { return cLeftParenthesisKeyword_6_0; } | 1844 | public Keyword getLeftParenthesisKeyword_8_0() { return cLeftParenthesisKeyword_8_0; } |
1817 | 1845 | ||
1818 | //ALSTerm | 1846 | //ALSTerm |
1819 | public RuleCall getALSTermParserRuleCall_6_1() { return cALSTermParserRuleCall_6_1; } | 1847 | public RuleCall getALSTermParserRuleCall_8_1() { return cALSTermParserRuleCall_8_1; } |
1820 | 1848 | ||
1821 | //')' | 1849 | //')' |
1822 | public Keyword getRightParenthesisKeyword_6_2() { return cRightParenthesisKeyword_6_2; } | 1850 | public Keyword getRightParenthesisKeyword_8_2() { return cRightParenthesisKeyword_8_2; } |
1823 | } | 1851 | } |
1824 | 1852 | ||
1825 | public class ALSRunCommandElements extends AbstractParserRuleElementFinder { | 1853 | public class ALSRunCommandElements extends AbstractParserRuleElementFinder { |
@@ -1890,12 +1918,13 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1890 | private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1); | 1918 | private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1); |
1891 | private final RuleCall cALSSigScopeParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0); | 1919 | private final RuleCall cALSSigScopeParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0); |
1892 | private final RuleCall cALSIntScopeParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1); | 1920 | private final RuleCall cALSIntScopeParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1); |
1921 | private final RuleCall cALSStringScopeParserRuleCall_2 = (RuleCall)cAlternatives.eContents().get(2); | ||
1893 | 1922 | ||
1894 | //ALSTypeScope: | 1923 | //ALSTypeScope: |
1895 | // ALSSigScope | ALSIntScope; | 1924 | // ALSSigScope | ALSIntScope | ALSStringScope; |
1896 | @Override public ParserRule getRule() { return rule; } | 1925 | @Override public ParserRule getRule() { return rule; } |
1897 | 1926 | ||
1898 | //ALSSigScope | ALSIntScope | 1927 | //ALSSigScope | ALSIntScope | ALSStringScope |
1899 | public Alternatives getAlternatives() { return cAlternatives; } | 1928 | public Alternatives getAlternatives() { return cAlternatives; } |
1900 | 1929 | ||
1901 | //ALSSigScope | 1930 | //ALSSigScope |
@@ -1903,6 +1932,9 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1903 | 1932 | ||
1904 | //ALSIntScope | 1933 | //ALSIntScope |
1905 | public RuleCall getALSIntScopeParserRuleCall_1() { return cALSIntScopeParserRuleCall_1; } | 1934 | public RuleCall getALSIntScopeParserRuleCall_1() { return cALSIntScopeParserRuleCall_1; } |
1935 | |||
1936 | //ALSStringScope | ||
1937 | public RuleCall getALSStringScopeParserRuleCall_2() { return cALSStringScopeParserRuleCall_2; } | ||
1906 | } | 1938 | } |
1907 | 1939 | ||
1908 | public class ALSSigScopeElements extends AbstractParserRuleElementFinder { | 1940 | public class ALSSigScopeElements extends AbstractParserRuleElementFinder { |
@@ -1968,6 +2000,34 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1968 | //'Int' | 2000 | //'Int' |
1969 | public Keyword getIntKeyword_1() { return cIntKeyword_1; } | 2001 | public Keyword getIntKeyword_1() { return cIntKeyword_1; } |
1970 | } | 2002 | } |
2003 | |||
2004 | public class ALSStringScopeElements extends AbstractParserRuleElementFinder { | ||
2005 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSStringScope"); | ||
2006 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
2007 | private final Keyword cExactlyKeyword_0 = (Keyword)cGroup.eContents().get(0); | ||
2008 | private final Assignment cNumberAssignment_1 = (Assignment)cGroup.eContents().get(1); | ||
2009 | private final RuleCall cNumberINTTerminalRuleCall_1_0 = (RuleCall)cNumberAssignment_1.eContents().get(0); | ||
2010 | private final Keyword cStringKeyword_2 = (Keyword)cGroup.eContents().get(2); | ||
2011 | |||
2012 | //ALSStringScope: | ||
2013 | // 'exactly' number=INT 'String'; | ||
2014 | @Override public ParserRule getRule() { return rule; } | ||
2015 | |||
2016 | //'exactly' number=INT 'String' | ||
2017 | public Group getGroup() { return cGroup; } | ||
2018 | |||
2019 | //'exactly' | ||
2020 | public Keyword getExactlyKeyword_0() { return cExactlyKeyword_0; } | ||
2021 | |||
2022 | //number=INT | ||
2023 | public Assignment getNumberAssignment_1() { return cNumberAssignment_1; } | ||
2024 | |||
2025 | //INT | ||
2026 | public RuleCall getNumberINTTerminalRuleCall_1_0() { return cNumberINTTerminalRuleCall_1_0; } | ||
2027 | |||
2028 | //'String' | ||
2029 | public Keyword getStringKeyword_2() { return cStringKeyword_2; } | ||
2030 | } | ||
1971 | 2031 | ||
1972 | 2032 | ||
1973 | public class ALSMultiplicityElements extends AbstractEnumRuleElementFinder { | 2033 | public class ALSMultiplicityElements extends AbstractEnumRuleElementFinder { |
@@ -2120,6 +2180,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2120 | private final ALSTypeScopeElements pALSTypeScope; | 2180 | private final ALSTypeScopeElements pALSTypeScope; |
2121 | private final ALSSigScopeElements pALSSigScope; | 2181 | private final ALSSigScopeElements pALSSigScope; |
2122 | private final ALSIntScopeElements pALSIntScope; | 2182 | private final ALSIntScopeElements pALSIntScope; |
2183 | private final ALSStringScopeElements pALSStringScope; | ||
2123 | 2184 | ||
2124 | private final Grammar grammar; | 2185 | private final Grammar grammar; |
2125 | 2186 | ||
@@ -2168,6 +2229,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2168 | this.pALSTypeScope = new ALSTypeScopeElements(); | 2229 | this.pALSTypeScope = new ALSTypeScopeElements(); |
2169 | this.pALSSigScope = new ALSSigScopeElements(); | 2230 | this.pALSSigScope = new ALSSigScopeElements(); |
2170 | this.pALSIntScope = new ALSIntScopeElements(); | 2231 | this.pALSIntScope = new ALSIntScopeElements(); |
2232 | this.pALSStringScope = new ALSStringScopeElements(); | ||
2171 | } | 2233 | } |
2172 | 2234 | ||
2173 | protected Grammar internalFindGrammar(GrammarProvider grammarProvider) { | 2235 | protected Grammar internalFindGrammar(GrammarProvider grammarProvider) { |
@@ -2374,7 +2436,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2374 | //ALSQuantified ALSTerm: | 2436 | //ALSQuantified ALSTerm: |
2375 | // {ALSQuantifiedEx} type=ALSMultiplicity | 2437 | // {ALSQuantifiedEx} type=ALSMultiplicity |
2376 | // disj?='disj'? variables+=ALSVariableDeclaration (',' variables+=ALSVariableDeclaration)* '{' expression=ALSTerm '}' | | 2438 | // disj?='disj'? variables+=ALSVariableDeclaration (',' variables+=ALSVariableDeclaration)* '{' expression=ALSTerm '}' | |
2377 | // ALSOr | 2439 | // ALSOr; |
2378 | public ALSQuantifiedElements getALSQuantifiedAccess() { | 2440 | public ALSQuantifiedElements getALSQuantifiedAccess() { |
2379 | return pALSQuantified; | 2441 | return pALSQuantified; |
2380 | } | 2442 | } |
@@ -2384,7 +2446,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2384 | } | 2446 | } |
2385 | 2447 | ||
2386 | //ALSOr ALSTerm: | 2448 | //ALSOr ALSTerm: |
2387 | // ALSIff ({ALSOr.leftOperand=current} ("||" | "or") rightOperand=ALSIff)? | 2449 | // ALSIff ({ALSOr.leftOperand=current} ("||" | "or") rightOperand=ALSIff)?; |
2388 | public ALSOrElements getALSOrAccess() { | 2450 | public ALSOrElements getALSOrAccess() { |
2389 | return pALSOr; | 2451 | return pALSOr; |
2390 | } | 2452 | } |
@@ -2394,7 +2456,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2394 | } | 2456 | } |
2395 | 2457 | ||
2396 | //ALSIff ALSTerm: | 2458 | //ALSIff ALSTerm: |
2397 | // ALSImpl ({ALSIff.leftOperand=current} ("<=>" | "iff") rightOperand=ALSImpl)? | 2459 | // ALSImpl ({ALSIff.leftOperand=current} ("<=>" | "iff") rightOperand=ALSImpl)?; |
2398 | public ALSIffElements getALSIffAccess() { | 2460 | public ALSIffElements getALSIffAccess() { |
2399 | return pALSIff; | 2461 | return pALSIff; |
2400 | } | 2462 | } |
@@ -2404,7 +2466,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2404 | } | 2466 | } |
2405 | 2467 | ||
2406 | //ALSImpl ALSTerm: | 2468 | //ALSImpl ALSTerm: |
2407 | // ALSAnd ({ALSImpl.leftOperand=current} ("=>" | "implies") rightOperand=ALSAnd ('else' elseOperand=ALSAnd)?)? | 2469 | // ALSAnd ({ALSImpl.leftOperand=current} ("=>" | "implies") rightOperand=ALSAnd ('else' elseOperand=ALSAnd)?)?; |
2408 | public ALSImplElements getALSImplAccess() { | 2470 | public ALSImplElements getALSImplAccess() { |
2409 | return pALSImpl; | 2471 | return pALSImpl; |
2410 | } | 2472 | } |
@@ -2414,7 +2476,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2414 | } | 2476 | } |
2415 | 2477 | ||
2416 | //ALSAnd ALSTerm: | 2478 | //ALSAnd ALSTerm: |
2417 | // ALSComparison ({ALSAnd.leftOperand=current} ("&&" | "and") rightOperand=ALSComparison)? | 2479 | // ALSComparison ({ALSAnd.leftOperand=current} ("&&" | "and") rightOperand=ALSComparison)?; |
2418 | public ALSAndElements getALSAndAccess() { | 2480 | public ALSAndElements getALSAndAccess() { |
2419 | return pALSAnd; | 2481 | return pALSAnd; |
2420 | } | 2482 | } |
@@ -2426,7 +2488,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2426 | //ALSComparison ALSTerm: | 2488 | //ALSComparison ALSTerm: |
2427 | // ALSOverride (({ALSEquals.leftOperand=current} "=" | {ALSNotEquals.leftOperand=current} "!=" | | 2489 | // ALSOverride (({ALSEquals.leftOperand=current} "=" | {ALSNotEquals.leftOperand=current} "!=" | |
2428 | // {ALSSubset.leftOperand=current} "in" | {ALSLess.leftOperand=current} ">" | {ALSLeq.leftOperand=current} ">=" | | 2490 | // {ALSSubset.leftOperand=current} "in" | {ALSLess.leftOperand=current} ">" | {ALSLeq.leftOperand=current} ">=" | |
2429 | // {ALSMore.leftOperand=current} "<" | {ALSMeq.leftOperand=current} "<=") rightOperand=ALSOverride)? | 2491 | // {ALSMore.leftOperand=current} "<" | {ALSMeq.leftOperand=current} "<=") rightOperand=ALSOverride)?; |
2430 | public ALSComparisonElements getALSComparisonAccess() { | 2492 | public ALSComparisonElements getALSComparisonAccess() { |
2431 | return pALSComparison; | 2493 | return pALSComparison; |
2432 | } | 2494 | } |
@@ -2436,7 +2498,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2436 | } | 2498 | } |
2437 | 2499 | ||
2438 | //ALSOverride ALSTerm: | 2500 | //ALSOverride ALSTerm: |
2439 | // ALSRangeRestrictionRight ({ALSOverride.leftOperand=current} '++' rightOperand=ALSRangeRestrictionRight)? | 2501 | // ALSRangeRestrictionRight ({ALSOverride.leftOperand=current} '++' rightOperand=ALSRangeRestrictionRight)?; |
2440 | public ALSOverrideElements getALSOverrideAccess() { | 2502 | public ALSOverrideElements getALSOverrideAccess() { |
2441 | return pALSOverride; | 2503 | return pALSOverride; |
2442 | } | 2504 | } |
@@ -2446,7 +2508,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2446 | } | 2508 | } |
2447 | 2509 | ||
2448 | //ALSRangeRestrictionRight ALSTerm: | 2510 | //ALSRangeRestrictionRight ALSTerm: |
2449 | // ALSRangeRestrictionLeft ({ALSRangeRestrictionRight.relation=current} ':>' filter=ALSRangeRestrictionLeft)? | 2511 | // ALSRangeRestrictionLeft ({ALSRangeRestrictionRight.relation=current} ':>' filter=ALSRangeRestrictionLeft)?; |
2450 | public ALSRangeRestrictionRightElements getALSRangeRestrictionRightAccess() { | 2512 | public ALSRangeRestrictionRightElements getALSRangeRestrictionRightAccess() { |
2451 | return pALSRangeRestrictionRight; | 2513 | return pALSRangeRestrictionRight; |
2452 | } | 2514 | } |
@@ -2456,7 +2518,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2456 | } | 2518 | } |
2457 | 2519 | ||
2458 | //ALSRangeRestrictionLeft ALSTerm: | 2520 | //ALSRangeRestrictionLeft ALSTerm: |
2459 | // ALSJoin ({ALSRangeRestrictionLeft.filter=current} '<:' relation=ALSJoin)? | 2521 | // ALSJoin ({ALSRangeRestrictionLeft.filter=current} '<:' relation=ALSJoin)?; |
2460 | public ALSRangeRestrictionLeftElements getALSRangeRestrictionLeftAccess() { | 2522 | public ALSRangeRestrictionLeftElements getALSRangeRestrictionLeftAccess() { |
2461 | return pALSRangeRestrictionLeft; | 2523 | return pALSRangeRestrictionLeft; |
2462 | } | 2524 | } |
@@ -2466,7 +2528,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2466 | } | 2528 | } |
2467 | 2529 | ||
2468 | //ALSJoin ALSTerm: | 2530 | //ALSJoin ALSTerm: |
2469 | // ALSMinus ({ALSJoin.leftOperand=current} '.' rightOperand=ALSMinus)* | 2531 | // ALSMinus ({ALSJoin.leftOperand=current} '.' rightOperand=ALSMinus)*; |
2470 | public ALSJoinElements getALSJoinAccess() { | 2532 | public ALSJoinElements getALSJoinAccess() { |
2471 | return pALSJoin; | 2533 | return pALSJoin; |
2472 | } | 2534 | } |
@@ -2476,7 +2538,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2476 | } | 2538 | } |
2477 | 2539 | ||
2478 | //ALSMinus ALSTerm: | 2540 | //ALSMinus ALSTerm: |
2479 | // ALSPlus ({ALSMinus.leftOperand=current} '-' rightOperand=ALSPlus)* | 2541 | // ALSPlus ({ALSMinus.leftOperand=current} '-' rightOperand=ALSPlus)*; |
2480 | public ALSMinusElements getALSMinusAccess() { | 2542 | public ALSMinusElements getALSMinusAccess() { |
2481 | return pALSMinus; | 2543 | return pALSMinus; |
2482 | } | 2544 | } |
@@ -2486,7 +2548,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2486 | } | 2548 | } |
2487 | 2549 | ||
2488 | //ALSPlus ALSTerm: | 2550 | //ALSPlus ALSTerm: |
2489 | // ALSIntersection ({ALSPlus.leftOperand=current} '+' rightOperand=ALSIntersection)* | 2551 | // ALSIntersection ({ALSPlus.leftOperand=current} '+' rightOperand=ALSIntersection)*; |
2490 | public ALSPlusElements getALSPlusAccess() { | 2552 | public ALSPlusElements getALSPlusAccess() { |
2491 | return pALSPlus; | 2553 | return pALSPlus; |
2492 | } | 2554 | } |
@@ -2496,7 +2558,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2496 | } | 2558 | } |
2497 | 2559 | ||
2498 | //ALSIntersection ALSTerm: | 2560 | //ALSIntersection ALSTerm: |
2499 | // ALSDirectProduct ({ALSIntersection.leftOperand=current} '&' rightOperand=ALSDirectProduct)* | 2561 | // ALSDirectProduct ({ALSIntersection.leftOperand=current} '&' rightOperand=ALSDirectProduct)*; |
2500 | public ALSIntersectionElements getALSIntersectionAccess() { | 2562 | public ALSIntersectionElements getALSIntersectionAccess() { |
2501 | return pALSIntersection; | 2563 | return pALSIntersection; |
2502 | } | 2564 | } |
@@ -2510,7 +2572,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2510 | // ALSPreficed ({ALSDirectProduct.leftOperand=current} leftMultiplicit=ALSMultiplicity? | 2572 | // ALSPreficed ({ALSDirectProduct.leftOperand=current} leftMultiplicit=ALSMultiplicity? |
2511 | // '->' | 2573 | // '->' |
2512 | // rightMultiplicit=ALSMultiplicity? | 2574 | // rightMultiplicit=ALSMultiplicity? |
2513 | // rightOperand=ALSPreficed)? | 2575 | // rightOperand=ALSPreficed)?; |
2514 | public ALSDirectProductElements getALSDirectProductAccess() { | 2576 | public ALSDirectProductElements getALSDirectProductAccess() { |
2515 | return pALSDirectProduct; | 2577 | return pALSDirectProduct; |
2516 | } | 2578 | } |
@@ -2526,7 +2588,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2526 | // operand=ALSBasicRelationTerm | {ALSSum} 'sum' variables+=ALSVariableDeclaration (',' | 2588 | // operand=ALSBasicRelationTerm | {ALSSum} 'sum' variables+=ALSVariableDeclaration (',' |
2527 | // variables+=ALSVariableDeclaration)* '{' expression=ALSTerm '}' | {ALSFunctionCall} | 2589 | // variables+=ALSVariableDeclaration)* '{' expression=ALSTerm '}' | {ALSFunctionCall} |
2528 | // (referredDefinition=[ALSDefinition] | referredNumericOperator=ALSNumericOperator) '[' params+=ALSTerm (',' | 2590 | // (referredDefinition=[ALSDefinition] | referredNumericOperator=ALSNumericOperator) '[' params+=ALSTerm (',' |
2529 | // params+=ALSTerm)* ']' | ALSBasicRelationTerm | 2591 | // params+=ALSTerm)* ']' | ALSBasicRelationTerm; |
2530 | public ALSPreficedElements getALSPreficedAccess() { | 2592 | public ALSPreficedElements getALSPreficedAccess() { |
2531 | return pALSPreficed; | 2593 | return pALSPreficed; |
2532 | } | 2594 | } |
@@ -2557,9 +2619,9 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2557 | } | 2619 | } |
2558 | 2620 | ||
2559 | //ALSBasicRelationTerm ALSTerm: | 2621 | //ALSBasicRelationTerm ALSTerm: |
2560 | // {ALSNone} 'none' | {ALSIden} 'iden' | {ALSUniv} 'univ' | {ALSInt} 'Int' | {ALSReference} | 2622 | // {ALSNone} 'none' | {ALSIden} 'iden' | {ALSUniv} 'univ' | {ALSInt} 'Int' | {ALSString} 'String' | {ALSReference} |
2561 | // referred=[ALSRelationDeclaration] | {ALSNumberLiteral} value=INT | | 2623 | // referred=[ALSRelationDeclaration] | {ALSNumberLiteral} value=INT | {ALSStringLiteral} value=STRING | |
2562 | // '(' ALSTerm ')' | 2624 | // '(' ALSTerm ')'; |
2563 | public ALSBasicRelationTermElements getALSBasicRelationTermAccess() { | 2625 | public ALSBasicRelationTermElements getALSBasicRelationTermAccess() { |
2564 | return pALSBasicRelationTerm; | 2626 | return pALSBasicRelationTerm; |
2565 | } | 2627 | } |
@@ -2582,7 +2644,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2582 | } | 2644 | } |
2583 | 2645 | ||
2584 | //ALSTypeScope: | 2646 | //ALSTypeScope: |
2585 | // ALSSigScope | ALSIntScope; | 2647 | // ALSSigScope | ALSIntScope | ALSStringScope; |
2586 | public ALSTypeScopeElements getALSTypeScopeAccess() { | 2648 | public ALSTypeScopeElements getALSTypeScopeAccess() { |
2587 | return pALSTypeScope; | 2649 | return pALSTypeScope; |
2588 | } | 2650 | } |
@@ -2611,6 +2673,16 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2611 | return getALSIntScopeAccess().getRule(); | 2673 | return getALSIntScopeAccess().getRule(); |
2612 | } | 2674 | } |
2613 | 2675 | ||
2676 | //ALSStringScope: | ||
2677 | // 'exactly' number=INT 'String'; | ||
2678 | public ALSStringScopeElements getALSStringScopeAccess() { | ||
2679 | return pALSStringScope; | ||
2680 | } | ||
2681 | |||
2682 | public ParserRule getALSStringScopeRule() { | ||
2683 | return getALSStringScopeAccess().getRule(); | ||
2684 | } | ||
2685 | |||
2614 | //terminal INT returns ecore::EInt: | 2686 | //terminal INT returns ecore::EInt: |
2615 | // '0'..'9'+; | 2687 | // '0'..'9'+; |
2616 | public TerminalRule getINTRule() { | 2688 | public TerminalRule getINTRule() { |
@@ -2624,7 +2696,7 @@ public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2624 | } | 2696 | } |
2625 | 2697 | ||
2626 | //terminal ML_COMMENT: | 2698 | //terminal ML_COMMENT: |
2627 | // '/ *'->'* /'; | 2699 | // '/*'->'*/'; |
2628 | public TerminalRule getML_COMMENTRule() { | 2700 | public TerminalRule getML_COMMENTRule() { |
2629 | return gaTerminals.getML_COMMENTRule(); | 2701 | return gaTerminals.getML_COMMENTRule(); |
2630 | } | 2702 | } |