blob: aedd915bb7cba9a3f52d5ec4f9ad051adf8048da [file] [log] [blame]
/*--- Printing libc stuff. pub_core_libcprint.h ---*/
This file is part of Valgrind, a dynamic binary instrumentation
Copyright (C) 2000-2013 Julian Seward
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License as
published by the Free Software Foundation; either version 2 of the
License, or (at your option) any later version.
This program is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software
Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
02111-1307, USA.
The GNU General Public License is contained in the file COPYING.
// PURPOSE: This module contains all the libc code that is related to
// higher-level (ie. higher than DebugLog) printing, eg. VG_(printf)().
#include "pub_tool_libcprint.h"
/* An output file descriptor wrapped up with a Bool indicating whether
or not the fd is a socket. */
struct { Int fd; Bool is_socket; }
/* And the destinations for normal and XML output. */
extern OutputSink VG_(log_output_sink);
extern OutputSink VG_(xml_output_sink);
/* Get the elapsed wallclock time since startup into buf which has size
bufsize. The function will assert if bufsize is not large enough.
Upon return, buf will contain the zero-terminated wallclock time as
a string. The function also relies on the
millisecond timer having been set to zero by an initial read in
m_main during startup. */
void VG_(elapsed_wallclock_time) ( /*OUT*/HChar* buf, SizeT bufsize );
/* Call this if the executable is missing. This function prints an
error message, then shuts down the entire system. */
extern void VG_(err_missing_prog) ( void );
/* Similarly - complain and stop if there is some kind of config
error. */
extern void VG_(err_config_error) ( const HChar* format, ... );
/* Called by main_process_cmd_line_options to indicate an unrecognised
command line option. */
extern void VG_(fmsg_unknown_option) ( const HChar *opt );
/*--- end ---*/