codeql/csharp/extractor/Semmle.Extraction.CSharp/Entities/Locations/GeneratedLocation.cs

using System.IO;

namespace Semmle.Extraction.CSharp.Entities
{
    public class GeneratedLocation : SourceLocation
    {
        private readonly File generatedFile;

        private GeneratedLocation(Context cx)
            : base(cx, null)
        {
            generatedFile = GeneratedFile.Create(cx);
        }

        public override void Populate(TextWriter trapFile)
        {
            trapFile.locations_default(this, generatedFile, 0, 0, 0, 0);
        }

        public override void WriteId(EscapingTextWriter trapFile)
        {
            trapFile.Write("loc,");
            trapFile.WriteSubId(generatedFile);
            trapFile.Write(",0,0,0,0");
        }

        public override int GetHashCode() => 98732567;

        public override bool Equals(object? obj) => obj is not null && obj.GetType() == typeof(GeneratedLocation);

        public static GeneratedLocation Create(Context cx) => GeneratedLocationFactory.Instance.CreateEntity(cx, typeof(GeneratedLocation), null);

        private class GeneratedLocationFactory : CachedEntityFactory<string?, GeneratedLocation>
        {
            public static GeneratedLocationFactory Instance { get; } = new GeneratedLocationFactory();

            public override GeneratedLocation Create(Context cx, string? init) => new GeneratedLocation(cx);
        }
    }
}