gudusoft.gsqlparser.lineage.v2.fold

Class StatementFold.FactOccurrence

Object

gudusoft.gsqlparser.lineage.v2.fold.StatementFold.FactOccurrence

Enclosing class:

StatementFold

public static final class StatementFold.FactOccurrence
extends Object

A Fact Occurrence (Section 8.1): the proposition, its path and ordinal, proof, bindings and support.

Method Summary

Modifier and Type	Method and Description
FoldLabel	getLabel()
Long	getOffset() The UTF-8 offset of that reference (referenceStart), or null.
int	getOrdinal() The rank among the Occurrences of the same Fact and path, by the position of the reference.
Object	getPath() The semantic path of the reference read by the first edge (referencePath), or null.
String	getProofStatus() PROVEN or ASSUMED (Section 7.2, item 2).
Map<?,?>	getSourceBinding() The source-side binding of the first edge (Section 8.1, item 2), or null when it has none.
Object	getSourceRef()
SortedSet<Long>	getSupport() The micro-edges of the support subgraph (Section 8.2, item 1).
List<List<Long>>	getSupportWalks() Fold walks (micro-edge refs in walk order) that each yield this Occurrence and together cover its support subgraph: the supportPaths to publish (Section 8.2, items 3 and 4).
Map<?,?>	getTargetBinding() The target-side binding of the last edge, chosen like getSourceBinding().
Object	getTargetRef()
String	toString()

Methods inherited from class Object

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

Method Detail

getSourceRef

public Object getSourceRef()

getTargetRef

public Object getTargetRef()

getLabel

public FoldLabel getLabel()

getPath

public Object getPath()

The semantic path of the reference read by the first edge (referencePath), or null.

getOffset

public Long getOffset()

The UTF-8 offset of that reference (referenceStart), or null.

getOrdinal

public int getOrdinal()

The rank among the Occurrences of the same Fact and path, by the position of the reference.

getProofStatus

public String getProofStatus()

PROVEN or ASSUMED (Section 7.2, item 2).

getSupport

public SortedSet<Long> getSupport()

The micro-edges of the support subgraph (Section 8.2, item 1).

getSupportWalks

public List<List<Long>> getSupportWalks()

Fold walks (micro-edge refs in walk order) that each yield this Occurrence and together cover its support subgraph: the supportPaths to publish (Section 8.2, items 3 and 4).

getSourceBinding

public Map<?,?> getSourceBinding()

The source-side binding of the first edge (Section 8.1, item 2), or null when it has none. When several walks support the Occurrence, the binding comes from a walk that decides its proof (an unconditional PROVEN walk for a PROVEN Occurrence), and among those from the first edge earliest in the text.

getTargetBinding

public Map<?,?> getTargetBinding()

The target-side binding of the last edge, chosen like getSourceBinding().

toString

public String toString()

Overrides:

toString in class Object