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)

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def addAllInitialMarking(__vs: TraversableOnce[ProducedToken]): Initialized
  5. def addInitialMarking(__vs: ProducedToken*): Initialized
  6. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  7. def clearInitialMarking: Initialized
  8. def clearInitialState: Initialized
  9. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  10. def companion: Initialized.type
    Definition Classes
    Initialized → GeneratedMessage
  11. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  12. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  13. def getAllFields: Map[FieldDescriptor, Any]
    Definition Classes
    GeneratedMessage
  14. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  15. def getField(__field: FieldDescriptor): Any
    Definition Classes
    Initialized → GeneratedMessage
  16. def getInitialState: SerializedData
  17. val initialMarking: Seq[ProducedToken]
  18. val initialState: Option[SerializedData]
  19. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  20. def mergeFrom(_input__: CodedInputStream): Initialized
    Definition Classes
    Initialized → Message
  21. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  22. final def notify(): Unit
    Definition Classes
    AnyRef
  23. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  24. final def serializedSize: Int
    Definition Classes
    Initialized → GeneratedMessage
  25. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  26. def toByteArray: Array[Byte]
    Definition Classes
    GeneratedMessage
  27. def toString(): String
    Definition Classes
    Initialized → AnyRef → Any
  28. def update(ms: (Lens[Initialized, Initialized]) ⇒ Mutation[Initialized]*): Initialized
    Definition Classes
    Updatable
  29. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  30. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  31. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  32. def withInitialMarking(__v: Seq[ProducedToken]): Initialized
  33. def withInitialState(__v: SerializedData): Initialized
  34. def writeDelimitedTo(output: OutputStream): Unit
    Definition Classes
    GeneratedMessage
  35. def writeTo(_output__: CodedOutputStream): Unit
    Definition Classes
    Initialized → GeneratedMessage
  36. def writeTo(output: OutputStream): Unit
    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