From 25a1164023a46c035411d4fe3698d1a7c9912c4f Mon Sep 17 00:00:00 2001
From: Kazuhiko Sakaguchi
Date: Fri, 22 Feb 2019 15:22:46 +0100
Subject: Add a tool to draw the hierarchy diagram

---
 etc/utils/hierarchy-diagram | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100755 etc/utils/hierarchy-diagram

diff --git a/etc/utils/hierarchy-diagram b/etc/utils/hierarchy-diagram
new file mode 100755
index 0000000..ee96b8d
--- /dev/null
+++ b/etc/utils/hierarchy-diagram
@@ -0,0 +1,20 @@
+#!/bin/bash
+
+echo "digraph structures {"
+
+{
+cat <<EOT
+Set Printing Width 4611686018427387903.
+Require Import all.all.
+Print Graph.
+EOT
+} | \
+coqtop -w none -R mathcomp mathcomp 2>/dev/null | \
+grep '^\[[^ ;]*\] : [a-zA-Z_\.]*\.class_of >-> [a-zA-Z_\.]*\.class_of$' | \
+while read -r line; do
+  echo $line | \
+  sed 's/^\[\([^]]*\)\] : \([a-zA-Z_\.]*\)\.class_of >-> \([a-zA-Z_\.]*\)\.class_of$/"\2" -> "\3";/'
+  #sed 's/^\[\([^]]*\)\] : \([a-zA-Z_\.]*\)\.class_of >-> \([a-zA-Z_\.]*\)\.class_of$/"\2" -> "\3" [label="\1"];/'
+done
+
+echo "}"
-- 
cgit v1.2.3