This file is indexed.

/usr/include/player-3.0/libplayerdrivers/driverregistry.h is in libplayerdrivers3.0-dev 3.0.2+dfsg-4.1ubuntu3.

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
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
/*
 *  Player - One Hell of a Robot Server
 *  Copyright (C) 2000  
 *     Brian Gerkey, Kasper Stoy, Richard Vaughan, & Andrew Howard
 *                      
 *
 *  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
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 *  GNU 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
 *
 */
/********************************************************************
 *
 *  This library is free software; you can redistribute it and/or
 *  modify it under the terms of the GNU Lesser General Public
 *  License 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 GNU
 *  Lesser General Public License for more details.
 *
 *  You should have received a copy of the GNU Lesser General Public
 *  License along with this library; if not, write to the Free Software
 *  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 *
 ********************************************************************/

/*
 * $Id: driverregistry.h 4100 2007-07-10 09:01:53Z thjc $
 */

/** 
@defgroup libplayerdrivers libplayerdrivers
@brief Library of standard Player drivers

This library contains all the drivers that were built during the Player
installation.  The contents will vary from system to system, depending on
which drivers' prerequisites are satisfied and which options are supplied
by the user to the <b>configure</b> script.

See @ref install for <b>configure</b> options to enable and disable
compilation of particular drivers.
*/

/** @ingroup libplayerdrivers
@defgroup drivers Drivers
@brief The drivers themselves
*/

/** @ingroup libplayerdrivers
 * @{ */

#ifndef _DRIVERREGISTRY_H
#define _DRIVERREGISTRY_H

/** @brief Register available drivers

This function adds each driver that is included in libplayerdrivers to the
global driverTable.    From there, the drivers can be instantiated and
bound to interfaces. If you use libplayerdrivers, you should call this function during program intialization. 
*/
void player_register_drivers();
/** @} */

#endif