| Class | Description |
|---|---|
| AbstractRule |
Abstract class for
Rule |
| FiniteTerminationRule |
Rule to check if the state machine can terminate in finite time, i.e. if there is an infinite loop
|
| NoRecursiveSubStateMachineRule |
Rule to check if all SubStateMachines has no recursive call
|
| StateNameExistsRule |
Rule to check if all the state name exists
|
Copyright © 2023 Seata. All rights reserved.