Class SavepointHandle

  • All Implemented Interfaces:
    java.io.Serializable

    public class SavepointHandle
    extends java.lang.Object
    implements java.io.Serializable
    A savepoint handle.
    Author:
    harald
    See Also:
    Serialized Form
    • Constructor Summary

      Constructors 
      Constructor Description
      SavepointHandle​(int id)
      Creates a handle for an unnamed savepoint.
      SavepointHandle​(java.lang.String name)
      Creates a handle for a named savepoint.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean equals​(java.lang.Object obj)  
      java.lang.Integer getId()
      Gets the savepoint's id.
      java.lang.String getName()
      Gets the savepoint's name.
      int hashCode()  
      java.lang.String toString()  
      • Methods inherited from class java.lang.Object

        clone, finalize, getClass, notify, notifyAll, wait, wait, wait
    • Constructor Detail

      • SavepointHandle

        public SavepointHandle​(java.lang.String name)
        Creates a handle for a named savepoint.
        Parameters:
        name - the savepoint's name
      • SavepointHandle

        public SavepointHandle​(int id)
        Creates a handle for an unnamed savepoint.
        Parameters:
        id - the savepoint's id
    • Method Detail

      • getName

        public java.lang.String getName()
        Gets the savepoint's name.
        Returns:
        the name, null if unnamed savepoint
      • getId

        public java.lang.Integer getId()
        Gets the savepoint's id.
        Returns:
        the id, null if named savepoint
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • equals

        public boolean equals​(java.lang.Object obj)
        Overrides:
        equals in class java.lang.Object