Enum ExplanationSupport 

pub enum ExplanationSupport {
    OwnedEntry {
        block: Block,
    },
    DeclarationGroup {
        block_path: String,
        group: DeclarationGroup,
        members: Vec<OutlineTrail>,
        block: Block,
    },
    ContainedDeclarationGroup {
        block_path: String,
        group: DeclarationGroup,
        members: Vec<OutlineTrail>,
        support: usize,
        path: Vec<ExplanationBlockStep>,
    },
}

Original content supporting directly matched declarations. IDs are indices in the containing document response’s pool, never persistent identities.

Variants

OwnedEntry

A physical owner’s original body reused by contained contexts.

Fields

block: Block

Single-entry original list excerpt, including nested content.

DeclarationGroup

Recovered adjacency supplies reading context, not proof that each sentence applies to every member or that members are interchangeable.

Fields

block_path: String

Exact containing list in the queried document snapshot.

group: DeclarationGroup

Half-open range in the original list, before response slicing.

members: Vec<OutlineTrail>

Original members in source order; the last supplies the description.

block: Block

Complete original heads and final description. Local group indices are rebased; original item sources and identities remain unchanged.

ContainedDeclarationGroup

A nested declaration group already present in another returned source fragment. The descriptor preserves its own members and provider without copying their body again. References point directly to an owned fragment.

Fields

block_path: String

Original containing list in the document snapshot.

group: DeclarationGroup

Original member interval in the nested list.

members: Vec<OutlineTrail>

Exact nested members, in source order.

support: usize

Index of a materialized declaration-group or owned-entry.

path: Vec<ExplanationBlockStep>

Typed path from that fragment’s copied block to the nested list.

Implementations

impl ExplanationSupport

pub fn items(&self) -> Option<&[DefinitionItem]>

Validate the local/original ranges and exact member identities before accepting any reference. Context cannot silently point at another owner.

pub fn items_in<'a>(&'a self, pool: &'a [Self]) -> Option<&'a [DefinitionItem]>

Resolve this group’s original member interval, including a contained fragment. References never follow chains or cross document pools.

pub fn members(&self) -> &[OutlineTrail]

Member trails belonging to this group, not its enclosing context.

pub fn materialized<'a>(&'a self, pool: &'a [Self]) -> Option<&'a Block>

Materialized outer source block, if the complete descriptor is valid. Frontends render this block once and retain each group’s own provenance.

Trait Implementations

impl Clone for ExplanationSupport

fn clone(&self) -> ExplanationSupport

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExplanationSupport

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ExplanationSupport

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for ExplanationSupport

impl JsonSchema for ExplanationSupport

fn schema_name() -> Cow<'static, str>

The name of the generated JSON Schema.

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type.

fn json_schema(generator: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type.

fn inline_schema() -> bool

Whether JSON Schemas generated for this type should be included directly in parent schemas, rather than being re-used where possible using the $ref keyword.

impl PartialEq for ExplanationSupport

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ExplanationSupport

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ExplanationSupport