Struct Schema 

pub struct Schema {

    pub protocol: String,
    pub vertices: HashMap<Name, Vertex>,
    pub edges: HashMap<Edge, Name>,
    pub hyper_edges: HashMap<Name, HyperEdge>,
    pub constraints: HashMap<Name, Vec<Constraint>>,
    pub required: HashMap<Name, Vec<Edge>>,
    pub nsids: HashMap<Name, Name>,
    pub variants: HashMap<Name, Vec<Variant>>,
    pub orderings: HashMap<Edge, u32>,
    pub recursion_points: HashMap<Name, RecursionPoint>,
    pub spans: HashMap<Name, Span>,
    pub usage_modes: HashMap<Edge, UsageMode>,
    pub nominal: HashMap<Name, bool>,
    pub coercions: HashMap<(Name, Name), CoercionSpec>,
    pub mergers: HashMap<Name, Expr>,
    pub defaults: HashMap<Name, Expr>,
    pub policies: HashMap<Name, Expr>,
    pub outgoing: HashMap<Name, SmallVec<Edge, 4>>,
    pub incoming: HashMap<Name, SmallVec<Edge, 4>>,
    pub between: HashMap<(Name, Name), SmallVec<Edge, 2>>,
}

A schema: a model of the protocol’s schema theory.

Contains both the raw data (vertices, edges, constraints, etc.) and precomputed adjacency indices for efficient graph traversal.

Fields

protocol: String

The protocol this schema belongs to.

vertices: HashMap<Name, Vertex>

Vertices keyed by their ID.

edges: HashMap<Edge, Name>

Edges keyed by the edge itself, value is the edge kind.

hyper_edges: HashMap<Name, HyperEdge>

Hyper-edges keyed by their ID.

constraints: HashMap<Name, Vec<Constraint>>

Constraints per vertex ID.

required: HashMap<Name, Vec<Edge>>

Required edges per vertex ID.

nsids: HashMap<Name, Name>

NSID mapping: vertex ID to NSID string.

variants: HashMap<Name, Vec<Variant>>

Coproduct variants per union vertex ID.

orderings: HashMap<Edge, u32>

Edge ordering positions (edge → position index).

recursion_points: HashMap<Name, RecursionPoint>

Recursion points (fixpoint markers).

spans: HashMap<Name, Span>

Spans connecting pairs of vertices.

usage_modes: HashMap<Edge, UsageMode>

Edge usage modes (default: Structural for all).

nominal: HashMap<Name, bool>

Whether each vertex uses nominal identity (true) or structural identity (false). Absent = structural.

coercions: HashMap<(Name, Name), CoercionSpec>

Coercion specifications: (source_kind, target_kind) to coercion spec.

mergers: HashMap<Name, Expr>

Merger expressions: vertex_id to merger expression.

defaults: HashMap<Name, Expr>

Default value expressions: vertex_id to default expression.

policies: HashMap<Name, Expr>

Conflict resolution policy expressions: sort_name to policy expression.

outgoing: HashMap<Name, SmallVec<Edge, 4>>

Outgoing edges per vertex ID.

incoming: HashMap<Name, SmallVec<Edge, 4>>

Incoming edges per vertex ID.

between: HashMap<(Name, Name), SmallVec<Edge, 2>>

Edges between a specific (src, tgt) pair.

Implementations

impl Schema

pub fn vertex(&self, id: &str) -> Option<&Vertex>

Look up a vertex by ID.

pub fn outgoing_edges(&self, vertex_id: &str) -> &[Edge]

Return all outgoing edges from the given vertex.

pub fn incoming_edges(&self, vertex_id: &str) -> &[Edge]

Return all incoming edges to the given vertex.

pub fn edges_between(&self, src: &str, tgt: &str) -> &[Edge]

Return edges between a specific (src, tgt) pair.

pub fn has_vertex(&self, id: &str) -> bool

Returns true if the given vertex ID exists in this schema.

pub fn vertex_count(&self) -> usize

Returns the number of vertices in the schema.

pub fn edge_count(&self) -> usize

Returns the number of edges in the schema.

Trait Implementations

impl Clone for Schema

fn clone(&self) -> Schema

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Schema

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Schema

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for Schema

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.