Struct stacks_rpc_client::clarity::vm::analysis::analysis_db::AnalysisDatabase

pub struct AnalysisDatabase<'a> { /* private fields */ }

Implementations

impl<'a> AnalysisDatabase<'a>

pub fn new(store: &'a mut dyn ClarityBackingStore) -> AnalysisDatabase<'a>

pub fn new_with_rollback_wrapper( store: RollbackWrapper<'a> ) -> AnalysisDatabase<'a>

pub fn execute<F, T, E>(&mut self, f: F) -> Result<T, E>where F: FnOnce(&mut AnalysisDatabase<'a>) -> Result<T, E>,

pub fn begin(&mut self)

pub fn commit(&mut self)

pub fn roll_back(&mut self)

pub fn storage_key() -> &'static str

pub fn has_contract( &mut self, contract_identifier: &QualifiedContractIdentifier ) -> bool

pub fn load_contract_non_canonical( &mut self, contract_identifier: &QualifiedContractIdentifier ) -> Option<ContractAnalysis>

Load a contract from the database, without canonicalizing its types.

pub fn load_contract( &mut self, contract_identifier: &QualifiedContractIdentifier, epoch: &StacksEpochId ) -> Option<ContractAnalysis>

pub fn insert_contract( &mut self, contract_identifier: &QualifiedContractIdentifier, contract: &ContractAnalysis ) -> Result<(), CheckError>

pub fn get_clarity_version( &mut self, contract_identifier: &QualifiedContractIdentifier ) -> Result<ClarityVersion, CheckError>

pub fn get_public_function_type( &mut self, contract_identifier: &QualifiedContractIdentifier, function_name: &str, epoch: &StacksEpochId ) -> Result<Option<FunctionType>, CheckError>

pub fn get_read_only_function_type( &mut self, contract_identifier: &QualifiedContractIdentifier, function_name: &str, epoch: &StacksEpochId ) -> Result<Option<FunctionType>, CheckError>

pub fn get_defined_trait( &mut self, contract_identifier: &QualifiedContractIdentifier, trait_name: &str, epoch: &StacksEpochId ) -> Result<Option<BTreeMap<ClarityName, FunctionSignature>>, CheckError>

pub fn get_implemented_traits( &mut self, contract_identifier: &QualifiedContractIdentifier ) -> Result<BTreeSet<TraitIdentifier>, CheckError>

pub fn destroy(self) -> RollbackWrapper<'a>