From 9043add656177eeac1491a73d2f3ab92bec0013c Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@debian.org>
Date: Sat, 29 Dec 2018 14:31:27 -0500
Subject: Imported Upstream version 8.8.2

---
 .../coqrst/notations/TacticNotationsVisitor.py     | 58 ++++++++++++++++++++++
 1 file changed, 58 insertions(+)
 create mode 100644 doc/tools/coqrst/notations/TacticNotationsVisitor.py

(limited to 'doc/tools/coqrst/notations/TacticNotationsVisitor.py')

diff --git a/doc/tools/coqrst/notations/TacticNotationsVisitor.py b/doc/tools/coqrst/notations/TacticNotationsVisitor.py
new file mode 100644
index 00000000..c0bcc4af
--- /dev/null
+++ b/doc/tools/coqrst/notations/TacticNotationsVisitor.py
@@ -0,0 +1,58 @@
+# Generated from TacticNotations.g by ANTLR 4.7
+from antlr4 import *
+if __name__ is not None and "." in __name__:
+    from .TacticNotationsParser import TacticNotationsParser
+else:
+    from TacticNotationsParser import TacticNotationsParser
+
+# This class defines a complete generic visitor for a parse tree produced by TacticNotationsParser.
+
+class TacticNotationsVisitor(ParseTreeVisitor):
+
+    # Visit a parse tree produced by TacticNotationsParser#top.
+    def visitTop(self, ctx:TacticNotationsParser.TopContext):
+        return self.visitChildren(ctx)
+
+
+    # Visit a parse tree produced by TacticNotationsParser#blocks.
+    def visitBlocks(self, ctx:TacticNotationsParser.BlocksContext):
+        return self.visitChildren(ctx)
+
+
+    # Visit a parse tree produced by TacticNotationsParser#block.
+    def visitBlock(self, ctx:TacticNotationsParser.BlockContext):
+        return self.visitChildren(ctx)
+
+
+    # Visit a parse tree produced by TacticNotationsParser#repeat.
+    def visitRepeat(self, ctx:TacticNotationsParser.RepeatContext):
+        return self.visitChildren(ctx)
+
+
+    # Visit a parse tree produced by TacticNotationsParser#curlies.
+    def visitCurlies(self, ctx:TacticNotationsParser.CurliesContext):
+        return self.visitChildren(ctx)
+
+
+    # Visit a parse tree produced by TacticNotationsParser#whitespace.
+    def visitWhitespace(self, ctx:TacticNotationsParser.WhitespaceContext):
+        return self.visitChildren(ctx)
+
+
+    # Visit a parse tree produced by TacticNotationsParser#meta.
+    def visitMeta(self, ctx:TacticNotationsParser.MetaContext):
+        return self.visitChildren(ctx)
+
+
+    # Visit a parse tree produced by TacticNotationsParser#atomic.
+    def visitAtomic(self, ctx:TacticNotationsParser.AtomicContext):
+        return self.visitChildren(ctx)
+
+
+    # Visit a parse tree produced by TacticNotationsParser#hole.
+    def visitHole(self, ctx:TacticNotationsParser.HoleContext):
+        return self.visitChildren(ctx)
+
+
+
+del TacticNotationsParser
-- 
cgit v1.2.3