Subversion Repositories or1k

/*  This file is part of the program psim.

    Copyright (C) 1994-1997, Andrew Cagney <cagney@highland.com.au>

    This program is free software; you can redistribute it and/or modify

    it under the terms of the GNU General Public License as published by

    the Free Software Foundation; either version 2 of the License, or

    (at your option) any later version.

    This program is distributed in the hope that it will be useful,

    but WITHOUT ANY WARRANTY; without even the implied warranty of

    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

    GNU General Public License for more details.

    You should have received a copy of the GNU General Public License

    along with this program; if not, write to the Free Software

    Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.

    */

/* LF: Line Numbered Output Stream */

typedef struct _lf lf;

typedef enum {

  lf_is_h,

  lf_is_c,

  lf_is_text,

} lf_file_type;

typedef enum {

  lf_include_references,

  lf_omit_references,

} lf_file_references;

/* Open the file NAME for writing ("-" for stdout).  Use REAL_NAME

   when refering to the opened file.  Line number information (in the

   output) can be suppressed with FILE_REFERENCES ==

   LF_OMIT_REFERENCES.  TYPE is to determine the formatting of some of

   the print messages below. */

extern lf *lf_open

(char *name,

 char *real_name,

 lf_file_references file_references,

 lf_file_type type,

 const char *program);

extern void lf_close

(lf *file);

/* Basic output functions */

extern int lf_write

(lf *file,

 const char *string,

 int len);

extern int lf_putchr

(lf *file,

 const char ch);

extern int lf_putstr

(lf *file,

 const char *string);

extern int lf_putint

(lf *file,

 int decimal);

extern int lf_putbin

(lf *file,

 int decimal,

 int width);

extern int lf_printf

(lf *file,

 const char *fmt,

 ...) __attribute__((format(printf, 2, 3)));

/* Indentation control.

   lf_indent_suppress suppresses indentation on the next line (current

   line if that has not yet been started) */

extern void lf_indent_suppress

(lf *file);

extern void lf_indent

(lf *file,

 int delta);

/* Print generic text: */

extern int lf_print__gnu_copyleft

(lf *file);

extern int lf_print__file_start

(lf *file);

extern int lf_print__this_file_is_empty

(lf *file,

 const char *reason);

extern int lf_print__file_finish

(lf *file);

extern int lf_print__internal_ref

(lf *file);

extern int lf_print__external_ref

(lf *file,

 int line_nr,

 const char *file_name);

extern int lf_print__line_ref

(lf *file,

 line_ref *line);

extern int lf_print__ucase_filename

(lf *file);

extern int lf_print__function_type

(lf *file,

 const char *type,

 const char *prefix,

 const char *trailing_space);

typedef int print_function(lf *file);

extern int lf_print__function_type_function

(lf *file,

 print_function *print_type,

 const char *prefix,

 const char *trailing_space);