1 /*
2  * fprint.h --
3  *
4  *      Header-file for commonly used utility functions to produce
5  *      nicely indented output.
6  *
7  * Copyright (c) 1999 Frank Strauss, Technical University of Braunschweig.
8  * Copyright (c) 2007 J. Schoenwaelder, Jacobs University Bremen.
9  *
10  * See the file "COPYING" for information on usage and redistribution
11  * of this file, and for a DISCLAIMER OF ALL WARRANTIES.
12  *
13  * @(#) $Id: fprint.h 7289 2007-09-28 06:48:22Z schoenw $
14  */
15 
16 #ifndef _FPRINT_H
17 #define _FPRINT_H
18 
19 #include <stdio.h>
20 #include <stdarg.h>
21 
22 extern int fprint_current_column;
23 extern int fprint_indent_max;
24 extern int fprint_indent_texts;
25 
26 extern void fprintInit(int indent_max, int indent_texts);
27 
28 extern void fprint(FILE *f, char *fmt, ...);
29 
30 extern void fprintSegment(FILE *f, int column, char *string, int length);
31 
32 extern void fprintWrapped(FILE *f, int column, char *string);
33 
34 extern void fprintMultilineString(FILE *f, int column, const char *s);
35 
36 #endif
37