From 0694b15d1ea3f573d7bc531c389dd45e9dc55728 Mon Sep 17 00:00:00 2001
From: =?utf8?q?G=C3=B6tz=20Lindenmaier?= <goetz@ipd.info.uni-karlsruhe.de>
Date: Wed, 11 Sep 2002 16:40:15 +0000
Subject: [PATCH] added print routines so that %I is obsolete.

[r473]
---
 ir/ident/ident.c |  8 ++++++++
 ir/ident/ident.h | 35 +++++++++++++++++++++++++++++++++++
 2 files changed, 43 insertions(+)

diff --git a/ir/ident/ident.c b/ir/ident/ident.c
index 17ba8ac68..2ca2933d5 100644
--- a/ir/ident/ident.c
+++ b/ir/ident/ident.c
@@ -134,3 +134,11 @@ int id_is_suffix (ident *suffix, ident *id) {
     return 1;
   return 0;
 }
+
+int print_id (ident *id) {
+  xprintf("%I", id);
+}
+
+int fprint_id (FILE *F, ident *id) {
+  xfprintf(F, "%I", id);
+}
diff --git a/ir/ident/ident.h b/ir/ident/ident.h
index 9f4efee79..751481dd2 100644
--- a/ir/ident/ident.h
+++ b/ir/ident/ident.h
@@ -12,6 +12,7 @@
 # ifndef _IDENT_H_
 # define _IDENT_H_
 
+# include <stdio.h>
 # include "assert.h"
 # include "common.h"
 
@@ -128,5 +129,39 @@ int id_is_prefix (ident *prefix, ident *id);
 /*  */
 int id_is_suffix (ident *suffix, ident *id);
 
+/****f* ident/print_id
+ *
+ * NAME
+ *
+ * SYNOPSIS
+ *  int print_id (ident *id);
+ * FUNCTION
+ *  Prints the ident to stdout.
+ * INPUTS
+ *  The ident to print.
+ * SEE ALSO
+ *  id_from_str, id_to_str, id_is_prefix, fprint_id
+ ***
+ */
+/*  */
+int print_id (ident *id);
+
+/****f* ident/fprint_id
+ *
+ * NAME
+ *
+ * SYNOPSIS
+ *  int fprint_id (FILE *f, ident *id);
+ * FUNCTION
+ *  Prints the ident to the file passed.
+ * INPUTS
+ *  The ident to print and the file.
+ * SEE ALSO
+ *  id_from_str, id_to_str, id_is_prefix, print_id
+ ***
+ */
+/*  */
+int fprint_id (FILE *F, ident *id);
+
 
 # endif /* _IDENT_H_ */
-- 
2.20.1