1 files changed, 32 insertions, 0 deletions
diff --git a/backendC/CleanCompilerSources/dbprint.h b/backendC/CleanCompilerSources/dbprint.h
new file mode 100644
index 0000000..e87800e
--- /dev/null
+++ b/backendC/CleanCompilerSources/dbprint.h
@@ -0,0 +1,32 @@
+
+#undef _COMPSTATS_
+
+extern void PrintRuleNode (Node node,Bool brackets,int n_leading_spaces,File file);
+extern void PrintRuleAlt (RuleAlts rulealt,int n_leading_spaces,File file);
+extern void PrintNodeDef (NodeDefP def_p,int n_leading_spaces,File file);
+extern void PrintNodeDefs (NodeDefs defs,int n_leading_spaces,File file);
+extern void PrintImpRule (ImpRules rule,int n_leading_spaces,File file);
+extern void PrintTypeNode (TypeNode node, File file);
+extern void DPrintNodeId (NodeId nid, File file);
+extern void DPrintNodeIdS (char *s,NodeId nid, File file);
+extern void DPrintOccurrenceKind (OccurrenceKind kind, File file);
+extern void PrintTypeAlt (TypeAlts type_alts, File file, Bool with_equats);
+
+extern void PrintRules (ImpRules rules);
+
+#ifdef _COMPSTATS_
+extern unsigned long 
+	NrNodeCells, 
+	NrArgCells, 
+	NrTypeNodeCells, 
+	NrTypeArgCells,
+	NrExpandedTypeNodeCells,
+	NrExpandedTypeArgCells, 
+	NrNodeIdCells,
+	NrSymbolCells,
+	NrBasicNodes;
+
+extern void InitDB (void);
+
+extern void PrintCompStats (void);
+#endif
+\ No newline at end of file