Skip to main content

SemanticSchema

Struct SemanticSchema 

Source
pub struct SemanticSchema {
    pub id: SymbolId,
    pub name: String,
    pub description: String,
    pub functions: BTreeMap<SymbolId, SemanticFunction>,
    pub types: BTreeMap<SymbolId, SemanticType>,
    pub symbol_table: SymbolTable,
}
Expand description

Semantic schema with fully resolved types and deterministic ordering

Fields§

§id: SymbolId§name: String§description: String§functions: BTreeMap<SymbolId, SemanticFunction>

Functions ordered by SymbolId for deterministic output

§types: BTreeMap<SymbolId, SemanticType>

All type definitions ordered by SymbolId

§symbol_table: SymbolTable

Symbol table for efficient lookups

Implementations§

Source§

impl SemanticSchema

Source

pub fn get_type_by_name(&self, name: &str) -> Option<&SemanticType>

Look up a type by its name via the symbol table’s resolution cache. Falls back to linear scan if the name isn’t in the symbol table. Also checks original_name for lookups by pre-normalization qualified name.

Source

pub fn get_type(&self, id: &SymbolId) -> Option<&SemanticType>

Look up a type by SymbolId.

Source

pub fn types(&self) -> impl Iterator<Item = &SemanticType>

Iterate all types in deterministic order.

Source

pub fn functions(&self) -> impl Iterator<Item = &SemanticFunction>

Iterate all functions in deterministic order.

Source

pub fn type_names(&self) -> impl Iterator<Item = &str>

Ordered type names (deterministic via BTreeMap).

Trait Implementations§

Source§

impl Clone for SemanticSchema

Source§

fn clone(&self) -> SemanticSchema

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for SemanticSchema

Source§

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

Formats the value using the given formatter. Read more
Source§

impl PartialEq for SemanticSchema

Source§

fn eq(&self, other: &SemanticSchema) -> bool

Tests for self and other values to be equal, and is used by ==.
1.0.0 (const: unstable) · Source§

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl Eq for SemanticSchema

Source§

impl StructuralPartialEq for SemanticSchema

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.