You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Statig currently defines three types of state machines:
UnInitializedStateMachine
InitializedStateMachine
StateMachine - This type employs lazy initialized.
Deserialization yields an UninitializedStateMachine, which can subsequently be transformed into an InitializedStateMachine via the init method. However, the StateMachine type, being lazily initialized, is predominantly used throughout the codebase and offers better readability. It would be beneficial to provide direct conversion methods to StateMachine from the other two types.
Proposed Solution
Implement the following conversions:
From<InitializedStateMachine> for StateMachine
From<UnInitializedStateMachine> for StateMachine
In this case, the initialized field within StateMachine should be set to false.
The text was updated successfully, but these errors were encountered:
Current Limitation
Statig currently defines three types of state machines:
UnInitializedStateMachine
InitializedStateMachine
StateMachine
- This type employs lazy initialized.Deserialization yields an
UninitializedStateMachine
, which can subsequently be transformed into anInitializedStateMachine
via theinit
method. However, theStateMachine
type, being lazily initialized, is predominantly used throughout the codebase and offers better readability. It would be beneficial to provide direct conversion methods toStateMachine
from the other two types.Proposed Solution
Implement the following conversions:
From<InitializedStateMachine> for StateMachine
From<UnInitializedStateMachine> for StateMachine
initialized
field withinStateMachine
should be set tofalse
.The text was updated successfully, but these errors were encountered: