StateMachine.State.OnEventGotoStateAttribute constructor (1 of 2)
Initializes a new instance of the OnEventGotoStateAttribute class.
public OnEventGotoStateAttribute(Type eventType, Type stateType)
| parameter | description |
|---|---|
| eventType | The type of the dequeued event. |
| stateType | The type of the state. |
See Also
- class OnEventGotoStateAttribute
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors
StateMachine.State.OnEventGotoStateAttribute constructor (2 of 2)
Initializes a new instance of the OnEventGotoStateAttribute class.
public OnEventGotoStateAttribute(Type eventType, Type stateType, string actionName)
| parameter | description |
|---|---|
| eventType | The type of the dequeued event. |
| stateType | The type of the state. |
| actionName | Name of action to perform on-exit. |
See Also
- class OnEventGotoStateAttribute
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors