case class PID(value: Int) extends ID[Int] with Ordered[PID] with Product with Serializable
Class to represent process identifiers. The field value corresponds to the index of the
process and is guaranteed to be unique. When the execution is simulated on a single machine, the
PIDs are consecutive numbers from PID(0)
to PID(N-1)
.
In addition, there is a total order on process identifiers, which allows to compare them.
- value
the index of the process
- Alphabetic
- By Inheritance
- PID
- Serializable
- Serializable
- Product
- Equals
- Ordered
- Comparable
- ID
- AnyRef
- Any
- by orderingToOrdered
- by any2stringadd
- by StringFormat
- by Ensuring
- by ArrowAssoc
- Hide All
- Show All
- Public
- All
Type Members
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
- def +(other: String): String
- def ->[B](y: B): (PID, B)
-
def
<(that: PID): Boolean
- Definition Classes
- Ordered
-
def
<=(that: PID): Boolean
- Definition Classes
- Ordered
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
>(that: PID): Boolean
- Definition Classes
- Ordered
-
def
>=(that: PID): Boolean
- Definition Classes
- Ordered
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native() @HotSpotIntrinsicCandidate()
-
def
compare(that: PID): Int
compares with another PID.
compares with another PID. The result is the same as comparing their respective index.
- that
the other PID with which to compare
- returns
zero if equal, negative if this < that and positive otherwise.
- Definition Classes
- PID → Ordered
-
def
compareTo(that: PID): Int
- Definition Classes
- Ordered → Comparable
- def ensuring(cond: (PID) ⇒ Boolean, msg: ⇒ Any): PID
- def ensuring(cond: (PID) ⇒ Boolean): PID
- def ensuring(cond: Boolean, msg: ⇒ Any): PID
- def ensuring(cond: Boolean): PID
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def formatted(fmtstr: String): String
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
def
idWith(newID: Int): SameType
Returns a new instance of the same type of identifier initialized with the value given as parameter.
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
map(f: (Int) ⇒ Int): SameType
Applies a function to the value of the identifier and returns a new identifier with the result.
Applies a function to the value of the identifier and returns a new identifier with the result.
- f
function to apply on the value
- returns
identifier with the result of applying
f()
- Definition Classes
- ID
-
def
map2[B <: Int](that: ID[B])(f: (Int, B) ⇒ Int): SameType
Applies a function combining the values of two identifiers and returns a new identifier with the result.
Applies a function combining the values of two identifiers and returns a new identifier with the result.
- B
type of value of the other identifier
- that
other identifier to combine
- f
function to apply on the values of the two identifiers
- returns
identifier with the result of applying
f()
- Definition Classes
- ID
-
def
name: String
Output-friendly string representation of the identifier.
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
val
value: Int
Value encapsulated by the identifier.
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
- def →[B](y: B): (PID, B)
Shadowed Implicit Value Members
-
def
<(that: PID): Boolean
- Implicit
- This member is added by an implicit conversion from PID to Ordered[PID] performed by method orderingToOrdered in scala.math.Ordered.
- Shadowing
- This implicitly inherited member is shadowed by one or more members in this class.
To access this member you can use a type ascription:(pID: Ordered[PID]).<(that)
- Definition Classes
- Ordered
-
def
<=(that: PID): Boolean
- Implicit
- This member is added by an implicit conversion from PID to Ordered[PID] performed by method orderingToOrdered in scala.math.Ordered.
- Shadowing
- This implicitly inherited member is shadowed by one or more members in this class.
To access this member you can use a type ascription:(pID: Ordered[PID]).<=(that)
- Definition Classes
- Ordered
-
def
>(that: PID): Boolean
- Implicit
- This member is added by an implicit conversion from PID to Ordered[PID] performed by method orderingToOrdered in scala.math.Ordered.
- Shadowing
- This implicitly inherited member is shadowed by one or more members in this class.
To access this member you can use a type ascription:(pID: Ordered[PID]).>(that)
- Definition Classes
- Ordered
-
def
>=(that: PID): Boolean
- Implicit
- This member is added by an implicit conversion from PID to Ordered[PID] performed by method orderingToOrdered in scala.math.Ordered.
- Shadowing
- This implicitly inherited member is shadowed by one or more members in this class.
To access this member you can use a type ascription:(pID: Ordered[PID]).>=(that)
- Definition Classes
- Ordered
-
def
compare(that: PID): Int
- Implicit
- This member is added by an implicit conversion from PID to Ordered[PID] performed by method orderingToOrdered in scala.math.Ordered.
- Shadowing
- This implicitly inherited member is shadowed by one or more members in this class.
To access this member you can use a type ascription:(pID: Ordered[PID]).compare(that)
- Definition Classes
- Ordered
-
def
compareTo(that: PID): Int
- Implicit
- This member is added by an implicit conversion from PID to Ordered[PID] performed by method orderingToOrdered in scala.math.Ordered.
- Shadowing
- This implicitly inherited member is shadowed by one or more members in this class.
To access this member you can use a type ascription:(pID: Ordered[PID]).compareTo(that)
- Definition Classes
- Ordered → Comparable