修改水面数据

13693261870

2024-07-22 052c83d9d32880ed81110152d989705735f801bc

 SimuTools/Domain/Extension.cs

@@ -1,4 +1,5 @@
using System;
using Newtonsoft.Json;
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
@@ -8,17 +9,20 @@
{
    public class Extension
    {
        private double minx { set; get; }
        [JsonIgnore]
        private static readonly object _obj = new object();

        private double miny { set; get; }
        public double minx { set; get; }

        private double maxx { set; get; }
        public double miny { set; get; }

        private double maxy { set; get; }
        public double maxx { set; get; }

        private double minHeight { set; get; }
        public double maxy { set; get; }

        private double maxHeight { set; get; }
        public double minHeight { set; get; }

        public double maxHeight { set; get; }

        public Extension() { }

@@ -45,5 +49,14 @@
            this.minHeight = minHeight;
            this.maxHeight = maxHeight;
        }

        public void SetHeight(double minHeight, double maxHeight)
        {
            lock (_obj)
            {
                if (this.minHeight > minHeight) this.minHeight = minHeight;
                if (this.maxHeight < maxHeight) this.maxHeight = maxHeight;
            }
        }
    }
}