Class PathTimedStatePtr


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

      • PathTimedStatePtr

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

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

        public PathTimedStatePtr​(PathTimedState 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 PathTimedState deref()
        The pointer stored in the object.
      • 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()
      • 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()