Class ExtensionPtr


  • public class ExtensionPtr
    extends java.lang.Object
    Ptr stores a pointer and optionally takes ownership of the value.
    • Constructor Detail

      • ExtensionPtr

        public ExtensionPtr​(long cPtr,
                            boolean cMemoryOwn)
      • ExtensionPtr

        public ExtensionPtr()
        Default constructor yielding a NULL-pointer.
      • ExtensionPtr

        public ExtensionPtr​(Extension ptr)
        Do not take ownership of ptr.

        ptr can be null.

        The constructor is implicit on purpose.
    • Method Detail

      • getCPtr

        public static long getCPtr​(ExtensionPtr obj)
      • delete

        public void delete()
      • deref

        public Extension deref()
        The pointer stored in the object.
      • __ref__

        public Extension __ref__()
        Dereferencing operator.
      • getDeref

        public Extension getDeref()
        Member access operator.
      • equals

        public boolean equals​(Extension p)
      • isShared

        public boolean isShared()
        check if this Ptr has shared ownership or none
        ownership
        Returns:
        true if Ptr has shared ownership, false if it has no ownership.
      • isNull

        public boolean isNull()
        checks if the pointer is null
        Returns:
        Returns true if the pointer is null
      • 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