StateMachineProcessor.cs

using System;
using System.Collections.Generic;
using System.Text;
using System.Threading.Tasks;
using System.Xml;
using Waher.Content;
using Waher.Content.Markdown;
using Waher.Content.Xml;
using Waher.Events;
using Waher.Networking.HTTP;
using Waher.Networking.XMPP.Server;
using Waher.Persistence;
using Waher.Persistence.Filters;
using Waher.Runtime.Cache;
using Waher.Runtime.Inventory;
using Waher.Runtime.Profiling;
using Waher.Runtime.Threading;
using Waher.Script;
using Waher.Script.Exceptions;
using Waher.Security;
using Waher.Security.Users;
using Waher.Service.IoTBroker.EDaler;
using Waher.Service.IoTBroker.EDaler.Uris;
using Waher.Service.IoTBroker.Legal;
using Waher.Service.IoTBroker.NeuroFeatures;
using Waher.Service.IoTBroker.NeuroFeatures.Events;
using Waher.Service.IoTBroker.StateMachines.EventHandlers;
using Waher.Service.IoTBroker.StateMachines.Model;
using Waher.Service.IoTBroker.StateMachines.Model.Actions;
using Waher.Service.IoTBroker.StateMachines.Model.Events;
using Waher.Service.IoTBroker.StateMachines.Model.Reports;
using Waher.Service.IoTBroker.StateMachines.Model.States;
 
namespace Waher.Service.IoTBroker.StateMachines
{
    public static class StateMachineProcessor
    {
        public const string StateMachineNamespace = "https://paiwise.tagroot.io/Schema/StateMachines.xsd";
 
        public const string StateMachineDefinition = "StateMachine";
 
        private static readonly Cache<CaseInsensitiveString, CacheRecord> stateMachines = new Cache<CaseInsensitiveString, CacheRecord>(int.MaxValue, TimeSpan.MaxValue, TimeSpan.FromHours(1));
        private static Dictionary<string, IStateMachineNode> stateMachineNodes = null;
        private static LegalComponent legal;
        private static EDalerComponent eDaler;
 
        internal class CacheRecord
        {
            public StateMachine Machine;
            public CurrentState CurrentState;
            public LegalComponent Legal;
            public EDalerComponent EDaler;
            public Profiler Profiler;
        }
 
        public static StateMachine Parse(Token Token)
        {
            return Parse(Token.Definition, Token);
        }
 
        public static StateMachine Parse(string Xml, Token Token)
        {
            XmlDocument Doc = new XmlDocument();
            Doc.LoadXml(Xml);
 
            StateMachine Result = Parse(Doc, Token);
 
            Result.XmlDefinition = Xml;
 
            return Result;
        }
 
        public static StateMachine Parse(XmlDocument Xml, Token Token)
        {
            return Parse(Xml.DocumentElement, Token);
        }
 
        public static StateMachine Parse(XmlElement Xml, Token Token)
        {
            if (Xml is null || Xml.LocalName != "StateMachine" || Xml.NamespaceURI != StateMachineNamespace)
                return null;
 
            StateMachine Result = new StateMachine()
            {
                Root = (StateMachineRoot)Create(Xml),
                XmlDefinition = Xml.OuterXml,
                DefinitionContractId = Token.CreationContract,
                TrustProvider = Token.TrustProvider,
                TrustProviderJid = Token.TrustProviderJid,
                CreatorTokenId = Token.TokenId
            };
 
            Result.CheckReferences(Token);
 
            return Result;
        }
 
        internal static IStateMachineNode Create(XmlElement Xml)
        {
            IStateMachineNode Node;
 
            if (stateMachineNodes is null)
            {
                Dictionary<string, IStateMachineNode> ByFqn = new Dictionary<string, IStateMachineNode>();
 
                foreach (Type T in Types.GetTypesImplementingInterface(typeof(IStateMachineNode)))
                {
                    if (T.IsAbstract || T.IsInterface || T.IsGenericTypeDefinition)
                        continue;
 
                    try
                    {
                        Node = (IStateMachineNode)Types.Instantiate(T);
                        ByFqn[Node.Namespace + "#" + Node.LocalName] = Node;
                    }
                    catch (Exception ex)
                    {
                        Log.Exception(ex);
                    }
                }
 
                stateMachineNodes = ByFqn;
            }
 
            string Fqn = Xml.NamespaceURI + "#" + Xml.LocalName;
            if (!stateMachineNodes.TryGetValue(Fqn, out Node))
                throw new Exception("A State-Machine node named " + Fqn + " not known.");
 
            Node = Node.Create();
            Node.Parse(Xml);
 
            return Node;
        }
 
        internal static async Task EventGenerated(Token Token, TokenEvent Event)
        {
            if (Token.DefinitionNamespace != StateMachineNamespace)
                return;
 
            CacheRecord CacheRecord = await GetStateMachine(Token);
            if (CacheRecord is null)
                return;
 
            await EventGenerated(Token, Event, CacheRecord);
        }
 
        private static async Task EventGenerated(Token Token, TokenEvent Event, CacheRecord CacheRecord)
        {
            StateMachine Machine = CacheRecord.Machine;
 
            try
            {
                if (Event is Transferred Transferred)
                    await TokenTransferred(Token, Transferred, Machine);
                else if (Event is NoteText NoteText)
                    await NoteAdded(Token, NoteText, Machine);
                else if (Event is NoteXml NoteXml)
                    await NoteAdded(Token, NoteXml, Machine);
                else if (Event is ExternalNoteText ExternalNoteText)
                    await NoteAdded(Token, ExternalNoteText, Machine);
                else if (Event is ExternalNoteXml ExternalNoteXml)
                    await NoteAdded(Token, ExternalNoteXml, Machine);
                else if (Event is Destroyed Destroyed)
                    await TokenDestroyed(Token, Destroyed, Machine);
            }
            catch (Exception ex)
            {
                if (!(CacheRecord.Profiler is null))
                {
                    int NoteNr = CacheRecord.Profiler.AddNote(ex);
                    CacheRecord.Profiler?.Exception(ex, "Note" + NoteNr);
                }
 
                Log.Exception(ex, Token.TokenId.Value);
                stateMachines.Remove(Machine.StateMachineId);    // Might be in an incorrect state. By removing it from the cache, a new version of the state machine is loaded next time.
            }
        }
 
        internal static async Task EventGenerated(string StateMachineId, TokenEvent Event)
        {
            CacheRecord CacheRecord = await GetStateMachine(StateMachineId);
            if (CacheRecord is null)
                return;
 
            Token Token = await NeuroFeaturesProcessor.GetToken(StateMachineId, true);
 
            await EventGenerated(Token, Event, CacheRecord);
        }
 
        internal static Task<CacheRecord> GetStateMachine(Token Token)
        {
            return GetStateMachine(Token.MachineId);
        }
 
