gudusoft.gsqlparser.lineage.v2.validation

Class SemanticStage

Object

gudusoft.gsqlparser.lineage.v2.validation.SemanticStage

public final class SemanticStage
extends Object

Validation stage SEMANTIC (specification Section 14.2) as the reference runner implements it (conformance/run.py, stage_semantic): module presence, Facts without an Occurrence, declaration bases, document-local identities, the proof/binding/coverage contracts of Sections 4.3 and 4.4, source embedding, PATH-V1 nesting, FROM-item row propagation, spans against the source text, the column ordinals of the ExplainGraph, and the FOLD-V1 checks of a SemanticStage.FoldCheck when one is given.

Since:

4.2.17

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static interface	SemanticStage.FoldCheck The FOLD-V1 PROJECTOR checks, run when the document has an ExplainGraph.

Constructor Summary

Constructors

Constructor and Description
SemanticStage(SourceTextProvider sources, SemanticStage.FoldCheck fold)

Method Summary

Modifier and Type	Method and Description
List<Finding>	run(Map<?,?> doc, List<Finding> deferred, List<String> notes) The findings of the stage for a document that passed stage SCHEMA.

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SemanticStage

public SemanticStage(SourceTextProvider sources,
                     SemanticStage.FoldCheck fold)

Parameters:

sources - where the text of NAMED source units is found; SourceTextProvider.NONE for none

fold - the FOLD-V1 checks, or null to skip them

Method Detail

run

public List<Finding> run(Map<?,?> doc,
                         List<Finding> deferred,
                         List<String> notes)

The findings of the stage for a document that passed stage SCHEMA.

Parameters:

deferred - findings stage SCHEMA deferred to this stage

notes - receives what the stage could not check