public final class Occurrence extends SqllrObject
| Modifier and Type | Class and Description |
|---|---|
static class |
Occurrence.Builder
Collects the members of a new
Occurrence. |
SqllrObject.Reader<T>| Modifier and Type | Field and Description |
|---|---|
static List<String> |
MEMBERS
The members the schema defines, in schema order.
|
static SqllrObject.Reader<Occurrence> |
READER
Reads a JSON object as a
Occurrence. |
static List<String> |
REQUIRED
The members the schema requires.
|
| Modifier and Type | Method and Description |
|---|---|
static Occurrence.Builder |
builder() |
static Occurrence |
fromJson(Object json)
A
Occurrence with the members of a JSON object, all kept. |
List<Long> |
getDiagnosticRefs()
The member
diagnosticRefs. |
List<Long> |
getEvidenceRefs()
The member
evidenceRefs. |
Map<String,Extension> |
getExtensions()
The member
extensions. |
Long |
getFactCandidateRef()
The member
factCandidateRef. |
Long |
getFactRef()
The member
factRef. |
String |
getKey()
The member
key. |
Long |
getOrdinal()
The member
ordinal. |
String |
getPath()
The member
path. |
String |
getProofStatus()
The member
proofStatus. |
String |
getRecordId()
The member
recordId. |
Long |
getRef()
The member
ref. |
Binding |
getSourceBinding()
The member
sourceBinding. |
Long |
getStatementRef()
The member
statementRef. |
List<Long> |
getSupportPathRefs()
The member
supportPathRefs. |
Binding |
getTargetBinding()
The member
targetBinding. |
Occurrence.Builder |
toBuilder()
A builder holding every member of this object.
|
public static final SqllrObject.Reader<Occurrence> READER
Occurrence.public static Occurrence fromJson(Object json)
Occurrence with the members of a JSON object, all kept.public static Occurrence.Builder builder()
public Occurrence.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 Long getFactRef()
factRef. 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 getFactCandidateRef()
factCandidateRef. 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 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 String getPath()
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 Long getOrdinal()
ordinal. The 0-based rank of this Occurrence among the Occurrences of the
same statement with the same subject (Fact or FactCandidate) and the same path, by the start
position of the reference it asserts (algorithms/identity-v1.md, Section 5.4). A 0-based
ordinal. Null when absent; throws IllegalStateException when the member holds another JSON
type.public String getProofStatus()
proofStatus. 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 Binding getSourceBinding()
sourceBinding. Null when absent; throws IllegalStateException when the
member holds another JSON type.public Binding getTargetBinding()
targetBinding. Null when absent; throws IllegalStateException when the
member holds another JSON type.public String getKey()
key. The logical Occurrence key (OccurrenceKeyV1); absent when the source
unit has no unitId or the subject has no portable identity. An id computed by
OccurrenceKeyV1: 'occk1-' followed by 64 lowercase hexadecimal characters of a SHA-256 digest
(algorithms/identity-v1.md). Null when absent; throws IllegalStateException when the member
holds another JSON type.public String getRecordId()
recordId. The assertion record id (OccurrenceRecordIdV1 over key and the
source unit's analysisContextId); absent when key or analysisContextId is absent. An id
computed by OccurrenceRecordIdV1, the assertion record id: 'occr1-' followed by 64 lowercase
hexadecimal characters of a SHA-256 digest (algorithms/identity-v1.md). Null when absent;
throws IllegalStateException when the member holds another JSON type.public List<Long> getSupportPathRefs()
supportPathRefs. The ExplainGraph support paths that together cover the
support subgraph of this Occurrence (algorithms/fold-v1.md, Section 8.2). Module explain. A
set of local references. Null when absent; throws IllegalStateException when the member holds
another JSON type.public List<Long> getEvidenceRefs()
evidenceRefs. Evidence objects. Module evidence. A set of local
references. 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.