        internal static async Task<CurrentState> GetOrCreateCurrentState(StateMachine Machine)
        {
            using (Semaphore Semaphore = await Semaphores.BeginWrite("machine:" + Machine.StateMachineId.ToString()))
            {
                CurrentState CurrentState = await Database.FindFirstIgnoreRest<CurrentState>(new FilterFieldEqualTo("StateMachineId", Machine.StateMachineId));
                if (CurrentState is null)
                {
                    CurrentState = new CurrentState()
                    {
                        StateMachineId = Machine.StateMachineId,
                        VariableValues = new CurrentStateVariable[0],
                        State = string.Empty,
                        Expires = Machine.Expires,
                        ArchiveRequired = Machine.ArchiveRequired,
                        ArchiveOptional = Machine.ArchiveOptional
                    };
 
                    await Database.Insert(CurrentState);
                }
 
                return CurrentState;
            }
        }
 
        internal static async Task<CacheRecord> GetStateMachine(string MachineId)
        {
            if (stateMachines.TryGetValue(MachineId, out CacheRecord Result))
                return Result;
 
            StateMachine Machine = await Database.FindFirstIgnoreRest<StateMachine>(new FilterFieldEqualTo("StateMachineId", MachineId));
            if (Machine is null)
                return null;
 
            Machine.IndexElements();
 
            CurrentState CurrentState = await GetOrCreateCurrentState(Machine);
 
            Result = new CacheRecord()
            {
                Machine = Machine,
                CurrentState = CurrentState,
                EDaler = eDaler,
                Legal = legal,
                Profiler = new Profiler(MachineId, ProfilerThreadType.StateMachine)
            };
 
            stateMachines[MachineId] = Result;
            Result.Profiler.NewState(CurrentState.State);
            Result.Profiler.Start();
            Result.Profiler.Event("Reloaded");
 
            return Result;
        }
 
        internal static async Task ModuleStarted(LegalComponent Legal, EDalerComponent EDaler)
        {
            legal = Legal;
            eDaler = EDaler;
 
            Ledger.EntryAdded += Ledger_EntryAdded;
            Ledger.EntryUpdated += Ledger_EntryUpdated;
            Ledger.EntryDeleted += Ledger_EntryDeleted;
 
            LinkedList<TimepointEventHandler> ToDelete = null;
 
            try
            {
                foreach (TimepointEventHandler Handler in await Database.Find<TimepointEventHandler>(
                    new FilterFieldEqualTo("EventType", nameof(TimepointEventHandler))))
                {
                    if (await ReregisterOnStart(Handler))
                    {
                        if (ToDelete is null)
                            ToDelete = new LinkedList<TimepointEventHandler>();
 
                        ToDelete.AddLast(Handler);
                    }
                }
            }
            finally
            {
                if (!(ToDelete is null))
                    await Database.Delete(ToDelete);
            }
        }
 
        private static async Task<bool> ReregisterOnStart(TimepointEventHandler Handler)
        {
            try
            {
                CacheRecord CacheRecord = await GetStateMachine(Handler.StateMachineId);
                if (CacheRecord is null)
                    return true;
 
                StateMachine Machine = CacheRecord.Machine;
                CurrentState CurrentState = CacheRecord.CurrentState;
                if (Handler.State != CurrentState.State)
                    return true;
 
                if (!Machine.TryGetState(Handler.State, out State State))
                    return true;
 
                if (State.OnEvent is null || State.OnEvent.Length <= Handler.EventIndex)
                    return true;
 
                OnEvent Event = State.OnEvent[Handler.EventIndex];
                if (!(Event.Event is TimedEventNode TimedEventNode))
                    return true;
 
                await TimedEventNode.ReregisterOnStart(Handler);
                return false;
            }
            catch (Exception ex)
            {
                Log.Exception(ex);
                return true;
            }
        }
 
        internal static Task ModuleStopped()
        {
            legal = null;
            eDaler = null;
 
            Ledger.EntryAdded -= Ledger_EntryAdded;
            Ledger.EntryUpdated -= Ledger_EntryUpdated;
            Ledger.EntryDeleted -= Ledger_EntryDeleted;
 
            TimedEventNode.ClearPendingEvents();
 
            return Task.CompletedTask;
        }
 
        internal static async Task Start(StateMachine Machine, Token Token, LegalComponent Legal, EDalerComponent EDaler)
        {
            try
            {
                Profiler Profiler = new Profiler(Machine.StateMachineId, ProfilerThreadType.StateMachine);
                Profiler.Start();
 
                (CurrentState CurrentState, EvaluationArguments Arguments) = await Machine.CreateCurrentState(Token, Legal, EDaler, Profiler);
 
                stateMachines[Machine.StateMachineId] = new CacheRecord()
                {
                    CurrentState = CurrentState,
                    Machine = Machine,
                    EDaler = EDaler,
                    Legal = Legal,
                    Profiler = Profiler
                };
 
                await Machine.Start(Arguments);
            }
            catch (Exception ex)
            {
                Log.Exception(ex, Machine.ObjectId,
                    new KeyValuePair<string, object>("StateMachineId", Machine.StateMachineId.Value));
            }
        }
 
        internal static async Task<CacheRecord> EventRaised(EventHandlers.EventHandler Handler, Token Token, params KeyValuePair<string, object>[] ToSet)
        {
            CacheRecord CacheRecord = await GetStateMachine(Handler.StateMachineId);
            if (CacheRecord is null)
                return null;
 
            try
            {
                StateMachine Machine = CacheRecord.Machine;
                CurrentState CurrentState = CacheRecord.CurrentState;
                if (Handler.State != CurrentState.State)
                    return null;
 
                if (!Machine.TryGetState(Handler.State, out State State))
                    return null;
 
                if (State.OnEvent is null || State.OnEvent.Length <= Handler.EventIndex)
                    return null;
 
                Variables Variables = CurrentState.GetVariables(Machine);
 
                if (!(ToSet is null))
                {
                    foreach (KeyValuePair<string, object> P in ToSet)
                        Variables[P.Key] = P.Value;
                }
 
                if (Token is null && !CaseInsensitiveString.IsNullOrEmpty(Machine.CreatorTokenId))
                    Token = await NeuroFeaturesProcessor.GetToken(Machine.CreatorTokenId, false);
 
                EvaluationArguments Arguments = new EvaluationArguments(Variables, Machine,
                    Token, CurrentState, CacheRecord.Legal ?? legal,
                    CacheRecord.EDaler ?? eDaler, CacheRecord.Profiler);
 
                try
                {
                    OnEvent Event = State.OnEvent[Handler.EventIndex];
                    string StateId;
 
                    try
                    {
                        await Event.ExecuteLog(Arguments);
                        StateId = await Event.GetNewState(Arguments);
                    }
                    catch (Exception ex)
                    {
                        StateId = await Event.GetFailureState(Arguments);
 
                        if (string.IsNullOrEmpty(StateId))
                            Log.Error(ex, Arguments.Machine.ObjectId);
                    }
 
                    if (string.IsNullOrEmpty(StateId))
                        await StateMachine.CheckConditionalEvents(Arguments);
                    else
                        await StateMachine.GoToState(StateId, Arguments);
                }
                finally
                {
                    await StateMachine.EvaluationComplete(Arguments);
                }
            }
            catch (Exception ex)
            {
                if (!(CacheRecord.Profiler is null))
                {
                    int NoteNr = CacheRecord.Profiler.AddNote(ex);
                    CacheRecord.Profiler?.Exception(ex, "Note" + NoteNr);
                }
 
                Log.Exception(ex, Handler.StateMachineId);
            }
 
            return CacheRecord;
        }
 
