1 files changed, 24 insertions, 0 deletions
diff --git a/src/interp/database.boot b/src/interp/database.boot
index 7f6849a3..c6f9c50a 100644
--- a/src/interp/database.boot
+++ b/src/interp/database.boot
@@ -797,3 +797,27 @@ populateDBFromFile path ==
     while (entry := readExpr dbfile) ~= %nothing repeat
       makeInitialDB entry
   finally closeStream dbfile
+
+printInitdbInfo(path,dbfile) == main(path,dbfile) where
+  main(path,dbfile) ==
+    for x in parseSpadFile path repeat
+      x is ['DEF,lhs,:.] => fn(lhs,path,dbfile)
+      x is ["where",['DEF,lhs,:.],:.] => fn(lhs,path,dbfile)
+  fn(lhs,path,dbfile) ==
+    if lhs isnt [.,:.] then lhs := [lhs]
+    db := constructorDB lhs.op
+    db = nil => nil
+    form := [id for x in lhs.args]
+              where id() == (x is [":",x',:.] => x'; x)
+    form := [lhs.op,:form]
+    prettyPrint([form,dbConstructorKind db,dbAbbreviation db,path],dbfile)
+    writeNewline dbfile
+
+printAllInitdbInfo(srcdir,dbfile) ==
+  paths := DIRECTORY strconc(ensureTrailingSlash srcdir,'"*.spad")
+    or coreError strconc('"no .spad file in directory ",srcdir)
+  try
+    out := outputTextFile dbfile
+    for path in paths repeat
+      printInitdbInfo(NAMESTRING path,out)
+  finally closeStream out