Class StateCacheCPtr


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

      Constructors 
      Constructor Description
      StateCacheCPtr()
      Default constructor yielding a NULL-pointer.
      StateCacheCPtr​(long cPtr, boolean cMemoryOwn)  
      StateCacheCPtr​(StateCache ptr)
      Do not take ownership of ptr.

      ptr can be null.

      The constructor is implicit on purpose.
    • Method Summary

      All Methods Static Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      StateCache __ref__()
      Dereferencing operator.
      StateCachePtr clone()
      this creates a deep copy of this cache
      void delete()  
      StateCache deref()
      The pointer stored in the object.
      boolean equals​(StateCache p)  
      static long getCPtr​(StateCacheCPtr obj)  
      StateCache getDeref()
      Member access operator.
      boolean isNull()
      checks if the pointer is null
      boolean isShared()
      check if this Ptr has shared ownership or none
      ownership
      long size()
      An integer ID for the StateCache.

      IDs are assigned to the state data upon insertion State.
      StateCache that are not in a State have an ID of -1.

      StateCache present in different trees may have identical IDs.

      IDs are used for the efficient implementation of State.
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • StateCacheCPtr

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

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

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

        public StateCache __ref__()
        Dereferencing operator.
      • getDeref

        public StateCache getDeref()
        Member access operator.
      • equals

        public boolean equals​(StateCache 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 long size()
        An integer ID for the StateCache.

        IDs are assigned to the state data upon insertion State.
        StateCache that are not in a State have an ID of -1.

        StateCache present in different trees may have identical IDs.

        IDs are used for the efficient implementation of State. Normally,
        you should not make use of frame IDs yourself.

        Returns:
        An integer ID for the frame.

        The number of doubles allocated by this StateCache in
        each State object.

      • clone

        public StateCachePtr clone()
        this creates a deep copy of this cache