From 776ee3ffe4f03f264b1ea6f7760874915e8a5332 Mon Sep 17 00:00:00 2001
From: Philippe Pittoli <karchnu@karchnu.fr>
Date: Thu, 15 Jun 2023 13:06:55 +0200
Subject: [PATCH] Makefile: print messages.

---
 Makefile             | 13 +++++++++++++
 bin/get-messages.awk | 26 ++++++++++++++++++++++++++
 2 files changed, 39 insertions(+)
 create mode 100755 bin/get-messages.awk

diff --git a/Makefile b/Makefile
index fbf9e8a..2981556 100644
--- a/Makefile
+++ b/Makefile
@@ -49,3 +49,16 @@ run-client-zone-list:
 
 run-dnsmanagerd:
 	@$(LD_P) ./bin/dnsmanagerd -v 4 -r /tmp/DATA-dnsmanagerd -k $(KEY_FILE)
+
+print-messages:
+	cat src/requests/*.cr | ./bin/get-messages.awk
+print-message-numbers:
+	make -s print-messages | grep -E "^[0-9]" | sort -n
+print-messages-without-comments:
+	make -s print-messages | grep -vE '^[[:blank:]]+#'
+print-response-messages:
+	cat src/responses/*.cr | ./bin/get-messages.awk
+print-response-message-numbers:
+	make -s print-response-messages | grep -E "^[0-9]" | sort -n
+print-response-messages-without-comments:
+	make -s print-response-messages | grep -vE '^[[:blank:]]+#'
diff --git a/bin/get-messages.awk b/bin/get-messages.awk
new file mode 100755
index 0000000..f838484
--- /dev/null
+++ b/bin/get-messages.awk
@@ -0,0 +1,26 @@
+#!/bin/awk -f
+
+# Provides message parameters and numbers.
+# Use: cat src/requests/*.cr | ./bin/get-messages.awk
+
+BEGIN {
+	OFS="\t"
+	should_print = 0
+}
+
+/def initialize/ {
+	should_print = 0
+	print ""
+}
+
+# Print line only when we should:
+# - when in a message class
+# - when the line isn't empty
+should_print == 1 && /[0-9a-zA-Z]/ {
+	print
+}
+
+/IPC::JSON.message/ || /IPC::CBOR.message/ {
+	print $3, $2
+	should_print = 1
+}