Hdf: SourceLocation's Line and Ref are optional

Signed-off-by: Craig Andrews <[email protected]>
microsoft · Jul 28, 2023 · f484805 · f484805
1 parent c6e7b20
commit f484805
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/Sarif.Converters/HdfModel/SourceLocation.cs b/src/Sarif.Converters/HdfModel/SourceLocation.cs
@@ -10,13 +10,13 @@ public partial class SourceLocation
         /// <summary>
         /// The line at which this statement is located in the file
         /// </summary>
-        [JsonProperty("line", Required = Required.Default)]
-        public double Line { get; set; }
+        [JsonProperty("line", Required = Required.DisallowNull, NullValueHandling = NullValueHandling.Ignore)]
+        public int? Line { get; set; }
 
         /// <summary>
         /// Path to the file that this statement originates from
         /// </summary>
-        [JsonProperty("ref", Required = Required.Default)]
+        [JsonProperty("ref", Required = Required.DisallowNull, NullValueHandling = NullValueHandling.Ignore)]
         public string Ref { get; set; }
     }
 }