| | | 1 | | #region Usings |
| | | 2 | | using System.Text.Encodings.Web; |
| | | 3 | | using System.Text.Unicode; |
| | | 4 | | #endregion |
| | | 5 | | |
| | | 6 | | namespace ZhEaIsNsAaBn.DbSeeder.Design; |
| | | 7 | | |
| | | 8 | | /// <summary> |
| | | 9 | | /// The one canonical JSON text of a provider value (§4.4): invariant culture, dates <c>"O"</c>, <c>decimal</c> as a num |
| | | 10 | | /// base64, Guid lower case, text with <see cref="UnicodeRanges.All"/> (Arabic stays readable). Files are written with i |
| | | 11 | | /// diffed by it, so "unchanged" means byte-identical. |
| | | 12 | | /// </summary> |
| | | 13 | | internal static class SeedJsonValue |
| | | 14 | | { |
| | 3 | 15 | | private static readonly JsonSerializerOptions Options = new() { Encoder = JavaScriptEncoder.Create( UnicodeRanges.Al |
| | | 16 | | |
| | | 17 | | |
| | | 18 | | public static string Format( object? value ) |
| | 5427 | 19 | | => value switch |
| | 5427 | 20 | | { |
| | 156 | 21 | | null => "null", |
| | 3012 | 22 | | string text => Text( text ), |
| | 0 | 23 | | char character => Text( character.ToString() ), |
| | 0 | 24 | | bool flag => flag ? "true" : "false", |
| | 0 | 25 | | DateTime date => Text( date.ToString( "O", CultureInfo.InvariantCulture ) ), |
| | 0 | 26 | | DateTimeOffset date => Text( date.ToString( "O", CultureInfo.InvariantCulture ) ), |
| | 0 | 27 | | DateOnly date => Text( date.ToString( "yyyy-MM-dd", CultureInfo.InvariantCulture ) ), |
| | 0 | 28 | | TimeOnly time => Text( time.ToString( "HH:mm:ss.fffffff", CultureInfo.InvariantCulture ) ), |
| | 0 | 29 | | TimeSpan span => Text( span.ToString( "c", CultureInfo.InvariantCulture ) ), |
| | 0 | 30 | | Guid guid => Text( guid.ToString( "D" ) ), |
| | 0 | 31 | | byte[] bytes => Text( Convert.ToBase64String( bytes ) ), |
| | 0 | 32 | | double number => number.ToString( "R", CultureInfo.InvariantCulture ), |
| | 0 | 33 | | float number => number.ToString( "R", CultureInfo.InvariantCulture ), |
| | 4518 | 34 | | IFormattable number when IsInteger( number ) || number is decimal => number.ToString( null, CultureIn |
| | 0 | 35 | | _ => JsonSerializer.Serialize( value, value.GetType(), Options ) |
| | 5427 | 36 | | }; |
| | | 37 | | |
| | | 38 | | /// A JSON string literal. |
| | 13623 | 39 | | public static string Text( string value ) => JsonSerializer.Serialize( value, Options ); |
| | | 40 | | |
| | 2259 | 41 | | private static bool IsInteger( object value ) => value is sbyte or byte or short or ushort or int or uint or long or |
| | | 42 | | } |