Uses of Record Class
dev.omnist.schema.Schema
Packages that use Schema
Package
Description
The normative Schema Algebra: operations that reason about and transform an
OSD
Schema itself, rather than the documents it
describes — normalize, prune, extract, lint,
compatible_with, equivalent, is_empty, and structural
inference from sample documents (omnist-spec §6).Reading and writing the
Document model as the
non-OML wire formats — JSON, YAML, TOML, and XML (omnist-spec §7.3) — including
the lossy-adjustment reporting (WriteReport) that
records when a format's constraints force a value to be adjusted on write.OSD (Omnist Schema Definition) modeling and I/O: the
Schema
type model — records, fields, scalar kinds — plus the lexer, parser, and writer
that read and write schemas in their canonical text form (omnist-spec §5).Validating and materializing documents against an OSD schema: checking a
Document conforms to a Schema
and reporting diagnostics when it doesn't (omnist-spec §3.6), and the
materialization pass that produces a schema-conformant document from one
that's structurally compatible but not yet exact (§6.3, §8.2).-
Uses of Schema in dev.omnist.algebra
Methods in dev.omnist.algebra that return SchemaModifier and TypeMethodDescriptionstatic Schemaextract(S, keep) - returns the minimal subschema that recognizes only Documents built from keep labels (§6.9).static SchemaInfers a schema from a list of sample documents (§6.10), rooted at"Root"withany-fallback disabled.static SchemaInfers a schema from a list of sample documents (§6.10).static Schemanormalize(S) - canonical minimal schema equivalent to S (§6.8).static SchemaPrunes a Schema into an equivalent schema with unreachable records and impossible fields removed (§6.5).InferResult.schema()Returns the value of theschemarecord component.Methods in dev.omnist.algebra with parameters of type SchemaModifier and TypeMethodDescriptionstatic booleanSchemaAlgebra.compatibleWith(Schema a, Schema b) Checks if every Document accepted by Schema A is also accepted by Schema B (§6.6).SchemaAlgebra.equivalenceClasses(Schema schema) Group record names of schema into structural equivalence classes using partition refinement (§6.8).static booleanSchemaAlgebra.equivalent(Schema a, Schema b) Checks if two Schemas accept the exact same set of Documents (§6.7).static Schemaextract(S, keep) - returns the minimal subschema that recognizes only Documents built from keep labels (§6.9).static booleanChecks if a Schema accepts zero finite documents (§6.4).static List<LintFinding> lint(S) - diagnoses structural schema issues that compile fine but mean parts of the schema can never do anything (§6.11).static Schemanormalize(S) - canonical minimal schema equivalent to S (§6.8).static SchemaPrunes a Schema into an equivalent schema with unreachable records and impossible fields removed (§6.5).SchemaAlgebra.satisfiableSet(Schema schema) Computes the set of record names in schema S that admit at least one finite document (§6.4).Constructors in dev.omnist.algebra with parameters of type SchemaModifierConstructorDescriptionInferResult(Schema schema, List<AnyFallback> fallbacks) Creates an instance of aInferResultrecord class. -
Uses of Schema in dev.omnist.codec
Methods in dev.omnist.codec with parameters of type Schema -
Uses of Schema in dev.omnist.schema
Methods in dev.omnist.schema that return SchemaModifier and TypeMethodDescriptionOsdReader.parseSchema()Parses the token stream into aSchema(omnist-spec §5.5–§5.8).static SchemaParses OSD text and returns the resultingSchema.Methods in dev.omnist.schema with parameters of type Schema -
Uses of Schema in dev.omnist.validation
Methods in dev.omnist.validation with parameters of type SchemaModifier and TypeMethodDescriptionstatic DocumentMaterializer.materialize(Document node, Schema schema) Applies schema-driven coercion tonode, returning a fully-typedDocument.static ValidationResultValidates a Document against a Schema.