Class Stamp

  • All Implemented Interfaces:
    java.lang.Comparable<Stamp>

    public class Stamp
    extends java.lang.Object
    implements java.lang.Comparable<Stamp>
    This class represents a stamp. A stamp contains two parts:
    - a replica identifier (URID)
    - a time value
    Version:
    $Revision: 118093 $
    Author:
    Olivier Dedieu
    • Field Summary

      Fields 
      Modifier and Type Field Description
      static java.lang.String REVISION  
      static java.lang.String STAMP_SEPARATOR  
    • Constructor Summary

      Constructors 
      Constructor Description
      Stamp​(java.lang.String str)
      Create a new stamp from a string having the following format: urid[STAMP_SEPARATOR]time
      Stamp​(java.lang.String urid, long time)
      Create a new stamp from an URID and a logical time
    • Method Summary

      All Methods Static Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      int compareTo​(Stamp stamp)
      Compares this stamp with the specified stamp for order.
      boolean equals​(java.lang.Object obj)  
      long getTime()
      Get the value of time.
      java.lang.String getUrid()
      Get the value of urid.
      int hashCode()  
      static Stamp max​(Stamp s1, Stamp s2)
      Return the greater of two stamps
      static Stamp min​(Stamp s1, Stamp s2)
      Return the smaller of two stamps
      void setTime​(long time)
      Set the value of time.
      void setUrid​(java.lang.String urid)
      Set the value of urid.
      java.lang.String toString()  
      • Methods inherited from class java.lang.Object

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

      • Stamp

        public Stamp​(java.lang.String urid,
                     long time)
        Create a new stamp from an URID and a logical time
      • Stamp

        public Stamp​(java.lang.String str)
        Create a new stamp from a string having the following format: urid[STAMP_SEPARATOR]time
    • Method Detail

      • getUrid

        public java.lang.String getUrid()
        Get the value of urid.
        Returns:
        Value of urid.
      • setUrid

        public void setUrid​(java.lang.String urid)
        Set the value of urid.
        Parameters:
        urid - Value to assign to urid.
      • getTime

        public long getTime()
        Get the value of time.
        Returns:
        Value of time.
      • setTime

        public void setTime​(long time)
        Set the value of time.
        Parameters:
        time - Value to assign to time.
      • compareTo

        public int compareTo​(Stamp stamp)
        Compares this stamp with the specified stamp for order. Returns a negative integer, zero, or a positive integer as this stamp is less than, equal to, or greater than the specified stamp. The time stamps are first compared. If they are equals, the urids are compared.
        Specified by:
        compareTo in interface java.lang.Comparable<Stamp>
        Parameters:
        stamp - the Stamp to be compared.
        Returns:
        a negative integer, zero, or a positive integer as this stamp is less than, equal to, or greater than the specified stamp.
      • equals

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

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

        public static Stamp min​(Stamp s1,
                                Stamp s2)
        Return the smaller of two stamps
        Parameters:
        s1 - a stamp
        s2 - a stamp
        Returns:
        the smaller of s1 and s2
      • max

        public static Stamp max​(Stamp s1,
                                Stamp s2)
        Return the greater of two stamps
        Parameters:
        s1 - a stamp
        s2 - a stamp
        Returns:
        the greater of s1 and s2
      • hashCode

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