Object

io.kagera.akka.actor

PetriNetInstanceProtocol

Related Doc: package actor

Permalink

object PetriNetInstanceProtocol

Describes the messages to and from a PetriNetInstance actor.

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. PetriNetInstanceProtocol
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. sealed trait Command extends AnyRef

    Permalink

    A common trait for all commands to a petri net instance.

  2. case class ExceptionState(failureCount: Int, failureReason: String, failureStrategy: ExceptionStrategy) extends Product with Serializable

    Permalink

    The exception state of a transition.

  3. case class FireTransition(transitionId: Long, input: Any, correlationId: Option[Long] = None) extends Command with Product with Serializable

    Permalink

    Command to fire a specific transition with input.

  4. case class Initialize(marking: MarkingData, state: Any) extends Command with Product with Serializable

    Permalink

    Command to initialize a petri net instance.

  5. case class Initialized(marking: MarkingData, state: Any) extends Response with Product with Serializable

    Permalink

    A response indicating that the instance has been initialized in a certain state.

    A response indicating that the instance has been initialized in a certain state.

    This message is only send in response to an Initialize message.

  6. case class InstanceState(sequenceNr: Long, marking: MarkingData, state: Any, jobs: Map[Long, JobState]) extends Response with Product with Serializable

    Permalink

    Response containing the state of the process.

  7. case class JobState(id: Long, transitionId: Long, consumedMarking: MarkingData, input: Any, exceptionState: Option[ExceptionState]) extends Product with Serializable

    Permalink

    Response containing the state of the Job.

  8. type MarkingData = Map[Long, MultiSet[_]]

    Permalink

    Type alias for marking data.

  9. sealed trait Response extends AnyRef

    Permalink

    A common trait for all responses coming from a petri net instance.

  10. case class TransitionFailed(jobId: Long, transitionId: Long, consume: MarkingData, input: Any, reason: String, strategy: ExceptionStrategy) extends TransitionResponse with Product with Serializable

    Permalink

    Response indicating that a transition has failed.

  11. case class TransitionFired(jobId: Long, transitionId: Long, consumed: MarkingData, produced: MarkingData, result: InstanceState, newJobsIds: Set[Long]) extends TransitionResponse with Product with Serializable

    Permalink

    Response indicating that a transition has fired successfully

  12. case class TransitionNotEnabled(transitionId: Long, reason: String) extends TransitionResponse with Product with Serializable

    Permalink

    Response indicating that the transition could not be fired because it is not enabled.

  13. sealed trait TransitionResponse extends Response

    Permalink

    Any message that is a response to a FireTransition command.

  14. case class Uninitialized(id: String) extends Response with Product with Serializable

    Permalink

    A response send in case any other command then 'Initialize' is sent to the actor in unitialized state.

    A response send in case any other command then 'Initialize' is sent to the actor in unitialized state.

    id

    The identifier of the unitialized actor.

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. object AlreadyInitialized extends Response with Product with Serializable

    Permalink

    Returned in case a second Initialize is send after a first is processed

  5. object FireTransition extends Serializable

    Permalink

  6. object GetState extends Command with Product with Serializable

    Permalink

    Command to request the current state of the petri net instance.

  7. object Initialize extends Serializable

    Permalink

  8. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  9. def clone(): AnyRef

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

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

    Permalink
    Definition Classes
    AnyRef

  11. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  12. def finalize(): Unit

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

  13. implicit def fromExecutionExceptionState(exceptionState: runtime.ExceptionState): ExceptionState

    Permalink

  14. implicit def fromExecutionInstance[P[_], T[_, _], S](instance: Instance[P, T, S])(implicit placeIdentifier: Identifiable[P[_]], transitionIdentifier: Identifiable[T[_, _]]): InstanceState

    Permalink

  15. implicit def fromExecutionJob[P[_], T[_, _], S, E](job: Job[P, T, S, E])(implicit placeIdentifier: Identifiable[P[_]], transitionIdentifier: Identifiable[T[_, _]]): JobState

    Permalink

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

    Permalink
    Definition Classes
    AnyRef → Any

  17. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  18. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  19. def marshal[P[_]](marking: Marking[P])(implicit identifiable: Identifiable[P[_]]): MarkingData

    Permalink

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

    Permalink
    Definition Classes
    AnyRef

  21. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  22. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

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

    Permalink
    Definition Classes
    AnyRef

  24. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  25. def unmarshal[P[_]](data: MarkingData, placeById: (Long) ⇒ P[_]): Marking[P]

    Permalink

  26. final def wait(): Unit

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

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

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

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

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

Inherited from AnyRef

Inherited from Any

Ungrouped