blob: 15f99f8c774317d0ebc2ccad68e9f55afc5ceb5e [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
10 Copyright (C) 2000-2005 Julian Seward
11 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
sewardja11553a2005-07-19 12:17:05 +000045/* Get a human-readable representation of the local time into BUF,
46 which must be at least 25 characters long. This is unchecked. */
47extern void VG_(ctime) ( /*OUT*/HChar* buf );
48
njn36a20fa2005-06-03 03:08:39 +000049#endif // __PUB_CORE_LIBCPRINT_H
50
51/*--------------------------------------------------------------------*/
52/*--- end ---*/
53/*--------------------------------------------------------------------*/