        internal static async Task NoteAdded(Token Token, NoteText Event, StateMachine Machine)
        {
            CachedEventHandler[] Handlers = await CachedEventHandler.GetEventHandlers(
                nameof(TokenNoteEventHandler) + "|" + nameof(OnTextNote) + "|" +
                Machine.StateMachineId + "||");
 
            if ((Handlers?.Length ?? 0) == 0)
                return;
 
            foreach (CachedEventHandler Handler in Handlers)
            {
                if (Handler is TokenNoteEventHandler TokenNoteEventHandler)
                    await EventRaised(Handler, Token, GetVariablesToSet(TokenNoteEventHandler, Event.Note, Event.Personal, null));
            }
        }
 
        internal static async Task NoteAdded(Token Token, NoteXml Event, StateMachine Machine)
        {
            CachedEventHandler[] Handlers = await CachedEventHandler.GetEventHandlers(
                nameof(TokenNoteEventHandler) + "|" + nameof(OnXmlNote) + "|" +
                Machine.StateMachineId + "|" + Event.LocalName + "|" + Event.Namespace);
 
            if ((Handlers?.Length ?? 0) == 0)
                return;
 
            XmlDocument Doc = null;
 
            foreach (CachedEventHandler Handler in Handlers)
            {
                if (Handler is TokenNoteEventHandler TokenNoteEventHandler)
                {
                    if (Doc is null)
                    {
                        Doc = new XmlDocument();
                        Doc.LoadXml(Event.Note);
                    }
 
                    await EventRaised(Handler, Token, GetVariablesToSet(TokenNoteEventHandler, Doc, Event.Personal, null));
                }
            }
        }
 
        internal static async Task NoteAdded(Token Token, ExternalNoteText Event, StateMachine Machine)
        {
            CachedEventHandler[] Handlers = await CachedEventHandler.GetEventHandlers(
                nameof(TokenNoteEventHandler) + "|" + nameof(OnExternalTextNote) + "|" +
                Machine.StateMachineId + "||");
 
            if ((Handlers?.Length ?? 0) == 0)
                return;
 
 
            foreach (CachedEventHandler Handler in Handlers)
            {
                if (Handler is TokenNoteEventHandler TokenNoteEventHandler)
                {
                    if (!await IsAuthorized(Event.Source, TokenNoteEventHandler.Privilege))
                        continue;
 
                    await EventRaised(Handler, Token, GetVariablesToSet(TokenNoteEventHandler, Event.Note, Event.Personal, Event.Source));
                }
            }
        }
 
        internal static async Task NoteAdded(Token Token, ExternalNoteXml Event, StateMachine Machine)
        {
            CachedEventHandler[] Handlers = await CachedEventHandler.GetEventHandlers(
                nameof(TokenNoteEventHandler) + "|" + nameof(OnExternalXmlNote) + "|" +
                Machine.StateMachineId + "|" + Event.LocalName + "|" + Event.Namespace);
 
            if ((Handlers?.Length ?? 0) == 0)
                return;
 
            XmlDocument Doc = null;
 
            foreach (CachedEventHandler Handler in Handlers)
            {
                if (Handler is TokenNoteEventHandler TokenNoteEventHandler)
                {
                    if (!await IsAuthorized(Event.Source, TokenNoteEventHandler.Privilege))
                        continue;
 
                    if (Doc is null)
                    {
                        Doc = new XmlDocument();
                        Doc.LoadXml(Event.Note);
                    }
 
                    await EventRaised(Handler, Token, GetVariablesToSet(TokenNoteEventHandler, Doc, Event.Personal, Event.Source));
                }
            }
        }
 
        private static async Task<bool> IsAuthorized(string Source, string Privilege)
        {
            bool CheckPrivilege = !string.IsNullOrEmpty(Privilege);
 
            if (!CheckPrivilege && Source.IndexOf('@') > 0)
                return true;
 
            IUser User = await Users.GetUser(Source, false);
            if (User is null)
                return false;
 
            return User.HasPrivilege(Privilege);
        }
 
        private static KeyValuePair<string, object>[] GetVariablesToSet(TokenNoteEventHandler Handler, object Note, bool Personal, string Source)
        {
            List<KeyValuePair<string, object>> Result = new List<KeyValuePair<string, object>>();
 
            if (!string.IsNullOrEmpty(Handler.SourceVariable))
                Result.Add(new KeyValuePair<string, object>(Handler.SourceVariable, Source));
 
            if (!string.IsNullOrEmpty(Handler.PersonalVariable))
                Result.Add(new KeyValuePair<string, object>(Handler.PersonalVariable, Personal));
 
            if (!string.IsNullOrEmpty(Handler.NoteVariable))
                Result.Add(new KeyValuePair<string, object>(Handler.NoteVariable, Note));
 
            return Result.ToArray();
        }
 
        internal static async Task TokenTransferred(Token Token, Transferred Event, StateMachine Machine)
        {
            CachedEventHandler[] Handlers = await CachedEventHandler.GetEventHandlers(
                nameof(TokenTransferredEventHandler) + "|" + nameof(OnTransferred) + "|" +
                Machine.StateMachineId);
 
            if ((Handlers?.Length ?? 0) == 0)
                return;
 
            foreach (CachedEventHandler Handler in Handlers)
            {
                if (Handler is TokenTransferredEventHandler TokenTransferredEventHandler)
                    await EventRaised(Handler, Token, GetVariablesToSet(TokenTransferredEventHandler, Event));
            }
        }
 
        private static KeyValuePair<string, object>[] GetVariablesToSet(
            TokenTransferredEventHandler Handler, Transferred Event)
        {
            List<KeyValuePair<string, object>> Result = new List<KeyValuePair<string, object>>();
 
            if (!string.IsNullOrEmpty(Handler.SellerVariable))
                Result.Add(new KeyValuePair<string, object>(Handler.SellerVariable, Event.Seller));
 
            if (!string.IsNullOrEmpty(Handler.BuyerVariable))
                Result.Add(new KeyValuePair<string, object>(Handler.BuyerVariable, Event.Owner));
 
            if (!string.IsNullOrEmpty(Handler.ContractVariable))
                Result.Add(new KeyValuePair<string, object>(Handler.ContractVariable, Event.OwnershipContract));
 
            if (!string.IsNullOrEmpty(Handler.ValueVariable))
                Result.Add(new KeyValuePair<string, object>(Handler.ValueVariable, Event.Value));
 
            if (!string.IsNullOrEmpty(Handler.AmountVariable))
                Result.Add(new KeyValuePair<string, object>(Handler.AmountVariable, Event.Value - Event.Commission));
 
            if (!string.IsNullOrEmpty(Handler.CurrencyVariable))
                Result.Add(new KeyValuePair<string, object>(Handler.CurrencyVariable, Event.Currency));
 
            return Result.ToArray();
        }
 
        internal static async Task EDalerSent(XmppAddress Owner, EDalerUri Uri)
        {
            CachedEventHandler[] Handlers = await CachedEventHandler.GetEventHandlers(
                nameof(OwnerEventHandler) + "|" + nameof(OnPaymentSent) + "|" + Owner.BareJid.LowerCase);
 
            if ((Handlers?.Length ?? 0) == 0)
                return;
 
            foreach (CachedEventHandler Handler in Handlers)
            {
                if (Handler is PaymentEventHandler PaymentHandler)
                    await EventRaised(Handler, null, GetVariablesToSet(PaymentHandler, Uri, Uri.To.BareJid));
            }
        }
 
        internal static async Task EDalerReceived(XmppAddress Owner, EDalerUri Uri, string Sender)
        {
            CachedEventHandler[] Handlers = await CachedEventHandler.GetEventHandlers(
                nameof(OwnerEventHandler) + "|" + nameof(OnPaymentReceived) + "|" + Owner.BareJid.LowerCase);
 
            if ((Handlers?.Length ?? 0) == 0)
                return;
 
            XmppAddress SenderAddress = new XmppAddress(Sender);
            Sender = SenderAddress.BareJid;
 
            foreach (CachedEventHandler Handler in Handlers)
            {
                if (Handler is PaymentEventHandler PaymentHandler)
                    await EventRaised(Handler, null, GetVariablesToSet(PaymentHandler, Uri, Sender));
            }
        }
 
        private static KeyValuePair<string, object>[] GetVariablesToSet(PaymentEventHandler Handler, EDalerUri Uri, string RemoteAddress)
        {
            List<KeyValuePair<string, object>> Result = new List<KeyValuePair<string, object>>();
 
            if (!string.IsNullOrEmpty(Handler.RemoteVariable))
                Result.Add(new KeyValuePair<string, object>(Handler.RemoteVariable, RemoteAddress));
 
            if (!string.IsNullOrEmpty(Handler.AmountVariable))
                Result.Add(new KeyValuePair<string, object>(Handler.AmountVariable, (double)Uri.Amount));
 
            if (!string.IsNullOrEmpty(Handler.AmountExtraVariable))
                Result.Add(new KeyValuePair<string, object>(Handler.AmountExtraVariable, (double)(Uri.AmountExtra ?? 0M)));
 
            if (!string.IsNullOrEmpty(Handler.AmountTotalVariable))
                Result.Add(new KeyValuePair<string, object>(Handler.AmountTotalVariable, (double)Uri.TotalAmount));
 
            if (!string.IsNullOrEmpty(Handler.CurrencyVariable))
                Result.Add(new KeyValuePair<string, object>(Handler.CurrencyVariable, Uri.Currency));
 
            if (!string.IsNullOrEmpty(Handler.ReferenceVariable))
            {
                if (Uri.EncryptionPublicKey is null && !(Uri.EncryptedMessage is null))
                    Result.Add(new KeyValuePair<string, object>(Handler.ReferenceVariable, Encoding.UTF8.GetString(Uri.EncryptedMessage)));
                else
                    Result.Add(new KeyValuePair<string, object>(Handler.ReferenceVariable, null));
            }
 
            if (!string.IsNullOrEmpty(Handler.ConditionVariable))
                Result.Add(new KeyValuePair<string, object>(Handler.ConditionVariable, Uri.ContractCondition?.Value));
 
            return Result.ToArray();
        }
 
        internal static Task TokenDestroyed(Token Token, Destroyed Event, StateMachine Machine)
        {
            return Task.CompletedTask;  // TODO
        }
 
        private static void Ledger_EntryAdded(object Sender, ObjectEventArgs e)
        {
            // TODO
        }
 
        private static void Ledger_EntryUpdated(object Sender, ObjectEventArgs e)
        {
            // TODO
        }
 
        private static void Ledger_EntryDeleted(object Sender, ObjectEventArgs e)
        {
            // TODO
        }
 
        internal static async Task<(int, int, int, int)> DeleteExpiredMachines()
        {
            int NrMachines = 0;
            int NrEventHandlers = 0;
            int NrCurrentStates = 0;
            int NrSamples = 0;
 
            IEnumerable<StateMachine> Deleted = await Database.FindDelete<StateMachine>(
                new FilterFieldLesserThan("Expires", DateTime.Today.AddDays(-1)));
 
            foreach (StateMachine Machine in Deleted)
            {
                NrMachines++;
 
                if (stateMachines.TryGetValue(Machine.StateMachineId, out CacheRecord Record))
                {
                    stateMachines.Remove(Machine.StateMachineId);
 
                    if (!string.IsNullOrEmpty(Record.CurrentState?.State) &&
                        Machine.TryGetState(Record.CurrentState.State, out State State) &&
                        !(State.OnEvent is null))
                    {
                        try
                        {
                            Variables Variables = Record.CurrentState.GetVariables(Machine);
                            EvaluationArguments Arguments = new EvaluationArguments(Variables,
                                Machine, null, Record.CurrentState, Record.Legal, Record.EDaler,
                                Record.Profiler);
 
                            await StateMachine.UnregisterEventHandlers(State.OnEvent, Arguments);
                        }
                        catch (Exception ex)
                        {
                            Log.Exception(ex);
                        }
                    }
                }
 
                IEnumerable<EventHandlers.EventHandler> EventHandlers = await Database.FindDelete<EventHandlers.EventHandler>(
                    new FilterFieldEqualTo("StateMachineId", Machine.StateMachineId));
 
                foreach (EventHandlers.EventHandler EventHandler in EventHandlers)
                {
                    NrEventHandlers++;
 
                    if (EventHandler is CachedEventHandler CachedEventHandler)
                        await CachedEventHandler.RemoveFromCache();
                }
 
                IEnumerable<CurrentState> CurrentStates = await Database.FindDelete<CurrentState>(
                    new FilterFieldEqualTo("StateMachineId", Machine.StateMachineId));
 
                foreach (CurrentState CurrentState in CurrentStates)
                    NrCurrentStates++;
 
                IEnumerable<StateMachineSample> Samples = await Database.FindDelete<StateMachineSample>(
                    new FilterFieldEqualTo("StateMachineId", Machine.StateMachineId.Value));
 
                foreach (StateMachineSample Sample in Samples)
                    NrSamples++;
            }
 
            return (NrMachines, NrEventHandlers, NrCurrentStates, NrSamples);
        }
 
        #region XMPP Interface
 
        internal static void RegisterHandlers(EDalerComponent EDaler)
        {
            eDaler = EDaler;
 
            EDaler.RegisterIqGetHandler("currentState", StateMachineNamespace, GetCurrentStateHandler, true);
            EDaler.RegisterIqGetHandler("profilingReport", StateMachineNamespace, GetProfilingReport, false);
            EDaler.RegisterIqGetHandler("presentReport", StateMachineNamespace, GetPresentReport, false);
            EDaler.RegisterIqGetHandler("historyReport", StateMachineNamespace, GetHistoryReport, false);
            EDaler.RegisterIqGetHandler("stateDiagram", StateMachineNamespace, GetStateDiagram, false);
        }
 
        internal static void UnregisterHandlers(EDalerComponent EDaler)
        {
            eDaler = null;
 
            EDaler.UnregisterIqGetHandler("currentState", StateMachineNamespace, GetCurrentStateHandler, true);
            EDaler.UnregisterIqGetHandler("profilingReport", StateMachineNamespace, GetProfilingReport, false);
            EDaler.UnregisterIqGetHandler("presentReport", StateMachineNamespace, GetPresentReport, false);
            EDaler.UnregisterIqGetHandler("historyReport", StateMachineNamespace, GetHistoryReport, false);
            EDaler.UnregisterIqGetHandler("stateDiagram", StateMachineNamespace, GetStateDiagram, false);
        }
 
        #region GetCurrentStateHandler
 
        private static async Task GetCurrentStateHandler(object Sender, IqEventArgs e)
        {
            string TokenId = XML.Attribute(e.Query, "tokenId");
            if (string.IsNullOrEmpty(TokenId))
            {
                await e.IqErrorBadRequest(e.To, "Missing Token ID.", "en");
                return;
            }
 
            CurrentState CurrentState = await GetCurrentState(TokenId, e);
            if (CurrentState is null)
                return;
 
            // TODO: Avoid exporting during active change, to protect integrity of state object.
 
            StringBuilder Xml = new StringBuilder();
            Export(CurrentState, Xml);
 
            await e.IqResult(Xml.ToString(), e.To);
        }
 
        internal static void Export(CurrentState CurrentState, StringBuilder Xml)
        {
            Xml.Append("<currentState xmlns='");
            Xml.Append(StateMachineNamespace);
            Xml.Append("' state='");
            Xml.Append(XML.Encode(CurrentState.State));
            Xml.Append("' ended='");
            Xml.Append(CommonTypes.Encode(CurrentState.HasEnded));
            Xml.Append("' running='");
            Xml.Append(CommonTypes.Encode(CurrentState.IsRunning));
            Xml.Append("' expires='");
            Xml.Append(XML.Encode(CurrentState.Expires));
            Xml.Append("'>");
 
            if (!(CurrentState.VariableValues is null))
            {
                foreach (CurrentStateVariable Variable in CurrentState.VariableValues)
                    AppendVariable(Xml, Variable.Name, Variable.Value);
            }
 
            Xml.Append("</currentState>");
        }
 
        internal static void AppendVariable(StringBuilder Xml, string Name, object Value)
        {
            Xml.Append("<variable name='");
            Xml.Append(XML.Encode(Name));
            Xml.Append("'>");
 
            if (Value is null)
                Xml.Append("<null/>");
            else if (Value is double dbl)
            {
                Xml.Append("<dbl>");
                Xml.Append(CommonTypes.Encode(dbl));
                Xml.Append("</dbl>");
            }
            else if (Value is float fl)
            {
                Xml.Append("<fl>");
                Xml.Append(CommonTypes.Encode(fl));
                Xml.Append("</fl>");
            }
            else if (Value is decimal dec)
            {
                Xml.Append("<dec>");
                Xml.Append(CommonTypes.Encode(dec));
                Xml.Append("</dec>");
            }
            else if (Value is int i32)
            {
                Xml.Append("<i32>");
                Xml.Append(i32.ToString());
                Xml.Append("</i32>");
            }
            else if (Value is long i64)
            {
                Xml.Append("<i64>");
                Xml.Append(i64.ToString());
                Xml.Append("</i64>");
            }
            else if (Value is short i16)
            {
                Xml.Append("<i16>");
                Xml.Append(i16.ToString());
                Xml.Append("</i16>");
            }
            else if (Value is sbyte i8)
            {
                Xml.Append("<i8>");
                Xml.Append(i8.ToString());
                Xml.Append("</i8>");
            }
            else if (Value is uint ui32)
            {
                Xml.Append("<ui32>");
                Xml.Append(ui32.ToString());
                Xml.Append("</ui32>");
            }
            else if (Value is ulong ui64)
            {
                Xml.Append("<ui64>");
                Xml.Append(ui64.ToString());
                Xml.Append("</ui64>");
            }
            else if (Value is ushort ui16)
            {
                Xml.Append("<ui16>");
                Xml.Append(ui16.ToString());
                Xml.Append("</ui16>");
            }
            else if (Value is byte ui8)
            {
                Xml.Append("<ui8>");
                Xml.Append(ui8.ToString());
                Xml.Append("</ui8>");
            }
            else if (Value is bool b)
            {
                Xml.Append("<b>");
                Xml.Append(CommonTypes.Encode(b));
                Xml.Append("</b>");
            }
            else if (Value is DateTime TP)
            {
                Xml.Append("<dt>");
                Xml.Append(XML.Encode(TP));
                Xml.Append("</dt>");
            }
            else if (Value is DateTimeOffset TPO)
            {
                Xml.Append("<dto>");
                Xml.Append(XML.Encode(TPO));
                Xml.Append("</dto>");
            }
            else if (Value is TimeSpan TS)
            {
                Xml.Append("<ts>");
                Xml.Append(XML.Encode(TS.ToString()));
                Xml.Append("</ts>");
            }
            else if (Value is Duration D)
            {
                Xml.Append("<d>");
                Xml.Append(XML.Encode(D.ToString()));
                Xml.Append("</d>");
            }
            else if (Value is string s)
            {
                Xml.Append("<s>");
                Xml.Append(XML.Encode(s));
                Xml.Append("</s>");
            }
            else
            {
                Xml.Append("<exp>");
                Xml.Append(XML.Encode(Expression.ToString(Value)));
                Xml.Append("</exp>");
            }
 
            Xml.Append("</variable>");
        }
 
        private static async Task<CacheRecord> GetCacheRecord(string TokenId, IqEventArgs e)
        {
            XmppAddress Addr = new XmppAddress(TokenId);
            if (!Addr.IsBareJID || !Guid.TryParse(Addr.Account, out _))
            {
                e?.IqErrorBadRequest(e.To, "Invalid Token ID.", "en");
                return null;
            }
 
            if (!eDaler.IsComponentDomain(Addr.Domain, true))
            {
                e?.IqErrorBadRequest(e.To, "Token not hosted by this neuron.", "en");
                return null;
            }
 
            Token Token = await NeuroFeaturesProcessor.GetToken(TokenId, true);
            if (Token is null)
            {
                e?.IqErrorItemNotFound(e.To, "Token not found.", "en");
                return null;
            }
 
            if (!(e is null) && !await NeuroFeaturesProcessor.IsAuthorizedAccess(Token, e))
                return null;
 
            CacheRecord Record = await GetStateMachine(Token.MachineId);
            if (Record is null)
            {
                e?.IqErrorItemNotFound(e.To, "State-Machine not found.", "en");
                return null;
            }
 
            return Record;
        }
 
