Class PathStateCPtr


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

      • PathStateCPtr

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

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

        public PathStateCPtr​(PathState ptr)
        Do not take ownership of ptr.

        ptr can be null.

        The constructor is implicit on purpose.
    • Method Detail

      • delete

        public void delete()
      • deref

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

        public PathState __ref__()
        Dereferencing operator.
      • getDeref

        public PathState getDeref()
        Member access operator.
      • equals

        public boolean equals​(PathState 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
      • capacity

        public long capacity()
      • isEmpty

        public boolean isEmpty()