| Package | Description |
|---|---|
| gudusoft.gsqlparser.lineage.v2.fold |
| Class and Description |
|---|
| FoldLabel
The label of a fold walk (
algorithms/fold-v1.md, Section 5.1): VALUE, or ROW with a
role. |
| StatementFold
What FOLD-V1 yields for one statement (
algorithms/fold-v1.md, Section 2, item 1): the Fact
Occurrences, the FactCandidates, and the requirements on every write of a field. |
| StatementFold.Candidate
A FactCandidate (Section 7.1, items 4 to 6) with its Occurrence.
|
| StatementFold.CandidateBinding
The binding of one side of a FactCandidate Occurrence (Section 7.1, item 6).
|
| StatementFold.Decision
How a reference decides a FactCandidate's candidate-set end (fold-v1 Section 7.1, item 5): the deciding
reference's candidate set (in the ExplainGraph; at a published end, the document's set with the same members),
and the pairs {alternative, member}, sorted.
|
| StatementFold.End
One end of a FactCandidate: a fixed endpoint, or a candidate set with its membership, and, when another reference
decides it (fold-v1 Section 7.1, item 5), the decision.
|
| StatementFold.FactOccurrence
A Fact Occurrence (Section 8.1): the proposition, its path and ordinal, proof, bindings and support.
|
| StatementFold.Pair
One (source, target) pair of an outcome (Section 7.1, item 5).
|
| StatementFold.TerminalInput
A terminal input of a write (Section 7.5): its kind, disclosure, the literal or hash token, and a parameter's
marker as written with, for an anonymous marker, its position (two parameters of one write are two inputs).
|
| StatementFold.WriteRequirement
What a write of one field must carry (Sections 7.4 and 7.5).
|