diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-03-06 17:26:43 -0500 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:22:45 -0400 |
commit | 6cac004e4935f4cdbfaf1004c74ba7604f990ddc (patch) | |
tree | 8dff613a63e8f3125365c49d01b551f0b088fa3d /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguageParser.java | |
parent | Restructure Vampire Reasoner project (diff) | |
download | VIATRA-Generator-6cac004e4935f4cdbfaf1004c74ba7604f990ddc.tar.gz VIATRA-Generator-6cac004e4935f4cdbfaf1004c74ba7604f990ddc.tar.zst VIATRA-Generator-6cac004e4935f4cdbfaf1004c74ba7604f990ddc.zip |
Implement Enum handling and study hierarchy handling
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguageParser.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguageParser.java | 76 |
1 files changed, 38 insertions, 38 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguageParser.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguageParser.java index 3d1e277b..f44428a0 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguageParser.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguageParser.java | |||
@@ -5509,13 +5509,13 @@ public class InternalVampireLanguageParser extends AbstractInternalAntlrParser { | |||
5509 | 5509 | ||
5510 | 5510 | ||
5511 | // $ANTLR start "ruleVLSFofTerm" | 5511 | // $ANTLR start "ruleVLSFofTerm" |
5512 | // InternalVampireLanguage.g:2172:1: ruleVLSFofTerm returns [EObject current=null] : (this_VLSVariable_0= ruleVLSVariable | this_VLSFunctionFof_1= ruleVLSFunctionFof | this_VLSDefinedTerm_2= ruleVLSDefinedTerm ) ; | 5512 | // InternalVampireLanguage.g:2172:1: ruleVLSFofTerm returns [EObject current=null] : (this_VLSVariable_0= ruleVLSVariable | this_VLSFunctionAsTerm_1= ruleVLSFunctionAsTerm | this_VLSDefinedTerm_2= ruleVLSDefinedTerm ) ; |
5513 | public final EObject ruleVLSFofTerm() throws RecognitionException { | 5513 | public final EObject ruleVLSFofTerm() throws RecognitionException { |
5514 | EObject current = null; | 5514 | EObject current = null; |
5515 | 5515 | ||
5516 | EObject this_VLSVariable_0 = null; | 5516 | EObject this_VLSVariable_0 = null; |
5517 | 5517 | ||
5518 | EObject this_VLSFunctionFof_1 = null; | 5518 | EObject this_VLSFunctionAsTerm_1 = null; |
5519 | 5519 | ||
5520 | EObject this_VLSDefinedTerm_2 = null; | 5520 | EObject this_VLSDefinedTerm_2 = null; |
5521 | 5521 | ||
@@ -5524,10 +5524,10 @@ public class InternalVampireLanguageParser extends AbstractInternalAntlrParser { | |||
5524 | enterRule(); | 5524 | enterRule(); |
5525 | 5525 | ||
5526 | try { | 5526 | try { |
5527 | // InternalVampireLanguage.g:2178:2: ( (this_VLSVariable_0= ruleVLSVariable | this_VLSFunctionFof_1= ruleVLSFunctionFof | this_VLSDefinedTerm_2= ruleVLSDefinedTerm ) ) | 5527 | // InternalVampireLanguage.g:2178:2: ( (this_VLSVariable_0= ruleVLSVariable | this_VLSFunctionAsTerm_1= ruleVLSFunctionAsTerm | this_VLSDefinedTerm_2= ruleVLSDefinedTerm ) ) |
5528 | // InternalVampireLanguage.g:2179:2: (this_VLSVariable_0= ruleVLSVariable | this_VLSFunctionFof_1= ruleVLSFunctionFof | this_VLSDefinedTerm_2= ruleVLSDefinedTerm ) | 5528 | // InternalVampireLanguage.g:2179:2: (this_VLSVariable_0= ruleVLSVariable | this_VLSFunctionAsTerm_1= ruleVLSFunctionAsTerm | this_VLSDefinedTerm_2= ruleVLSDefinedTerm ) |
5529 | { | 5529 | { |
5530 | // InternalVampireLanguage.g:2179:2: (this_VLSVariable_0= ruleVLSVariable | this_VLSFunctionFof_1= ruleVLSFunctionFof | this_VLSDefinedTerm_2= ruleVLSDefinedTerm ) | 5530 | // InternalVampireLanguage.g:2179:2: (this_VLSVariable_0= ruleVLSVariable | this_VLSFunctionAsTerm_1= ruleVLSFunctionAsTerm | this_VLSDefinedTerm_2= ruleVLSDefinedTerm ) |
5531 | int alt31=3; | 5531 | int alt31=3; |
5532 | switch ( input.LA(1) ) { | 5532 | switch ( input.LA(1) ) { |
5533 | case RULE_UPPER_WORD_ID: | 5533 | case RULE_UPPER_WORD_ID: |
@@ -5578,18 +5578,18 @@ public class InternalVampireLanguageParser extends AbstractInternalAntlrParser { | |||
5578 | } | 5578 | } |
5579 | break; | 5579 | break; |
5580 | case 2 : | 5580 | case 2 : |
5581 | // InternalVampireLanguage.g:2189:3: this_VLSFunctionFof_1= ruleVLSFunctionFof | 5581 | // InternalVampireLanguage.g:2189:3: this_VLSFunctionAsTerm_1= ruleVLSFunctionAsTerm |
5582 | { | 5582 | { |
5583 | 5583 | ||
5584 | newCompositeNode(grammarAccess.getVLSFofTermAccess().getVLSFunctionFofParserRuleCall_1()); | 5584 | newCompositeNode(grammarAccess.getVLSFofTermAccess().getVLSFunctionAsTermParserRuleCall_1()); |
5585 | 5585 | ||
5586 | pushFollow(FOLLOW_2); | 5586 | pushFollow(FOLLOW_2); |
5587 | this_VLSFunctionFof_1=ruleVLSFunctionFof(); | 5587 | this_VLSFunctionAsTerm_1=ruleVLSFunctionAsTerm(); |
5588 | 5588 | ||
5589 | state._fsp--; | 5589 | state._fsp--; |
5590 | 5590 | ||
5591 | 5591 | ||
5592 | current = this_VLSFunctionFof_1; | 5592 | current = this_VLSFunctionAsTerm_1; |
5593 | afterParserOrEnumRuleCall(); | 5593 | afterParserOrEnumRuleCall(); |
5594 | 5594 | ||
5595 | 5595 | ||
@@ -5635,25 +5635,25 @@ public class InternalVampireLanguageParser extends AbstractInternalAntlrParser { | |||
5635 | // $ANTLR end "ruleVLSFofTerm" | 5635 | // $ANTLR end "ruleVLSFofTerm" |
5636 | 5636 | ||
5637 | 5637 | ||
5638 | // $ANTLR start "entryRuleVLSFunctionFof" | 5638 | // $ANTLR start "entryRuleVLSFunctionAsTerm" |
5639 | // InternalVampireLanguage.g:2210:1: entryRuleVLSFunctionFof returns [EObject current=null] : iv_ruleVLSFunctionFof= ruleVLSFunctionFof EOF ; | 5639 | // InternalVampireLanguage.g:2210:1: entryRuleVLSFunctionAsTerm returns [EObject current=null] : iv_ruleVLSFunctionAsTerm= ruleVLSFunctionAsTerm EOF ; |
5640 | public final EObject entryRuleVLSFunctionFof() throws RecognitionException { | 5640 | public final EObject entryRuleVLSFunctionAsTerm() throws RecognitionException { |
5641 | EObject current = null; | 5641 | EObject current = null; |
5642 | 5642 | ||
5643 | EObject iv_ruleVLSFunctionFof = null; | 5643 | EObject iv_ruleVLSFunctionAsTerm = null; |
5644 | 5644 | ||
5645 | 5645 | ||
5646 | try { | 5646 | try { |
5647 | // InternalVampireLanguage.g:2210:55: (iv_ruleVLSFunctionFof= ruleVLSFunctionFof EOF ) | 5647 | // InternalVampireLanguage.g:2210:58: (iv_ruleVLSFunctionAsTerm= ruleVLSFunctionAsTerm EOF ) |
5648 | // InternalVampireLanguage.g:2211:2: iv_ruleVLSFunctionFof= ruleVLSFunctionFof EOF | 5648 | // InternalVampireLanguage.g:2211:2: iv_ruleVLSFunctionAsTerm= ruleVLSFunctionAsTerm EOF |
5649 | { | 5649 | { |
5650 | newCompositeNode(grammarAccess.getVLSFunctionFofRule()); | 5650 | newCompositeNode(grammarAccess.getVLSFunctionAsTermRule()); |
5651 | pushFollow(FOLLOW_1); | 5651 | pushFollow(FOLLOW_1); |
5652 | iv_ruleVLSFunctionFof=ruleVLSFunctionFof(); | 5652 | iv_ruleVLSFunctionAsTerm=ruleVLSFunctionAsTerm(); |
5653 | 5653 | ||
5654 | state._fsp--; | 5654 | state._fsp--; |
5655 | 5655 | ||
5656 | current =iv_ruleVLSFunctionFof; | 5656 | current =iv_ruleVLSFunctionAsTerm; |
5657 | match(input,EOF,FOLLOW_2); | 5657 | match(input,EOF,FOLLOW_2); |
5658 | 5658 | ||
5659 | } | 5659 | } |
@@ -5668,12 +5668,12 @@ public class InternalVampireLanguageParser extends AbstractInternalAntlrParser { | |||
5668 | } | 5668 | } |
5669 | return current; | 5669 | return current; |
5670 | } | 5670 | } |
5671 | // $ANTLR end "entryRuleVLSFunctionFof" | 5671 | // $ANTLR end "entryRuleVLSFunctionAsTerm" |
5672 | 5672 | ||
5673 | 5673 | ||
5674 | // $ANTLR start "ruleVLSFunctionFof" | 5674 | // $ANTLR start "ruleVLSFunctionAsTerm" |
5675 | // InternalVampireLanguage.g:2217:1: ruleVLSFunctionFof returns [EObject current=null] : ( ( ( (lv_functor_0_1= RULE_LOWER_WORD_ID | lv_functor_0_2= RULE_SINGLE_QUOTE | lv_functor_0_3= RULE_DOLLAR_ID | lv_functor_0_4= RULE_DOUBLE_DOLLAR_ID ) ) ) (otherlv_1= '(' ( (lv_terms_2_0= ruleVLSFofTerm ) ) (otherlv_3= ',' ( (lv_terms_4_0= ruleVLSFofTerm ) ) )* otherlv_5= ')' )? ) ; | 5675 | // InternalVampireLanguage.g:2217:1: ruleVLSFunctionAsTerm returns [EObject current=null] : ( ( ( (lv_functor_0_1= RULE_LOWER_WORD_ID | lv_functor_0_2= RULE_SINGLE_QUOTE | lv_functor_0_3= RULE_DOLLAR_ID | lv_functor_0_4= RULE_DOUBLE_DOLLAR_ID ) ) ) (otherlv_1= '(' ( (lv_terms_2_0= ruleVLSFofTerm ) ) (otherlv_3= ',' ( (lv_terms_4_0= ruleVLSFofTerm ) ) )* otherlv_5= ')' )? ) ; |
5676 | public final EObject ruleVLSFunctionFof() throws RecognitionException { | 5676 | public final EObject ruleVLSFunctionAsTerm() throws RecognitionException { |
5677 | EObject current = null; | 5677 | EObject current = null; |
5678 | 5678 | ||
5679 | Token lv_functor_0_1=null; | 5679 | Token lv_functor_0_1=null; |
@@ -5740,11 +5740,11 @@ public class InternalVampireLanguageParser extends AbstractInternalAntlrParser { | |||
5740 | { | 5740 | { |
5741 | lv_functor_0_1=(Token)match(input,RULE_LOWER_WORD_ID,FOLLOW_31); | 5741 | lv_functor_0_1=(Token)match(input,RULE_LOWER_WORD_ID,FOLLOW_31); |
5742 | 5742 | ||
5743 | newLeafNode(lv_functor_0_1, grammarAccess.getVLSFunctionFofAccess().getFunctorLOWER_WORD_IDTerminalRuleCall_0_0_0()); | 5743 | newLeafNode(lv_functor_0_1, grammarAccess.getVLSFunctionAsTermAccess().getFunctorLOWER_WORD_IDTerminalRuleCall_0_0_0()); |
5744 | 5744 | ||
5745 | 5745 | ||
5746 | if (current==null) { | 5746 | if (current==null) { |
5747 | current = createModelElement(grammarAccess.getVLSFunctionFofRule()); | 5747 | current = createModelElement(grammarAccess.getVLSFunctionAsTermRule()); |
5748 | } | 5748 | } |
5749 | setWithLastConsumed( | 5749 | setWithLastConsumed( |
5750 | current, | 5750 | current, |
@@ -5760,11 +5760,11 @@ public class InternalVampireLanguageParser extends AbstractInternalAntlrParser { | |||
5760 | { | 5760 | { |
5761 | lv_functor_0_2=(Token)match(input,RULE_SINGLE_QUOTE,FOLLOW_31); | 5761 | lv_functor_0_2=(Token)match(input,RULE_SINGLE_QUOTE,FOLLOW_31); |
5762 | 5762 | ||
5763 | newLeafNode(lv_functor_0_2, grammarAccess.getVLSFunctionFofAccess().getFunctorSINGLE_QUOTETerminalRuleCall_0_0_1()); | 5763 | newLeafNode(lv_functor_0_2, grammarAccess.getVLSFunctionAsTermAccess().getFunctorSINGLE_QUOTETerminalRuleCall_0_0_1()); |
5764 | 5764 | ||
5765 | 5765 | ||
5766 | if (current==null) { | 5766 | if (current==null) { |
5767 | current = createModelElement(grammarAccess.getVLSFunctionFofRule()); | 5767 | current = createModelElement(grammarAccess.getVLSFunctionAsTermRule()); |
5768 | } | 5768 | } |
5769 | setWithLastConsumed( | 5769 | setWithLastConsumed( |
5770 | current, | 5770 | current, |
@@ -5780,11 +5780,11 @@ public class InternalVampireLanguageParser extends AbstractInternalAntlrParser { | |||
5780 | { | 5780 | { |
5781 | lv_functor_0_3=(Token)match(input,RULE_DOLLAR_ID,FOLLOW_31); | 5781 | lv_functor_0_3=(Token)match(input,RULE_DOLLAR_ID,FOLLOW_31); |
5782 | 5782 | ||
5783 | newLeafNode(lv_functor_0_3, grammarAccess.getVLSFunctionFofAccess().getFunctorDOLLAR_IDTerminalRuleCall_0_0_2()); | 5783 | newLeafNode(lv_functor_0_3, grammarAccess.getVLSFunctionAsTermAccess().getFunctorDOLLAR_IDTerminalRuleCall_0_0_2()); |
5784 | 5784 | ||
5785 | 5785 | ||
5786 | if (current==null) { | 5786 | if (current==null) { |
5787 | current = createModelElement(grammarAccess.getVLSFunctionFofRule()); | 5787 | current = createModelElement(grammarAccess.getVLSFunctionAsTermRule()); |
5788 | } | 5788 | } |
5789 | setWithLastConsumed( | 5789 | setWithLastConsumed( |
5790 | current, | 5790 | current, |
@@ -5800,11 +5800,11 @@ public class InternalVampireLanguageParser extends AbstractInternalAntlrParser { | |||
5800 | { | 5800 | { |
5801 | lv_functor_0_4=(Token)match(input,RULE_DOUBLE_DOLLAR_ID,FOLLOW_31); | 5801 | lv_functor_0_4=(Token)match(input,RULE_DOUBLE_DOLLAR_ID,FOLLOW_31); |
5802 | 5802 | ||
5803 | newLeafNode(lv_functor_0_4, grammarAccess.getVLSFunctionFofAccess().getFunctorDOUBLE_DOLLAR_IDTerminalRuleCall_0_0_3()); | 5803 | newLeafNode(lv_functor_0_4, grammarAccess.getVLSFunctionAsTermAccess().getFunctorDOUBLE_DOLLAR_IDTerminalRuleCall_0_0_3()); |
5804 | 5804 | ||
5805 | 5805 | ||
5806 | if (current==null) { | 5806 | if (current==null) { |
5807 | current = createModelElement(grammarAccess.getVLSFunctionFofRule()); | 5807 | current = createModelElement(grammarAccess.getVLSFunctionAsTermRule()); |
5808 | } | 5808 | } |
5809 | setWithLastConsumed( | 5809 | setWithLastConsumed( |
5810 | current, | 5810 | current, |
@@ -5837,7 +5837,7 @@ public class InternalVampireLanguageParser extends AbstractInternalAntlrParser { | |||
5837 | { | 5837 | { |
5838 | otherlv_1=(Token)match(input,34,FOLLOW_30); | 5838 | otherlv_1=(Token)match(input,34,FOLLOW_30); |
5839 | 5839 | ||
5840 | newLeafNode(otherlv_1, grammarAccess.getVLSFunctionFofAccess().getLeftParenthesisKeyword_1_0()); | 5840 | newLeafNode(otherlv_1, grammarAccess.getVLSFunctionAsTermAccess().getLeftParenthesisKeyword_1_0()); |
5841 | 5841 | ||
5842 | // InternalVampireLanguage.g:2295:4: ( (lv_terms_2_0= ruleVLSFofTerm ) ) | 5842 | // InternalVampireLanguage.g:2295:4: ( (lv_terms_2_0= ruleVLSFofTerm ) ) |
5843 | // InternalVampireLanguage.g:2296:5: (lv_terms_2_0= ruleVLSFofTerm ) | 5843 | // InternalVampireLanguage.g:2296:5: (lv_terms_2_0= ruleVLSFofTerm ) |
@@ -5846,7 +5846,7 @@ public class InternalVampireLanguageParser extends AbstractInternalAntlrParser { | |||
5846 | // InternalVampireLanguage.g:2297:6: lv_terms_2_0= ruleVLSFofTerm | 5846 | // InternalVampireLanguage.g:2297:6: lv_terms_2_0= ruleVLSFofTerm |
5847 | { | 5847 | { |
5848 | 5848 | ||
5849 | newCompositeNode(grammarAccess.getVLSFunctionFofAccess().getTermsVLSFofTermParserRuleCall_1_1_0()); | 5849 | newCompositeNode(grammarAccess.getVLSFunctionAsTermAccess().getTermsVLSFofTermParserRuleCall_1_1_0()); |
5850 | 5850 | ||
5851 | pushFollow(FOLLOW_14); | 5851 | pushFollow(FOLLOW_14); |
5852 | lv_terms_2_0=ruleVLSFofTerm(); | 5852 | lv_terms_2_0=ruleVLSFofTerm(); |
@@ -5855,7 +5855,7 @@ public class InternalVampireLanguageParser extends AbstractInternalAntlrParser { | |||
5855 | 5855 | ||
5856 | 5856 | ||
5857 | if (current==null) { | 5857 | if (current==null) { |
5858 | current = createModelElementForParent(grammarAccess.getVLSFunctionFofRule()); | 5858 | current = createModelElementForParent(grammarAccess.getVLSFunctionAsTermRule()); |
5859 | } | 5859 | } |
5860 | add( | 5860 | add( |
5861 | current, | 5861 | current, |
@@ -5887,7 +5887,7 @@ public class InternalVampireLanguageParser extends AbstractInternalAntlrParser { | |||
5887 | { | 5887 | { |
5888 | otherlv_3=(Token)match(input,29,FOLLOW_30); | 5888 | otherlv_3=(Token)match(input,29,FOLLOW_30); |
5889 | 5889 | ||
5890 | newLeafNode(otherlv_3, grammarAccess.getVLSFunctionFofAccess().getCommaKeyword_1_2_0()); | 5890 | newLeafNode(otherlv_3, grammarAccess.getVLSFunctionAsTermAccess().getCommaKeyword_1_2_0()); |
5891 | 5891 | ||
5892 | // InternalVampireLanguage.g:2319:5: ( (lv_terms_4_0= ruleVLSFofTerm ) ) | 5892 | // InternalVampireLanguage.g:2319:5: ( (lv_terms_4_0= ruleVLSFofTerm ) ) |
5893 | // InternalVampireLanguage.g:2320:6: (lv_terms_4_0= ruleVLSFofTerm ) | 5893 | // InternalVampireLanguage.g:2320:6: (lv_terms_4_0= ruleVLSFofTerm ) |
@@ -5896,7 +5896,7 @@ public class InternalVampireLanguageParser extends AbstractInternalAntlrParser { | |||
5896 | // InternalVampireLanguage.g:2321:7: lv_terms_4_0= ruleVLSFofTerm | 5896 | // InternalVampireLanguage.g:2321:7: lv_terms_4_0= ruleVLSFofTerm |
5897 | { | 5897 | { |
5898 | 5898 | ||
5899 | newCompositeNode(grammarAccess.getVLSFunctionFofAccess().getTermsVLSFofTermParserRuleCall_1_2_1_0()); | 5899 | newCompositeNode(grammarAccess.getVLSFunctionAsTermAccess().getTermsVLSFofTermParserRuleCall_1_2_1_0()); |
5900 | 5900 | ||
5901 | pushFollow(FOLLOW_14); | 5901 | pushFollow(FOLLOW_14); |
5902 | lv_terms_4_0=ruleVLSFofTerm(); | 5902 | lv_terms_4_0=ruleVLSFofTerm(); |
@@ -5905,7 +5905,7 @@ public class InternalVampireLanguageParser extends AbstractInternalAntlrParser { | |||
5905 | 5905 | ||
5906 | 5906 | ||
5907 | if (current==null) { | 5907 | if (current==null) { |
5908 | current = createModelElementForParent(grammarAccess.getVLSFunctionFofRule()); | 5908 | current = createModelElementForParent(grammarAccess.getVLSFunctionAsTermRule()); |
5909 | } | 5909 | } |
5910 | add( | 5910 | add( |
5911 | current, | 5911 | current, |
@@ -5931,7 +5931,7 @@ public class InternalVampireLanguageParser extends AbstractInternalAntlrParser { | |||
5931 | 5931 | ||
5932 | otherlv_5=(Token)match(input,35,FOLLOW_2); | 5932 | otherlv_5=(Token)match(input,35,FOLLOW_2); |
5933 | 5933 | ||
5934 | newLeafNode(otherlv_5, grammarAccess.getVLSFunctionFofAccess().getRightParenthesisKeyword_1_3()); | 5934 | newLeafNode(otherlv_5, grammarAccess.getVLSFunctionAsTermAccess().getRightParenthesisKeyword_1_3()); |
5935 | 5935 | ||
5936 | 5936 | ||
5937 | } | 5937 | } |
@@ -5958,7 +5958,7 @@ public class InternalVampireLanguageParser extends AbstractInternalAntlrParser { | |||
5958 | } | 5958 | } |
5959 | return current; | 5959 | return current; |
5960 | } | 5960 | } |
5961 | // $ANTLR end "ruleVLSFunctionFof" | 5961 | // $ANTLR end "ruleVLSFunctionAsTerm" |
5962 | 5962 | ||
5963 | 5963 | ||
5964 | // $ANTLR start "entryRuleVLSDefinedTerm" | 5964 | // $ANTLR start "entryRuleVLSDefinedTerm" |