public final class MicroEdge extends SqllrObject
| Modifier and Type | Class and Description |
|---|---|
static class |
MicroEdge.Builder
Collects the members of a new
MicroEdge. |
SqllrObject.Reader<T>| Modifier and Type | Field and Description |
|---|---|
static List<String> |
MEMBERS
The members the schema defines, in schema order.
|
static SqllrObject.Reader<MicroEdge> |
READER
Reads a JSON object as a
MicroEdge. |
static List<String> |
REQUIRED
The members the schema requires.
|
| Modifier and Type | Method and Description |
|---|---|
static MicroEdge.Builder |
builder() |
static MicroEdge |
fromJson(Object json)
A
MicroEdge with the members of a JSON object, all kept. |
List<Long> |
getDiagnosticRefs()
The member
diagnosticRefs. |
String |
getEffect()
The member
effect. |
Map<String,Extension> |
getExtensions()
The member
extensions. |
String |
getKind()
The member
kind. |
String |
getProofStatus()
The member
proofStatus. |
Long |
getRef()
The member
ref. |
String |
getReferencePath()
The member
referencePath. |
Position |
getReferenceStart()
The member
referenceStart. |
String |
getRole()
The member
role. |
Binding |
getSourceBinding()
The member
sourceBinding. |
Long |
getSourceRef()
The member
sourceRef. |
Long |
getStatementRef()
The member
statementRef. |
Binding |
getTargetBinding()
The member
targetBinding. |
Long |
getTargetRef()
The member
targetRef. |
MicroEdge.Builder |
toBuilder()
A builder holding every member of this object.
|
public static final SqllrObject.Reader<MicroEdge> READER
MicroEdge.public static MicroEdge fromJson(Object json)
MicroEdge with the members of a JSON object, all kept.public static MicroEdge.Builder builder()
public MicroEdge.Builder toBuilder()
public Long getRef()
ref. A document-local reference: an integer that is unique across the
whole document (one reference space for every object that carries a ref). Local references
are assigned after merging and have no meaning outside the document (Sections 6.1 and 13).
Null when absent; throws IllegalStateException when the member holds another JSON type.public String getKind()
kind. VALUE or ROW (registry group factKinds); other kinds are not
micro-edges. Null when absent; throws IllegalStateException when the member holds another
JSON type.public String getRole()
role. The role of a ROW Fact. Registry group 'rowRoles' (Section 3.3).
Null when absent; throws IllegalStateException when the member holds another JSON type.public Long getStatementRef()
statementRef. A document-local reference: an integer that is unique across
the whole document (one reference space for every object that carries a ref). Local
references are assigned after merging and have no meaning outside the document (Sections 6.1
and 13). Null when absent; throws IllegalStateException when the member holds another JSON
type.public Long getSourceRef()
sourceRef. An Endpoint, an ExplainGraph node, or the candidate set of an
UNRESOLVED reference. A document-local reference: an integer that is unique across the whole
document (one reference space for every object that carries a ref). Local references are
assigned after merging and have no meaning outside the document (Sections 6.1 and 13). Null
when absent; throws IllegalStateException when the member holds another JSON type.public Long getTargetRef()
targetRef. An Endpoint or an ExplainGraph node other than a TERMINAL node.
A document-local reference: an integer that is unique across the whole document (one
reference space for every object that carries a ref). Local references are assigned after
merging and have no meaning outside the document (Sections 6.1 and 13). Null when absent;
throws IllegalStateException when the member holds another JSON type.public String getReferencePath()
referencePath. The semantic path of the name reference the edge reads
(when it has a sourceBinding), otherwise of the reference it writes. Gives the Occurrence
path. A semantic path. Under the path profile sqllr-path-1 it is a '/'-joined list of steps
CODE[index] (registry group pathStepCodes) that follows algorithms/path-v1.md (semantic
stage: SEMANTIC_PATH_PROFILE_VIOLATION); under another declared profile it is opaque and
comparable only within (producer, path profile). Null when absent; throws
IllegalStateException when the member holds another JSON type.public Position getReferenceStart()
referenceStart. The start of that reference in the statement's source
unit. Orders Occurrences on one path; never part of a key. Null when absent; throws
IllegalStateException when the member holds another JSON type.public Binding getSourceBinding()
sourceBinding. The binding of the reference the edge reads; on a first
edge, the binding of the kept source. Null when absent; throws IllegalStateException when the
member holds another JSON type.public Binding getTargetBinding()
targetBinding. The binding of the reference the edge writes; only on an
edge into a kept target. Null when absent; throws IllegalStateException when the member holds
another JSON type.public String getProofStatus()
proofStatus. ASSUMED when the producer could not prove the edge (for
example an edge that a dynamic SQL hole may affect); absent means PROVEN. The proof status of
an Occurrence. Registry group 'proofStatus' (Section 4.1). Null when absent; throws
IllegalStateException when the member holds another JSON type.public String getEffect()
effect. Display and refinement only; the fold never reads it. An effect
carried by a micro-edge or a refinement record. Registry group 'valueEffects' (Sections 7.1
and 18, item 8). Null when absent; throws IllegalStateException when the member holds another
JSON type.public List<Long> getDiagnosticRefs()
diagnosticRefs. A set of local references. Null when absent; throws
IllegalStateException when the member holds another JSON type.public Map<String,Extension> getExtensions()
extensions. Extension data keyed by namespace. Every core object may carry
it; it never takes part in a core identity. Null when absent; throws IllegalStateException
when the member holds another JSON type.