00001 #ifndef IFPRINTF_H 00002 #define IFPRINTF_H 00003 #include <string.h> 00004 #include <cassert> 00005 #include <stdarg.h> 00006 #include <stdio.h> 00007 //-----------------------------------------------------------------------------// 00008 void set_indent(const char* s); 00009 //-----------------------------------------------------------------------------// 00010 void indent(); 00011 //-----------------------------------------------------------------------------// 00012 void outdent(); 00013 //-----------------------------------------------------------------------------// 00014 void ifprintf(FILE* f, const char* c, ...); 00015 //-----------------------------------------------------------------------------// 00016 #endif /* IFPRINTF_H */