This file is indexed.

/usr/include/rlog/RLogTime.h is in librlog-dev 1.4-2.1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
/*****************************************************************************
 * Author:   Vadim Zeitlin <vadim@wxwidgets.org>
 *
 *****************************************************************************
 * Copyright (c) 2004 Vadim Zeitlin
 *
 * This library is free software; you can distribute it and/or modify it under
 * the terms of the GNU Lesser General Public License (LGPL), as published by
 * the Free Software Foundation; either version 2.1 of the License, or (at your
 * option) any later version.
 *
 * This library is distributed in the hope that it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 * FITNESS FOR A PARTICULAR PURPOSE.  See the LGPL in the file COPYING for more
 * details.
 *
 */

#ifndef _rlog_time_incl
#define _rlog_time_incl

#include <rlog/common.h>

/*! @file time.h
    @brief Defines functions for getting current time and benchmarking.
*/

#ifdef _WIN32

typedef __int64 rlog_time_interval;
typedef LARGE_INTEGER rlog_time;

void sleep(int seconds);
#else

#include <stdint.h>
#include <sys/time.h>
#include <unistd.h> // for sleep()

typedef timeval rlog_time;
typedef int64_t rlog_time_interval;

#endif

void rlog_get_time(rlog_time *pt);
rlog_time_interval rlog_time_diff( const rlog_time &end, const rlog_time &start );

const char *rlog_time_unit();

#endif // _rlog_time_incl