| | | 1 | | using System.Diagnostics.CodeAnalysis; |
| | | 2 | | using System.Text.Json.Serialization; |
| | | 3 | | using Spdx3.Exceptions; |
| | | 4 | | using Spdx3.Serialization; |
| | | 5 | | using Spdx3.Utility; |
| | | 6 | | |
| | | 7 | | namespace Spdx3.Model.Core.Classes; |
| | | 8 | | |
| | | 9 | | /// <summary> |
| | | 10 | | /// A mapping between prefixes and namespace partial URIs. |
| | | 11 | | /// See https://spdx.github.io/spdx-spec/v3.0.1/model/Core/Classes/PositiveIntegerRange/ |
| | | 12 | | /// </summary> |
| | | 13 | | public class PositiveIntegerRange : BaseModelClass |
| | | 14 | | { |
| | 16 | 15 | | private int _beginIntegerRange = 1; |
| | | 16 | | |
| | 16 | 17 | | private int _endIntegerRange = int.MaxValue; |
| | | 18 | | |
| | | 19 | | [JsonPropertyName("beginIntegerRange")] |
| | | 20 | | [JsonConverter(typeof(SpdxModelConverterFactory))] |
| | | 21 | | public required int BeginIntegerRange |
| | | 22 | | { |
| | 5 | 23 | | get => _beginIntegerRange; |
| | | 24 | | set |
| | | 25 | | { |
| | 14 | 26 | | if (value < 1) |
| | | 27 | | { |
| | 2 | 28 | | throw new Spdx3Exception($"Value of {value} is not a positive non-zero integer", |
| | 2 | 29 | | new ArgumentOutOfRangeException(nameof(BeginIntegerRange))); |
| | | 30 | | } |
| | | 31 | | |
| | 12 | 32 | | if (value > _endIntegerRange) |
| | | 33 | | { |
| | 1 | 34 | | throw new Spdx3Exception($"Value of {value} cannot exceed end integer value of {_endIntegerRange}", |
| | 1 | 35 | | new ArgumentOutOfRangeException(nameof(BeginIntegerRange))); |
| | | 36 | | } |
| | | 37 | | |
| | 11 | 38 | | _beginIntegerRange = value; |
| | 11 | 39 | | } |
| | | 40 | | } |
| | | 41 | | |
| | | 42 | | |
| | | 43 | | [JsonPropertyName("endIntegerRange")] |
| | | 44 | | [JsonConverter(typeof(SpdxModelConverterFactory))] |
| | | 45 | | public required int EndIntegerRange |
| | | 46 | | { |
| | 5 | 47 | | get => _endIntegerRange; |
| | | 48 | | set |
| | | 49 | | { |
| | 14 | 50 | | if (value < 1) |
| | | 51 | | { |
| | 2 | 52 | | throw new Spdx3Exception($"Value of {value} is not a positive non-zero integer", |
| | 2 | 53 | | new ArgumentOutOfRangeException(nameof(EndIntegerRange))); |
| | | 54 | | } |
| | | 55 | | |
| | 12 | 56 | | if (value < _beginIntegerRange) |
| | | 57 | | { |
| | 1 | 58 | | throw new Spdx3Exception( |
| | 1 | 59 | | $"Value of {value} cannot be less than begin integer value of {_beginIntegerRange}", |
| | 1 | 60 | | new ArgumentOutOfRangeException(nameof(EndIntegerRange))); |
| | | 61 | | } |
| | | 62 | | |
| | 11 | 63 | | _endIntegerRange = value; |
| | 11 | 64 | | } |
| | | 65 | | } |
| | | 66 | | |
| | | 67 | | // protected internal no-parm constructor required for deserialization |
| | | 68 | | // ReSharper disable once UnusedMember.Global |
| | 3 | 69 | | protected internal PositiveIntegerRange() |
| | | 70 | | { |
| | 3 | 71 | | } |
| | | 72 | | |
| | | 73 | | [SetsRequiredMembers] |
| | 13 | 74 | | public PositiveIntegerRange(Catalog catalog, int beginIntegerRange, int endIntegerRange) : base(catalog) |
| | | 75 | | { |
| | 13 | 76 | | if (beginIntegerRange < 1) |
| | | 77 | | { |
| | 2 | 78 | | throw new Spdx3Exception("beginIntegerRange must be a positive, non-zero integer"); |
| | | 79 | | } |
| | | 80 | | |
| | 11 | 81 | | if (endIntegerRange < beginIntegerRange) |
| | | 82 | | { |
| | 1 | 83 | | throw new Spdx3Exception("endIntegerRange must be >= beginIntegerRange"); |
| | | 84 | | } |
| | | 85 | | |
| | 10 | 86 | | BeginIntegerRange = beginIntegerRange; |
| | 10 | 87 | | EndIntegerRange = endIntegerRange; |
| | 10 | 88 | | } |
| | | 89 | | |
| | | 90 | | public override void Validate() |
| | | 91 | | { |
| | 2 | 92 | | base.Validate(); |
| | 1 | 93 | | ValidateRequiredProperty(nameof(BeginIntegerRange)); |
| | 1 | 94 | | ValidateRequiredProperty(nameof(EndIntegerRange)); |
| | 1 | 95 | | } |
| | | 96 | | } |