Record Class GlobalProcessIdentifier

java.lang.Object
java.lang.Record
jadex.core.impl.GlobalProcessIdentifier

public record GlobalProcessIdentifier(long pid, String host) extends Record
Represents a globally identifiable process on a host (JVM instance).
  • Field Details

  • Constructor Details

    • GlobalProcessIdentifier

      public GlobalProcessIdentifier()
      Default constructor for a local GPID.
    • GlobalProcessIdentifier

      public GlobalProcessIdentifier(long pid, String host)
      Creates an instance of a GlobalProcessIdentifier record class.
      Parameters:
      pid - the value for the pid record component
      host - the value for the host record component
  • Method Details

    • toString

      public String toString()
      Converts the GPID to a string.
      Specified by:
      toString in class Record
      Returns:
      The GPID as string.
    • equals

      public boolean equals(Object obj)
      Compares the GPID.
      Specified by:
      equals in class Record
      Returns:
      True, if obj is a GPID and is equal.
    • hashCode

      public final int hashCode()
      Returns a hash code value for this object. The value is derived from the hash code of each of the record components.
      Specified by:
      hashCode in class Record
      Returns:
      a hash code value for this object
    • pid

      public long pid()
      Returns the value of the pid record component.
      Returns:
      the value of the pid record component
    • host

      public String host()
      Returns the value of the host record component.
      Returns:
      the value of the host record component