Monitor.State.OnEventGotoStateAttribute constructor (1 of 2)
Initializes a new instance of the OnEventGotoStateAttribute class.
public OnEventGotoStateAttribute(Type eventType, Type stateType)
| parameter | description |
|---|---|
| eventType | Event type. |
| stateType | State type. |
See Also
- class OnEventGotoStateAttribute
- namespace Microsoft.Coyote.Specifications
- assembly Microsoft.Coyote
Monitor.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 | Event type. |
| stateType | State type. |
| actionName | Name of action to perform on exit. |
See Also
- class OnEventGotoStateAttribute
- namespace Microsoft.Coyote.Specifications
- assembly Microsoft.Coyote