diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguage.g')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguage.g | 72 |
1 files changed, 63 insertions, 9 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguage.g b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguage.g index 83aa541e..37596d69 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguage.g +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguage.g | |||
@@ -140,9 +140,9 @@ ruleVLSComment | |||
140 | } | 140 | } |
141 | : | 141 | : |
142 | ( | 142 | ( |
143 | { before(grammarAccess.getVLSCommentAccess().getCommentAssignment()); } | 143 | { before(grammarAccess.getVLSCommentAccess().getGroup()); } |
144 | (rule__VLSComment__CommentAssignment) | 144 | (rule__VLSComment__Group__0) |
145 | { after(grammarAccess.getVLSCommentAccess().getCommentAssignment()); } | 145 | { after(grammarAccess.getVLSCommentAccess().getGroup()); } |
146 | ) | 146 | ) |
147 | ; | 147 | ; |
148 | finally { | 148 | finally { |
@@ -1834,6 +1834,60 @@ finally { | |||
1834 | } | 1834 | } |
1835 | 1835 | ||
1836 | 1836 | ||
1837 | rule__VLSComment__Group__0 | ||
1838 | @init { | ||
1839 | int stackSize = keepStackSize(); | ||
1840 | } | ||
1841 | : | ||
1842 | rule__VLSComment__Group__0__Impl | ||
1843 | rule__VLSComment__Group__1 | ||
1844 | ; | ||
1845 | finally { | ||
1846 | restoreStackSize(stackSize); | ||
1847 | } | ||
1848 | |||
1849 | rule__VLSComment__Group__0__Impl | ||
1850 | @init { | ||
1851 | int stackSize = keepStackSize(); | ||
1852 | } | ||
1853 | : | ||
1854 | ( | ||
1855 | { before(grammarAccess.getVLSCommentAccess().getPercentSignKeyword_0()); } | ||
1856 | '%' | ||
1857 | { after(grammarAccess.getVLSCommentAccess().getPercentSignKeyword_0()); } | ||
1858 | ) | ||
1859 | ; | ||
1860 | finally { | ||
1861 | restoreStackSize(stackSize); | ||
1862 | } | ||
1863 | |||
1864 | rule__VLSComment__Group__1 | ||
1865 | @init { | ||
1866 | int stackSize = keepStackSize(); | ||
1867 | } | ||
1868 | : | ||
1869 | rule__VLSComment__Group__1__Impl | ||
1870 | ; | ||
1871 | finally { | ||
1872 | restoreStackSize(stackSize); | ||
1873 | } | ||
1874 | |||
1875 | rule__VLSComment__Group__1__Impl | ||
1876 | @init { | ||
1877 | int stackSize = keepStackSize(); | ||
1878 | } | ||
1879 | : | ||
1880 | ( | ||
1881 | { before(grammarAccess.getVLSCommentAccess().getCommentAssignment_1()); } | ||
1882 | (rule__VLSComment__CommentAssignment_1) | ||
1883 | { after(grammarAccess.getVLSCommentAccess().getCommentAssignment_1()); } | ||
1884 | ) | ||
1885 | ; | ||
1886 | finally { | ||
1887 | restoreStackSize(stackSize); | ||
1888 | } | ||
1889 | |||
1890 | |||
1837 | rule__VLSFofFormula__Group__0 | 1891 | rule__VLSFofFormula__Group__0 |
1838 | @init { | 1892 | @init { |
1839 | int stackSize = keepStackSize(); | 1893 | int stackSize = keepStackSize(); |
@@ -5206,15 +5260,15 @@ finally { | |||
5206 | restoreStackSize(stackSize); | 5260 | restoreStackSize(stackSize); |
5207 | } | 5261 | } |
5208 | 5262 | ||
5209 | rule__VLSComment__CommentAssignment | 5263 | rule__VLSComment__CommentAssignment_1 |
5210 | @init { | 5264 | @init { |
5211 | int stackSize = keepStackSize(); | 5265 | int stackSize = keepStackSize(); |
5212 | } | 5266 | } |
5213 | : | 5267 | : |
5214 | ( | 5268 | ( |
5215 | { before(grammarAccess.getVLSCommentAccess().getCommentSINGLE_COMMENTTerminalRuleCall_0()); } | 5269 | { before(grammarAccess.getVLSCommentAccess().getCommentSINGLE_COMMENTTerminalRuleCall_1_0()); } |
5216 | RULE_SINGLE_COMMENT | 5270 | RULE_SINGLE_COMMENT |
5217 | { after(grammarAccess.getVLSCommentAccess().getCommentSINGLE_COMMENTTerminalRuleCall_0()); } | 5271 | { after(grammarAccess.getVLSCommentAccess().getCommentSINGLE_COMMENTTerminalRuleCall_1_0()); } |
5218 | ) | 5272 | ) |
5219 | ; | 5273 | ; |
5220 | finally { | 5274 | finally { |
@@ -5765,11 +5819,11 @@ fragment RULE_UNSIGNED_RAT_ID : RULE_LITERAL '/' '1'..'9' RULE_INT?; | |||
5765 | 5819 | ||
5766 | RULE_SIGNED_RAT_ID : RULE_SIGN* RULE_UNSIGNED_RAT_ID; | 5820 | RULE_SIGNED_RAT_ID : RULE_SIGN* RULE_UNSIGNED_RAT_ID; |
5767 | 5821 | ||
5768 | fragment RULE_ANY_OTHER : '%' ~(('\n'|'\r'))* '\r'; | 5822 | fragment RULE_ID : ~(('\n'|'\r'))*; |
5769 | 5823 | ||
5770 | RULE_SINGLE_COMMENT : RULE_ANY_OTHER; | 5824 | fragment RULE_ANY_OTHER : RULE_ID; |
5771 | 5825 | ||
5772 | RULE_ID : '^'? ('a'..'z'|'A'..'Z'|'_') ('a'..'z'|'A'..'Z'|'_'|'0'..'9')*; | 5826 | RULE_SINGLE_COMMENT : RULE_ANY_OTHER; |
5773 | 5827 | ||
5774 | fragment RULE_INT : ('0'..'9')+; | 5828 | fragment RULE_INT : ('0'..'9')+; |
5775 | 5829 | ||