blob: 4b70b07221ee4e0ebe4d94172bd2a20af8042bc5 [file] [log] [blame]
njn36a20fa2005-06-03 03:08:39 +00001
2/*--------------------------------------------------------------------*/
3/*--- Printing libc stuff. pub_core_libcprint.h ---*/
4/*--------------------------------------------------------------------*/
5
6/*
7 This file is part of Valgrind, a dynamic binary instrumentation
8 framework.
9
sewardj4d474d02008-02-11 11:34:59 +000010 Copyright (C) 2000-2008 Julian Seward
njn36a20fa2005-06-03 03:08:39 +000011 jseward@acm.org
12
13 This program is free software; you can redistribute it and/or
14 modify it under the terms of the GNU General Public License as
15 published by the Free Software Foundation; either version 2 of the
16 License, or (at your option) any later version.
17
18 This program is distributed in the hope that it will be useful, but
19 WITHOUT ANY WARRANTY; without even the implied warranty of
20 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
21 General Public License for more details.
22
23 You should have received a copy of the GNU General Public License
24 along with this program; if not, write to the Free Software
25 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
26 02111-1307, USA.
27
28 The GNU General Public License is contained in the file COPYING.
29*/
30
31#ifndef __PUB_CORE_LIBCPRINT_H
32#define __PUB_CORE_LIBCPRINT_H
33
34//--------------------------------------------------------------------
35// PURPOSE: This module contains all the libc code that is related to
36// higher-level (ie. higher than DebugLog) printing, eg. VG_(printf)().
37//--------------------------------------------------------------------
38
39#include "pub_tool_libcprint.h"
40
41/* Tell the logging mechanism whether we are logging to a file
42 descriptor or a socket descriptor. */
43extern Bool VG_(logging_to_socket);
44
sewardj592ae092005-11-08 19:01:44 +000045/* Get the elapsed wallclock time since startup into buf, which must
46 16 chars long. This is unchecked. It also relies on the
47 millisecond timer having been set to zero by an initial read in
48 m_main during startup. */
49void VG_(elapsed_wallclock_time) ( /*OUT*/HChar* buf );
sewardja11553a2005-07-19 12:17:05 +000050
njn36a20fa2005-06-03 03:08:39 +000051#endif // __PUB_CORE_LIBCPRINT_H
52
53/*--------------------------------------------------------------------*/
54/*--- end ---*/
55/*--------------------------------------------------------------------*/