namespace InnovEnergy.App.SaliMax.System; public record StateMachine { public required String Message { get; set; } // TODO: init only public required Int32 State { get; set; } // TODO: init only public static StateMachine Default { get; } = new StateMachine { State = 100, Message = "Unknown State" }; }