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