gudusoft.gsqlparser.ir.semantic

Class Diagnostic

Object

gudusoft.gsqlparser.ir.semantic.Diagnostic

public final class Diagnostic
extends Object

Structured rejection from the SemanticIR builder. Carries a stable DiagnosticCode, a Severity, the rendered user-visible message, and an optional SourceSpan pointing at the offending AST node.

Diagnostics are constructed via the error(gudusoft.gsqlparser.ir.semantic.DiagnosticCode, java.lang.String) factory methods and wrapped in SemanticIRBuilder.SemanticIRBuildException when the builder cannot continue. External callers should pattern-match on getCode() rather than parsing getMessage() substrings — message text remains user-visible English and may change without notice; the enum values are the public contract.

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object o)
static Diagnostic	error(DiagnosticCode code, String message) Construct an ERROR-severity diagnostic with no span anchor.
static Diagnostic	error(DiagnosticCode code, String message, TParseTreeNode anchor) Construct an ERROR-severity diagnostic whose span is derived from anchor via SourceSpan.of(TParseTreeNode).
static Diagnostic	errorWithSpan(DiagnosticCode code, String message, SourceSpan span) Construct an ERROR-severity diagnostic with an explicit (already-computed) source span.
DiagnosticCode	getCode()
String	getMessage()
Severity	getSeverity()
SourceSpan	getSpan()
int	hashCode()
String	toString()
static Diagnostic	warn(DiagnosticCode code, String message) Slice 77 — construct a WARN-severity diagnostic with no span anchor.
static Diagnostic	warn(DiagnosticCode code, String message, TParseTreeNode anchor) Slice 77 — construct a WARN-severity diagnostic whose span is derived from anchor.

Methods inherited from class Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Detail

error

public static Diagnostic error(DiagnosticCode code,
                               String message)

Construct an ERROR-severity diagnostic with no span anchor.

error

public static Diagnostic error(DiagnosticCode code,
                               String message,
                               TParseTreeNode anchor)

Construct an ERROR-severity diagnostic whose span is derived from anchor via SourceSpan.of(TParseTreeNode). Null-safe: when anchor (or its boundary tokens) is null, the resulting span is null.

errorWithSpan

public static Diagnostic errorWithSpan(DiagnosticCode code,
                                       String message,
                                       SourceSpan span)

Construct an ERROR-severity diagnostic with an explicit (already-computed) source span. Most callers should prefer error(DiagnosticCode, String, TParseTreeNode) which derives the span from an AST node.

warn

public static Diagnostic warn(DiagnosticCode code,
                              String message)

Slice 77 — construct a WARN-severity diagnostic with no span anchor. Warnings are advisory: the analyzer continues, the IR is built, and AnalysisResult.isSuccessful() still returns true.

warn

public static Diagnostic warn(DiagnosticCode code,
                              String message,
                              TParseTreeNode anchor)

Slice 77 — construct a WARN-severity diagnostic whose span is derived from anchor.

getCode

public DiagnosticCode getCode()

getSeverity

public Severity getSeverity()

getMessage

public String getMessage()

getSpan

public SourceSpan getSpan()

Returns:

the source span, or null when no AST anchor was available.

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object