Package jadex.core.impl
Record Class GlobalProcessIdentifier
java.lang.Object
java.lang.Record
jadex.core.impl.GlobalProcessIdentifier
Represents a globally identifiable process on a host (JVM instance).
-
Field Summary
Fields -
Constructor Summary
ConstructorsConstructorDescriptionDefault constructor for a local GPID.GlobalProcessIdentifier
(long pid, String host) Creates an instance of aGlobalProcessIdentifier
record class. -
Method Summary
-
Field Details
-
SELF
-
-
Constructor Details
-
GlobalProcessIdentifier
public GlobalProcessIdentifier()Default constructor for a local GPID. -
GlobalProcessIdentifier
Creates an instance of aGlobalProcessIdentifier
record class.- Parameters:
pid
- the value for thepid
record componenthost
- the value for thehost
record component
-
-
Method Details
-
toString
Converts the GPID to a string. -
equals
Compares the GPID. -
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. -
pid
public long pid()Returns the value of thepid
record component.- Returns:
- the value of the
pid
record component
-
host
Returns the value of thehost
record component.- Returns:
- the value of the
host
record component
-