Enum Pattern 

#[repr(C)]
pub enum Pattern {
    Triple {
        subject: u64,
        predicate: u64,
        object: u64,
    },
    Optional {
        inner: PatternId,
    },
    Union {
        left: PatternId,
        right: PatternId,
    },
    Graph {
        graph_var_or_id: u64,
        inner: PatternId,
    },
    Filter {
        pattern: PatternId,
        expression: ExpressionId,
    },
    Bind {
        pattern: PatternId,
        var: VariableId,
        expression: ExpressionId,
    },
    Minus {
        inner: PatternId,
    },
    Group {
        start_idx: u16,
        len: u16,
    },
    PropertyPath {
        subject: u64,
        path: PathId,
        object: u64,
    },
    Service {
        endpoint_did_id: u64,
        inner_pattern: PatternId,
    },
    AsOf {
        inner: PatternId,
        timestamp_ms: u64,
        mode: TemporalMode,
    },
    StarTriple {
        inner_subject: u64,
        inner_predicate: u64,
        inner_object: u64,
        outer_predicate: u64,
        outer_object: u64,
    },
    SubSelect {
        query_id: u16,
    },
}

Graph pattern - now uses PatternId indices instead of Box

Variants

Triple

Basic triple pattern

Fields

subject: u64

predicate: u64

object: u64

Optional

OPTIONAL pattern - references inner pattern by ID

Fields

inner: PatternId

Union

UNION pattern - references left and right by IDs

Fields

left: PatternId

right: PatternId

Graph

GRAPH pattern - references graph var/IRI and inner pattern

Fields

graph_var_or_id: u64

inner: PatternId

Filter

FILTER pattern - references pattern to filter and expression

Fields

pattern: PatternId

expression: ExpressionId

Bind

BIND(expr AS ?var) — extends each solution of pattern with var bound to the value of expression (SPARQL 1.1 Extend). If the expression errors, var is left unbound and the row is kept.

Fields

pattern: PatternId

var: VariableId

expression: ExpressionId

Minus

MINUS pattern

Fields

inner: PatternId

Group

Group graph pattern - references range in child array

Fields

start_idx: u16

len: u16

PropertyPath

Property path pattern (SPARQL 1.1)

Fields

subject: u64

path: PathId

object: u64

Service

SERVICE pattern (Federated Query with DID)

Fields

endpoint_did_id: u64

inner_pattern: PatternId

AsOf

AS OF / AT TIME temporal snapshot (Phase 4, §5).

Wraps inner and filters its results to a historical snapshot. The executor checks T_CONTEXT PROV-O quins for each bound subject.

Fields

inner: PatternId

timestamp_ms: u64

mode: TemporalMode

StarTriple

RDF-Star quoted triple << s p o >> outerP outerO.

Fields

inner_subject: u64

inner_predicate: u64

inner_object: u64

outer_predicate: u64

outer_object: u64

SubSelect

Sub-SELECT { SELECT … WHERE { … } } — an independently-evaluated nested query (index into SparqlQueryContext::subqueries) whose projected solutions join with the enclosing group. Only the sub-select’s SELECT variables are visible outside it.

Fields

query_id: u16

Trait Implementations

impl Clone for Pattern

fn clone(&self) -> Pattern

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Pattern

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

Formats the value using the given formatter.

impl PartialEq for Pattern

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Copy for Pattern

impl Eq for Pattern

impl StructuralPartialEq for Pattern