diff options
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalAlloyLanguage.g')
-rw-r--r-- | Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalAlloyLanguage.g | 121 |
1 files changed, 107 insertions, 14 deletions
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalAlloyLanguage.g b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalAlloyLanguage.g index 25558250..a00a01ba 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalAlloyLanguage.g +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalAlloyLanguage.g | |||
@@ -2650,7 +2650,18 @@ ruleALSBasicRelationTerm returns [EObject current=null] | |||
2650 | |(( | 2650 | |(( |
2651 | { | 2651 | { |
2652 | $current = forceCreateModelElement( | 2652 | $current = forceCreateModelElement( |
2653 | grammarAccess.getALSBasicRelationTermAccess().getALSReferenceAction_4_0(), | 2653 | grammarAccess.getALSBasicRelationTermAccess().getALSStringAction_4_0(), |
2654 | $current); | ||
2655 | } | ||
2656 | ) otherlv_9='String' | ||
2657 | { | ||
2658 | newLeafNode(otherlv_9, grammarAccess.getALSBasicRelationTermAccess().getStringKeyword_4_1()); | ||
2659 | } | ||
2660 | ) | ||
2661 | |(( | ||
2662 | { | ||
2663 | $current = forceCreateModelElement( | ||
2664 | grammarAccess.getALSBasicRelationTermAccess().getALSReferenceAction_5_0(), | ||
2654 | $current); | 2665 | $current); |
2655 | } | 2666 | } |
2656 | )( | 2667 | )( |
@@ -2660,9 +2671,9 @@ ruleALSBasicRelationTerm returns [EObject current=null] | |||
2660 | $current = createModelElement(grammarAccess.getALSBasicRelationTermRule()); | 2671 | $current = createModelElement(grammarAccess.getALSBasicRelationTermRule()); |
2661 | } | 2672 | } |
2662 | } | 2673 | } |
2663 | otherlv_9=RULE_ID | 2674 | otherlv_11=RULE_ID |
2664 | { | 2675 | { |
2665 | newLeafNode(otherlv_9, grammarAccess.getALSBasicRelationTermAccess().getReferredALSRelationDeclarationCrossReference_4_1_0()); | 2676 | newLeafNode(otherlv_11, grammarAccess.getALSBasicRelationTermAccess().getReferredALSRelationDeclarationCrossReference_5_1_0()); |
2666 | } | 2677 | } |
2667 | 2678 | ||
2668 | ) | 2679 | ) |
@@ -2670,14 +2681,14 @@ ruleALSBasicRelationTerm returns [EObject current=null] | |||
2670 | |(( | 2681 | |(( |
2671 | { | 2682 | { |
2672 | $current = forceCreateModelElement( | 2683 | $current = forceCreateModelElement( |
2673 | grammarAccess.getALSBasicRelationTermAccess().getALSNumberLiteralAction_5_0(), | 2684 | grammarAccess.getALSBasicRelationTermAccess().getALSNumberLiteralAction_6_0(), |
2674 | $current); | 2685 | $current); |
2675 | } | 2686 | } |
2676 | )( | 2687 | )( |
2677 | ( | 2688 | ( |
2678 | lv_value_11_0=RULE_INT | 2689 | lv_value_13_0=RULE_INT |
2679 | { | 2690 | { |
2680 | newLeafNode(lv_value_11_0, grammarAccess.getALSBasicRelationTermAccess().getValueINTTerminalRuleCall_5_1_0()); | 2691 | newLeafNode(lv_value_13_0, grammarAccess.getALSBasicRelationTermAccess().getValueINTTerminalRuleCall_6_1_0()); |
2681 | } | 2692 | } |
2682 | { | 2693 | { |
2683 | if ($current==null) { | 2694 | if ($current==null) { |
@@ -2686,28 +2697,53 @@ ruleALSBasicRelationTerm returns [EObject current=null] | |||
2686 | setWithLastConsumed( | 2697 | setWithLastConsumed( |
2687 | $current, | 2698 | $current, |
2688 | "value", | 2699 | "value", |
2689 | lv_value_11_0, | 2700 | lv_value_13_0, |
2690 | "org.eclipse.xtext.common.Terminals.INT"); | 2701 | "org.eclipse.xtext.common.Terminals.INT"); |
2691 | } | 2702 | } |
2692 | 2703 | ||
2693 | ) | 2704 | ) |
2694 | )) | 2705 | )) |
2695 | |( otherlv_12='(' | 2706 | |(( |
2696 | { | 2707 | { |
2697 | newLeafNode(otherlv_12, grammarAccess.getALSBasicRelationTermAccess().getLeftParenthesisKeyword_6_0()); | 2708 | $current = forceCreateModelElement( |
2709 | grammarAccess.getALSBasicRelationTermAccess().getALSStringLiteralAction_7_0(), | ||
2710 | $current); | ||
2711 | } | ||
2712 | )( | ||
2713 | ( | ||
2714 | lv_value_15_0=RULE_STRING | ||
2715 | { | ||
2716 | newLeafNode(lv_value_15_0, grammarAccess.getALSBasicRelationTermAccess().getValueSTRINGTerminalRuleCall_7_1_0()); | ||
2717 | } | ||
2718 | { | ||
2719 | if ($current==null) { | ||
2720 | $current = createModelElement(grammarAccess.getALSBasicRelationTermRule()); | ||
2721 | } | ||
2722 | setWithLastConsumed( | ||
2723 | $current, | ||
2724 | "value", | ||
2725 | lv_value_15_0, | ||
2726 | "org.eclipse.xtext.common.Terminals.STRING"); | ||
2727 | } | ||
2728 | |||
2729 | ) | ||
2730 | )) | ||
2731 | |( otherlv_16='(' | ||
2732 | { | ||
2733 | newLeafNode(otherlv_16, grammarAccess.getALSBasicRelationTermAccess().getLeftParenthesisKeyword_8_0()); | ||
2698 | } | 2734 | } |
2699 | 2735 | ||
2700 | { | 2736 | { |
2701 | newCompositeNode(grammarAccess.getALSBasicRelationTermAccess().getALSTermParserRuleCall_6_1()); | 2737 | newCompositeNode(grammarAccess.getALSBasicRelationTermAccess().getALSTermParserRuleCall_8_1()); |
2702 | } | 2738 | } |
2703 | this_ALSTerm_13=ruleALSTerm | 2739 | this_ALSTerm_17=ruleALSTerm |
2704 | { | 2740 | { |
2705 | $current = $this_ALSTerm_13.current; | 2741 | $current = $this_ALSTerm_17.current; |
2706 | afterParserOrEnumRuleCall(); | 2742 | afterParserOrEnumRuleCall(); |
2707 | } | 2743 | } |
2708 | otherlv_14=')' | 2744 | otherlv_18=')' |
2709 | { | 2745 | { |
2710 | newLeafNode(otherlv_14, grammarAccess.getALSBasicRelationTermAccess().getRightParenthesisKeyword_6_2()); | 2746 | newLeafNode(otherlv_18, grammarAccess.getALSBasicRelationTermAccess().getRightParenthesisKeyword_8_2()); |
2711 | } | 2747 | } |
2712 | )) | 2748 | )) |
2713 | ; | 2749 | ; |
@@ -2832,6 +2868,16 @@ ruleALSTypeScope returns [EObject current=null] | |||
2832 | $current = $this_ALSIntScope_1.current; | 2868 | $current = $this_ALSIntScope_1.current; |
2833 | afterParserOrEnumRuleCall(); | 2869 | afterParserOrEnumRuleCall(); |
2834 | } | 2870 | } |
2871 | |||
2872 | | | ||
2873 | { | ||
2874 | newCompositeNode(grammarAccess.getALSTypeScopeAccess().getALSStringScopeParserRuleCall_2()); | ||
2875 | } | ||
2876 | this_ALSStringScope_2=ruleALSStringScope | ||
2877 | { | ||
2878 | $current = $this_ALSStringScope_2.current; | ||
2879 | afterParserOrEnumRuleCall(); | ||
2880 | } | ||
2835 | ) | 2881 | ) |
2836 | ; | 2882 | ; |
2837 | 2883 | ||
@@ -2949,6 +2995,53 @@ ruleALSIntScope returns [EObject current=null] | |||
2949 | 2995 | ||
2950 | 2996 | ||
2951 | 2997 | ||
2998 | // Entry rule entryRuleALSStringScope | ||
2999 | entryRuleALSStringScope returns [EObject current=null] | ||
3000 | : | ||
3001 | { newCompositeNode(grammarAccess.getALSStringScopeRule()); } | ||
3002 | iv_ruleALSStringScope=ruleALSStringScope | ||
3003 | { $current=$iv_ruleALSStringScope.current; } | ||
3004 | EOF | ||
3005 | ; | ||
3006 | |||
3007 | // Rule ALSStringScope | ||
3008 | ruleALSStringScope returns [EObject current=null] | ||
3009 | @init { enterRule(); | ||
3010 | } | ||
3011 | @after { leaveRule(); }: | ||
3012 | ( otherlv_0='exactly' | ||
3013 | { | ||
3014 | newLeafNode(otherlv_0, grammarAccess.getALSStringScopeAccess().getExactlyKeyword_0()); | ||
3015 | } | ||
3016 | ( | ||
3017 | ( | ||
3018 | lv_number_1_0=RULE_INT | ||
3019 | { | ||
3020 | newLeafNode(lv_number_1_0, grammarAccess.getALSStringScopeAccess().getNumberINTTerminalRuleCall_1_0()); | ||
3021 | } | ||
3022 | { | ||
3023 | if ($current==null) { | ||
3024 | $current = createModelElement(grammarAccess.getALSStringScopeRule()); | ||
3025 | } | ||
3026 | setWithLastConsumed( | ||
3027 | $current, | ||
3028 | "number", | ||
3029 | lv_number_1_0, | ||
3030 | "org.eclipse.xtext.common.Terminals.INT"); | ||
3031 | } | ||
3032 | |||
3033 | ) | ||
3034 | ) otherlv_2='String' | ||
3035 | { | ||
3036 | newLeafNode(otherlv_2, grammarAccess.getALSStringScopeAccess().getStringKeyword_2()); | ||
3037 | } | ||
3038 | ) | ||
3039 | ; | ||
3040 | |||
3041 | |||
3042 | |||
3043 | |||
3044 | |||
2952 | // Rule ALSMultiplicity | 3045 | // Rule ALSMultiplicity |
2953 | ruleALSMultiplicity returns [Enumerator current=null] | 3046 | ruleALSMultiplicity returns [Enumerator current=null] |
2954 | @init { enterRule(); } | 3047 | @init { enterRule(); } |