TextDiagnosticFormat.cs

Go to the documentation of this file.

using System;
using System.Buffers;
using System.IO;
using System.Text;
using System.Threading;
using System.Threading.Tasks;
 
using IKVM.CoreLib.Buffers;
using IKVM.CoreLib.Text;
 
namespace IKVM.CoreLib.Diagnostics
{
 
    static class TextDiagnosticFormat
    {
 
        public static void Write(int id, DiagnosticLevel level, string message, object?[] args, Exception? exception, DiagnosticLocation location, TextWriter writer)
        {
            var buffer = MemoryPool<byte>.Shared.Rent(65535);
 
            try
            {
                var wrt = new MemoryBufferWriter<byte>(buffer.Memory);
                Write(id, level, message, args, exception, location, ref wrt, writer.Encoding);
                writer.Write(writer.Encoding.GetString(buffer.Memory.Span[..wrt.WrittenCount]));
            }
            finally
            {
                buffer.Dispose();
            }
        }
 
        public static async ValueTask WriteAsync(int id, DiagnosticLevel level, string message, object?[] args, Exception? exception, DiagnosticLocation location, TextWriter writer, CancellationToken cancellationToken)
        {
            var buffer = MemoryPool<byte>.Shared.Rent(65535);
 
            try
            {
                var wrt = new MemoryBufferWriter<byte>(buffer.Memory);
                Write(id, level, message, args, exception, location, ref wrt, writer.Encoding);
                await writer.WriteAsync(writer.Encoding.GetString(buffer.Memory.Span[..wrt.WrittenCount]));
            }
            finally
            {
                buffer.Dispose();
            }
        }
 
        public static void Write<TWriter>(int id, DiagnosticLevel level, string message, object?[] args, Exception? exception, DiagnosticLocation location, ref TWriter writer, Encoding? encoding = null)
            where TWriter : IBufferWriter<byte>
        {
            var encoder = new EncodingByteBufferWriter<TWriter>(encoding ?? Encoding.UTF8, ref writer);
            WriteDiagnosticEvent(ref encoder, id, level, message, args, exception, location);
        }
 
        static void WriteDiagnosticEvent<TWriter>(ref EncodingByteBufferWriter<TWriter> writer, int id, DiagnosticLevel level, string message, object?[] args, Exception? exception, DiagnosticLocation location)
            where TWriter : IBufferWriter<byte>
        {
            WriteDiagnosticLocation(ref writer, location);
            WriteDiagnosticLevel(ref writer, level);
            writer.Write(" ");
            WriteDiagnosticCode(ref writer, id);
            writer.Write(": ");
            WriteDiagnosticMessage(ref writer, message, args);
        }
 
        static void WriteDiagnosticLocation<TWriter>(ref EncodingByteBufferWriter<TWriter> writer, in DiagnosticLocation location)
            where TWriter : IBufferWriter<byte>
        {
            var any = false;
 
            if (location.Path != null)
            {
                writer.Write(location.Path);
                any = true;
            }
 
            if (location.StartLine > 0)
            {
                any = true;
 
                if (location.StartColumn > 0)
                {
                    if (location.EndColumn > 0)
                    {
                        if (location.EndLine > 0)
                        {
                            writer.Write($"({location.StartLine},{location.StartColumn},{location.EndLine},{location.EndColumn})");
                        }
                        else
                        {
                            writer.Write($"({location.StartLine},{location.StartColumn}-{location.EndColumn})");
                        }
                    }
                    else
                    {
                        writer.Write($"({location.StartLine},{location.StartColumn})");
                    }
                }
                else if (location.EndLine > 0)
                {
                    writer.Write($"({location.StartLine}-{location.EndLine})");
                }
                else
                {
                    writer.Write($"({location.StartLine})");
                }
            }
 
            if (any)
                writer.Write(" : ");
        }
 
        static void WriteDiagnosticLevel<TWriter>(ref EncodingByteBufferWriter<TWriter> writer, DiagnosticLevel level)
            where TWriter : IBufferWriter<byte>
        {
            writer.Write(level switch
            {
                DiagnosticLevel.Trace => "trace",
                DiagnosticLevel.Info => "info",
                DiagnosticLevel.Warning => "warning",
                DiagnosticLevel.Error => "error",
                DiagnosticLevel.Fatal => "fatal",
                _ => throw new InvalidOperationException(),
            });
        }
 
        static void WriteDiagnosticCode<TWriter>(ref EncodingByteBufferWriter<TWriter> writer, int code)
            where TWriter : IBufferWriter<byte>
        {
            writer.Write("IKVM");
#if NETFRAMEWORK
            writer.Write($"{code:D4}");
#else
            var buf = (Span<char>)stackalloc char[16];
            if (code.TryFormat(buf, out var l, "D4") == false)
                throw new InvalidOperationException();
 
            writer.Write(buf[..l]);
#endif
        }
 
        static void WriteDiagnosticMessage<TWriter>(ref EncodingByteBufferWriter<TWriter> writer, string message, object?[] args)
            where TWriter : IBufferWriter<byte>
        {
            writer.Write(string.Format(null, message, args));
        }
 
    }
 
}