using Semmle.Extraction.Entities; namespace Semmle.Extraction { /// /// An entity which has a default "*" ID assigned to it. /// public abstract class FreshEntity : IEntity { protected readonly Context cx; public FreshEntity(Context cx) { this.cx = cx; cx.AddFreshLabel(this); } public Label Label { get; set; } public override string ToString() => Label.ToString(); public IId Id => FreshId.Instance; public virtual Microsoft.CodeAnalysis.Location ReportingLocation => null; public abstract TrapStackBehaviour TrapStackBehaviour { get; } } }