Table of Contents

Class SandboxDiagnostic

Namespace
DotBoxD.Kernels.Model
Assembly
DotBoxD.Kernels.dll
public sealed record SandboxDiagnostic : IEquatable<SandboxDiagnostic>
Inheritance
SandboxDiagnostic
Implements
Inherited Members

Constructors

SandboxDiagnostic(string, string, DiagnosticSeverity, SourceSpan?)

public SandboxDiagnostic(string Code, string Message, DiagnosticSeverity Severity = DiagnosticSeverity.Error, SourceSpan? Span = null)

Parameters

Code string
Message string
Severity DiagnosticSeverity
Span SourceSpan

Properties

Code

public string Code { get; init; }

Property Value

string

Message

public string Message { get; init; }

Property Value

string

Severity

public DiagnosticSeverity Severity { get; init; }

Property Value

DiagnosticSeverity

Span

public SourceSpan? Span { get; init; }

Property Value

SourceSpan