Include AST visitors in parser jars

uuverifiers · Sep 17, 2024 · 77ede6a · 77ede6a
1 parent 094ab38
commit 77ede6a
Show file tree

Hide file tree

Showing 4 changed files with 26 additions and 2 deletions.
diff --git a/acsl-parser/Makefile b/acsl-parser/Makefile
@@ -27,7 +27,7 @@ all: download-jars acsl-parser.jar tricera/acsl/Test.class
 
 include $(PARSER_BASEDIR)/../cc-parser/download_jars.mk
 
-acsl-parser.jar: $(PARSER_BINDIR) $(PARSER_BINDIR)/tricera/acsl/Absyn/acsl.class $(PARSER_BINDIR)/tricera/acsl/sym.class $(PARSER_BINDIR)/tricera/acsl/Yylex.class $(PARSER_BINDIR)/tricera/acsl/PrettyPrinterNonStatic.class $(PARSER_BINDIR)/tricera/acsl/parser.class
+acsl-parser.jar: $(PARSER_BINDIR) $(PARSER_BINDIR)/tricera/acsl/Absyn/acsl.class $(PARSER_BINDIR)/tricera/acsl/sym.class $(PARSER_BINDIR)/tricera/acsl/Yylex.class $(PARSER_BINDIR)/tricera/acsl/PrettyPrinterNonStatic.class $(PARSER_BINDIR)/tricera/acsl/parser.class $(PARSER_BINDIR)/tricera/acsl/AllVisitor.class $(PARSER_BINDIR)/tricera/acsl/AbstractVisitor.class $(PARSER_BINDIR)/tricera/acsl/ComposVisitor.class $(PARSER_BINDIR)/tricera/acsl/FoldVisitor.class
 	cd $(PARSER_BINDIR) && jar cf $(PARSER_BASEDIR)/acsl-parser.jar tricera
 
 $(PARSER_BINDIR):
@@ -70,6 +70,18 @@ $(PARSER_BINDIR)/tricera/acsl/Yylex.class: tricera/acsl/Yylex.java tricera/acsl/
 $(PARSER_BINDIR)/tricera/acsl/sym.class: tricera/acsl/sym.java
 	${JAVAC} ${JAVAC_FLAGS} -d $(PARSER_BINDIR) tricera/acsl/sym.java
 
+$(PARSER_BINDIR)/tricera/acsl/AllVisitor.class: tricera/acsl/AllVisitor.java
+	${JAVAC} ${JAVAC_FLAGS} -d $(PARSER_BINDIR) tricera/acsl/AllVisitor.java
+
+$(PARSER_BINDIR)/tricera/acsl/AbstractVisitor.class: tricera/acsl/AbstractVisitor.java
+	${JAVAC} ${JAVAC_FLAGS} -d $(PARSER_BINDIR) tricera/acsl/AbstractVisitor.java
+
+$(PARSER_BINDIR)/tricera/acsl/ComposVisitor.class: tricera/acsl/ComposVisitor.java
+	${JAVAC} ${JAVAC_FLAGS} -d $(PARSER_BINDIR) tricera/acsl/ComposVisitor.java
+
+$(PARSER_BINDIR)/tricera/acsl/FoldVisitor.class: tricera/acsl/FoldVisitor.java
+	${JAVAC} ${JAVAC_FLAGS} -d $(PARSER_BINDIR) tricera/acsl/FoldVisitor.java
+
 $(PARSER_BINDIR)/tricera/acsl/parser.class: tricera/acsl/parser.java tricera/acsl/sym.java
 	${JAVAC} ${JAVAC_FLAGS} -d $(PARSER_BINDIR) tricera/acsl/parser.java
 

diff --git a/acsl-parser/acsl-parser.jar b/acsl-parser/acsl-parser.jar
diff --git a/cc-parser/Makefile b/cc-parser/Makefile
@@ -27,7 +27,7 @@ all: download-jars cc-parser.jar tricera/concurrency/concurrent_c/Test.class
 
 include $(PARSER_BASEDIR)/download_jars.mk
 
