Class/Object

io.kagera.runtime.persistence.messages

Initialized

Related Docs: object Initialized | package messages

Permalink

final case class Initialized(initialMarking: Seq[ProducedToken] = Nil, initialState: Option[SerializedData] = None) extends GeneratedMessage with Message[Initialized] with Updatable[Initialized] with Product with Serializable

Annotations
@SerialVersionUID()
Linear Supertypes
Product, Equals, Updatable[Initialized], Message[Initialized], GeneratedMessage, Serializable, Serializable, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Initialized
  2. Product
  3. Equals
  4. Updatable
  5. Message
  6. GeneratedMessage
  7. Serializable
  8. Serializable
  9. AnyRef
  10. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Initialized(initialMarking: Seq[ProducedToken] = Nil, initialState: Option[SerializedData] = None)

    Permalink

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  4. def addAllInitialMarking(__vs: TraversableOnce[ProducedToken]): Initialized

    Permalink

  5. def addInitialMarking(__vs: ProducedToken*): Initialized

    Permalink

  6. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  7. def clearInitialMarking: Initialized

    Permalink

  8. def clearInitialState: Initialized

    Permalink

  9. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  10. def companion: Initialized.type

    Permalink
    Definition Classes
    Initialized → GeneratedMessage

  11. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  12. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  13. def getAllFields: Map[FieldDescriptor, Any]

    Permalink
    Definition Classes
    GeneratedMessage

  14. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  15. def getField(__field: FieldDescriptor): Any

    Permalink
    Definition Classes
    Initialized → GeneratedMessage

  16. def getInitialState: SerializedData

    Permalink

  17. val initialMarking: Seq[ProducedToken]

    Permalink

  18. val initialState: Option[SerializedData]

    Permalink

  19. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  20. def mergeFrom(_input__: CodedInputStream): Initialized

    Permalink
    Definition Classes
    Initialized → Message

  21. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  22. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  23. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  24. final def serializedSize: Int

    Permalink
    Definition Classes
    Initialized → GeneratedMessage

  25. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef

  26. def toByteArray: Array[Byte]

    Permalink
    Definition Classes
    GeneratedMessage

  27. def toString(): String

    Permalink
    Definition Classes
    Initialized → AnyRef → Any

  28. def update(ms: (Lens[Initialized, Initialized]) ⇒ Mutation[Initialized]*): Initialized

    Permalink
    Definition Classes
    Updatable

  29. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  30. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  31. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  32. def withInitialMarking(__v: Seq[ProducedToken]): Initialized

    Permalink

  33. def withInitialState(__v: SerializedData): Initialized

    Permalink

  34. def writeDelimitedTo(output: OutputStream): Unit

    Permalink
    Definition Classes
    GeneratedMessage

  35. def writeTo(_output__: CodedOutputStream): Unit

    Permalink
    Definition Classes
    Initialized → GeneratedMessage

  36. def writeTo(output: OutputStream): Unit

    Permalink
    Definition Classes
    GeneratedMessage

Inherited from Product

Inherited from Equals

Inherited from Updatable[Initialized]

Inherited from Message[Initialized]

Inherited from GeneratedMessage

Inherited from Serializable

Inherited from Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped