Struct clarity_repl::clarity::analysis::analysis_db::AnalysisDatabase[][src]

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

Implementations

impl<'a> AnalysisDatabase<'a>[src]

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

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

pub fn execute<F, T, E>(&mut self, f: F) -> Result<T, E> where
    F: FnOnce(&mut Self) -> Result<T, E>, 
[src]

pub fn begin(&mut self)[src]

pub fn commit(&mut self)[src]

pub fn roll_back(&mut self)[src]

pub fn storage_key() -> &'static str[src]

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

pub fn load_contract(
    &mut self,
    contract_identifier: &QualifiedContractIdentifier
) -> Option<ContractAnalysis>
[src]

pub fn insert_contract(
    &mut self,
    contract_identifier: &QualifiedContractIdentifier,
    contract: &ContractAnalysis
) -> CheckResult<()>
[src]

pub fn get_public_function_type(
    &mut self,
    contract_identifier: &QualifiedContractIdentifier,
    function_name: &str
) -> CheckResult<Option<FunctionType>>
[src]

pub fn get_read_only_function_type(
    &mut self,
    contract_identifier: &QualifiedContractIdentifier,
    function_name: &str
) -> CheckResult<Option<FunctionType>>
[src]

pub fn get_defined_trait(
    &mut self,
    contract_identifier: &QualifiedContractIdentifier,
    trait_name: &str
) -> CheckResult<Option<BTreeMap<ClarityName, FunctionSignature>>>
[src]

pub fn get_implemented_traits(
    &mut self,
    contract_identifier: &QualifiedContractIdentifier
) -> CheckResult<BTreeSet<TraitIdentifier>>
[src]

pub fn get_map_type(
    &mut self,
    contract_identifier: &QualifiedContractIdentifier,
    map_name: &str
) -> CheckResult<(TypeSignature, TypeSignature)>
[src]

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

Auto Trait Implementations

impl<'a> !RefUnwindSafe for AnalysisDatabase<'a>

impl<'a> !Send for AnalysisDatabase<'a>

impl<'a> !Sync for AnalysisDatabase<'a>

impl<'a> Unpin for AnalysisDatabase<'a>

impl<'a> !UnwindSafe for AnalysisDatabase<'a>

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> Same<T> for T

type Output = T

Should always be Self

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<V, T> VZip<V> for T where
    V: MultiLane<T>,