-#ifndef __BE_DBGOUT_H__
-#define __BE_DBGOUT_H__
-/**
- * Debug output support.
+/*
+ * Copyright (C) 1995-2007 University of Karlsruhe. All right reserved.
+ *
+ * This file is part of libFirm.
+ *
+ * This file may be distributed and/or modified under the terms of the
+ * GNU General Public License version 2 as published by the Free Software
+ * Foundation and appearing in the file LICENSE.GPL included in the
+ * packaging of this file.
*
- * @author Michael Beck
- * @date 11.9.2006
- * @cvsid $Id$
+ * Licensees holding valid libFirm Professional Edition licenses may use
+ * this file in accordance with the libFirm Commercial License.
+ * Agreement provided with the Software.
+ *
+ * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
+ * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR
+ * PURPOSE.
+ */
+
+/**
+ * @file
+ * @brief Debug output support.
+ * @author Michael Beck
+ * @date 11.9.2006
+ * @version $Id$
*/
+#ifndef FIRM_BE_BE_DBGOUT_H
+#define FIRM_BE_BE_DBGOUT_H
+
+#include "obst.h"
+#include "beabi_t.h"
+
typedef struct dbg_handle dbg_handle;
/**
*/
typedef struct debug_ops {
/** close the stabs handler. */
- void (*close)(dbg_handle *h);
+ void (*close)(dbg_handle *handle);
+
+ /** start a new source object (compilation unit) */
+ void (*so)(dbg_handle *handle, const char *filename);
+
+ /** start an include file */
+ void (*include_begin)(dbg_handle *handle, const char *filename);
+
+ /** end an include file */
+ void (*include_end)(dbg_handle *handle);
- /** begin a new file */
- void (*begin)(dbg_handle *handle, const char *filename);
+ /** Main Program */
+ void (*main_program)(dbg_handle *handle);
- /** prints the stabs for a function */
- void (*method)(dbg_handle *h, entity *ent);
+ /** dumps the stabs for a method begin */
+ void (*method_begin)(dbg_handle *handle, ir_entity *ent, const be_stack_layout_t *layout);
+
+ /** dumps the stabs for a method end */
+ void (*method_end)(dbg_handle *handle);
+
+ /** dumps a line number */
+ void (*line)(dbg_handle *handle, unsigned lineno, const char *address);
+
+ /** dump types */
+ void (*types)(dbg_handle *handle);
+
+ /** dump a variable in the global type */
+ void (*variable)(dbg_handle *h, struct obstack *obst, ir_entity *ent);
- /** prints a line number */
- void (*line)(dbg_handle *h, unsigned lineno, const char *address);
} debug_ops;
/** The base class of all debug implementations. */
};
/** close a debug handler. */
-void be_dbg_close(dbg_handle *h);
+void be_dbg_close(dbg_handle *handle);
+
+/** start a new source object (compilation unit) */
+void be_dbg_so(dbg_handle *handle, const char *filename);
+
+/** start an include file */
+void be_dbg_include_begin(dbg_handle *handle, const char *filename);
-/** begin a new file */
-void be_dbg_begin(dbg_handle *handle, const char *filename);
+/** end an include file */
+void be_dbg_include_end(dbg_handle *handle);
-/** debug for a function */
-void be_dbg_method(dbg_handle *h, entity *ent);
+/** Main program */
+void be_dbg_main_program(dbg_handle *handle);
+
+/** debug for a method begin */
+void be_dbg_method_begin(dbg_handle *handle, ir_entity *ent, const be_stack_layout_t *layout);
+
+/** debug for a method end */
+void be_dbg_method_end(dbg_handle *handle);
/** debug for line number */
-void be_dbg_line(dbg_handle *h, unsigned lineno, const char *address);
+void be_dbg_line(dbg_handle *handle, unsigned lineno, const char *address);
+
+/** dump types */
+void be_dbg_types(dbg_handle *handle);
+
+/** dump a variable in the global type */
+void be_dbg_variable(dbg_handle *handle, struct obstack *obst, ir_entity *ent);
+
+/** Opens the NULL handler: no debug support. */
+dbg_handle *be_nulldbg_open(void);
/** Opens a stabs handler. */
dbg_handle *be_stabs_open(FILE *out);
-#endif /* __BE_DBGOUT_H__ */
+#endif /* FIRM_BE_BE_DBGOUT_H */