00001 /* 00002 Copyright (C) 2015- The University of Notre Dame 00003 This software is distributed under the GNU General Public License. 00004 See the file COPYING for details. 00005 */ 00006 00007 #ifndef JX_PPRINT_H 00008 #define JX_PPRINT_H 00009 00012 #include "jx.h" 00013 #include "buffer.h" 00014 #include "link.h" 00015 #include <stdio.h> 00016 00017 00020 void jx_pretty_print_stream( struct jx *j, FILE *file ); 00021 00022 #endif