1312
}
1313
1315
>
// stateInDB is used like a bloom filter:
1316
>
//
1317
>
// 1. stateInDB being created / running meaning that this workflow must be the current
1318
>
// workflow (assuming there is no rebuild of mutable state).
1319
>
// 2. stateInDB being completed does not guarantee this workflow being the current workflow
1320
>
// 3. stateInDB being zombie guarantees this workflow not being the current workflow
1321
>
// 4. stateInDB cannot be void, void is only possible when mutable state is just initialized
1322
>
1323
>
switch ms.stateInDB {
1324
case enumsspb.WORKFLOW_EXECUTION_STATE_VOID:
1325
return false