Class CorrelationId

    • Field Detail

    • Constructor Detail

      • CorrelationId

        public CorrelationId​(int id)
        Creates a correlation identifier. This is a type-safe wrapper over int.
        Parameters:
        id - Identifier
      • CorrelationId

        public CorrelationId​(String name)
        Creates a correlation identifier from a name.
        Parameters:
        name - variable name
    • Method Detail

      • getId

        public int getId()
        Returns the identifier.
        Returns:
        identifier
      • getName

        public String getName()
        Returns the preferred name of the variable.
        Returns:
        name
      • hashCode

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

        public boolean equals​(@Nullable Object obj)
        Overrides:
        equals in class Object
      • setOf

        public static com.google.common.collect.ImmutableSet<CorrelationId> setOf​(Set<String> set)
        Converts a set of correlation ids to a set of names.