Struct DecoratedSchema 

pub struct DecoratedSchema { /* private fields */ }

A schema carrying a complete layout enrichment over its abstract content.

Typical sources:

• The result of ParserRegistry::parse_with_protocol wrapped via DecoratedSchema::wrap_unchecked.
• The return value of ParserRegistry::decorate (the put-direction of the parse / decorate / emit lens).

Direct serialization round-trips a Schema; the newtype is enforced only at the Rust type level.

Implementations

impl DecoratedSchema

pub const fn wrap_unchecked(schema: Schema) -> Self

Wrap a Schema as a DecoratedSchema without checking the layout-fibre invariant.

Construction is not enforced at the type level (panproto’s Schema does not yet carry a phantom theory parameter), so this constructor trusts the caller. The legitimate sources are:

• Output of ParserRegistry::parse_with_protocol — the parse walker attaches a complete layout fibre.
• Output of ParserRegistry::decorate — the put-direction of the parse/emit lens.

Wrapping a hand-built or otherwise abstract schema produces a DecoratedSchema that subsequent emit_pretty calls will fall back to grammar-walking on (since the layout fibre is empty), which is well-defined but loses the “round-trips via byte-position arithmetic” advantage of true decoration.

pub const fn as_schema(&self) -> &Schema

Borrow the underlying schema for read-only consumption.

See AbstractSchema::as_schema for the rationale: this is an explicit, audited bridge to the raw type, intentionally non-Deref.

pub fn protocol(&self) -> &str

Returns the schema’s protocol name.

pub fn forget_layout(&self) -> AbstractSchema

Project to the abstract schema by forgetting all layout-fibre constraints. This is the lens get-direction realised in types.

Cannot fail: Schema::forget_layout always returns a layout-free schema, so the invariant of AbstractSchema is satisfied by construction.

pub fn layout_witness(&self, vertex_id: &str) -> Option<LayoutWitness<'_>>

Returns a read-only view of the constraint set at vertex_id.

Returns None when the vertex has no constraints recorded at all (schema.constraints.get(vertex_id) == None). When the vertex has constraints but none are in the layout fibre, the returned witness is non-empty but LayoutWitness::iter yields nothing — the layout accessors (start_byte, end_byte, …) return None for missing entries.

Trait Implementations

impl Clone for DecoratedSchema

fn clone(&self) -> DecoratedSchema

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for DecoratedSchema

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.