case class ActivityID(value: Int) extends ID[Int] with Product with Serializable
identifier of an activity. Activities are represented by the trait ManagedActivity.
- value
unique number identifying the activity
- Attributes
- protected[neko]
- Alphabetic
- By Inheritance
- ActivityID
- Serializable
- Serializable
- Product
- Equals
- ID
- AnyRef
- Any
- by any2stringadd
- by StringFormat
- by Ensuring
- by ArrowAssoc
- Hide All
- Show All
- Public
- All
Type Members
-
type
SameType = ActivityID
Same type as the identifier to be set to be the same type as the subclass of identifier.
Same type as the identifier to be set to be the same type as the subclass of identifier. This is necessary for the generic functions map and map2.
- Definition Classes
- ActivityID → ID
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
def
+(other: String): String
- Implicit
- This member is added by an implicit conversion from ActivityID to any2stringadd[ActivityID] performed by method any2stringadd in scala.Predef.
- Definition Classes
- any2stringadd
-
def
->[B](y: B): (ActivityID, B)
- Implicit
- This member is added by an implicit conversion from ActivityID to ArrowAssoc[ActivityID] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
- Annotations
- @inline()
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native() @HotSpotIntrinsicCandidate()
-
def
ensuring(cond: (ActivityID) ⇒ Boolean, msg: ⇒ Any): ActivityID
- Implicit
- This member is added by an implicit conversion from ActivityID to Ensuring[ActivityID] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
-
def
ensuring(cond: (ActivityID) ⇒ Boolean): ActivityID
- Implicit
- This member is added by an implicit conversion from ActivityID to Ensuring[ActivityID] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
-
def
ensuring(cond: Boolean, msg: ⇒ Any): ActivityID
- Implicit
- This member is added by an implicit conversion from ActivityID to Ensuring[ActivityID] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
-
def
ensuring(cond: Boolean): ActivityID
- Implicit
- This member is added by an implicit conversion from ActivityID to Ensuring[ActivityID] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
formatted(fmtstr: String): String
- Implicit
- This member is added by an implicit conversion from ActivityID to StringFormat[ActivityID] performed by method StringFormat in scala.Predef.
- Definition Classes
- StringFormat
- Annotations
- @inline()
-
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.
Returns a new instance of the same type of identifier initialized with the value given as parameter. Required by ID!.map and ID!.map2.
- newID
value of the new instance of identifier
- returns
a new identifier
- Attributes
- protected
- Definition Classes
- ActivityID → ID
-
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.
Output-friendly string representation of the identifier.
- returns
string representation
- Definition Classes
- ActivityID → ID
-
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.
Value encapsulated by the identifier.
- returns
value of the identifier
- Definition Classes
- ActivityID → ID
-
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): (ActivityID, B)
- Implicit
- This member is added by an implicit conversion from ActivityID to ArrowAssoc[ActivityID] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc