Dec.cs

using System;
using System.Collections.Generic;
using System.IO;
using System.Threading.Tasks;
using Waher.Script;
 
namespace TAG.Simulator.ObjectModel.Activities
{
    public class Dec : CounterActivityNode
    {
        public Dec(ISimulationNode Parent, Model Model)
            : base(Parent, Model)
        {
        }
 
        public override string LocalName => nameof(Dec);
 
        public override ISimulationNode Create(ISimulationNode Parent, Model Model)
        {
            return new Dec(Parent, Model);
        }
 
        public override async Task<LinkedListNode<IActivityNode>> Execute(Variables Variables)
        {
            this.Model.DecrementCounter(await this.GetCounterAsync(Variables));
            return null;
        }
 
        public override void ExportPlantUml(StreamWriter Output, int Indentation, char QuoteChar)
        {
            Indent(Output, Indentation);
            Output.Write(":Dec(");
            Output.Write(this.counter.Value);
            Output.WriteLine(");");
        }
    }
}