-cc-parser.jar: $(PARSER_BINDIR) $(PARSER_BINDIR)/tricera/concurrency/concurrent_c/Absyn/concurrent_c.class $(PARSER_BINDIR)/tricera/concurrency/concurrent_c/sym.class $(PARSER_BINDIR)/tricera/concurrency/concurrent_c/Yylex.class $(PARSER_BINDIR)/tricera/concurrency/concurrent_c/PrettyPrinterNonStatic.class $(PARSER_BINDIR)/tricera/concurrency/concurrent_c/parser.class
+cc-parser.jar: $(PARSER_BINDIR) $(PARSER_BINDIR)/tricera/concurrency/concurrent_c/Absyn/concurrent_c.class $(PARSER_BINDIR)/tricera/concurrency/concurrent_c/sym.class $(PARSER_BINDIR)/tricera/concurrency/concurrent_c/Yylex.class $(PARSER_BINDIR)/tricera/concurrency/concurrent_c/PrettyPrinterNonStatic.class $(PARSER_BINDIR)/tricera/concurrency/concurrent_c/parser.class $(PARSER_BINDIR)/tricera/concurrency/concurrent_c/AllVisitor.class $(PARSER_BINDIR)/tricera/concurrency/concurrent_c/AbstractVisitor.class $(PARSER_BINDIR)/tricera/concurrency/concurrent_c/ComposVisitor.class $(PARSER_BINDIR)/tricera/concurrency/concurrent_c/FoldVisitor.class
 	cd $(PARSER_BINDIR) && jar cf $(PARSER_BASEDIR)/cc-parser.jar tricera
 
 
@@ -71,6 +71,18 @@ $(PARSER_BINDIR)/tricera/concurrency/concurrent_c/Yylex.class: tricera/concurren
 $(PARSER_BINDIR)/tricera/concurrency/concurrent_c/sym.class: tricera/concurrency/concurrent_c/sym.java
 	${JAVAC} ${JAVAC_FLAGS} -d $(PARSER_BINDIR) tricera/concurrency/concurrent_c/sym.java
 
+$(PARSER_BINDIR)/tricera/concurrency/concurrent_c/AllVisitor.class: tricera/concurrency/concurrent_c/AllVisitor.java
+	${JAVAC} ${JAVAC_FLAGS} -d $(PARSER_BINDIR) tricera/concurrency/concurrent_c/AllVisitor.java
+
+$(PARSER_BINDIR)/tricera/concurrency/concurrent_c/AbstractVisitor.class: tricera/concurrency/concurrent_c/AbstractVisitor.java
+	${JAVAC} ${JAVAC_FLAGS} -d $(PARSER_BINDIR) tricera/concurrency/concurrent_c/AbstractVisitor.java
+
+$(PARSER_BINDIR)/tricera/concurrency/concurrent_c/ComposVisitor.class: tricera/concurrency/concurrent_c/ComposVisitor.java
+	${JAVAC} ${JAVAC_FLAGS} -d $(PARSER_BINDIR) tricera/concurrency/concurrent_c/ComposVisitor.java
+
+$(PARSER_BINDIR)/tricera/concurrency/concurrent_c/FoldVisitor.class: tricera/concurrency/concurrent_c/FoldVisitor.java
+	${JAVAC} ${JAVAC_FLAGS} -d $(PARSER_BINDIR) tricera/concurrency/concurrent_c/FoldVisitor.java
+
 $(PARSER_BINDIR)/tricera/concurrency/concurrent_c/parser.class: tricera/concurrency/concurrent_c/parser.java tricera/concurrency/concurrent_c/sym.java
 	${JAVAC} ${JAVAC_FLAGS} -d $(PARSER_BINDIR) tricera/concurrency/concurrent_c/parser.java
 

diff --git a/cc-parser/cc-parser.jar b/cc-parser/cc-parser.jar