Package org.robwork.sdurw_core
Class Extension
- java.lang.Object
-
- org.robwork.sdurw_core.Extension
-
public class Extension extends java.lang.ObjectThe Extension class is used to provide additonal functionality from a
Plugin to other extension points of either the system or other plugins.
%Extension points in %RobWork:
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static classExtension.DescriptorAn extension descriptor.
The descriptor holds meta-data for an extension, and makes it possible to do lazy-loading
of plugins.
-
Constructor Summary
Constructors Constructor Description Extension(long cPtr, boolean cMemoryOwn)Extension(java.lang.String id, java.lang.String point, Plugin owner)Constructor.Extension(java.lang.String id, java.lang.String point, Plugin owner, AnyPtr obj)std::string&,const std::string&,Plugin*)Extension(Extension.Descriptor desc, Plugin owner)Constructor.
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description voiddelete()static longgetCPtr(Extension obj)java.lang.StringgetId()a unique id that uniquely identifies this extension in its owner Pluginjava.lang.StringgetName()a human readable name of this plugin (may contain spaces)AnyPtrgetObject()Get the object.PlugingetOwner()get the owner pluginjava.lang.StringgetPoint()a unique global identifier of the extension point that this extension is attached toPropertyMapgetProperties()const
-
-
-
Constructor Detail
-
Extension
public Extension(long cPtr, boolean cMemoryOwn)
-
Extension
public Extension(Extension.Descriptor desc, Plugin owner)
Constructor.- Parameters:
desc- [in] Description and configuration of extension.owner- [in] the plugin that owns this extension or NULL.
-
Extension
public Extension(java.lang.String id, java.lang.String point, Plugin owner)Constructor.- Parameters:
id- [in] a unique id of the extension.point- [in] the extension point.owner- [in] the plugin that owns this extension or NULL.
-
-
Method Detail
-
getCPtr
public static long getCPtr(Extension obj)
-
delete
public void delete()
-
getId
public java.lang.String getId()
a unique id that uniquely identifies this extension in its owner Plugin
-
getName
public java.lang.String getName()
a human readable name of this plugin (may contain spaces)
-
getPoint
public java.lang.String getPoint()
a unique global identifier of the extension point that this extension is attached to
-
getProperties
public PropertyMap getProperties()
const
-
getObject
public AnyPtr getObject()
Get the object.- Returns:
- the object.
-
getOwner
public Plugin getOwner()
get the owner plugin
-
-