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_PRINT_H 00008 #define JX_PRINT_H 00009 00012 #include "jx.h" 00013 #include "buffer.h" 00014 #include "link.h" 00015 #include <stdio.h> 00016 00019 char * jx_print_string( struct jx *j ); 00020 00023 void jx_print_stream( struct jx *j, FILE *file ); 00024 00027 void jx_print_buffer( struct jx *j, buffer_t *buffer); 00028 00031 void jx_print_link( struct jx *j, struct link *l, time_t stoptime ); 00032 00034 void jx_escape_string( const char *s, buffer_t *b ); 00035 00037 void jx_print_args( struct jx *j, buffer_t *b ); 00038 00040 const char * jx_operator_string( jx_operator_t type ); 00041 #endif