From 35ac37963fc3e3f3fb142aaf1fdffd26e05e473a Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Mon, 2 Sep 2019 03:47:21 -0400 Subject: VAMPIRE: implement Vampire Model Interpreter, 2/3 done --- .../contentassist/antlr/VampireLanguageParser.java | 2 + .../antlr/internal/InternalVampireLanguage.g | 42 +- .../internal/InternalVampireLanguageLexer.java | 164 ++++---- .../internal/InternalVampireLanguageParser.java | 466 +++++++++++++-------- 4 files changed, 400 insertions(+), 274 deletions(-) (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner') diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/VampireLanguageParser.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/VampireLanguageParser.java index 48510a2d..e3b7a679 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/VampireLanguageParser.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/VampireLanguageParser.java @@ -128,7 +128,9 @@ public class VampireLanguageParser extends AbstractContentAssistParser { builder.put(grammarAccess.getVLSAnnotationAccess().getFollowupAssignment_2_1(), "rule__VLSAnnotation__FollowupAssignment_2_1"); builder.put(grammarAccess.getVLSAnnotationTermsAccess().getTermsAssignment_0(), "rule__VLSAnnotationTerms__TermsAssignment_0"); builder.put(grammarAccess.getVLSAnnotationTermsAccess().getTermsAssignment_1_1(), "rule__VLSAnnotationTerms__TermsAssignment_1_1"); + builder.put(grammarAccess.getVLSOtherDeclarationAccess().getNameAssignment_0(), "rule__VLSOtherDeclaration__NameAssignment_0"); builder.put(grammarAccess.getVLSOtherDeclarationAccess().getTypeAssignment_2(), "rule__VLSOtherDeclaration__TypeAssignment_2"); + builder.put(grammarAccess.getVLSVariableDeclarationAccess().getNameAssignment_0(), "rule__VLSVariableDeclaration__NameAssignment_0"); builder.put(grammarAccess.getVLSVariableDeclarationAccess().getTypeAssignment_2(), "rule__VLSVariableDeclaration__TypeAssignment_2"); builder.put(grammarAccess.getVLSTypeDefAccess().getTypeSigAssignment_0(), "rule__VLSTypeDef__TypeSigAssignment_0"); builder.put(grammarAccess.getVLSTypeDefAccess().getMapsToAssignment_1_1(), "rule__VLSTypeDef__MapsToAssignment_1_1"); 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 8bab57ae..7b766803 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 @@ -3191,9 +3191,9 @@ rule__VLSOtherDeclaration__Group__0__Impl } : ( - { before(grammarAccess.getVLSOtherDeclarationAccess().getVLSAtomicConstantParserRuleCall_0()); } - ruleVLSAtomicConstant - { after(grammarAccess.getVLSOtherDeclarationAccess().getVLSAtomicConstantParserRuleCall_0()); } + { before(grammarAccess.getVLSOtherDeclarationAccess().getNameAssignment_0()); } + (rule__VLSOtherDeclaration__NameAssignment_0) + { after(grammarAccess.getVLSOtherDeclarationAccess().getNameAssignment_0()); } ) ; finally { @@ -3272,9 +3272,9 @@ rule__VLSVariableDeclaration__Group__0__Impl } : ( - { before(grammarAccess.getVLSVariableDeclarationAccess().getVLSVariableParserRuleCall_0()); } - ruleVLSVariable - { after(grammarAccess.getVLSVariableDeclarationAccess().getVLSVariableParserRuleCall_0()); } + { before(grammarAccess.getVLSVariableDeclarationAccess().getNameAssignment_0()); } + (rule__VLSVariableDeclaration__NameAssignment_0) + { after(grammarAccess.getVLSVariableDeclarationAccess().getNameAssignment_0()); } ) ; finally { @@ -6359,6 +6359,21 @@ finally { restoreStackSize(stackSize); } +rule__VLSOtherDeclaration__NameAssignment_0 + @init { + int stackSize = keepStackSize(); + } +: + ( + { before(grammarAccess.getVLSOtherDeclarationAccess().getNameVLSAtomicConstantParserRuleCall_0_0()); } + ruleVLSAtomicConstant + { after(grammarAccess.getVLSOtherDeclarationAccess().getNameVLSAtomicConstantParserRuleCall_0_0()); } + ) +; +finally { + restoreStackSize(stackSize); +} + rule__VLSOtherDeclaration__TypeAssignment_2 @init { int stackSize = keepStackSize(); @@ -6374,6 +6389,21 @@ finally { restoreStackSize(stackSize); } +rule__VLSVariableDeclaration__NameAssignment_0 + @init { + int stackSize = keepStackSize(); + } +: + ( + { before(grammarAccess.getVLSVariableDeclarationAccess().getNameVLSVariableParserRuleCall_0_0()); } + ruleVLSVariable + { after(grammarAccess.getVLSVariableDeclarationAccess().getNameVLSVariableParserRuleCall_0_0()); } + ) +; +finally { + restoreStackSize(stackSize); +} + rule__VLSVariableDeclaration__TypeAssignment_2 @init { int stackSize = keepStackSize(); diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguageLexer.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguageLexer.java index 4efcb64c..82eb18b1 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguageLexer.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguageLexer.java @@ -1331,8 +1331,8 @@ public class InternalVampireLanguageLexer extends Lexer { // $ANTLR start "RULE_ALPHA_NUMERIC" public final void mRULE_ALPHA_NUMERIC() throws RecognitionException { try { - // InternalVampireLanguage.g:6816:29: ( ( 'a' .. 'z' | 'A' .. 'Z' | '0' .. '9' | '_' ) ) - // InternalVampireLanguage.g:6816:31: ( 'a' .. 'z' | 'A' .. 'Z' | '0' .. '9' | '_' ) + // InternalVampireLanguage.g:6846:29: ( ( 'a' .. 'z' | 'A' .. 'Z' | '0' .. '9' | '_' ) ) + // InternalVampireLanguage.g:6846:31: ( 'a' .. 'z' | 'A' .. 'Z' | '0' .. '9' | '_' ) { if ( (input.LA(1)>='0' && input.LA(1)<='9')||(input.LA(1)>='A' && input.LA(1)<='Z')||input.LA(1)=='_'||(input.LA(1)>='a' && input.LA(1)<='z') ) { input.consume(); @@ -1357,11 +1357,11 @@ public class InternalVampireLanguageLexer extends Lexer { try { int _type = RULE_UPPER_WORD_ID; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalVampireLanguage.g:6818:20: ( 'A' .. 'Z' ( RULE_ALPHA_NUMERIC )* ) - // InternalVampireLanguage.g:6818:22: 'A' .. 'Z' ( RULE_ALPHA_NUMERIC )* + // InternalVampireLanguage.g:6848:20: ( 'A' .. 'Z' ( RULE_ALPHA_NUMERIC )* ) + // InternalVampireLanguage.g:6848:22: 'A' .. 'Z' ( RULE_ALPHA_NUMERIC )* { matchRange('A','Z'); - // InternalVampireLanguage.g:6818:31: ( RULE_ALPHA_NUMERIC )* + // InternalVampireLanguage.g:6848:31: ( RULE_ALPHA_NUMERIC )* loop1: do { int alt1=2; @@ -1374,7 +1374,7 @@ public class InternalVampireLanguageLexer extends Lexer { switch (alt1) { case 1 : - // InternalVampireLanguage.g:6818:31: RULE_ALPHA_NUMERIC + // InternalVampireLanguage.g:6848:31: RULE_ALPHA_NUMERIC { mRULE_ALPHA_NUMERIC(); @@ -1402,11 +1402,11 @@ public class InternalVampireLanguageLexer extends Lexer { try { int _type = RULE_LOWER_WORD_ID; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalVampireLanguage.g:6820:20: ( 'a' .. 'z' ( RULE_ALPHA_NUMERIC )* ) - // InternalVampireLanguage.g:6820:22: 'a' .. 'z' ( RULE_ALPHA_NUMERIC )* + // InternalVampireLanguage.g:6850:20: ( 'a' .. 'z' ( RULE_ALPHA_NUMERIC )* ) + // InternalVampireLanguage.g:6850:22: 'a' .. 'z' ( RULE_ALPHA_NUMERIC )* { matchRange('a','z'); - // InternalVampireLanguage.g:6820:31: ( RULE_ALPHA_NUMERIC )* + // InternalVampireLanguage.g:6850:31: ( RULE_ALPHA_NUMERIC )* loop2: do { int alt2=2; @@ -1419,7 +1419,7 @@ public class InternalVampireLanguageLexer extends Lexer { switch (alt2) { case 1 : - // InternalVampireLanguage.g:6820:31: RULE_ALPHA_NUMERIC + // InternalVampireLanguage.g:6850:31: RULE_ALPHA_NUMERIC { mRULE_ALPHA_NUMERIC(); @@ -1447,11 +1447,11 @@ public class InternalVampireLanguageLexer extends Lexer { try { int _type = RULE_DOUBLE_QUOTE; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalVampireLanguage.g:6822:19: ( '\"' ( '\\\\' ( '\"' | '\\\\' ) | ~ ( ( '\\\\' | '\"' ) ) )* '\"' ) - // InternalVampireLanguage.g:6822:21: '\"' ( '\\\\' ( '\"' | '\\\\' ) | ~ ( ( '\\\\' | '\"' ) ) )* '\"' + // InternalVampireLanguage.g:6852:19: ( '\"' ( '\\\\' ( '\"' | '\\\\' ) | ~ ( ( '\\\\' | '\"' ) ) )* '\"' ) + // InternalVampireLanguage.g:6852:21: '\"' ( '\\\\' ( '\"' | '\\\\' ) | ~ ( ( '\\\\' | '\"' ) ) )* '\"' { match('\"'); - // InternalVampireLanguage.g:6822:25: ( '\\\\' ( '\"' | '\\\\' ) | ~ ( ( '\\\\' | '\"' ) ) )* + // InternalVampireLanguage.g:6852:25: ( '\\\\' ( '\"' | '\\\\' ) | ~ ( ( '\\\\' | '\"' ) ) )* loop3: do { int alt3=3; @@ -1467,7 +1467,7 @@ public class InternalVampireLanguageLexer extends Lexer { switch (alt3) { case 1 : - // InternalVampireLanguage.g:6822:26: '\\\\' ( '\"' | '\\\\' ) + // InternalVampireLanguage.g:6852:26: '\\\\' ( '\"' | '\\\\' ) { match('\\'); if ( input.LA(1)=='\"'||input.LA(1)=='\\' ) { @@ -1483,7 +1483,7 @@ public class InternalVampireLanguageLexer extends Lexer { } break; case 2 : - // InternalVampireLanguage.g:6822:42: ~ ( ( '\\\\' | '\"' ) ) + // InternalVampireLanguage.g:6852:42: ~ ( ( '\\\\' | '\"' ) ) { if ( (input.LA(1)>='\u0000' && input.LA(1)<='!')||(input.LA(1)>='#' && input.LA(1)<='[')||(input.LA(1)>=']' && input.LA(1)<='\uFFFF') ) { input.consume(); @@ -1520,11 +1520,11 @@ public class InternalVampireLanguageLexer extends Lexer { try { int _type = RULE_SINGLE_QUOTE; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalVampireLanguage.g:6824:19: ( '\\'' ( '\\\\' ( '\\'' | '\\\\' ) | ~ ( ( '\\\\' | '\\'' ) ) )+ '\\'' ) - // InternalVampireLanguage.g:6824:21: '\\'' ( '\\\\' ( '\\'' | '\\\\' ) | ~ ( ( '\\\\' | '\\'' ) ) )+ '\\'' + // InternalVampireLanguage.g:6854:19: ( '\\'' ( '\\\\' ( '\\'' | '\\\\' ) | ~ ( ( '\\\\' | '\\'' ) ) )+ '\\'' ) + // InternalVampireLanguage.g:6854:21: '\\'' ( '\\\\' ( '\\'' | '\\\\' ) | ~ ( ( '\\\\' | '\\'' ) ) )+ '\\'' { match('\''); - // InternalVampireLanguage.g:6824:26: ( '\\\\' ( '\\'' | '\\\\' ) | ~ ( ( '\\\\' | '\\'' ) ) )+ + // InternalVampireLanguage.g:6854:26: ( '\\\\' ( '\\'' | '\\\\' ) | ~ ( ( '\\\\' | '\\'' ) ) )+ int cnt4=0; loop4: do { @@ -1541,7 +1541,7 @@ public class InternalVampireLanguageLexer extends Lexer { switch (alt4) { case 1 : - // InternalVampireLanguage.g:6824:27: '\\\\' ( '\\'' | '\\\\' ) + // InternalVampireLanguage.g:6854:27: '\\\\' ( '\\'' | '\\\\' ) { match('\\'); if ( input.LA(1)=='\''||input.LA(1)=='\\' ) { @@ -1557,7 +1557,7 @@ public class InternalVampireLanguageLexer extends Lexer { } break; case 2 : - // InternalVampireLanguage.g:6824:44: ~ ( ( '\\\\' | '\\'' ) ) + // InternalVampireLanguage.g:6854:44: ~ ( ( '\\\\' | '\\'' ) ) { if ( (input.LA(1)>='\u0000' && input.LA(1)<='&')||(input.LA(1)>='(' && input.LA(1)<='[')||(input.LA(1)>=']' && input.LA(1)<='\uFFFF') ) { input.consume(); @@ -1596,8 +1596,8 @@ public class InternalVampireLanguageLexer extends Lexer { // $ANTLR start "RULE_SIGN" public final void mRULE_SIGN() throws RecognitionException { try { - // InternalVampireLanguage.g:6826:20: ( ( '+' | '-' ) ) - // InternalVampireLanguage.g:6826:22: ( '+' | '-' ) + // InternalVampireLanguage.g:6856:20: ( ( '+' | '-' ) ) + // InternalVampireLanguage.g:6856:22: ( '+' | '-' ) { if ( input.LA(1)=='+'||input.LA(1)=='-' ) { input.consume(); @@ -1622,8 +1622,8 @@ public class InternalVampireLanguageLexer extends Lexer { try { int _type = RULE_DOLLAR_ID; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalVampireLanguage.g:6828:16: ( '$' RULE_LOWER_WORD_ID ) - // InternalVampireLanguage.g:6828:18: '$' RULE_LOWER_WORD_ID + // InternalVampireLanguage.g:6858:16: ( '$' RULE_LOWER_WORD_ID ) + // InternalVampireLanguage.g:6858:18: '$' RULE_LOWER_WORD_ID { match('$'); mRULE_LOWER_WORD_ID(); @@ -1643,8 +1643,8 @@ public class InternalVampireLanguageLexer extends Lexer { try { int _type = RULE_DOUBLE_DOLLAR_ID; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalVampireLanguage.g:6830:23: ( '$$' RULE_LOWER_WORD_ID ) - // InternalVampireLanguage.g:6830:25: '$$' RULE_LOWER_WORD_ID + // InternalVampireLanguage.g:6860:23: ( '$$' RULE_LOWER_WORD_ID ) + // InternalVampireLanguage.g:6860:25: '$$' RULE_LOWER_WORD_ID { match("$$"); @@ -1665,10 +1665,10 @@ public class InternalVampireLanguageLexer extends Lexer { try { int _type = RULE_LITERAL; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalVampireLanguage.g:6832:14: ( ( '0' | '1' .. '9' ( RULE_INT )? ) ) - // InternalVampireLanguage.g:6832:16: ( '0' | '1' .. '9' ( RULE_INT )? ) + // InternalVampireLanguage.g:6862:14: ( ( '0' | '1' .. '9' ( RULE_INT )? ) ) + // InternalVampireLanguage.g:6862:16: ( '0' | '1' .. '9' ( RULE_INT )? ) { - // InternalVampireLanguage.g:6832:16: ( '0' | '1' .. '9' ( RULE_INT )? ) + // InternalVampireLanguage.g:6862:16: ( '0' | '1' .. '9' ( RULE_INT )? ) int alt6=2; int LA6_0 = input.LA(1); @@ -1686,17 +1686,17 @@ public class InternalVampireLanguageLexer extends Lexer { } switch (alt6) { case 1 : - // InternalVampireLanguage.g:6832:17: '0' + // InternalVampireLanguage.g:6862:17: '0' { match('0'); } break; case 2 : - // InternalVampireLanguage.g:6832:21: '1' .. '9' ( RULE_INT )? + // InternalVampireLanguage.g:6862:21: '1' .. '9' ( RULE_INT )? { matchRange('1','9'); - // InternalVampireLanguage.g:6832:30: ( RULE_INT )? + // InternalVampireLanguage.g:6862:30: ( RULE_INT )? int alt5=2; int LA5_0 = input.LA(1); @@ -1705,7 +1705,7 @@ public class InternalVampireLanguageLexer extends Lexer { } switch (alt5) { case 1 : - // InternalVampireLanguage.g:6832:30: RULE_INT + // InternalVampireLanguage.g:6862:30: RULE_INT { mRULE_INT(); @@ -1736,10 +1736,10 @@ public class InternalVampireLanguageLexer extends Lexer { try { int _type = RULE_SIGNED_LITERAL; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalVampireLanguage.g:6834:21: ( ( RULE_SIGN )* RULE_LITERAL ) - // InternalVampireLanguage.g:6834:23: ( RULE_SIGN )* RULE_LITERAL + // InternalVampireLanguage.g:6864:21: ( ( RULE_SIGN )* RULE_LITERAL ) + // InternalVampireLanguage.g:6864:23: ( RULE_SIGN )* RULE_LITERAL { - // InternalVampireLanguage.g:6834:23: ( RULE_SIGN )* + // InternalVampireLanguage.g:6864:23: ( RULE_SIGN )* loop7: do { int alt7=2; @@ -1752,7 +1752,7 @@ public class InternalVampireLanguageLexer extends Lexer { switch (alt7) { case 1 : - // InternalVampireLanguage.g:6834:23: RULE_SIGN + // InternalVampireLanguage.g:6864:23: RULE_SIGN { mRULE_SIGN(); @@ -1781,11 +1781,11 @@ public class InternalVampireLanguageLexer extends Lexer { try { int _type = RULE_SINGLE_COMMENT; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalVampireLanguage.g:6836:21: ( '%' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? ) - // InternalVampireLanguage.g:6836:23: '%' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? + // InternalVampireLanguage.g:6866:21: ( '%' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? ) + // InternalVampireLanguage.g:6866:23: '%' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? { match('%'); - // InternalVampireLanguage.g:6836:27: (~ ( ( '\\n' | '\\r' ) ) )* + // InternalVampireLanguage.g:6866:27: (~ ( ( '\\n' | '\\r' ) ) )* loop8: do { int alt8=2; @@ -1798,7 +1798,7 @@ public class InternalVampireLanguageLexer extends Lexer { switch (alt8) { case 1 : - // InternalVampireLanguage.g:6836:27: ~ ( ( '\\n' | '\\r' ) ) + // InternalVampireLanguage.g:6866:27: ~ ( ( '\\n' | '\\r' ) ) { if ( (input.LA(1)>='\u0000' && input.LA(1)<='\t')||(input.LA(1)>='\u000B' && input.LA(1)<='\f')||(input.LA(1)>='\u000E' && input.LA(1)<='\uFFFF') ) { input.consume(); @@ -1818,7 +1818,7 @@ public class InternalVampireLanguageLexer extends Lexer { } } while (true); - // InternalVampireLanguage.g:6836:43: ( ( '\\r' )? '\\n' )? + // InternalVampireLanguage.g:6866:43: ( ( '\\r' )? '\\n' )? int alt10=2; int LA10_0 = input.LA(1); @@ -1827,9 +1827,9 @@ public class InternalVampireLanguageLexer extends Lexer { } switch (alt10) { case 1 : - // InternalVampireLanguage.g:6836:44: ( '\\r' )? '\\n' + // InternalVampireLanguage.g:6866:44: ( '\\r' )? '\\n' { - // InternalVampireLanguage.g:6836:44: ( '\\r' )? + // InternalVampireLanguage.g:6866:44: ( '\\r' )? int alt9=2; int LA9_0 = input.LA(1); @@ -1838,7 +1838,7 @@ public class InternalVampireLanguageLexer extends Lexer { } switch (alt9) { case 1 : - // InternalVampireLanguage.g:6836:44: '\\r' + // InternalVampireLanguage.g:6866:44: '\\r' { match('\r'); @@ -1870,10 +1870,10 @@ public class InternalVampireLanguageLexer extends Lexer { try { int _type = RULE_ID; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalVampireLanguage.g:6838:9: ( ( '^' )? ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* ) - // InternalVampireLanguage.g:6838:11: ( '^' )? ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* + // InternalVampireLanguage.g:6868:9: ( ( '^' )? ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* ) + // InternalVampireLanguage.g:6868:11: ( '^' )? ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* { - // InternalVampireLanguage.g:6838:11: ( '^' )? + // InternalVampireLanguage.g:6868:11: ( '^' )? int alt11=2; int LA11_0 = input.LA(1); @@ -1882,7 +1882,7 @@ public class InternalVampireLanguageLexer extends Lexer { } switch (alt11) { case 1 : - // InternalVampireLanguage.g:6838:11: '^' + // InternalVampireLanguage.g:6868:11: '^' { match('^'); @@ -1900,7 +1900,7 @@ public class InternalVampireLanguageLexer extends Lexer { recover(mse); throw mse;} - // InternalVampireLanguage.g:6838:40: ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* + // InternalVampireLanguage.g:6868:40: ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* loop12: do { int alt12=2; @@ -1947,10 +1947,10 @@ public class InternalVampireLanguageLexer extends Lexer { // $ANTLR start "RULE_INT" public final void mRULE_INT() throws RecognitionException { try { - // InternalVampireLanguage.g:6840:19: ( ( '0' .. '9' )+ ) - // InternalVampireLanguage.g:6840:21: ( '0' .. '9' )+ + // InternalVampireLanguage.g:6870:19: ( ( '0' .. '9' )+ ) + // InternalVampireLanguage.g:6870:21: ( '0' .. '9' )+ { - // InternalVampireLanguage.g:6840:21: ( '0' .. '9' )+ + // InternalVampireLanguage.g:6870:21: ( '0' .. '9' )+ int cnt13=0; loop13: do { @@ -1964,7 +1964,7 @@ public class InternalVampireLanguageLexer extends Lexer { switch (alt13) { case 1 : - // InternalVampireLanguage.g:6840:22: '0' .. '9' + // InternalVampireLanguage.g:6870:22: '0' .. '9' { matchRange('0','9'); @@ -1994,10 +1994,10 @@ public class InternalVampireLanguageLexer extends Lexer { try { int _type = RULE_STRING; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalVampireLanguage.g:6842:13: ( ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' | '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' ) ) - // InternalVampireLanguage.g:6842:15: ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' | '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' ) + // InternalVampireLanguage.g:6872:13: ( ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' | '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' ) ) + // InternalVampireLanguage.g:6872:15: ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' | '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' ) { - // InternalVampireLanguage.g:6842:15: ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' | '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' ) + // InternalVampireLanguage.g:6872:15: ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' | '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' ) int alt16=2; int LA16_0 = input.LA(1); @@ -2015,10 +2015,10 @@ public class InternalVampireLanguageLexer extends Lexer { } switch (alt16) { case 1 : - // InternalVampireLanguage.g:6842:16: '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' + // InternalVampireLanguage.g:6872:16: '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' { match('\"'); - // InternalVampireLanguage.g:6842:20: ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* + // InternalVampireLanguage.g:6872:20: ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* loop14: do { int alt14=3; @@ -2034,7 +2034,7 @@ public class InternalVampireLanguageLexer extends Lexer { switch (alt14) { case 1 : - // InternalVampireLanguage.g:6842:21: '\\\\' . + // InternalVampireLanguage.g:6872:21: '\\\\' . { match('\\'); matchAny(); @@ -2042,7 +2042,7 @@ public class InternalVampireLanguageLexer extends Lexer { } break; case 2 : - // InternalVampireLanguage.g:6842:28: ~ ( ( '\\\\' | '\"' ) ) + // InternalVampireLanguage.g:6872:28: ~ ( ( '\\\\' | '\"' ) ) { if ( (input.LA(1)>='\u0000' && input.LA(1)<='!')||(input.LA(1)>='#' && input.LA(1)<='[')||(input.LA(1)>=']' && input.LA(1)<='\uFFFF') ) { input.consume(); @@ -2067,10 +2067,10 @@ public class InternalVampireLanguageLexer extends Lexer { } break; case 2 : - // InternalVampireLanguage.g:6842:48: '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' + // InternalVampireLanguage.g:6872:48: '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' { match('\''); - // InternalVampireLanguage.g:6842:53: ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* + // InternalVampireLanguage.g:6872:53: ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* loop15: do { int alt15=3; @@ -2086,7 +2086,7 @@ public class InternalVampireLanguageLexer extends Lexer { switch (alt15) { case 1 : - // InternalVampireLanguage.g:6842:54: '\\\\' . + // InternalVampireLanguage.g:6872:54: '\\\\' . { match('\\'); matchAny(); @@ -2094,7 +2094,7 @@ public class InternalVampireLanguageLexer extends Lexer { } break; case 2 : - // InternalVampireLanguage.g:6842:61: ~ ( ( '\\\\' | '\\'' ) ) + // InternalVampireLanguage.g:6872:61: ~ ( ( '\\\\' | '\\'' ) ) { if ( (input.LA(1)>='\u0000' && input.LA(1)<='&')||(input.LA(1)>='(' && input.LA(1)<='[')||(input.LA(1)>=']' && input.LA(1)<='\uFFFF') ) { input.consume(); @@ -2137,12 +2137,12 @@ public class InternalVampireLanguageLexer extends Lexer { try { int _type = RULE_ML_COMMENT; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalVampireLanguage.g:6844:17: ( '/*' ( options {greedy=false; } : . )* '*/' ) - // InternalVampireLanguage.g:6844:19: '/*' ( options {greedy=false; } : . )* '*/' + // InternalVampireLanguage.g:6874:17: ( '/*' ( options {greedy=false; } : . )* '*/' ) + // InternalVampireLanguage.g:6874:19: '/*' ( options {greedy=false; } : . )* '*/' { match("/*"); - // InternalVampireLanguage.g:6844:24: ( options {greedy=false; } : . )* + // InternalVampireLanguage.g:6874:24: ( options {greedy=false; } : . )* loop17: do { int alt17=2; @@ -2167,7 +2167,7 @@ public class InternalVampireLanguageLexer extends Lexer { switch (alt17) { case 1 : - // InternalVampireLanguage.g:6844:52: . + // InternalVampireLanguage.g:6874:52: . { matchAny(); @@ -2197,12 +2197,12 @@ public class InternalVampireLanguageLexer extends Lexer { try { int _type = RULE_SL_COMMENT; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalVampireLanguage.g:6846:17: ( '//' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? ) - // InternalVampireLanguage.g:6846:19: '//' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? + // InternalVampireLanguage.g:6876:17: ( '//' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? ) + // InternalVampireLanguage.g:6876:19: '//' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? { match("//"); - // InternalVampireLanguage.g:6846:24: (~ ( ( '\\n' | '\\r' ) ) )* + // InternalVampireLanguage.g:6876:24: (~ ( ( '\\n' | '\\r' ) ) )* loop18: do { int alt18=2; @@ -2215,7 +2215,7 @@ public class InternalVampireLanguageLexer extends Lexer { switch (alt18) { case 1 : - // InternalVampireLanguage.g:6846:24: ~ ( ( '\\n' | '\\r' ) ) + // InternalVampireLanguage.g:6876:24: ~ ( ( '\\n' | '\\r' ) ) { if ( (input.LA(1)>='\u0000' && input.LA(1)<='\t')||(input.LA(1)>='\u000B' && input.LA(1)<='\f')||(input.LA(1)>='\u000E' && input.LA(1)<='\uFFFF') ) { input.consume(); @@ -2235,7 +2235,7 @@ public class InternalVampireLanguageLexer extends Lexer { } } while (true); - // InternalVampireLanguage.g:6846:40: ( ( '\\r' )? '\\n' )? + // InternalVampireLanguage.g:6876:40: ( ( '\\r' )? '\\n' )? int alt20=2; int LA20_0 = input.LA(1); @@ -2244,9 +2244,9 @@ public class InternalVampireLanguageLexer extends Lexer { } switch (alt20) { case 1 : - // InternalVampireLanguage.g:6846:41: ( '\\r' )? '\\n' + // InternalVampireLanguage.g:6876:41: ( '\\r' )? '\\n' { - // InternalVampireLanguage.g:6846:41: ( '\\r' )? + // InternalVampireLanguage.g:6876:41: ( '\\r' )? int alt19=2; int LA19_0 = input.LA(1); @@ -2255,7 +2255,7 @@ public class InternalVampireLanguageLexer extends Lexer { } switch (alt19) { case 1 : - // InternalVampireLanguage.g:6846:41: '\\r' + // InternalVampireLanguage.g:6876:41: '\\r' { match('\r'); @@ -2287,10 +2287,10 @@ public class InternalVampireLanguageLexer extends Lexer { try { int _type = RULE_WS; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalVampireLanguage.g:6848:9: ( ( ' ' | '\\t' | '\\r' | '\\n' )+ ) - // InternalVampireLanguage.g:6848:11: ( ' ' | '\\t' | '\\r' | '\\n' )+ + // InternalVampireLanguage.g:6878:9: ( ( ' ' | '\\t' | '\\r' | '\\n' )+ ) + // InternalVampireLanguage.g:6878:11: ( ' ' | '\\t' | '\\r' | '\\n' )+ { - // InternalVampireLanguage.g:6848:11: ( ' ' | '\\t' | '\\r' | '\\n' )+ + // InternalVampireLanguage.g:6878:11: ( ' ' | '\\t' | '\\r' | '\\n' )+ int cnt21=0; loop21: do { @@ -2344,8 +2344,8 @@ public class InternalVampireLanguageLexer extends Lexer { try { int _type = RULE_ANY_OTHER; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalVampireLanguage.g:6850:16: ( . ) - // InternalVampireLanguage.g:6850:18: . + // InternalVampireLanguage.g:6880:16: ( . ) + // InternalVampireLanguage.g:6880:18: . { matchAny(); diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguageParser.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguageParser.java index fefa9ff7..38a7d70f 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguageParser.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguageParser.java @@ -4414,12 +4414,12 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist if ( (LA16_0==RULE_UPPER_WORD_ID) ) { int LA16_1 = input.LA(2); - if ( (LA16_1==50||LA16_1==56) ) { - alt16=1; - } - else if ( (LA16_1==61) ) { + if ( (LA16_1==61) ) { alt16=2; } + else if ( (LA16_1==50||LA16_1==56) ) { + alt16=1; + } else { NoViableAltException nvae = new NoViableAltException("", 16, 1, input); @@ -10357,25 +10357,31 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // $ANTLR start "rule__VLSOtherDeclaration__Group__0__Impl" - // InternalVampireLanguage.g:3188:1: rule__VLSOtherDeclaration__Group__0__Impl : ( ruleVLSAtomicConstant ) ; + // InternalVampireLanguage.g:3188:1: rule__VLSOtherDeclaration__Group__0__Impl : ( ( rule__VLSOtherDeclaration__NameAssignment_0 ) ) ; public final void rule__VLSOtherDeclaration__Group__0__Impl() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:3192:1: ( ( ruleVLSAtomicConstant ) ) - // InternalVampireLanguage.g:3193:1: ( ruleVLSAtomicConstant ) + // InternalVampireLanguage.g:3192:1: ( ( ( rule__VLSOtherDeclaration__NameAssignment_0 ) ) ) + // InternalVampireLanguage.g:3193:1: ( ( rule__VLSOtherDeclaration__NameAssignment_0 ) ) { - // InternalVampireLanguage.g:3193:1: ( ruleVLSAtomicConstant ) - // InternalVampireLanguage.g:3194:2: ruleVLSAtomicConstant + // InternalVampireLanguage.g:3193:1: ( ( rule__VLSOtherDeclaration__NameAssignment_0 ) ) + // InternalVampireLanguage.g:3194:2: ( rule__VLSOtherDeclaration__NameAssignment_0 ) + { + before(grammarAccess.getVLSOtherDeclarationAccess().getNameAssignment_0()); + // InternalVampireLanguage.g:3195:2: ( rule__VLSOtherDeclaration__NameAssignment_0 ) + // InternalVampireLanguage.g:3195:3: rule__VLSOtherDeclaration__NameAssignment_0 { - before(grammarAccess.getVLSOtherDeclarationAccess().getVLSAtomicConstantParserRuleCall_0()); pushFollow(FOLLOW_2); - ruleVLSAtomicConstant(); + rule__VLSOtherDeclaration__NameAssignment_0(); state._fsp--; - after(grammarAccess.getVLSOtherDeclarationAccess().getVLSAtomicConstantParserRuleCall_0()); + + } + + after(grammarAccess.getVLSOtherDeclarationAccess().getNameAssignment_0()); } @@ -10591,25 +10597,31 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // $ANTLR start "rule__VLSVariableDeclaration__Group__0__Impl" - // InternalVampireLanguage.g:3269:1: rule__VLSVariableDeclaration__Group__0__Impl : ( ruleVLSVariable ) ; + // InternalVampireLanguage.g:3269:1: rule__VLSVariableDeclaration__Group__0__Impl : ( ( rule__VLSVariableDeclaration__NameAssignment_0 ) ) ; public final void rule__VLSVariableDeclaration__Group__0__Impl() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:3273:1: ( ( ruleVLSVariable ) ) - // InternalVampireLanguage.g:3274:1: ( ruleVLSVariable ) + // InternalVampireLanguage.g:3273:1: ( ( ( rule__VLSVariableDeclaration__NameAssignment_0 ) ) ) + // InternalVampireLanguage.g:3274:1: ( ( rule__VLSVariableDeclaration__NameAssignment_0 ) ) + { + // InternalVampireLanguage.g:3274:1: ( ( rule__VLSVariableDeclaration__NameAssignment_0 ) ) + // InternalVampireLanguage.g:3275:2: ( rule__VLSVariableDeclaration__NameAssignment_0 ) { - // InternalVampireLanguage.g:3274:1: ( ruleVLSVariable ) - // InternalVampireLanguage.g:3275:2: ruleVLSVariable + before(grammarAccess.getVLSVariableDeclarationAccess().getNameAssignment_0()); + // InternalVampireLanguage.g:3276:2: ( rule__VLSVariableDeclaration__NameAssignment_0 ) + // InternalVampireLanguage.g:3276:3: rule__VLSVariableDeclaration__NameAssignment_0 { - before(grammarAccess.getVLSVariableDeclarationAccess().getVLSVariableParserRuleCall_0()); pushFollow(FOLLOW_2); - ruleVLSVariable(); + rule__VLSVariableDeclaration__NameAssignment_0(); state._fsp--; - after(grammarAccess.getVLSVariableDeclarationAccess().getVLSVariableParserRuleCall_0()); + + } + + after(grammarAccess.getVLSVariableDeclarationAccess().getNameAssignment_0()); } @@ -19539,18 +19551,59 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // $ANTLR end "rule__VLSAnnotationTerms__TermsAssignment_1_1" + // $ANTLR start "rule__VLSOtherDeclaration__NameAssignment_0" + // InternalVampireLanguage.g:6362:1: rule__VLSOtherDeclaration__NameAssignment_0 : ( ruleVLSAtomicConstant ) ; + public final void rule__VLSOtherDeclaration__NameAssignment_0() throws RecognitionException { + + int stackSize = keepStackSize(); + + try { + // InternalVampireLanguage.g:6366:1: ( ( ruleVLSAtomicConstant ) ) + // InternalVampireLanguage.g:6367:2: ( ruleVLSAtomicConstant ) + { + // InternalVampireLanguage.g:6367:2: ( ruleVLSAtomicConstant ) + // InternalVampireLanguage.g:6368:3: ruleVLSAtomicConstant + { + before(grammarAccess.getVLSOtherDeclarationAccess().getNameVLSAtomicConstantParserRuleCall_0_0()); + pushFollow(FOLLOW_2); + ruleVLSAtomicConstant(); + + state._fsp--; + + after(grammarAccess.getVLSOtherDeclarationAccess().getNameVLSAtomicConstantParserRuleCall_0_0()); + + } + + + } + + } + catch (RecognitionException re) { + reportError(re); + recover(input,re); + } + finally { + + restoreStackSize(stackSize); + + } + return ; + } + // $ANTLR end "rule__VLSOtherDeclaration__NameAssignment_0" + + // $ANTLR start "rule__VLSOtherDeclaration__TypeAssignment_2" - // InternalVampireLanguage.g:6362:1: rule__VLSOtherDeclaration__TypeAssignment_2 : ( ruleVLSTypeDef ) ; + // InternalVampireLanguage.g:6377:1: rule__VLSOtherDeclaration__TypeAssignment_2 : ( ruleVLSTypeDef ) ; public final void rule__VLSOtherDeclaration__TypeAssignment_2() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:6366:1: ( ( ruleVLSTypeDef ) ) - // InternalVampireLanguage.g:6367:2: ( ruleVLSTypeDef ) + // InternalVampireLanguage.g:6381:1: ( ( ruleVLSTypeDef ) ) + // InternalVampireLanguage.g:6382:2: ( ruleVLSTypeDef ) { - // InternalVampireLanguage.g:6367:2: ( ruleVLSTypeDef ) - // InternalVampireLanguage.g:6368:3: ruleVLSTypeDef + // InternalVampireLanguage.g:6382:2: ( ruleVLSTypeDef ) + // InternalVampireLanguage.g:6383:3: ruleVLSTypeDef { before(grammarAccess.getVLSOtherDeclarationAccess().getTypeVLSTypeDefParserRuleCall_2_0()); pushFollow(FOLLOW_2); @@ -19580,18 +19633,59 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // $ANTLR end "rule__VLSOtherDeclaration__TypeAssignment_2" + // $ANTLR start "rule__VLSVariableDeclaration__NameAssignment_0" + // InternalVampireLanguage.g:6392:1: rule__VLSVariableDeclaration__NameAssignment_0 : ( ruleVLSVariable ) ; + public final void rule__VLSVariableDeclaration__NameAssignment_0() throws RecognitionException { + + int stackSize = keepStackSize(); + + try { + // InternalVampireLanguage.g:6396:1: ( ( ruleVLSVariable ) ) + // InternalVampireLanguage.g:6397:2: ( ruleVLSVariable ) + { + // InternalVampireLanguage.g:6397:2: ( ruleVLSVariable ) + // InternalVampireLanguage.g:6398:3: ruleVLSVariable + { + before(grammarAccess.getVLSVariableDeclarationAccess().getNameVLSVariableParserRuleCall_0_0()); + pushFollow(FOLLOW_2); + ruleVLSVariable(); + + state._fsp--; + + after(grammarAccess.getVLSVariableDeclarationAccess().getNameVLSVariableParserRuleCall_0_0()); + + } + + + } + + } + catch (RecognitionException re) { + reportError(re); + recover(input,re); + } + finally { + + restoreStackSize(stackSize); + + } + return ; + } + // $ANTLR end "rule__VLSVariableDeclaration__NameAssignment_0" + + // $ANTLR start "rule__VLSVariableDeclaration__TypeAssignment_2" - // InternalVampireLanguage.g:6377:1: rule__VLSVariableDeclaration__TypeAssignment_2 : ( ruleVLSTypeDef ) ; + // InternalVampireLanguage.g:6407:1: rule__VLSVariableDeclaration__TypeAssignment_2 : ( ruleVLSTypeDef ) ; public final void rule__VLSVariableDeclaration__TypeAssignment_2() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:6381:1: ( ( ruleVLSTypeDef ) ) - // InternalVampireLanguage.g:6382:2: ( ruleVLSTypeDef ) + // InternalVampireLanguage.g:6411:1: ( ( ruleVLSTypeDef ) ) + // InternalVampireLanguage.g:6412:2: ( ruleVLSTypeDef ) { - // InternalVampireLanguage.g:6382:2: ( ruleVLSTypeDef ) - // InternalVampireLanguage.g:6383:3: ruleVLSTypeDef + // InternalVampireLanguage.g:6412:2: ( ruleVLSTypeDef ) + // InternalVampireLanguage.g:6413:3: ruleVLSTypeDef { before(grammarAccess.getVLSVariableDeclarationAccess().getTypeVLSTypeDefParserRuleCall_2_0()); pushFollow(FOLLOW_2); @@ -19622,17 +19716,17 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // $ANTLR start "rule__VLSTypeDef__TypeSigAssignment_0" - // InternalVampireLanguage.g:6392:1: rule__VLSTypeDef__TypeSigAssignment_0 : ( ruleVLSUnitaryTerm ) ; + // InternalVampireLanguage.g:6422:1: rule__VLSTypeDef__TypeSigAssignment_0 : ( ruleVLSUnitaryTerm ) ; public final void rule__VLSTypeDef__TypeSigAssignment_0() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:6396:1: ( ( ruleVLSUnitaryTerm ) ) - // InternalVampireLanguage.g:6397:2: ( ruleVLSUnitaryTerm ) + // InternalVampireLanguage.g:6426:1: ( ( ruleVLSUnitaryTerm ) ) + // InternalVampireLanguage.g:6427:2: ( ruleVLSUnitaryTerm ) { - // InternalVampireLanguage.g:6397:2: ( ruleVLSUnitaryTerm ) - // InternalVampireLanguage.g:6398:3: ruleVLSUnitaryTerm + // InternalVampireLanguage.g:6427:2: ( ruleVLSUnitaryTerm ) + // InternalVampireLanguage.g:6428:3: ruleVLSUnitaryTerm { before(grammarAccess.getVLSTypeDefAccess().getTypeSigVLSUnitaryTermParserRuleCall_0_0()); pushFollow(FOLLOW_2); @@ -19663,17 +19757,17 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // $ANTLR start "rule__VLSTypeDef__MapsToAssignment_1_1" - // InternalVampireLanguage.g:6407:1: rule__VLSTypeDef__MapsToAssignment_1_1 : ( ruleVLSAtomicConstant ) ; + // InternalVampireLanguage.g:6437:1: rule__VLSTypeDef__MapsToAssignment_1_1 : ( ruleVLSAtomicConstant ) ; public final void rule__VLSTypeDef__MapsToAssignment_1_1() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:6411:1: ( ( ruleVLSAtomicConstant ) ) - // InternalVampireLanguage.g:6412:2: ( ruleVLSAtomicConstant ) + // InternalVampireLanguage.g:6441:1: ( ( ruleVLSAtomicConstant ) ) + // InternalVampireLanguage.g:6442:2: ( ruleVLSAtomicConstant ) { - // InternalVampireLanguage.g:6412:2: ( ruleVLSAtomicConstant ) - // InternalVampireLanguage.g:6413:3: ruleVLSAtomicConstant + // InternalVampireLanguage.g:6442:2: ( ruleVLSAtomicConstant ) + // InternalVampireLanguage.g:6443:3: ruleVLSAtomicConstant { before(grammarAccess.getVLSTypeDefAccess().getMapsToVLSAtomicConstantParserRuleCall_1_1_0()); pushFollow(FOLLOW_2); @@ -19704,17 +19798,17 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // $ANTLR start "rule__VLSUnitaryTerm__InitTypeAssignment_0" - // InternalVampireLanguage.g:6422:1: rule__VLSUnitaryTerm__InitTypeAssignment_0 : ( ruleVLSAtomic ) ; + // InternalVampireLanguage.g:6452:1: rule__VLSUnitaryTerm__InitTypeAssignment_0 : ( ruleVLSAtomic ) ; public final void rule__VLSUnitaryTerm__InitTypeAssignment_0() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:6426:1: ( ( ruleVLSAtomic ) ) - // InternalVampireLanguage.g:6427:2: ( ruleVLSAtomic ) + // InternalVampireLanguage.g:6456:1: ( ( ruleVLSAtomic ) ) + // InternalVampireLanguage.g:6457:2: ( ruleVLSAtomic ) { - // InternalVampireLanguage.g:6427:2: ( ruleVLSAtomic ) - // InternalVampireLanguage.g:6428:3: ruleVLSAtomic + // InternalVampireLanguage.g:6457:2: ( ruleVLSAtomic ) + // InternalVampireLanguage.g:6458:3: ruleVLSAtomic { before(grammarAccess.getVLSUnitaryTermAccess().getInitTypeVLSAtomicParserRuleCall_0_0()); pushFollow(FOLLOW_2); @@ -19745,17 +19839,17 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // $ANTLR start "rule__VLSUnitaryTerm__NextTypeAssignment_1_1" - // InternalVampireLanguage.g:6437:1: rule__VLSUnitaryTerm__NextTypeAssignment_1_1 : ( ruleVLSAtomicConstant ) ; + // InternalVampireLanguage.g:6467:1: rule__VLSUnitaryTerm__NextTypeAssignment_1_1 : ( ruleVLSAtomicConstant ) ; public final void rule__VLSUnitaryTerm__NextTypeAssignment_1_1() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:6441:1: ( ( ruleVLSAtomicConstant ) ) - // InternalVampireLanguage.g:6442:2: ( ruleVLSAtomicConstant ) + // InternalVampireLanguage.g:6471:1: ( ( ruleVLSAtomicConstant ) ) + // InternalVampireLanguage.g:6472:2: ( ruleVLSAtomicConstant ) { - // InternalVampireLanguage.g:6442:2: ( ruleVLSAtomicConstant ) - // InternalVampireLanguage.g:6443:3: ruleVLSAtomicConstant + // InternalVampireLanguage.g:6472:2: ( ruleVLSAtomicConstant ) + // InternalVampireLanguage.g:6473:3: ruleVLSAtomicConstant { before(grammarAccess.getVLSUnitaryTermAccess().getNextTypeVLSAtomicConstantParserRuleCall_1_1_0()); pushFollow(FOLLOW_2); @@ -19786,17 +19880,17 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // $ANTLR start "rule__VLSBinary__RightAssignment_1_0_1" - // InternalVampireLanguage.g:6452:1: rule__VLSBinary__RightAssignment_1_0_1 : ( ruleVLSUnitaryFormula ) ; + // InternalVampireLanguage.g:6482:1: rule__VLSBinary__RightAssignment_1_0_1 : ( ruleVLSUnitaryFormula ) ; public final void rule__VLSBinary__RightAssignment_1_0_1() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:6456:1: ( ( ruleVLSUnitaryFormula ) ) - // InternalVampireLanguage.g:6457:2: ( ruleVLSUnitaryFormula ) + // InternalVampireLanguage.g:6486:1: ( ( ruleVLSUnitaryFormula ) ) + // InternalVampireLanguage.g:6487:2: ( ruleVLSUnitaryFormula ) { - // InternalVampireLanguage.g:6457:2: ( ruleVLSUnitaryFormula ) - // InternalVampireLanguage.g:6458:3: ruleVLSUnitaryFormula + // InternalVampireLanguage.g:6487:2: ( ruleVLSUnitaryFormula ) + // InternalVampireLanguage.g:6488:3: ruleVLSUnitaryFormula { before(grammarAccess.getVLSBinaryAccess().getRightVLSUnitaryFormulaParserRuleCall_1_0_1_0()); pushFollow(FOLLOW_2); @@ -19827,17 +19921,17 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // $ANTLR start "rule__VLSBinary__RightAssignment_1_1_2" - // InternalVampireLanguage.g:6467:1: rule__VLSBinary__RightAssignment_1_1_2 : ( ruleVLSUnitaryFormula ) ; + // InternalVampireLanguage.g:6497:1: rule__VLSBinary__RightAssignment_1_1_2 : ( ruleVLSUnitaryFormula ) ; public final void rule__VLSBinary__RightAssignment_1_1_2() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:6471:1: ( ( ruleVLSUnitaryFormula ) ) - // InternalVampireLanguage.g:6472:2: ( ruleVLSUnitaryFormula ) + // InternalVampireLanguage.g:6501:1: ( ( ruleVLSUnitaryFormula ) ) + // InternalVampireLanguage.g:6502:2: ( ruleVLSUnitaryFormula ) { - // InternalVampireLanguage.g:6472:2: ( ruleVLSUnitaryFormula ) - // InternalVampireLanguage.g:6473:3: ruleVLSUnitaryFormula + // InternalVampireLanguage.g:6502:2: ( ruleVLSUnitaryFormula ) + // InternalVampireLanguage.g:6503:3: ruleVLSUnitaryFormula { before(grammarAccess.getVLSBinaryAccess().getRightVLSUnitaryFormulaParserRuleCall_1_1_2_0()); pushFollow(FOLLOW_2); @@ -19868,17 +19962,17 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // $ANTLR start "rule__VLSBinary__RightAssignment_1_2_2" - // InternalVampireLanguage.g:6482:1: rule__VLSBinary__RightAssignment_1_2_2 : ( ruleVLSUnitaryFormula ) ; + // InternalVampireLanguage.g:6512:1: rule__VLSBinary__RightAssignment_1_2_2 : ( ruleVLSUnitaryFormula ) ; public final void rule__VLSBinary__RightAssignment_1_2_2() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:6486:1: ( ( ruleVLSUnitaryFormula ) ) - // InternalVampireLanguage.g:6487:2: ( ruleVLSUnitaryFormula ) + // InternalVampireLanguage.g:6516:1: ( ( ruleVLSUnitaryFormula ) ) + // InternalVampireLanguage.g:6517:2: ( ruleVLSUnitaryFormula ) { - // InternalVampireLanguage.g:6487:2: ( ruleVLSUnitaryFormula ) - // InternalVampireLanguage.g:6488:3: ruleVLSUnitaryFormula + // InternalVampireLanguage.g:6517:2: ( ruleVLSUnitaryFormula ) + // InternalVampireLanguage.g:6518:3: ruleVLSUnitaryFormula { before(grammarAccess.getVLSBinaryAccess().getRightVLSUnitaryFormulaParserRuleCall_1_2_2_0()); pushFollow(FOLLOW_2); @@ -19909,21 +20003,21 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // $ANTLR start "rule__VLSUniversalQuantifier__VariablesAssignment_1_2" - // InternalVampireLanguage.g:6497:1: rule__VLSUniversalQuantifier__VariablesAssignment_1_2 : ( ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_2_0 ) ) ; + // InternalVampireLanguage.g:6527:1: rule__VLSUniversalQuantifier__VariablesAssignment_1_2 : ( ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_2_0 ) ) ; public final void rule__VLSUniversalQuantifier__VariablesAssignment_1_2() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:6501:1: ( ( ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_2_0 ) ) ) - // InternalVampireLanguage.g:6502:2: ( ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_2_0 ) ) + // InternalVampireLanguage.g:6531:1: ( ( ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_2_0 ) ) ) + // InternalVampireLanguage.g:6532:2: ( ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_2_0 ) ) { - // InternalVampireLanguage.g:6502:2: ( ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_2_0 ) ) - // InternalVampireLanguage.g:6503:3: ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_2_0 ) + // InternalVampireLanguage.g:6532:2: ( ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_2_0 ) ) + // InternalVampireLanguage.g:6533:3: ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_2_0 ) { before(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesAlternatives_1_2_0()); - // InternalVampireLanguage.g:6504:3: ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_2_0 ) - // InternalVampireLanguage.g:6504:4: rule__VLSUniversalQuantifier__VariablesAlternatives_1_2_0 + // InternalVampireLanguage.g:6534:3: ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_2_0 ) + // InternalVampireLanguage.g:6534:4: rule__VLSUniversalQuantifier__VariablesAlternatives_1_2_0 { pushFollow(FOLLOW_2); rule__VLSUniversalQuantifier__VariablesAlternatives_1_2_0(); @@ -19956,21 +20050,21 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // $ANTLR start "rule__VLSUniversalQuantifier__VariablesAssignment_1_3_1" - // InternalVampireLanguage.g:6512:1: rule__VLSUniversalQuantifier__VariablesAssignment_1_3_1 : ( ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_3_1_0 ) ) ; + // InternalVampireLanguage.g:6542:1: rule__VLSUniversalQuantifier__VariablesAssignment_1_3_1 : ( ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_3_1_0 ) ) ; public final void rule__VLSUniversalQuantifier__VariablesAssignment_1_3_1() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:6516:1: ( ( ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_3_1_0 ) ) ) - // InternalVampireLanguage.g:6517:2: ( ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_3_1_0 ) ) + // InternalVampireLanguage.g:6546:1: ( ( ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_3_1_0 ) ) ) + // InternalVampireLanguage.g:6547:2: ( ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_3_1_0 ) ) { - // InternalVampireLanguage.g:6517:2: ( ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_3_1_0 ) ) - // InternalVampireLanguage.g:6518:3: ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_3_1_0 ) + // InternalVampireLanguage.g:6547:2: ( ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_3_1_0 ) ) + // InternalVampireLanguage.g:6548:3: ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_3_1_0 ) { before(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesAlternatives_1_3_1_0()); - // InternalVampireLanguage.g:6519:3: ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_3_1_0 ) - // InternalVampireLanguage.g:6519:4: rule__VLSUniversalQuantifier__VariablesAlternatives_1_3_1_0 + // InternalVampireLanguage.g:6549:3: ( rule__VLSUniversalQuantifier__VariablesAlternatives_1_3_1_0 ) + // InternalVampireLanguage.g:6549:4: rule__VLSUniversalQuantifier__VariablesAlternatives_1_3_1_0 { pushFollow(FOLLOW_2); rule__VLSUniversalQuantifier__VariablesAlternatives_1_3_1_0(); @@ -20003,17 +20097,17 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // $ANTLR start "rule__VLSUniversalQuantifier__OperandAssignment_2" - // InternalVampireLanguage.g:6527:1: rule__VLSUniversalQuantifier__OperandAssignment_2 : ( ruleVLSUnitaryFormula ) ; + // InternalVampireLanguage.g:6557:1: rule__VLSUniversalQuantifier__OperandAssignment_2 : ( ruleVLSUnitaryFormula ) ; public final void rule__VLSUniversalQuantifier__OperandAssignment_2() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:6531:1: ( ( ruleVLSUnitaryFormula ) ) - // InternalVampireLanguage.g:6532:2: ( ruleVLSUnitaryFormula ) + // InternalVampireLanguage.g:6561:1: ( ( ruleVLSUnitaryFormula ) ) + // InternalVampireLanguage.g:6562:2: ( ruleVLSUnitaryFormula ) { - // InternalVampireLanguage.g:6532:2: ( ruleVLSUnitaryFormula ) - // InternalVampireLanguage.g:6533:3: ruleVLSUnitaryFormula + // InternalVampireLanguage.g:6562:2: ( ruleVLSUnitaryFormula ) + // InternalVampireLanguage.g:6563:3: ruleVLSUnitaryFormula { before(grammarAccess.getVLSUniversalQuantifierAccess().getOperandVLSUnitaryFormulaParserRuleCall_2_0()); pushFollow(FOLLOW_2); @@ -20044,21 +20138,21 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // $ANTLR start "rule__VLSExistentialQuantifier__VariablesAssignment_1_2" - // InternalVampireLanguage.g:6542:1: rule__VLSExistentialQuantifier__VariablesAssignment_1_2 : ( ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_2_0 ) ) ; + // InternalVampireLanguage.g:6572:1: rule__VLSExistentialQuantifier__VariablesAssignment_1_2 : ( ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_2_0 ) ) ; public final void rule__VLSExistentialQuantifier__VariablesAssignment_1_2() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:6546:1: ( ( ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_2_0 ) ) ) - // InternalVampireLanguage.g:6547:2: ( ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_2_0 ) ) + // InternalVampireLanguage.g:6576:1: ( ( ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_2_0 ) ) ) + // InternalVampireLanguage.g:6577:2: ( ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_2_0 ) ) { - // InternalVampireLanguage.g:6547:2: ( ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_2_0 ) ) - // InternalVampireLanguage.g:6548:3: ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_2_0 ) + // InternalVampireLanguage.g:6577:2: ( ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_2_0 ) ) + // InternalVampireLanguage.g:6578:3: ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_2_0 ) { before(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesAlternatives_1_2_0()); - // InternalVampireLanguage.g:6549:3: ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_2_0 ) - // InternalVampireLanguage.g:6549:4: rule__VLSExistentialQuantifier__VariablesAlternatives_1_2_0 + // InternalVampireLanguage.g:6579:3: ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_2_0 ) + // InternalVampireLanguage.g:6579:4: rule__VLSExistentialQuantifier__VariablesAlternatives_1_2_0 { pushFollow(FOLLOW_2); rule__VLSExistentialQuantifier__VariablesAlternatives_1_2_0(); @@ -20091,21 +20185,21 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // $ANTLR start "rule__VLSExistentialQuantifier__VariablesAssignment_1_3_1" - // InternalVampireLanguage.g:6557:1: rule__VLSExistentialQuantifier__VariablesAssignment_1_3_1 : ( ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_3_1_0 ) ) ; + // InternalVampireLanguage.g:6587:1: rule__VLSExistentialQuantifier__VariablesAssignment_1_3_1 : ( ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_3_1_0 ) ) ; public final void rule__VLSExistentialQuantifier__VariablesAssignment_1_3_1() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:6561:1: ( ( ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_3_1_0 ) ) ) - // InternalVampireLanguage.g:6562:2: ( ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_3_1_0 ) ) + // InternalVampireLanguage.g:6591:1: ( ( ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_3_1_0 ) ) ) + // InternalVampireLanguage.g:6592:2: ( ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_3_1_0 ) ) { - // InternalVampireLanguage.g:6562:2: ( ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_3_1_0 ) ) - // InternalVampireLanguage.g:6563:3: ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_3_1_0 ) + // InternalVampireLanguage.g:6592:2: ( ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_3_1_0 ) ) + // InternalVampireLanguage.g:6593:3: ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_3_1_0 ) { before(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesAlternatives_1_3_1_0()); - // InternalVampireLanguage.g:6564:3: ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_3_1_0 ) - // InternalVampireLanguage.g:6564:4: rule__VLSExistentialQuantifier__VariablesAlternatives_1_3_1_0 + // InternalVampireLanguage.g:6594:3: ( rule__VLSExistentialQuantifier__VariablesAlternatives_1_3_1_0 ) + // InternalVampireLanguage.g:6594:4: rule__VLSExistentialQuantifier__VariablesAlternatives_1_3_1_0 { pushFollow(FOLLOW_2); rule__VLSExistentialQuantifier__VariablesAlternatives_1_3_1_0(); @@ -20138,17 +20232,17 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // $ANTLR start "rule__VLSExistentialQuantifier__OperandAssignment_2" - // InternalVampireLanguage.g:6572:1: rule__VLSExistentialQuantifier__OperandAssignment_2 : ( ruleVLSUnitaryFormula ) ; + // InternalVampireLanguage.g:6602:1: rule__VLSExistentialQuantifier__OperandAssignment_2 : ( ruleVLSUnitaryFormula ) ; public final void rule__VLSExistentialQuantifier__OperandAssignment_2() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:6576:1: ( ( ruleVLSUnitaryFormula ) ) - // InternalVampireLanguage.g:6577:2: ( ruleVLSUnitaryFormula ) + // InternalVampireLanguage.g:6606:1: ( ( ruleVLSUnitaryFormula ) ) + // InternalVampireLanguage.g:6607:2: ( ruleVLSUnitaryFormula ) { - // InternalVampireLanguage.g:6577:2: ( ruleVLSUnitaryFormula ) - // InternalVampireLanguage.g:6578:3: ruleVLSUnitaryFormula + // InternalVampireLanguage.g:6607:2: ( ruleVLSUnitaryFormula ) + // InternalVampireLanguage.g:6608:3: ruleVLSUnitaryFormula { before(grammarAccess.getVLSExistentialQuantifierAccess().getOperandVLSUnitaryFormulaParserRuleCall_2_0()); pushFollow(FOLLOW_2); @@ -20179,17 +20273,17 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // $ANTLR start "rule__VLSUnaryNegation__OperandAssignment_2" - // InternalVampireLanguage.g:6587:1: rule__VLSUnaryNegation__OperandAssignment_2 : ( ruleVLSUnitaryFormula ) ; + // InternalVampireLanguage.g:6617:1: rule__VLSUnaryNegation__OperandAssignment_2 : ( ruleVLSUnitaryFormula ) ; public final void rule__VLSUnaryNegation__OperandAssignment_2() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:6591:1: ( ( ruleVLSUnitaryFormula ) ) - // InternalVampireLanguage.g:6592:2: ( ruleVLSUnitaryFormula ) + // InternalVampireLanguage.g:6621:1: ( ( ruleVLSUnitaryFormula ) ) + // InternalVampireLanguage.g:6622:2: ( ruleVLSUnitaryFormula ) { - // InternalVampireLanguage.g:6592:2: ( ruleVLSUnitaryFormula ) - // InternalVampireLanguage.g:6593:3: ruleVLSUnitaryFormula + // InternalVampireLanguage.g:6622:2: ( ruleVLSUnitaryFormula ) + // InternalVampireLanguage.g:6623:3: ruleVLSUnitaryFormula { before(grammarAccess.getVLSUnaryNegationAccess().getOperandVLSUnitaryFormulaParserRuleCall_2_0()); pushFollow(FOLLOW_2); @@ -20220,17 +20314,17 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // $ANTLR start "rule__VLSUnaryInfix__RightAssignment_1_1" - // InternalVampireLanguage.g:6602:1: rule__VLSUnaryInfix__RightAssignment_1_1 : ( ruleVLSAtomic ) ; + // InternalVampireLanguage.g:6632:1: rule__VLSUnaryInfix__RightAssignment_1_1 : ( ruleVLSAtomic ) ; public final void rule__VLSUnaryInfix__RightAssignment_1_1() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:6606:1: ( ( ruleVLSAtomic ) ) - // InternalVampireLanguage.g:6607:2: ( ruleVLSAtomic ) + // InternalVampireLanguage.g:6636:1: ( ( ruleVLSAtomic ) ) + // InternalVampireLanguage.g:6637:2: ( ruleVLSAtomic ) { - // InternalVampireLanguage.g:6607:2: ( ruleVLSAtomic ) - // InternalVampireLanguage.g:6608:3: ruleVLSAtomic + // InternalVampireLanguage.g:6637:2: ( ruleVLSAtomic ) + // InternalVampireLanguage.g:6638:3: ruleVLSAtomic { before(grammarAccess.getVLSUnaryInfixAccess().getRightVLSAtomicParserRuleCall_1_1_0()); pushFollow(FOLLOW_2); @@ -20261,21 +20355,21 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // $ANTLR start "rule__VLSAtomicConstant__NameAssignment_0_1" - // InternalVampireLanguage.g:6617:1: rule__VLSAtomicConstant__NameAssignment_0_1 : ( ( rule__VLSAtomicConstant__NameAlternatives_0_1_0 ) ) ; + // InternalVampireLanguage.g:6647:1: rule__VLSAtomicConstant__NameAssignment_0_1 : ( ( rule__VLSAtomicConstant__NameAlternatives_0_1_0 ) ) ; public final void rule__VLSAtomicConstant__NameAssignment_0_1() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:6621:1: ( ( ( rule__VLSAtomicConstant__NameAlternatives_0_1_0 ) ) ) - // InternalVampireLanguage.g:6622:2: ( ( rule__VLSAtomicConstant__NameAlternatives_0_1_0 ) ) + // InternalVampireLanguage.g:6651:1: ( ( ( rule__VLSAtomicConstant__NameAlternatives_0_1_0 ) ) ) + // InternalVampireLanguage.g:6652:2: ( ( rule__VLSAtomicConstant__NameAlternatives_0_1_0 ) ) { - // InternalVampireLanguage.g:6622:2: ( ( rule__VLSAtomicConstant__NameAlternatives_0_1_0 ) ) - // InternalVampireLanguage.g:6623:3: ( rule__VLSAtomicConstant__NameAlternatives_0_1_0 ) + // InternalVampireLanguage.g:6652:2: ( ( rule__VLSAtomicConstant__NameAlternatives_0_1_0 ) ) + // InternalVampireLanguage.g:6653:3: ( rule__VLSAtomicConstant__NameAlternatives_0_1_0 ) { before(grammarAccess.getVLSAtomicConstantAccess().getNameAlternatives_0_1_0()); - // InternalVampireLanguage.g:6624:3: ( rule__VLSAtomicConstant__NameAlternatives_0_1_0 ) - // InternalVampireLanguage.g:6624:4: rule__VLSAtomicConstant__NameAlternatives_0_1_0 + // InternalVampireLanguage.g:6654:3: ( rule__VLSAtomicConstant__NameAlternatives_0_1_0 ) + // InternalVampireLanguage.g:6654:4: rule__VLSAtomicConstant__NameAlternatives_0_1_0 { pushFollow(FOLLOW_2); rule__VLSAtomicConstant__NameAlternatives_0_1_0(); @@ -20308,21 +20402,21 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // $ANTLR start "rule__VLSAtomicFunction__ConstantAssignment_0_1" - // InternalVampireLanguage.g:6632:1: rule__VLSAtomicFunction__ConstantAssignment_0_1 : ( ( rule__VLSAtomicFunction__ConstantAlternatives_0_1_0 ) ) ; + // InternalVampireLanguage.g:6662:1: rule__VLSAtomicFunction__ConstantAssignment_0_1 : ( ( rule__VLSAtomicFunction__ConstantAlternatives_0_1_0 ) ) ; public final void rule__VLSAtomicFunction__ConstantAssignment_0_1() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:6636:1: ( ( ( rule__VLSAtomicFunction__ConstantAlternatives_0_1_0 ) ) ) - // InternalVampireLanguage.g:6637:2: ( ( rule__VLSAtomicFunction__ConstantAlternatives_0_1_0 ) ) + // InternalVampireLanguage.g:6666:1: ( ( ( rule__VLSAtomicFunction__ConstantAlternatives_0_1_0 ) ) ) + // InternalVampireLanguage.g:6667:2: ( ( rule__VLSAtomicFunction__ConstantAlternatives_0_1_0 ) ) { - // InternalVampireLanguage.g:6637:2: ( ( rule__VLSAtomicFunction__ConstantAlternatives_0_1_0 ) ) - // InternalVampireLanguage.g:6638:3: ( rule__VLSAtomicFunction__ConstantAlternatives_0_1_0 ) + // InternalVampireLanguage.g:6667:2: ( ( rule__VLSAtomicFunction__ConstantAlternatives_0_1_0 ) ) + // InternalVampireLanguage.g:6668:3: ( rule__VLSAtomicFunction__ConstantAlternatives_0_1_0 ) { before(grammarAccess.getVLSAtomicFunctionAccess().getConstantAlternatives_0_1_0()); - // InternalVampireLanguage.g:6639:3: ( rule__VLSAtomicFunction__ConstantAlternatives_0_1_0 ) - // InternalVampireLanguage.g:6639:4: rule__VLSAtomicFunction__ConstantAlternatives_0_1_0 + // InternalVampireLanguage.g:6669:3: ( rule__VLSAtomicFunction__ConstantAlternatives_0_1_0 ) + // InternalVampireLanguage.g:6669:4: rule__VLSAtomicFunction__ConstantAlternatives_0_1_0 { pushFollow(FOLLOW_2); rule__VLSAtomicFunction__ConstantAlternatives_0_1_0(); @@ -20355,17 +20449,17 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // $ANTLR start "rule__VLSAtomicFunction__TermsAssignment_0_2_1" - // InternalVampireLanguage.g:6647:1: rule__VLSAtomicFunction__TermsAssignment_0_2_1 : ( ruleVLSFofTerm ) ; + // InternalVampireLanguage.g:6677:1: rule__VLSAtomicFunction__TermsAssignment_0_2_1 : ( ruleVLSFofTerm ) ; public final void rule__VLSAtomicFunction__TermsAssignment_0_2_1() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:6651:1: ( ( ruleVLSFofTerm ) ) - // InternalVampireLanguage.g:6652:2: ( ruleVLSFofTerm ) + // InternalVampireLanguage.g:6681:1: ( ( ruleVLSFofTerm ) ) + // InternalVampireLanguage.g:6682:2: ( ruleVLSFofTerm ) { - // InternalVampireLanguage.g:6652:2: ( ruleVLSFofTerm ) - // InternalVampireLanguage.g:6653:3: ruleVLSFofTerm + // InternalVampireLanguage.g:6682:2: ( ruleVLSFofTerm ) + // InternalVampireLanguage.g:6683:3: ruleVLSFofTerm { before(grammarAccess.getVLSAtomicFunctionAccess().getTermsVLSFofTermParserRuleCall_0_2_1_0()); pushFollow(FOLLOW_2); @@ -20396,17 +20490,17 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // $ANTLR start "rule__VLSAtomicFunction__TermsAssignment_0_2_2_1" - // InternalVampireLanguage.g:6662:1: rule__VLSAtomicFunction__TermsAssignment_0_2_2_1 : ( ruleVLSFofTerm ) ; + // InternalVampireLanguage.g:6692:1: rule__VLSAtomicFunction__TermsAssignment_0_2_2_1 : ( ruleVLSFofTerm ) ; public final void rule__VLSAtomicFunction__TermsAssignment_0_2_2_1() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:6666:1: ( ( ruleVLSFofTerm ) ) - // InternalVampireLanguage.g:6667:2: ( ruleVLSFofTerm ) + // InternalVampireLanguage.g:6696:1: ( ( ruleVLSFofTerm ) ) + // InternalVampireLanguage.g:6697:2: ( ruleVLSFofTerm ) { - // InternalVampireLanguage.g:6667:2: ( ruleVLSFofTerm ) - // InternalVampireLanguage.g:6668:3: ruleVLSFofTerm + // InternalVampireLanguage.g:6697:2: ( ruleVLSFofTerm ) + // InternalVampireLanguage.g:6698:3: ruleVLSFofTerm { before(grammarAccess.getVLSAtomicFunctionAccess().getTermsVLSFofTermParserRuleCall_0_2_2_1_0()); pushFollow(FOLLOW_2); @@ -20437,21 +20531,21 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // $ANTLR start "rule__VLSAtomicFunction__NameAssignment_1_1" - // InternalVampireLanguage.g:6677:1: rule__VLSAtomicFunction__NameAssignment_1_1 : ( ( '$less' ) ) ; + // InternalVampireLanguage.g:6707:1: rule__VLSAtomicFunction__NameAssignment_1_1 : ( ( '$less' ) ) ; public final void rule__VLSAtomicFunction__NameAssignment_1_1() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:6681:1: ( ( ( '$less' ) ) ) - // InternalVampireLanguage.g:6682:2: ( ( '$less' ) ) + // InternalVampireLanguage.g:6711:1: ( ( ( '$less' ) ) ) + // InternalVampireLanguage.g:6712:2: ( ( '$less' ) ) { - // InternalVampireLanguage.g:6682:2: ( ( '$less' ) ) - // InternalVampireLanguage.g:6683:3: ( '$less' ) + // InternalVampireLanguage.g:6712:2: ( ( '$less' ) ) + // InternalVampireLanguage.g:6713:3: ( '$less' ) { before(grammarAccess.getVLSAtomicFunctionAccess().getNameLessKeyword_1_1_0()); - // InternalVampireLanguage.g:6684:3: ( '$less' ) - // InternalVampireLanguage.g:6685:4: '$less' + // InternalVampireLanguage.g:6714:3: ( '$less' ) + // InternalVampireLanguage.g:6715:4: '$less' { before(grammarAccess.getVLSAtomicFunctionAccess().getNameLessKeyword_1_1_0()); match(input,80,FOLLOW_2); @@ -20482,17 +20576,17 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // $ANTLR start "rule__VLSAtomicFunction__TermsAssignment_1_3" - // InternalVampireLanguage.g:6696:1: rule__VLSAtomicFunction__TermsAssignment_1_3 : ( ruleVLSFofTerm ) ; + // InternalVampireLanguage.g:6726:1: rule__VLSAtomicFunction__TermsAssignment_1_3 : ( ruleVLSFofTerm ) ; public final void rule__VLSAtomicFunction__TermsAssignment_1_3() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:6700:1: ( ( ruleVLSFofTerm ) ) - // InternalVampireLanguage.g:6701:2: ( ruleVLSFofTerm ) + // InternalVampireLanguage.g:6730:1: ( ( ruleVLSFofTerm ) ) + // InternalVampireLanguage.g:6731:2: ( ruleVLSFofTerm ) { - // InternalVampireLanguage.g:6701:2: ( ruleVLSFofTerm ) - // InternalVampireLanguage.g:6702:3: ruleVLSFofTerm + // InternalVampireLanguage.g:6731:2: ( ruleVLSFofTerm ) + // InternalVampireLanguage.g:6732:3: ruleVLSFofTerm { before(grammarAccess.getVLSAtomicFunctionAccess().getTermsVLSFofTermParserRuleCall_1_3_0()); pushFollow(FOLLOW_2); @@ -20523,17 +20617,17 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // $ANTLR start "rule__VLSAtomicFunction__TermsAssignment_1_5" - // InternalVampireLanguage.g:6711:1: rule__VLSAtomicFunction__TermsAssignment_1_5 : ( ruleVLSFofTerm ) ; + // InternalVampireLanguage.g:6741:1: rule__VLSAtomicFunction__TermsAssignment_1_5 : ( ruleVLSFofTerm ) ; public final void rule__VLSAtomicFunction__TermsAssignment_1_5() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:6715:1: ( ( ruleVLSFofTerm ) ) - // InternalVampireLanguage.g:6716:2: ( ruleVLSFofTerm ) + // InternalVampireLanguage.g:6745:1: ( ( ruleVLSFofTerm ) ) + // InternalVampireLanguage.g:6746:2: ( ruleVLSFofTerm ) { - // InternalVampireLanguage.g:6716:2: ( ruleVLSFofTerm ) - // InternalVampireLanguage.g:6717:3: ruleVLSFofTerm + // InternalVampireLanguage.g:6746:2: ( ruleVLSFofTerm ) + // InternalVampireLanguage.g:6747:3: ruleVLSFofTerm { before(grammarAccess.getVLSAtomicFunctionAccess().getTermsVLSFofTermParserRuleCall_1_5_0()); pushFollow(FOLLOW_2); @@ -20564,17 +20658,17 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // $ANTLR start "rule__VLSVariable__NameAssignment" - // InternalVampireLanguage.g:6726:1: rule__VLSVariable__NameAssignment : ( RULE_UPPER_WORD_ID ) ; + // InternalVampireLanguage.g:6756:1: rule__VLSVariable__NameAssignment : ( RULE_UPPER_WORD_ID ) ; public final void rule__VLSVariable__NameAssignment() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:6730:1: ( ( RULE_UPPER_WORD_ID ) ) - // InternalVampireLanguage.g:6731:2: ( RULE_UPPER_WORD_ID ) + // InternalVampireLanguage.g:6760:1: ( ( RULE_UPPER_WORD_ID ) ) + // InternalVampireLanguage.g:6761:2: ( RULE_UPPER_WORD_ID ) { - // InternalVampireLanguage.g:6731:2: ( RULE_UPPER_WORD_ID ) - // InternalVampireLanguage.g:6732:3: RULE_UPPER_WORD_ID + // InternalVampireLanguage.g:6761:2: ( RULE_UPPER_WORD_ID ) + // InternalVampireLanguage.g:6762:3: RULE_UPPER_WORD_ID { before(grammarAccess.getVLSVariableAccess().getNameUPPER_WORD_IDTerminalRuleCall_0()); match(input,RULE_UPPER_WORD_ID,FOLLOW_2); @@ -20601,21 +20695,21 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // $ANTLR start "rule__VLSFunctionAsTerm__FunctorAssignment_0" - // InternalVampireLanguage.g:6741:1: rule__VLSFunctionAsTerm__FunctorAssignment_0 : ( ( rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 ) ) ; + // InternalVampireLanguage.g:6771:1: rule__VLSFunctionAsTerm__FunctorAssignment_0 : ( ( rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 ) ) ; public final void rule__VLSFunctionAsTerm__FunctorAssignment_0() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:6745:1: ( ( ( rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 ) ) ) - // InternalVampireLanguage.g:6746:2: ( ( rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 ) ) + // InternalVampireLanguage.g:6775:1: ( ( ( rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 ) ) ) + // InternalVampireLanguage.g:6776:2: ( ( rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 ) ) { - // InternalVampireLanguage.g:6746:2: ( ( rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 ) ) - // InternalVampireLanguage.g:6747:3: ( rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 ) + // InternalVampireLanguage.g:6776:2: ( ( rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 ) ) + // InternalVampireLanguage.g:6777:3: ( rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 ) { before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorAlternatives_0_0()); - // InternalVampireLanguage.g:6748:3: ( rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 ) - // InternalVampireLanguage.g:6748:4: rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 + // InternalVampireLanguage.g:6778:3: ( rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 ) + // InternalVampireLanguage.g:6778:4: rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 { pushFollow(FOLLOW_2); rule__VLSFunctionAsTerm__FunctorAlternatives_0_0(); @@ -20648,17 +20742,17 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // $ANTLR start "rule__VLSFunctionAsTerm__TermsAssignment_1_1" - // InternalVampireLanguage.g:6756:1: rule__VLSFunctionAsTerm__TermsAssignment_1_1 : ( ruleVLSFofTerm ) ; + // InternalVampireLanguage.g:6786:1: rule__VLSFunctionAsTerm__TermsAssignment_1_1 : ( ruleVLSFofTerm ) ; public final void rule__VLSFunctionAsTerm__TermsAssignment_1_1() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:6760:1: ( ( ruleVLSFofTerm ) ) - // InternalVampireLanguage.g:6761:2: ( ruleVLSFofTerm ) + // InternalVampireLanguage.g:6790:1: ( ( ruleVLSFofTerm ) ) + // InternalVampireLanguage.g:6791:2: ( ruleVLSFofTerm ) { - // InternalVampireLanguage.g:6761:2: ( ruleVLSFofTerm ) - // InternalVampireLanguage.g:6762:3: ruleVLSFofTerm + // InternalVampireLanguage.g:6791:2: ( ruleVLSFofTerm ) + // InternalVampireLanguage.g:6792:3: ruleVLSFofTerm { before(grammarAccess.getVLSFunctionAsTermAccess().getTermsVLSFofTermParserRuleCall_1_1_0()); pushFollow(FOLLOW_2); @@ -20689,17 +20783,17 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // $ANTLR start "rule__VLSFunctionAsTerm__TermsAssignment_1_2_1" - // InternalVampireLanguage.g:6771:1: rule__VLSFunctionAsTerm__TermsAssignment_1_2_1 : ( ruleVLSFofTerm ) ; + // InternalVampireLanguage.g:6801:1: rule__VLSFunctionAsTerm__TermsAssignment_1_2_1 : ( ruleVLSFofTerm ) ; public final void rule__VLSFunctionAsTerm__TermsAssignment_1_2_1() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:6775:1: ( ( ruleVLSFofTerm ) ) - // InternalVampireLanguage.g:6776:2: ( ruleVLSFofTerm ) + // InternalVampireLanguage.g:6805:1: ( ( ruleVLSFofTerm ) ) + // InternalVampireLanguage.g:6806:2: ( ruleVLSFofTerm ) { - // InternalVampireLanguage.g:6776:2: ( ruleVLSFofTerm ) - // InternalVampireLanguage.g:6777:3: ruleVLSFofTerm + // InternalVampireLanguage.g:6806:2: ( ruleVLSFofTerm ) + // InternalVampireLanguage.g:6807:3: ruleVLSFofTerm { before(grammarAccess.getVLSFunctionAsTermAccess().getTermsVLSFofTermParserRuleCall_1_2_1_0()); pushFollow(FOLLOW_2); @@ -20730,17 +20824,17 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // $ANTLR start "rule__VLSDefinedTerm__ValueAssignment_0_1" - // InternalVampireLanguage.g:6786:1: rule__VLSDefinedTerm__ValueAssignment_0_1 : ( RULE_SIGNED_LITERAL ) ; + // InternalVampireLanguage.g:6816:1: rule__VLSDefinedTerm__ValueAssignment_0_1 : ( RULE_SIGNED_LITERAL ) ; public final void rule__VLSDefinedTerm__ValueAssignment_0_1() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:6790:1: ( ( RULE_SIGNED_LITERAL ) ) - // InternalVampireLanguage.g:6791:2: ( RULE_SIGNED_LITERAL ) + // InternalVampireLanguage.g:6820:1: ( ( RULE_SIGNED_LITERAL ) ) + // InternalVampireLanguage.g:6821:2: ( RULE_SIGNED_LITERAL ) { - // InternalVampireLanguage.g:6791:2: ( RULE_SIGNED_LITERAL ) - // InternalVampireLanguage.g:6792:3: RULE_SIGNED_LITERAL + // InternalVampireLanguage.g:6821:2: ( RULE_SIGNED_LITERAL ) + // InternalVampireLanguage.g:6822:3: RULE_SIGNED_LITERAL { before(grammarAccess.getVLSDefinedTermAccess().getValueSIGNED_LITERALTerminalRuleCall_0_1_0()); match(input,RULE_SIGNED_LITERAL,FOLLOW_2); @@ -20767,17 +20861,17 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // $ANTLR start "rule__VLSDefinedTerm__ValueAssignment_1_1" - // InternalVampireLanguage.g:6801:1: rule__VLSDefinedTerm__ValueAssignment_1_1 : ( RULE_DOUBLE_QUOTE ) ; + // InternalVampireLanguage.g:6831:1: rule__VLSDefinedTerm__ValueAssignment_1_1 : ( RULE_DOUBLE_QUOTE ) ; public final void rule__VLSDefinedTerm__ValueAssignment_1_1() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:6805:1: ( ( RULE_DOUBLE_QUOTE ) ) - // InternalVampireLanguage.g:6806:2: ( RULE_DOUBLE_QUOTE ) + // InternalVampireLanguage.g:6835:1: ( ( RULE_DOUBLE_QUOTE ) ) + // InternalVampireLanguage.g:6836:2: ( RULE_DOUBLE_QUOTE ) { - // InternalVampireLanguage.g:6806:2: ( RULE_DOUBLE_QUOTE ) - // InternalVampireLanguage.g:6807:3: RULE_DOUBLE_QUOTE + // InternalVampireLanguage.g:6836:2: ( RULE_DOUBLE_QUOTE ) + // InternalVampireLanguage.g:6837:3: RULE_DOUBLE_QUOTE { before(grammarAccess.getVLSDefinedTermAccess().getValueDOUBLE_QUOTETerminalRuleCall_1_1_0()); match(input,RULE_DOUBLE_QUOTE,FOLLOW_2); -- cgit v1.2.3-70-g09d2