/*

 * fprint.h --

 *

 *      Header-file for commonly used utility functions to produce

 *      nicely indented output.

 *

 * Copyright (c) 1999 Frank Strauss, Technical University of Braunschweig.

 * Copyright (c) 2007 J. Schoenwaelder, Jacobs University Bremen.

 *

 * See the file "COPYING" for information on usage and redistribution

 * of this file, and for a DISCLAIMER OF ALL WARRANTIES.

 *

 * @(#) $Id: fprint.h 7289 2007-09-28 06:48:22Z schoenw $

 */

#ifndef _FPRINT_H

#define _FPRINT_H

#include <stdio.h>

#include <stdarg.h>

extern int fprint_current_column;

extern int fprint_indent_max;

extern int fprint_indent_texts;

extern void fprintInit(int indent_max, int indent_texts);

extern void fprint(FILE *f, char *fmt, ...);

extern void fprintSegment(FILE *f, int column, char *string, int length);

extern void fprintWrapped(FILE *f, int column, char *string);

extern void fprintMultilineString(FILE *f, int column, const char *s);

#endif