This file is indexed.

/usr/include/choreonoid-1.1/cnoid/src/Base/PluginManager.h is in libcnoid-dev 1.1.0+dfsg-6.1+b4.

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
/**
   @author Shin'ichiro Nakaoka
*/

#ifndef CNOID_GUIBASE_PLUGIN_MANAGER_H_INCLUDED
#define CNOID_GUIBASE_PLUGIN_MANAGER_H_INCLUDED

#include <string>

namespace cnoid {

    class PluginManagerImpl;

    class PluginManager
    {
    public:

        static PluginManager* instance();
	
        ~PluginManager();
	
        void scanPluginFilesInPathList(const std::string& pathList);
	void scanPluginFilesInDirectoyOfExecFile();
        void scanPluginFiles(const std::string& pathString);
        void clearUnusedPlugins();
        void loadAllPlugins();
        bool unloadAllPlugins();

        int numPlugins();

        const std::string& pluginPath(int index);
        const std::string& pluginName(int index);

        enum PluginStatus { NOT_LOADED, LOADED, ACTIVE, INVALID, CONFLICT };
        int pluginStatus(int index);
	
        bool loadPlugin(int index);
        bool unloadPlugin(int index);

        const char* guessActualPluginName(const std::string& name);
	
    private:
        PluginManager();

        PluginManagerImpl* impl;

    };
};


#endif