        private static async Task<CurrentState> GetCurrentState(string TokenId, IqEventArgs e)
        {
            CacheRecord Record = await GetCacheRecord(TokenId, e);
            if (Record is null)
                return null;
 
            return Record.CurrentState;
        }
 
        #endregion
 
        #region GetProfilingReport
 
        internal static async Task<string> GetProfilingReportAsync(string TokenId, ReportFormat Format)
        {
            CacheRecord Record = await GetCacheRecord(TokenId, null);
            if (Record?.Profiler is null)
                return string.Empty;
 
            return await GetProfilingReport(Record.Profiler, Format);
        }
 
        private static async Task GetProfilingReport(object Sender, IqEventArgs e)
        {
            string TokenId = XML.Attribute(e.Query, "tokenId");
            if (string.IsNullOrEmpty(TokenId))
            {
                await e.IqErrorBadRequest(e.To, "Missing Token ID.", "en");
                return;
            }
 
            CacheRecord Record = await GetCacheRecord(TokenId, e);
            if (Record is null)
                return;
 
            // TODO: Avoid exporting during active change, to protect integrity of state object.
 
            if (Record?.Profiler is null)
            {
                await e.IqErrorServiceUnavailable(e.To, "Profiler not activated on the state-machine.", "en");
                return;
            }
 
            ReportFormat ReportFormat = XML.Attribute(e.Query, "format", ReportFormat.Markdown);
            StringBuilder Xml = new StringBuilder();
 
            Xml.Append("<report xmlns='");
            Xml.Append(StateMachineNamespace);
            Xml.Append("'>");
            Xml.Append(XML.Encode(await GetProfilingReport(Record.Profiler, ReportFormat)));
            Xml.Append("</report>");
 
            await e.IqResult(Xml.ToString(), e.To);
        }
 
        private static Task<string> GetProfilingReport(Profiler Profiler, ReportFormat Format)
        {
            StringBuilder Markdown = new StringBuilder();
 
            Markdown.AppendLine("Timing Diagram");
            Markdown.AppendLine("==================");
            Markdown.AppendLine();
            Markdown.AppendLine("```uml");
            Profiler.ExportPlantUml(Markdown, TimeUnit.DynamicPerProfiling);
            Markdown.AppendLine("```");
 
            int i, c = Profiler.NoteCount;
 
            for (i = 1; i <= c; i++)
            {
                if (Profiler.TryGetNote(i, out object Note))
                {
                    Markdown.AppendLine();
                    Markdown.Append("Note ");
                    Markdown.AppendLine(i.ToString());
                    Markdown.AppendLine("-----------------");
                    Markdown.AppendLine();
 
                    if (Note is string s)
                    {
                        if (s.StartsWith("@startjson") && s.EndsWith("@endjson"))
                        {
                            Markdown.AppendLine("```uml");
                            Markdown.AppendLine(s);
                            Markdown.AppendLine("```");
                        }
                        else
                            Markdown.AppendLine(MarkdownDocument.Encode(s));
                    }
                    else if (Note is ScriptRuntimeException ScriptError)
                    {
                        Markdown.AppendLine(MarkdownDocument.Encode(ScriptError.Message));
                        Markdown.AppendLine();
                        Markdown.AppendLine("```");
                        Markdown.AppendLine(ScriptError.Node?.SubExpression ?? ScriptError.StackTrace);
                        Markdown.AppendLine("```");
                    }
                    else if (Note is Exception ex)
                    {
                        Markdown.AppendLine(MarkdownDocument.Encode(ex.Message));
                        Markdown.AppendLine();
                        Markdown.AppendLine("```");
                        Markdown.AppendLine(ex.StackTrace);
                        Markdown.AppendLine("```");
                    }
                    else
                    {
                        Markdown.AppendLine("```uml");
                        Markdown.AppendLine("@startjson");
                        Markdown.AppendLine(JSON.Encode(Note, true));
                        Markdown.AppendLine("@endjson");
                        Markdown.AppendLine("```");
                    }
                }
            }
 
            return NeuroFeaturesProcessor.FormatReport(Markdown.ToString(), Format, HttpServer.CreateVariables());
        }
 
        #endregion
 
        #region GetPresentReport
 
        internal static async Task<string> GetPresentReportAsync(Token Token, ReportFormat Format)
        {
            CacheRecord Record = await GetStateMachine(Token);
            if (Record is null)
                return string.Empty;
 
            return await GetPresentReport(Record, Format);
        }
 
        private static async Task GetPresentReport(object Sender, IqEventArgs e)
        {
            string TokenId = XML.Attribute(e.Query, "tokenId");
            if (string.IsNullOrEmpty(TokenId))
            {
                await e.IqErrorBadRequest(e.To, "Missing Token ID.", "en");
                return;
            }
 
            CacheRecord Record = await GetCacheRecord(TokenId, e);
            if (Record is null)
                return;
 
            // TODO: Avoid exporting during active change, to protect integrity of state object.
 
            ReportFormat ReportFormat = XML.Attribute(e.Query, "format", ReportFormat.Markdown);
            StringBuilder Xml = new StringBuilder();
 
            Xml.Append("<report xmlns='");
            Xml.Append(StateMachineNamespace);
            Xml.Append("'>");
            Xml.Append(XML.Encode(await GetPresentReport(Record, ReportFormat)));
            Xml.Append("</report>");
 
            await e.IqResult(Xml.ToString(), e.To);
        }
 
        private static Task<string> GetPresentReport(CacheRecord Record, ReportFormat Format)
        {
            string Markdown = null;
 
            foreach (IStateMachineNode Node in Record.Machine.Root.ChildNodes)
            {
                if (Node is ReportPresent Report)
                {
                    Markdown = Report.Markdown;
                    break;
                }
            }
 
            if (string.IsNullOrEmpty(Markdown))
                return Task.FromResult(string.Empty);
 
            Variables Variables = Record.CurrentState.GetVariables(Record.Machine);
 
            return NeuroFeaturesProcessor.FormatReport(Markdown, Format, Variables);
        }
 
        #endregion
 
        #region GetHistoryReport
 
        internal static async Task<string> GetHistoryReportAsync(Token Token, ReportFormat Format)
        {
            CacheRecord Record = await GetStateMachine(Token);
            if (Record is null)
                return string.Empty;
 
            return await GetHistoryReport(Record, Format);
        }
 
