Class PathStatePtr


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

      • PathStatePtr

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

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

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

        ptr can be null.

        The constructor is implicit on purpose.
    • Method Detail

      • getCPtr

        public static long getCPtr​(PathStatePtr obj)
      • 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
      • size

        public int size()
      • elem

        public State elem​(long idx)
      • save

        public void save​(java.lang.String filename,
                         WorkCellPtr wc)
      • capacity

        public long capacity()
      • reserve

        public void reserve​(long n)
      • isEmpty

        public boolean isEmpty()
      • clear

        public void clear()