Struct clarity_repl::clarity::analysis::types::ContractAnalysis [−][src]
Fields
contract_identifier: QualifiedContractIdentifier
private_function_types: BTreeMap<ClarityName, FunctionType>
variable_types: BTreeMap<ClarityName, TypeSignature>
public_function_types: BTreeMap<ClarityName, FunctionType>
read_only_function_types: BTreeMap<ClarityName, FunctionType>
map_types: BTreeMap<ClarityName, (TypeSignature, TypeSignature)>
persisted_variable_types: BTreeMap<ClarityName, TypeSignature>
fungible_tokens: BTreeSet<ClarityName>
non_fungible_tokens: BTreeMap<ClarityName, TypeSignature>
defined_traits: BTreeMap<ClarityName, BTreeMap<ClarityName, FunctionSignature>>
implemented_traits: BTreeSet<TraitIdentifier>
contract_interface: Option<ContractInterface>
is_cost_contract_eligible: bool
expressions: Vec<SymbolicExpression>
type_map: Option<TypeMap>
cost_track: Option<LimitedCostTracker>
Implementations
impl ContractAnalysis
[src]
pub fn new(
contract_identifier: QualifiedContractIdentifier,
expressions: Vec<SymbolicExpression>,
cost_track: LimitedCostTracker
) -> ContractAnalysis
[src]
contract_identifier: QualifiedContractIdentifier,
expressions: Vec<SymbolicExpression>,
cost_track: LimitedCostTracker
) -> ContractAnalysis
pub fn take_contract_cost_tracker(&mut self) -> LimitedCostTracker
[src]
pub fn replace_contract_cost_tracker(&mut self, cost_track: LimitedCostTracker)
[src]
pub fn add_map_type(
&mut self,
name: ClarityName,
key_type: TypeSignature,
map_type: TypeSignature
)
[src]
&mut self,
name: ClarityName,
key_type: TypeSignature,
map_type: TypeSignature
)
pub fn add_variable_type(
&mut self,
name: ClarityName,
variable_type: TypeSignature
)
[src]
&mut self,
name: ClarityName,
variable_type: TypeSignature
)
pub fn add_persisted_variable_type(
&mut self,
name: ClarityName,
persisted_variable_type: TypeSignature
)
[src]
&mut self,
name: ClarityName,
persisted_variable_type: TypeSignature
)
pub fn add_read_only_function(
&mut self,
name: ClarityName,
function_type: FunctionType
)
[src]
&mut self,
name: ClarityName,
function_type: FunctionType
)
pub fn add_public_function(
&mut self,
name: ClarityName,
function_type: FunctionType
)
[src]
&mut self,
name: ClarityName,
function_type: FunctionType
)
pub fn add_private_function(
&mut self,
name: ClarityName,
function_type: FunctionType
)
[src]
&mut self,
name: ClarityName,
function_type: FunctionType
)
pub fn add_non_fungible_token(
&mut self,
name: ClarityName,
nft_type: TypeSignature
)
[src]
&mut self,
name: ClarityName,
nft_type: TypeSignature
)
pub fn add_fungible_token(&mut self, name: ClarityName)
[src]
pub fn add_defined_trait(
&mut self,
name: ClarityName,
function_types: BTreeMap<ClarityName, FunctionSignature>
)
[src]
&mut self,
name: ClarityName,
function_types: BTreeMap<ClarityName, FunctionSignature>
)
pub fn add_implemented_trait(&mut self, trait_identifier: TraitIdentifier)
[src]
pub fn get_public_function_type(&self, name: &str) -> Option<&FunctionType>
[src]
pub fn get_read_only_function_type(&self, name: &str) -> Option<&FunctionType>
[src]
pub fn get_private_function(&self, name: &str) -> Option<&FunctionType>
[src]
pub fn get_map_type(
&self,
name: &str
) -> Option<&(TypeSignature, TypeSignature)>
[src]
&self,
name: &str
) -> Option<&(TypeSignature, TypeSignature)>
pub fn get_variable_type(&self, name: &str) -> Option<&TypeSignature>
[src]
pub fn get_persisted_variable_type(&self, name: &str) -> Option<&TypeSignature>
[src]
pub fn get_defined_trait(
&self,
name: &str
) -> Option<&BTreeMap<ClarityName, FunctionSignature>>
[src]
&self,
name: &str
) -> Option<&BTreeMap<ClarityName, FunctionSignature>>
pub fn check_trait_compliance(
&self,
trait_identifier: &TraitIdentifier,
trait_definition: &BTreeMap<ClarityName, FunctionSignature>
) -> CheckResult<()>
[src]
&self,
trait_identifier: &TraitIdentifier,
trait_definition: &BTreeMap<ClarityName, FunctionSignature>
) -> CheckResult<()>
Trait Implementations
impl ClarityDeserializable<ContractAnalysis> for ContractAnalysis
[src]
fn deserialize(json: &str) -> Self
[src]
impl ClaritySerializable for ContractAnalysis
[src]
impl Clone for ContractAnalysis
[src]
fn clone(&self) -> ContractAnalysis
[src]
pub fn clone_from(&mut self, source: &Self)
1.0.0[src]
impl Debug for ContractAnalysis
[src]
impl<'de> Deserialize<'de> for ContractAnalysis
[src]
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
__D: Deserializer<'de>,
[src]
__D: Deserializer<'de>,
impl PartialEq<ContractAnalysis> for ContractAnalysis
[src]
fn eq(&self, other: &ContractAnalysis) -> bool
[src]
fn ne(&self, other: &ContractAnalysis) -> bool
[src]
impl Serialize for ContractAnalysis
[src]
fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error> where
__S: Serializer,
[src]
__S: Serializer,
impl StructuralPartialEq for ContractAnalysis
[src]
Auto Trait Implementations
impl RefUnwindSafe for ContractAnalysis
impl Send for ContractAnalysis
impl Sync for ContractAnalysis
impl Unpin for ContractAnalysis
impl UnwindSafe for ContractAnalysis
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
pub fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> DeserializeOwned for T where
T: for<'de> Deserialize<'de>,
[src]
T: for<'de> Deserialize<'de>,
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> Same<T> for T
type Output = T
Should always be Self
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
pub fn to_owned(&self) -> T
[src]
pub fn clone_into(&self, target: &mut T)
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
V: MultiLane<T>,