        private static async Task GetHistoryReport(object Sender, IqEventArgs e)
        {
            string TokenId = XML.Attribute(e.Query, "tokenId");
            if (string.IsNullOrEmpty(TokenId))
            {
                await e.IqErrorBadRequest(e.To, "Missing Token ID.", "en");
                return;
            }
 
            CacheRecord Record = await GetCacheRecord(TokenId, e);
            if (Record is null)
                return;
 
            // TODO: Avoid exporting during active change, to protect integrity of state object.
 
            ReportFormat ReportFormat = XML.Attribute(e.Query, "format", ReportFormat.Markdown);
            StringBuilder Xml = new StringBuilder();
 
            Xml.Append("<report xmlns='");
            Xml.Append(StateMachineNamespace);
            Xml.Append("'>");
            Xml.Append(XML.Encode(await GetHistoryReport(Record, ReportFormat)));
            Xml.Append("</report>");
 
            await e.IqResult(Xml.ToString(), e.To);
        }
 
        private static async Task<string> GetHistoryReport(CacheRecord Record, ReportFormat Format)
        {
            string Markdown = null;
 
            foreach (IStateMachineNode Node in Record.Machine.Root.ChildNodes)
            {
                if (Node is ReportHistory Report)
                {
                    Markdown = Report.Markdown;
                    break;
                }
            }
 
            if (string.IsNullOrEmpty(Markdown))
                return string.Empty;
 
            Dictionary<string, SortedDictionary<DateTime, StateMachineSample>> ByVariableAndTime = new Dictionary<string, SortedDictionary<DateTime, StateMachineSample>>();
            SortedDictionary<DateTime, StateMachineSample> ByTime = null;
            IEnumerable<StateMachineSample> Samples = await Database.Find<StateMachineSample>(
                new FilterFieldEqualTo("StateMachineId", Record.Machine.StateMachineId.Value),
                "Variable", "Timestamp");
            string LastVariable = null;
            Variables Variables = Record.CurrentState.GetVariables(Record.Machine);
            DateTime Now = DateTime.UtcNow;
 
            foreach (StateMachineSample Sample in Samples)
            {
                if (ByTime is null || Sample.Variable != LastVariable)
                {
                    LastVariable = Sample.Variable;
 
                    if (!ByVariableAndTime.TryGetValue(LastVariable, out ByTime))
                    {
                        ByTime = new SortedDictionary<DateTime, StateMachineSample>(timestampDescending);
                        ByVariableAndTime[LastVariable] = ByTime;
                    }
                }
 
                ByTime[Sample.Timestamp] = Sample;
            }
 
            foreach (KeyValuePair<string, SortedDictionary<DateTime, StateMachineSample>> P in ByVariableAndTime)
            {
                if (Variables.TryGetVariable(P.Key, out Script.Variable v))
                {
                    P.Value[Now] = new StateMachineSample()
                    {
                        StateMachineId = Record.Machine.StateMachineId,
                        Variable = P.Key,
                        Value = v.ValueObject,
                        Timestamp = Now,
                        Expires = Record.Machine.Expires,
                        ArchiveOptional = Record.Machine.ArchiveOptional,
                        ArchiveRequired = Record.Machine.ArchiveRequired
                    };
                }
 
                StateMachineSample[] History = new StateMachineSample[P.Value.Count];
                P.Value.Values.CopyTo(History, 0);
                Variables[P.Key] = History;
            }
 
            return await NeuroFeaturesProcessor.FormatReport(Markdown, Format, Variables);
        }
 
        private class TimestampDescending : IComparer<DateTime>
        {
            public int Compare(DateTime x, DateTime y)
            {
                return y.CompareTo(x);
            }
        }
 
        private static readonly TimestampDescending timestampDescending = new TimestampDescending();
 
        #endregion
 
        #region GetStateDiagram
 
        internal static async Task<string> GetStateDiagramAsync(Token Token, ReportFormat Format)
        {
            CacheRecord Record = await GetStateMachine(Token);
            if (Record is null)
                return string.Empty;
 
            return await GetStateDiagram(Record, Format);
        }
 
        private static async Task GetStateDiagram(object Sender, IqEventArgs e)
        {
            string TokenId = XML.Attribute(e.Query, "tokenId");
            if (string.IsNullOrEmpty(TokenId))
            {
                await e.IqErrorBadRequest(e.To, "Missing Token ID.", "en");
                return;
            }
 
            CacheRecord Record = await GetCacheRecord(TokenId, e);
            if (Record is null)
                return;
 
            // TODO: Avoid exporting during active change, to protect integrity of state object.
 
            ReportFormat ReportFormat = XML.Attribute(e.Query, "format", ReportFormat.Markdown);
            StringBuilder Xml = new StringBuilder();
 
            Xml.Append("<report xmlns='");
            Xml.Append(StateMachineNamespace);
            Xml.Append("'>");
            Xml.Append(XML.Encode(await GetStateDiagram(Record, ReportFormat)));
            Xml.Append("</report>");
 
            await e.IqResult(Xml.ToString(), e.To);
        }
 
        private static async Task<string> GetStateDiagram(CacheRecord Record, ReportFormat Format)
        {
            StringBuilder Markdown = new StringBuilder();
            StateMachine Machine = Record.Machine;
            Dictionary<string, string> States = new Dictionary<string, string>();
            LinkedList<State> StateNodes = new LinkedList<State>();
            string s;
            int AIndex = 0;
 
            Markdown.AppendLine("```uml");
            Markdown.AppendLine("@startuml");
            Markdown.AppendLine();
            Markdown.AppendLine("skinparam state {");
            Markdown.AppendLine("\tFontSize 12");
            Markdown.AppendLine("\tFontStyle Italic");
            Markdown.AppendLine("\tAttributeFontSize 18");
            Markdown.AppendLine("\tBackgroundColor<<Action>> LightSalmon");
            Markdown.AppendLine("\tBackgroundColor<<Calc>> LightBlue");
            Markdown.AppendLine("\tBackgroundColor<<Current>> LightGreen");
            Markdown.AppendLine("\tFontStyle<<Current>> Bold, Italic");
            Markdown.AppendLine("\tAttributeFontStyle<<Current>> Bold");
            Markdown.AppendLine("\tBorderColor<<Current>> Black");
            Markdown.AppendLine("}");
            Markdown.AppendLine();
            Markdown.AppendLine("skinparam note {");
            Markdown.AppendLine("\tBackgroundColor<<Warning>> Salmon");
            Markdown.AppendLine("}");
            Markdown.AppendLine();
 
            Markdown.AppendLine("state \"Initialize\" as Init");
            Markdown.AppendLine("[*] --> Init");
 
            Markdown.Append("Init --> ");
            Markdown.AppendLine(GetStateLabel(States, Machine.Root.StartState));
 
            foreach (IStateMachineNode Node in Machine.Root.ChildNodes)
            {
                if (Node is Model.Variable Variable)
                {
                    Markdown.Append("Init : ");
                    Markdown.Append(Variable.Id);
 
                    if (Record.CurrentState.TryGetVariable(Variable.Id, out CurrentStateVariable StateVariable) &&
                        !string.IsNullOrEmpty(StateVariable.InitExpression))
                    {
                        Markdown.Append(":=");
                        Markdown.Append(EncodeLabel(StateVariable.InitExpression));
                    }
 
                    Markdown.AppendLine();
                }
                else if (Node is State State)
                {
                    StateNodes.AddLast(State);
 
                    Markdown.AppendLine();
                    Markdown.Append("state \"State\" as ");
                    Markdown.Append(GetStateLabel(States, State.Id));
 
                    if (State.Id == Record.CurrentState.State)
                        Markdown.Append(" <<Current>>");
 
                    Markdown.Append(" : ");
                    Markdown.AppendLine(EncodeLabel(State.Id));
                }
            }
 
            foreach (State State in StateNodes)
            {
                s = GetStateLabel(States, State.Id);
 
                if (State.OnEvent is null)
                {
                    Markdown.Append("note right of ");
                    Markdown.Append(s);
                    Markdown.AppendLine(" <<Warning>> : No events defined.");
                    continue;
                }
 
                foreach (OnEvent Event in State.OnEvent)
                    GenerateEventStateDiagram(Event, Markdown, State, ref AIndex, s, States, Machine);
 
                Markdown.AppendLine();
            }
 
            Markdown.AppendLine("@enduml");
            Markdown.AppendLine("```");
 
            return await NeuroFeaturesProcessor.FormatReport(Markdown.ToString(), Format, HttpServer.CreateVariables());
        }
 
