修改水面数据

13693261870

2024-07-22 052c83d9d32880ed81110152d989705735f801bc

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
using Newtonsoft.Json;
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;
 
namespace SimuTools.Domain
{
    public class Extension
    {
        [JsonIgnore]
        private static readonly object _obj = new object();
 
        public double minx { set; get; }
 
        public double miny { set; get; }
 
        public double maxx { set; get; }
 
        public double maxy { set; get; }
 
        public double minHeight { set; get; }
 
        public double maxHeight { set; get; }
 
        public Extension() { }
 
        public Extension(double minx, double miny, double maxx, double maxy)
        {
            this.minx = minx;
            this.miny = miny;
            this.maxx = maxx;
            this.maxy = maxy;
        }
 
        public Extension(double minHeight, double maxHeight)
        {
            this.minHeight = minHeight;
            this.maxHeight = maxHeight;
        }
 
        public Extension(double minx, double miny, double maxx, double maxy, double minHeight, double maxHeight)
        {
            this.minx = minx;
            this.miny = miny;
            this.maxx = maxx;
            this.maxy = maxy;
            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;
            }
        }
    }
}