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
         }

         :

         (

-                { before(grammarAccess.getVLSCommentAccess().getCommentAssignment()); }

-                (rule__VLSComment__CommentAssignment)

-                { after(grammarAccess.getVLSCommentAccess().getCommentAssignment()); }

+                { before(grammarAccess.getVLSCommentAccess().getGroup()); }

+                (rule__VLSComment__Group__0)

+                { after(grammarAccess.getVLSCommentAccess().getGroup()); }

         )

 ;

 finally {

@@ -1834,6 +1834,60 @@ finally {
 }

 

 

+rule__VLSComment__Group__0

+        @init {

+                int stackSize = keepStackSize();

+        }

+:

+        rule__VLSComment__Group__0__Impl

+        rule__VLSComment__Group__1

+;

+finally {

+        restoreStackSize(stackSize);

+}

+

+rule__VLSComment__Group__0__Impl

+        @init {

+                int stackSize = keepStackSize();

+        }

+:

+(

+        { before(grammarAccess.getVLSCommentAccess().getPercentSignKeyword_0()); }

+        '%'

+        { after(grammarAccess.getVLSCommentAccess().getPercentSignKeyword_0()); }

+)

+;

+finally {

+        restoreStackSize(stackSize);

+}

+

+rule__VLSComment__Group__1

+        @init {

+                int stackSize = keepStackSize();

+        }

+:

+        rule__VLSComment__Group__1__Impl

+;

+finally {

+        restoreStackSize(stackSize);

+}

+

+rule__VLSComment__Group__1__Impl

+        @init {

+                int stackSize = keepStackSize();

+        }

+:

+(

+        { before(grammarAccess.getVLSCommentAccess().getCommentAssignment_1()); }

+        (rule__VLSComment__CommentAssignment_1)

+        { after(grammarAccess.getVLSCommentAccess().getCommentAssignment_1()); }

+)

+;

+finally {

+        restoreStackSize(stackSize);

+}

+

+

 rule__VLSFofFormula__Group__0

         @init {

                 int stackSize = keepStackSize();

@@ -5206,15 +5260,15 @@ finally {
         restoreStackSize(stackSize);

 }

 

-rule__VLSComment__CommentAssignment

+rule__VLSComment__CommentAssignment_1

         @init {

                 int stackSize = keepStackSize();

         }

 :

         (

-                { before(grammarAccess.getVLSCommentAccess().getCommentSINGLE_COMMENTTerminalRuleCall_0()); }

+                { before(grammarAccess.getVLSCommentAccess().getCommentSINGLE_COMMENTTerminalRuleCall_1_0()); }

                 RULE_SINGLE_COMMENT

-                { after(grammarAccess.getVLSCommentAccess().getCommentSINGLE_COMMENTTerminalRuleCall_0()); }

+                { after(grammarAccess.getVLSCommentAccess().getCommentSINGLE_COMMENTTerminalRuleCall_1_0()); }

         )

 ;

 finally {

@@ -5765,11 +5819,11 @@ fragment RULE_UNSIGNED_RAT_ID : RULE_LITERAL '/' '1'..'9' RULE_INT?;
 

 RULE_SIGNED_RAT_ID : RULE_SIGN* RULE_UNSIGNED_RAT_ID;

 

-fragment RULE_ANY_OTHER : '%' ~(('\n'|'\r'))* '\r';

+fragment RULE_ID : ~(('\n'|'\r'))*;

 

-RULE_SINGLE_COMMENT : RULE_ANY_OTHER;

+fragment RULE_ANY_OTHER : RULE_ID;

 

-RULE_ID : '^'? ('a'..'z'|'A'..'Z'|'_') ('a'..'z'|'A'..'Z'|'_'|'0'..'9')*;

+RULE_SINGLE_COMMENT : RULE_ANY_OTHER;

 

 fragment RULE_INT : ('0'..'9')+;