transitions

Type Members

1. class EventTransition[E] extends UncoloredTransition[E, E, ProcessState]

   

   Transition providing data from an event.

   Transition providing data from an event.

   E

   The type of the event

2. case class InteractionTransition[A](interactionClass: Class[A], interactionProvider: () ⇒ A, interactionMethod: String, interactionName: String, predefinedParameters: Map[String, Any], overriddenIngredientNames: Map[String, String], maximumInteractionCount: Option[Int], overriddenOutputIngredientName: String, failureStrategy: InteractionFailureStrategy, eventOutputTransformers: Map[Class[_], EventOutputTransformer[_, _]] = Map.empty, actionType: ActionType = ActionType.InteractionAction, ingredientExtractor: IngredientExtractor) extends Transition[Unit, AnyRef, ProcessState] with Product with Serializable

   

   Kagera Petri Net transition which executes an interaction.

   Kagera Petri Net transition which executes an interaction.

   interactionClass

   The interaction class to which the created transition belongs.

   interactionProvider

   The provider of the implementation.

   interactionMethod

   The name of the action for which the transition will be created.

   predefinedParameters

   An extra map from parameter name to parameter value to provide to the action.