OnExceptionOutcome enumeration
The outcome when an Actor throws an exception.
public enum OnExceptionOutcome
Values
| name | value | description |
|---|---|---|
| ThrowException | 0 |
The actor throws the exception causing the runtime to fail. |
| HandledException | 1 |
The actor handles the exception and resumes execution. |
| Halt | 2 |
The actor handles the exception and halts. |
See Also
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors