This file is indexed.

/usr/include/bobcat/irandstream is in libbobcat-dev 3.23.01-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
#ifndef INCLUDED_BOBCAT_IRANDSTREAM_H_
#define INCLUDED_BOBCAT_IRANDSTREAM_H_

#include <istream>
#include <bobcat/randbuffer>

namespace FBB
{

class IRandStream: private Randbuffer, public std::istream
{
    public:    
        explicit IRandStream(int max);
        IRandStream(int min, int max);
        IRandStream(int min, int max, int seed);
};

inline IRandStream::IRandStream(int max)
:
    Randbuffer(1, max, 1),
    std::istream(this)
{}
inline IRandStream::IRandStream(int min, int max)
:
    Randbuffer(min, max, 1),
    std::istream(this)
{}
inline IRandStream::IRandStream(int min, int max, int seed)
:
    Randbuffer(min, max, seed),
    std::istream(this)
{}

} // FBB

#endif