        private static void GenerateEventStateDiagram(OnEvent Event, StringBuilder Markdown,
            State State, ref int AIndex, string s, Dictionary<string, string> States,
            StateMachine Machine)
        {
            string s2;
            string s3 = Event.Event.Label;
 
            if (!(State.OnLeave is null))
            {
                foreach (OnLeave OnLeave in State.OnLeave)
                {
                    AIndex++;
                    s2 = "A" + AIndex.ToString();
 
                    Markdown.Append("state \"OnLeave Action\" as ");
                    Markdown.Append(s2);
                    Markdown.Append(" <<Action>> : ");
                    Markdown.AppendLine(EncodeLabel(OnLeave.ActionReferenceDefinition));
 
                    Markdown.Append(s);
                    Markdown.Append(" --> ");
                    Markdown.Append(s2);
 
                    if (!string.IsNullOrEmpty(s3))
                    {
                        Markdown.Append(" : ");
                        Markdown.Append(EncodeLabel(s3));
                        s3 = string.Empty;
                    }
 
                    Markdown.AppendLine();
                    s = s2;
                }
            }
 
            if (Event.HasActionReference)
            {
                AIndex++;
                s2 = "A" + AIndex.ToString();
 
                Markdown.Append("state \"Event Action\" as ");
                Markdown.Append(s2);
                Markdown.Append(" <<Action>> : ");
                Markdown.AppendLine(EncodeLabel(Event.ActionReferenceDefinition));
 
                Markdown.Append(s);
                Markdown.Append(" --> ");
                Markdown.Append(s2);
 
                if (!string.IsNullOrEmpty(s3))
                {
                    Markdown.Append(" : ");
                    Markdown.Append(EncodeLabel(s3));
                    s3 = string.Empty;
                }
 
                Markdown.AppendLine();
                s = s2;
 
                if (Event.HasFailureState)
                    s3 = "OK";
            }
            else if (Event.HasFailureState)
            {
                if (string.IsNullOrEmpty(s3))
                    s3 = "OK";
                else
                    s3 += " and OK";
            }
 
            ActionReference[] Actions;
            bool Termination;
 
            if (Event.HasNewState && Machine.TryGetState(Event.NewStateDefinition, out State NewState))
            {
                Actions = NewState.OnEnter;
                Termination = NewState.IsDone(Machine);
            }
            else
            {
                Actions = null;
                Termination = false;
            }
 
            GenerateOnEnterBranch(Event, Markdown, State, ref AIndex, s, States,
                Actions, s3, Event.NewStateDefinition, Termination);
 
            if (Event.HasFailureState)
            {
                if (Machine.TryGetState(Event.FailureStateDefinition, out State FailureState))
                {
                    Actions = FailureState.OnEnter;
                    Termination = FailureState.IsDone(Machine);
                }
                else
                {
                    Actions = null;
                    Termination = false;
                }
 
                GenerateOnEnterBranch(Event, Markdown, State, ref AIndex, s, States,
                    Actions, "Error", Event.FailureStateDefinition, Termination);
            }
        }
 
        private static void GenerateOnEnterBranch(OnEvent Event, StringBuilder Markdown,
            State State, ref int AIndex, string s, Dictionary<string, string> States,
            ActionReference[] Actions, string s3, string NewState, bool Termination)
        {
            string s2;
 
            if (!(Actions is null) && !Termination)
            {
                foreach (ActionReference Action in Actions)
                {
                    AIndex++;
                    s2 = "A" + AIndex.ToString();
 
                    Markdown.Append("state \"OnEnter Action\" as ");
                    Markdown.Append(s2);
                    Markdown.Append(" <<Action>> : ");
                    Markdown.AppendLine(EncodeLabel(Action.ActionReferenceDefinition));
 
                    Markdown.Append(s);
                    Markdown.Append(" --> ");
                    Markdown.Append(s2);
 
                    if (!string.IsNullOrEmpty(s3))
                    {
                        Markdown.Append(" : ");
                        Markdown.Append(EncodeLabel(s3));
                        s3 = string.Empty;
                    }
 
                    Markdown.AppendLine();
                    s = s2;
                }
            }
 
            if (Termination)
                s2 = "[*]";
            else
            {
                if (string.IsNullOrEmpty(NewState))
                    NewState = State.Id;
 
                bool VarState = !States.ContainsKey(NewState);
 
                s2 = GetStateLabel(States, NewState);
 
                if (VarState)
                {
                    Markdown.Append("state \"Calc\" as ");
                    Markdown.Append(s2);
                    Markdown.Append(" <<Calc>> : ");
                    Markdown.AppendLine(EncodeLabel(Event.NewStateDefinition));
 
                    Markdown.Append("note right of ");
                    Markdown.Append(s2);
                    Markdown.AppendLine(" <<Warning>> : Variable state, through script.");
                }
            }
 
            Markdown.Append(s);
            Markdown.Append(" --> ");
            Markdown.Append(s2);
 
            if (!string.IsNullOrEmpty(s3))
            {
                Markdown.Append(" : ");
                Markdown.Append(EncodeLabel(s3));
            }
 
            Markdown.AppendLine();
        }
 
 
        private static string GetStateLabel(Dictionary<string, string> States, string StateId)
        {
            if (!States.TryGetValue(StateId, out string Id))
            {
                int Index = States.Count + 1;
                States[StateId] = Id = "S" + Index.ToString();
            }
 
            return Id;
        }
 
        private static string EncodeLabel(string s)
        {
            return s.
                Replace("\\", "\\\\").
                Replace("\"", "'").
                Replace("\a", "\\a").
                Replace("\b", "\\b").
                Replace("\f", "\\f").
                Replace("\n", "\\n").
                Replace("\r", "\\r").
                Replace("\t", "\\t").
                Replace("\v", "\\v");
        }
 
        #endregion
 
        #endregion
 
    }
}