![]()  | 
  
    RobWorkProject
    23.9.11-
    
   | 
 
An extension descriptor. More...
#include <Extension.hpp>
Public Member Functions | |
| Descriptor () | |
| Construct empty descriptor.  | |
| Descriptor (const std::string &id_, const std::string &point_) | |
| Construct new descriptor.  More... | |
| rw::core::PropertyMap & | getProperties () | 
| Get the extension properties.  More... | |
| const rw::core::PropertyMap & | getProperties () const | 
| Get the extension properties.  More... | |
Public Attributes | |
| std::string | id | 
| A unique id of an extension.  | |
| std::string | name | 
| A human-readable name of an extension.  | |
| std::string | point | 
| The extension point that this extension extends.  | |
| rw::core::PropertyMap | props | 
| Properties of the extension.  | |
An extension descriptor.
The descriptor holds meta-data for an extension, and makes it possible to do lazy-loading of plugins.
      
  | 
  inline | 
Construct new descriptor.
| id_ | [in] a unique id of the extension. | 
| point_ | [in] the extension point. | 
      
  | 
  inline | 
Get the extension properties.
The properties will typically include information about the file extensions supported by the plugin, or other meta-data required to determine the proper extension to use.
      
  | 
  inline | 
Get the extension properties.
The properties will typically include information about the file extensions supported by the plugin, or other meta-data required to determine the proper extension to use.