Struct AnalysisState 

pub struct AnalysisState {

    pub pg_version_num: Option<u32>,
    pub baseline_available: bool,
    pub baseline_boundary_queries_complete: bool,
    pub baseline_coverage: CatalogCoverage,
    pub baseline_schemas: Option<HashSet<String>>,
    pub baseline_relations: HashSet<ObjectId>,
    pub baseline_indexes: HashSet<ObjectId>,
    pub baseline_foreign_keys: HashSet<(ObjectId, String)>,
    pub baseline_fk_dependencies: HashSet<ObjectId>,
    pub baseline_sequences: HashSet<ObjectId>,
    pub scoped_external_relation_dependencies: HashSet<ObjectId>,
    pub scoped_external_type_dependencies: HashSet<ObjectId>,
    pub scoped_external_routine_dependencies: HashSet<ObjectId>,
    pub local: LocalState,
}

Fields

pg_version_num: Option<u32>

baseline_available: bool

Whether the initial cache was loaded from a real cache file. An empty cache can be a valid baseline for an empty database, so availability must not be inferred from the number of modeled objects.

baseline_boundary_queries_complete: bool

Whether scoped cross-catalog boundary queries were run by the synchronizer. Programmatic caches lack this provenance and remain conservative for destructive scoped transitions.

baseline_coverage: CatalogCoverage

V7 catalog completeness used for authoritative absence decisions. Family-specific legacy fields remain only while their consumers migrate.

baseline_schemas: Option<HashSet<String>>

None means the cache covered all non-system schemas. A populated set records an explicitly scoped sync, for which objects outside the set are unknown rather than known absent.

baseline_relations: HashSet<ObjectId>

baseline_indexes: HashSet<ObjectId>

baseline_foreign_keys: HashSet<(ObjectId, String)>

baseline_fk_dependencies: HashSet<ObjectId>

baseline_sequences: HashSet<ObjectId>

scoped_external_relation_dependencies: HashSet<ObjectId>

scoped_external_type_dependencies: HashSet<ObjectId>

scoped_external_routine_dependencies: HashSet<ObjectId>

local: LocalState

Implementations

impl AnalysisState

pub fn new(cache: DbCache) -> Self

pub fn try_new(cache: DbCache) -> Result<Self, String>

Construct an authoritative state only from a semantically valid cache.

pub fn with_baseline(cache: DbCache, baseline_available: bool) -> Self

pub fn try_with_baseline( cache: DbCache, baseline_available: bool, ) -> Result<Self, String>

Construct state from a cache after validating its cross-record invariants, preserving the requested baseline-availability flag.

pub fn get_relation(&self, id: &ObjectId) -> Option<&RelationOverlay>

pub fn resolve_function_schema( &self, name: &QualifiedName, sig_str: &str, ) -> String

pub fn resolve_relation_id(&self, name: &QualifiedName) -> ObjectId

pub fn relation_is_present(&self, id: &ObjectId) -> bool

pub fn baseline_covers_object(&self, id: &ObjectId) -> bool

Returns whether a cache-backed absence is authoritative for an object. A scoped cache only establishes absence in the schemas it actually synchronized.

pub fn baseline_scope_omits_displayed_object<'a>( &self, object_name: &'a str, ) -> Option<&'a str>

pub fn column_was_added_in_transaction( &self, table_id: &ObjectId, column: &str, ) -> bool

pub fn capture_pre_state(&self) -> PreState

pub fn get_cascade_closure(&self, target_oid: &ObjectId) -> CascadeResult

pub fn apply( &mut self, mutation: &Mutation, precomputed_cascade: Option<&CascadeResult>, ) -> MutationResult

pub fn record_evidence(&mut self, record: EvidenceRecord)

Adds conservative-analysis evidence and marks later chain state tainted.

pub fn evidence(&self) -> &[EvidenceRecord]

pub fn confidence(&self) -> &Confidence

Trait Implementations

impl Clone for AnalysisState

fn clone(&self) -> AnalysisState

Returns a duplicate of the value.

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

Performs copy-assignment from source.