StateMachine.State.OnEventPushStateAttribute constructor
Initializes a new instance of the OnEventPushStateAttribute class.
public OnEventPushStateAttribute(Type eventType, Type stateType)
| parameter | description |
|---|---|
| eventType | The type of the dequeued event. |
| stateType | The type of the state. |
See Also
- class OnEventPushStateAttribute
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors