Struct AnalysisState 

pub struct AnalysisState {
    pub pg_version_num: Option<u32>,
    pub baseline_available: bool,
    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 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_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>

local: LocalState

Implementations

impl AnalysisState

pub fn new(cache: DbCache) -> Self

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

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

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.