Struct AnalysisOptions 

pub struct AnalysisOptions {
    pub dialect: DialectMode,
    pub warn_shadowing: bool,
    pub parameter_hints: BTreeMap<SmolStr, Type>,
}

Full set of analysis options for a single file.

All fields that affect any derived query MUST appear here so that a digest change automatically invalidates everything downstream.

parameter_hints uses BTreeMap (not HashMap) to guarantee that the digest is independent of insertion order (spec §8 determinism).

Fields

dialect: DialectMode

Dialect used for gate checks (§9). Defaults to DialectMode::GqlAligned.

warn_shadowing: bool

Warn when a variable in an inner scope shadows one in an outer scope.

parameter_hints: BTreeMap<SmolStr, Type>

Caller-supplied type hints for query parameters.

Stored in a BTreeMap so digest computation is order-independent.

Implementations

impl AnalysisOptions

pub fn digest(&self) -> u64

Compute a stable, deterministic 64-bit digest of these options.

Uses FNV-1a (64-bit) over a canonical byte encoding. The encoding is deliberately simple and stable across process restarts because:

• std::collections::hash_map::DefaultHasher is NOT stable across runs (Rust explicitly reserves the right to change it).
• No external hashing crate is required: FNV-1a is trivial to inline and has no dependencies.

Canonical encoding

[dialect_u8] [warn_shadowing_u8]
[num_hints_le64]
for each (key, ty) in parameter_hints (BTreeMap order = lex):
  [key_len_le64] [key_utf8_bytes] [type_tag_u8]

Trait Implementations

impl Clone for AnalysisOptions

fn clone(&self) -> AnalysisOptions

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AnalysisOptions

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

Formats the value using the given formatter.

impl Default for AnalysisOptions

fn default() -> AnalysisOptions

Returns the “default value” for a type.

impl PartialEq for AnalysisOptions

fn eq(&self, other: &AnalysisOptions) -> 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 Eq for AnalysisOptions

impl StructuralPartialEq for AnalysisOptions