VAMPIRE: Implement Vampire measurement code

1 files changed, 46 insertions, 0 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 7b766803..25312fbc 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
@@ -374,6 +374,31 @@ finally {
         restoreStackSize(stackSize);

 }

 

+// Entry rule entryRuleVLSCommentTerm

+entryRuleVLSCommentTerm

+:

+{ before(grammarAccess.getVLSCommentTermRule()); }

+         ruleVLSCommentTerm

+{ after(grammarAccess.getVLSCommentTermRule()); } 

+         EOF 

+;

+

+// Rule VLSCommentTerm

+ruleVLSCommentTerm 

+        @init {

+                int stackSize = keepStackSize();

+        }

+        :

+        (

+                { before(grammarAccess.getVLSCommentTermAccess().getCommentAssignment()); }

+                (rule__VLSCommentTerm__CommentAssignment)

+                { after(grammarAccess.getVLSCommentTermAccess().getCommentAssignment()); }

+        )

+;

+finally {

+        restoreStackSize(stackSize);

+}

+

 // Entry rule entryRuleVLSDeclaration

 entryRuleVLSDeclaration

 :

@@ -1132,6 +1157,12 @@ rule__VLSTffTerm__Alternatives
                 ruleVLSDeclaration

                 { after(grammarAccess.getVLSTffTermAccess().getVLSDeclarationParserRuleCall_1()); }

         )

+        |

+        (

+                { before(grammarAccess.getVLSTffTermAccess().getVLSCommentTermParserRuleCall_2()); }

+                ruleVLSCommentTerm

+                { after(grammarAccess.getVLSTffTermAccess().getVLSCommentTermParserRuleCall_2()); }

+        )

 ;

 finally {

         restoreStackSize(stackSize);

@@ -6359,6 +6390,21 @@ finally {
         restoreStackSize(stackSize);

 }

 

+rule__VLSCommentTerm__CommentAssignment

+        @init {

+                int stackSize = keepStackSize();

+        }

+:

+        (

+                { before(grammarAccess.getVLSCommentTermAccess().getCommentSINGLE_COMMENTTerminalRuleCall_0()); }

+                RULE_SINGLE_COMMENT

+                { after(grammarAccess.getVLSCommentTermAccess().getCommentSINGLE_COMMENTTerminalRuleCall_0()); }

+        )

+;

+finally {

+        restoreStackSize(stackSize);

+}

+

 rule__VLSOtherDeclaration__NameAssignment_0

         @init {

                 int stackSize = keepStackSize();