public final class Document extends SqllrObject
| Modifier and Type | Class and Description |
|---|---|
static class |
Document.Builder
Collects the members of a new
Document. |
SqllrObject.Reader<T>| Modifier and Type | Field and Description |
|---|---|
static List<String> |
MEMBERS
The members the schema defines, in schema order.
|
static SqllrObject.Reader<Document> |
READER
Reads a JSON object as a
Document. |
static List<String> |
REQUIRED
The members the schema requires.
|
| Modifier and Type | Method and Description |
|---|---|
static Document.Builder |
builder() |
static Document |
fromJson(Object json)
A
Document with the members of a JSON object, all kept. |
String |
getAnalysisCompleteness()
The member
analysisCompleteness. |
List<AnalysisContext> |
getAnalysisContexts()
The member
analysisContexts. |
List<CandidateSet> |
getCandidateSets()
The member
candidateSets. |
String |
getDeclaredLevel()
The member
declaredLevel. |
List<Diagnostic> |
getDiagnostics()
The member
diagnostics. |
List<Map<String,Object>> |
getDynamicSqlSites()
The member
dynamicSqlSites. |
List<Endpoint> |
getEndpoints()
The member
endpoints. |
List<Map<String,Object>> |
getEvidence()
The member
evidence. |
ExplainGraph |
getExplainGraph()
The member
explainGraph. |
List<Map<String,Object>> |
getExpressionSpans()
The member
expressionSpans. |
Map<String,Extension> |
getExtensions()
The member
extensions. |
List<FactCandidate> |
getFactCandidates()
The member
factCandidates. |
List<Fact> |
getFacts()
The member
facts. |
List<FeatureCompleteness> |
getFeatureCompleteness()
The member
featureCompleteness. |
Header |
getHeader()
The member
header. |
Map<String,Object> |
getMerge()
The member
merge. |
List<String> |
getModules()
The member
modules. |
List<Map<String,Object>> |
getNaryFacts()
The member
naryFacts. |
List<Occurrence> |
getOccurrences()
The member
occurrences. |
List<Map<String,Object>> |
getRefinements()
The member
refinements. |
Map<String,Object> |
getReproducibilityManifest()
The member
reproducibilityManifest. |
List<Map<String,Object>> |
getRoutineCalls()
The member
routineCalls. |
List<Scope> |
getScopes()
The member
scopes. |
ServingCompleteness |
getServingCompleteness()
The member
servingCompleteness. |
List<SourceUnit> |
getSourceUnits()
The member
sourceUnits. |
String |
getSpecUri()
The member
specUri. |
String |
getSpecVersion()
The member
specVersion. |
List<Statement> |
getStatements()
The member
statements. |
List<Map<String,Object>> |
getStructuralSignatures()
The member
structuralSignatures. |
List<TargetFieldOccurrence> |
getTargetFieldOccurrences()
The member
targetFieldOccurrences. |
List<Map<String,Object>> |
getTypedSteps()
The member
typedSteps. |
List<Map<String,Object>> |
getWildcardSelections()
The member
wildcardSelections. |
static Document |
parse(byte[] data)
Reads a document with the strict reader of canonical-json-v1 (Section 3); does not validate.
|
Document.Builder |
toBuilder()
A builder holding every member of this object.
|
byte[] |
toBytes()
The canonical bytes of the document: RFC 8785, every array in its registered order.
|
public static final SqllrObject.Reader<Document> READER
Document.public static Document fromJson(Object json)
Document with the members of a JSON object, all kept.public static Document.Builder builder()
public Document.Builder toBuilder()
public String getSpecUri()
specUri. The permanent URI of the specification, assigned at release. Null
when absent; throws IllegalStateException when the member holds another JSON type.public String getSpecVersion()
specVersion. The specification version. This schema accepts 0.1.x. Null
when absent; throws IllegalStateException when the member holds another JSON type.public String getDeclaredLevel()
declaredLevel. A producer conformance level. Registry group 'levels'
(Section 5.1). Null when absent; throws IllegalStateException when the member holds another
JSON type.public List<String> getModules()
modules. The optional modules the document carries. A consumer never
treats a module that is not listed as an empty collection. Null when absent; throws
IllegalStateException when the member holds another JSON type.public Header getHeader()
header. Null when absent; throws IllegalStateException when the member
holds another JSON type.public List<AnalysisContext> getAnalysisContexts()
analysisContexts. The analysis contexts of the document (Sections 6.2 and
9.2). Every source unit names one. Null when absent; throws IllegalStateException when the
member holds another JSON type.public List<SourceUnit> getSourceUnits()
sourceUnits. Null when absent; throws IllegalStateException when the
member holds another JSON type.public List<Statement> getStatements()
statements. Null when absent; throws IllegalStateException when the member
holds another JSON type.public List<Scope> getScopes()
scopes. Null when absent; throws IllegalStateException when the member
holds another JSON type.public List<Endpoint> getEndpoints()
endpoints. Null when absent; throws IllegalStateException when the member
holds another JSON type.public List<Fact> getFacts()
facts. Null when absent; throws IllegalStateException when the member
holds another JSON type.public List<FactCandidate> getFactCandidates()
factCandidates. Null when absent; throws IllegalStateException when the
member holds another JSON type.public List<CandidateSet> getCandidateSets()
candidateSets. The candidate sets of the ambiguous references at which a
Fact keeps an Occurrence (Section 4.3, rule 1): a Fact that holds whichever candidate the
reference denotes keeps the reference's CANDIDATE or UNRESOLVED binding, whose
candidateSetRef names a set of this array. Its candidates are Endpoints; a candidate that is
an ExplainGraph node is not listed, and the set is then INCOMPLETE. It also holds the
deciding sets that the decidedBy of FactCandidate ends names (algorithms/fold-v1.md, Section
7.1, item 5): for a call that several routines fit, the ROUTINE endpoints of those routines.
Null when absent; throws IllegalStateException when the member holds another JSON type.public List<Occurrence> getOccurrences()
occurrences. Null when absent; throws IllegalStateException when the
member holds another JSON type.public List<TargetFieldOccurrence> getTargetFieldOccurrences()
targetFieldOccurrences. Null when absent; throws IllegalStateException
when the member holds another JSON type.public String getAnalysisCompleteness()
analysisCompleteness. Document-scope analysis completeness. Analysis
completeness of a scope. Registry group 'analysisCompleteness' (Section 4.4). Null when
absent; throws IllegalStateException when the member holds another JSON type.public List<FeatureCompleteness> getFeatureCompleteness()
featureCompleteness. Feature-scope completeness; one entry per feature.
Null when absent; throws IllegalStateException when the member holds another JSON type.public ServingCompleteness getServingCompleteness()
servingCompleteness. Null when absent; throws IllegalStateException when
the member holds another JSON type.public List<Diagnostic> getDiagnostics()
diagnostics. Null when absent; throws IllegalStateException when the
member holds another JSON type.public Map<String,Object> getMerge()
merge. Merge provenance of a merged document: input digests and the
conflict ledger (Sections 9.5 and 15.2). The analysis context of each input, with its
dependency snapshot and redaction context, is in analysisContexts. Defined later. Module
content, defined later. Open: members are not yet constrained; arrays inside it are SEQUENCE
until the module defines them (algorithms/canonical-json-v1.md, Section 5, rule 5). 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.public ExplainGraph getExplainGraph()
explainGraph. The ExplainGraph (Sections 3.4 and 7.7). Module explain.
Null when absent; throws IllegalStateException when the member holds another JSON type.public List<Map<String,Object>> getEvidence()
evidence. Evidence objects. Module evidence, defined later. A collection
of module content, defined later. Registered as a SET sorted by the ref of its elements;
arrays inside its elements are SEQUENCE until the module defines them
(algorithms/canonical-json-v1.md, Section 5, rule 5). Null when absent; throws
IllegalStateException when the member holds another JSON type.public List<Map<String,Object>> getDynamicSqlSites()
dynamicSqlSites. Dynamic SQL sites, holes and proofs. Module dynamic-sql,
defined later. A collection of module content, defined later. Registered as a SET sorted by
the ref of its elements; arrays inside its elements are SEQUENCE until the module defines
them (algorithms/canonical-json-v1.md, Section 5, rule 5). Null when absent; throws
IllegalStateException when the member holds another JSON type.public List<Map<String,Object>> getExpressionSpans()
expressionSpans. Expression-level spans. Module exact-spans, defined
later. A collection of module content, defined later. Registered as a SET sorted by the ref
of its elements; arrays inside its elements are SEQUENCE until the module defines them
(algorithms/canonical-json-v1.md, Section 5, rule 5). Null when absent; throws
IllegalStateException when the member holds another JSON type.public Map<String,Object> getReproducibilityManifest()
reproducibilityManifest. All effective analysis options and the metadata
digest. Module reproducibility, defined later. Module content, defined later. Open: members
are not yet constrained; arrays inside it are SEQUENCE until the module defines them
(algorithms/canonical-json-v1.md, Section 5, rule 5). Null when absent; throws
IllegalStateException when the member holds another JSON type.public List<Map<String,Object>> getTypedSteps()
typedSteps. Typed steps and operand groups (Section 7.6). Module
typed-steps, defined later. A collection of module content, defined later. Registered as a
SET sorted by the ref of its elements; arrays inside its elements are SEQUENCE until the
module defines them (algorithms/canonical-json-v1.md, Section 5, rule 5). Null when absent;
throws IllegalStateException when the member holds another JSON type.public List<Map<String,Object>> getRoutineCalls()
routineCalls. Call sites and argument-to-parameter bindings (Section 7.3).
Module routines, defined later. A collection of module content, defined later. Registered as
a SET sorted by the ref of its elements; arrays inside its elements are SEQUENCE until the
module defines them (algorithms/canonical-json-v1.md, Section 5, rule 5). Null when absent;
throws IllegalStateException when the member holds another JSON type.public List<Map<String,Object>> getWildcardSelections()
wildcardSelections. WildcardSelection objects (Section 7.5). Module
wildcards, defined later. A collection of module content, defined later. Registered as a SET
sorted by the ref of its elements; arrays inside its elements are SEQUENCE until the module
defines them (algorithms/canonical-json-v1.md, Section 5, rule 5). Null when absent; throws
IllegalStateException when the member holds another JSON type.public List<Map<String,Object>> getStructuralSignatures()
structuralSignatures. Structural signatures of ExplainGraph nodes. Module
structural-signature, defined later. A collection of module content, defined later.
Registered as a SET sorted by the ref of its elements; arrays inside its elements are
SEQUENCE until the module defines them (algorithms/canonical-json-v1.md, Section 5, rule 5).
Null when absent; throws IllegalStateException when the member holds another JSON type.public List<Map<String,Object>> getRefinements()
refinements. Refinement records (Sections 3.2, rule 4, and 7.1). Module
join-semantics, defined later. A collection of module content, defined later. Registered as a
SET sorted by the ref of its elements; arrays inside its elements are SEQUENCE until the
module defines them (algorithms/canonical-json-v1.md, Section 5, rule 5). Null when absent;
throws IllegalStateException when the member holds another JSON type.public List<Map<String,Object>> getNaryFacts()
naryFacts. N-ary Facts (Section 3.2, rule 3). Module nary-facts, defined
later. A collection of module content, defined later. Registered as a SET sorted by the ref
of its elements; arrays inside its elements are SEQUENCE until the module defines them
(algorithms/canonical-json-v1.md, Section 5, rule 5). Null when absent; throws
IllegalStateException when the member holds another JSON type.public static Document parse(byte[] data)
public byte[] toBytes()