Struct CompiledQuery 

pub struct CompiledQuery { /* private fields */ }

A compiled query ready for execution.

Contains a single contiguous buffer with all segments, plus offset indices for O(1) access to each segment.

Implementations

impl CompiledQuery

pub fn new( buffer: CompiledQueryBuffer, successors_offset: u32, effects_offset: u32, negated_fields_offset: u32, string_refs_offset: u32, string_bytes_offset: u32, type_defs_offset: u32, type_members_offset: u32, entrypoints_offset: u32, trivia_kinds_offset: u32, transition_count: u32, successor_count: u32, effect_count: u32, negated_field_count: u16, string_ref_count: u16, type_def_count: u16, type_member_count: u16, entrypoint_count: u16, trivia_kind_count: u16, ) -> Self

Creates a new compiled query from pre-built components.

This is typically called by the emitter after layout computation.

pub fn transitions(&self) -> &[Transition]

Returns the transitions segment.

pub fn successors(&self) -> &[TransitionId]

Returns the successors segment.

pub fn effects(&self) -> &[EffectOp]

Returns the effects segment.

pub fn negated_fields(&self) -> &[NodeFieldId]

Returns the negated fields segment.

pub fn string_refs(&self) -> &[StringRef]

Returns the string refs segment.

pub fn string_bytes(&self) -> &[u8]

Returns the raw string bytes.

pub fn type_defs(&self) -> &[TypeDef]

Returns the type definitions segment.

pub fn type_members(&self) -> &[TypeMember]

Returns the type members segment.

pub fn entrypoints(&self) -> &[Entrypoint]

Returns the entrypoints segment.

pub fn trivia_kinds(&self) -> &[NodeTypeId]

Returns the trivia kinds segment (node types to skip).

pub fn transition(&self, id: TransitionId) -> &Transition

Returns a transition by ID.

pub fn transition_view(&self, id: TransitionId) -> TransitionView<'_>

Returns a view of a transition with resolved slices.

pub fn string(&self, id: StringId) -> &str

Resolves a string ID to its UTF-8 content.

pub fn resolve_effects(&self, slice: Slice<EffectOp>) -> &[EffectOp]

Resolves a slice of effects.

pub fn resolve_negated_fields( &self, slice: Slice<NodeFieldId>, ) -> &[NodeFieldId]

Resolves a slice of negated fields.

pub fn resolve_type_members(&self, slice: Slice<TypeMember>) -> &[TypeMember]

Resolves a slice of type members.

pub fn resolve_successors_by_id(&self, id: TransitionId) -> &[TransitionId]

Resolves successors for a transition by ID, handling both inline and spilled cases.

pub fn transition_count(&self) -> u32

Returns the number of transitions.

pub fn entrypoint_count(&self) -> u16

Returns the number of entrypoints.

pub fn buffer(&self) -> &CompiledQueryBuffer

Returns the raw buffer for serialization.

pub fn offsets(&self) -> CompiledQueryOffsets

Returns offset metadata for serialization.

pub fn dump(&self) -> String

Dumps the compiled query in human-readable format for debugging.