Class ID


  • public class ID
    extends java.lang.Object
    • Constructor Detail

      • ID

        public ID​(int client,
                  int clock)
    • Method Detail

      • getClient

        public int getClient()
      • setClient

        public void setClient​(int client)
      • getClock

        public int getClock()
      • setClock

        public void setClock​(int clock)
      • compareIDs

        public static boolean compareIDs​(ID a,
                                         ID b)
        Compare IDs
        Parameters:
        a - might be null
        b - might be null
        Returns:
      • createID

        public static ID createID​(int client,
                                  int clock)
      • writeID

        public static void writeID​(Encoder encoder,
                                   ID id)
      • readID

        public static ID readID​(Decoder decoder)
      • findRootTypeKey

        public static java.lang.String findRootTypeKey​(AbstractType type)
        The top types are mapped from y.share.get(keyname) => type. `type` does not store any information about the `keyname`. This function finds the correct `keyname` for `type` and throws otherwise.
        Parameters:
        type - Internal used only.