| Package | Description |
|---|---|
| gudusoft.gsqlparser.ir.semantic |
Semantic analysis results, diagnostics, and supporting implementation APIs.
|
| gudusoft.gsqlparser.ir.semantic.builder |
Low-level Semantic IR lowering APIs.
|
| gudusoft.gsqlparser.ir.semantic.validation.oracle |
Oracle-specific source validation for legacy outer-join syntax.
|
| Modifier and Type | Method and Description |
|---|---|
Diagnostic |
Diagnostic.Builder.build() |
static Diagnostic |
Diagnostic.error(DiagnosticCode code,
String message)
Construct an
ERROR-severity diagnostic
with no span anchor. |
static Diagnostic |
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 |
Diagnostic.errorWithSpan(DiagnosticCode code,
String message,
SourceSpan span)
Construct an
ERROR-severity diagnostic
with an explicit (already-computed) source span. |
Diagnostic |
AnalysisResult.getFirstError() |
Diagnostic |
RecoveryMetadata.Entry.getRootDiagnostic() |
Diagnostic |
StatementGraph.getUnanalyzedReason() |
static Diagnostic |
Diagnostic.warn(DiagnosticCode code,
String message)
Slice 77 — construct a
WARN-severity
diagnostic with no span anchor. |
static Diagnostic |
Diagnostic.warn(DiagnosticCode code,
String message,
TParseTreeNode anchor)
Slice 77 — construct a
WARN-severity
diagnostic whose span is derived from anchor. |
static Diagnostic |
Diagnostic.warnWithSpan(DiagnosticCode code,
String message,
SourceSpan span)
Construct a
WARN-severity diagnostic with an
explicit (already-computed) source span — the WARN counterpart of
errorWithSpan(gudusoft.gsqlparser.ir.semantic.DiagnosticCode, java.lang.String, gudusoft.gsqlparser.ir.semantic.SourceSpan). |
Diagnostic |
Diagnostic.withRelatedLocation(RelatedLocation location)
Return an immutable copy with one additional secondary location.
|
Diagnostic |
Diagnostic.withSpan(SourceSpan newSpan)
Return an immutable copy with a new primary span.
|
Diagnostic |
Diagnostic.withVendorError(VendorError error)
Return an immutable copy enriched with an exact vendor error.
|
| Modifier and Type | Method and Description |
|---|---|
List<Diagnostic> |
SemanticBuildResult.getDiagnostics()
Complete immutable diagnostics for this invocation.
|
List<Diagnostic> |
AnalysisResult.getDiagnostics()
Diagnostics emitted during analysis.
|
| Modifier and Type | Method and Description |
|---|---|
static boolean |
DiagnosticDescriptorCatalog.isUnsupportedNestedBlockRecoverable(Diagnostic diagnostic)
Recovery boundaries for unsupported nested blocks must not absorb
malformed source SQL or turn a dialect error into a successful warning.
|
static StatementGraph |
StatementGraph.unanalyzed(String name,
Diagnostic reason,
SourceSpan span)
Build the degrade placeholder for a nested block that could not be
analyzed.
|
| Modifier and Type | Method and Description |
|---|---|
static SemanticBuildResult |
SemanticBuildResult.completed(SemanticProgram program,
List<Diagnostic> diagnostics)
Construct a result with a built program and optional diagnostics.
|
static boolean |
DiagnosticDescriptorCatalog.isUnsupportedNestedBlockRecoverable(Iterable<Diagnostic> diagnostics)
Return true only when a non-empty diagnostic set is wholly recoverable.
|
static SemanticBuildResult |
SemanticBuildResult.recovered(SemanticProgram recoveredProgram,
List<Diagnostic> diagnostics,
RecoveryMetadata recoveryMetadata)
Construct a result that retains a program plus explicit recovery
associations.
|
static SemanticBuildResult |
SemanticBuildResult.rejected(List<Diagnostic> diagnostics)
Construct a fatal result.
|
| Constructor and Description |
|---|
Entry(String evidenceId,
String subjectKind,
String subjectId,
Diagnostic rootDiagnostic) |
| Modifier and Type | Method and Description |
|---|---|
Diagnostic |
SemanticIRBuilder.SemanticIRBuildException.getDiagnostic() |
| Modifier and Type | Method and Description |
|---|---|
static List<Diagnostic> |
SemanticIRBuilder.drainBuildDiagnostics()
Read and clear the current thread's legacy compatibility snapshot.
|
List<Diagnostic> |
SemanticIRBuilder.SemanticIRBuildException.getDiagnostics() |
static List<Diagnostic> |
SemanticIRBuilder.pendingBuildDiagnostics()
Return the current thread's legacy compatibility snapshot without
clearing it.
|
| Modifier and Type | Method and Description |
|---|---|
static SemanticIRBuilder.SemanticIRBuildException |
SemanticIRBuilder.SemanticIRBuildException.withDiagnostics(List<Diagnostic> diagnostics)
Construct a rejection with its primary diagnostic first, followed by
any related diagnostics emitted atomically by the same build step.
|
| Constructor and Description |
|---|
SemanticIRBuildException(Diagnostic diagnostic) |
| Modifier and Type | Method and Description |
|---|---|
List<Diagnostic> |
OracleLegacyOuterJoinValidationResult.getDiagnostics() |