Struct clarity_repl::analysis::check_checker::CheckChecker
source · [−]pub struct CheckChecker<'a, 'b> { /* private fields */ }
Trait Implementations
sourceimpl<'a> ASTVisitor<'a> for CheckChecker<'a, '_>
impl<'a> ASTVisitor<'a> for CheckChecker<'a, '_>
fn traverse_expr(&mut self, expr: &'a SymbolicExpression) -> bool
fn traverse_define_public(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
parameters: Option<Vec<TypedVar<'a>>>,
body: &'a SymbolicExpression
) -> bool
fn visit_define_read_only(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
parameters: Option<Vec<TypedVar<'a>>>,
body: &'a SymbolicExpression
) -> bool
fn traverse_define_private(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
parameters: Option<Vec<TypedVar<'a>>>,
body: &'a SymbolicExpression
) -> bool
fn traverse_if(
&mut self,
expr: &'a SymbolicExpression,
cond: &'a SymbolicExpression,
then_expr: &'a SymbolicExpression,
else_expr: &'a SymbolicExpression
) -> bool
fn traverse_lazy_logical(
&mut self,
expr: &'a SymbolicExpression,
function: NativeFunctions,
operands: &'a [SymbolicExpression]
) -> bool
fn traverse_let(
&mut self,
expr: &'a SymbolicExpression,
bindings: &HashMap<&'a ClarityName, &'a SymbolicExpression>,
body: &'a [SymbolicExpression]
) -> bool
fn traverse_begin(
&mut self,
expr: &'a SymbolicExpression,
statements: &'a [SymbolicExpression]
) -> bool
fn visit_asserts(
&mut self,
expr: &'a SymbolicExpression,
cond: &'a SymbolicExpression,
thrown: &'a SymbolicExpression
) -> bool
fn visit_atom(
&mut self,
expr: &'a SymbolicExpression,
atom: &'a ClarityName
) -> bool
fn visit_list(
&mut self,
expr: &'a SymbolicExpression,
list: &[SymbolicExpression]
) -> bool
fn visit_stx_burn(
&mut self,
expr: &'a SymbolicExpression,
amount: &'a SymbolicExpression,
sender: &'a SymbolicExpression
) -> bool
fn visit_stx_transfer(
&mut self,
expr: &'a SymbolicExpression,
amount: &'a SymbolicExpression,
sender: &'a SymbolicExpression,
recipient: &'a SymbolicExpression
) -> bool
fn visit_ft_burn(
&mut self,
expr: &'a SymbolicExpression,
token: &'a ClarityName,
amount: &'a SymbolicExpression,
sender: &'a SymbolicExpression
) -> bool
fn visit_ft_transfer(
&mut self,
expr: &'a SymbolicExpression,
token: &'a ClarityName,
amount: &'a SymbolicExpression,
sender: &'a SymbolicExpression,
recipient: &'a SymbolicExpression
) -> bool
fn visit_ft_mint(
&mut self,
expr: &'a SymbolicExpression,
token: &'a ClarityName,
amount: &'a SymbolicExpression,
recipient: &'a SymbolicExpression
) -> bool
fn visit_nft_burn(
&mut self,
expr: &'a SymbolicExpression,
token: &'a ClarityName,
identifier: &'a SymbolicExpression,
sender: &'a SymbolicExpression
) -> bool
fn visit_nft_transfer(
&mut self,
expr: &'a SymbolicExpression,
token: &'a ClarityName,
identifier: &'a SymbolicExpression,
sender: &'a SymbolicExpression,
recipient: &'a SymbolicExpression
) -> bool
fn visit_nft_mint(
&mut self,
expr: &'a SymbolicExpression,
token: &'a ClarityName,
identifier: &'a SymbolicExpression,
recipient: &'a SymbolicExpression
) -> bool
fn visit_var_set(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
value: &'a SymbolicExpression
) -> bool
fn visit_map_set(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
key: &HashMap<Option<&'a ClarityName>, &'a SymbolicExpression>,
value: &HashMap<Option<&'a ClarityName>, &'a SymbolicExpression>
) -> bool
fn visit_map_insert(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
key: &HashMap<Option<&'a ClarityName>, &'a SymbolicExpression>,
value: &HashMap<Option<&'a ClarityName>, &'a SymbolicExpression>
) -> bool
fn visit_map_delete(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
key: &HashMap<Option<&'a ClarityName>, &'a SymbolicExpression>
) -> bool
fn visit_dynamic_contract_call(
&mut self,
expr: &'a SymbolicExpression,
trait_ref: &'a SymbolicExpression,
function_name: &'a ClarityName,
args: &'a [SymbolicExpression]
) -> bool
fn visit_call_user_defined(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
args: &'a [SymbolicExpression]
) -> bool
fn visit_comparison(
&mut self,
expr: &'a SymbolicExpression,
func: NativeFunctions,
operands: &'a [SymbolicExpression]
) -> bool
fn traverse_list(
&mut self,
expr: &'a SymbolicExpression,
list: &'a [SymbolicExpression]
) -> bool
fn visit_atom_value(
&mut self,
expr: &'a SymbolicExpression,
value: &Value
) -> bool
fn visit_literal_value(
&mut self,
expr: &'a SymbolicExpression,
value: &Value
) -> bool
fn visit_field(
&mut self,
expr: &'a SymbolicExpression,
field: &TraitIdentifier
) -> bool
fn visit_trait_reference(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
trait_def: &TraitDefinition
) -> bool
fn traverse_define_constant(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
value: &'a SymbolicExpression
) -> bool
fn visit_define_constant(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
value: &'a SymbolicExpression
) -> bool
fn visit_define_private(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
parameters: Option<Vec<TypedVar<'a>>>,
body: &'a SymbolicExpression
) -> bool
fn traverse_define_read_only(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
parameters: Option<Vec<TypedVar<'a>>>,
body: &'a SymbolicExpression
) -> bool
fn visit_define_public(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
parameters: Option<Vec<TypedVar<'a>>>,
body: &'a SymbolicExpression
) -> bool
fn traverse_define_nft(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
nft_type: &'a SymbolicExpression
) -> bool
fn visit_define_nft(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
nft_type: &'a SymbolicExpression
) -> bool
fn traverse_define_ft(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
supply: Option<&'a SymbolicExpression>
) -> bool
fn visit_define_ft(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
supply: Option<&'a SymbolicExpression>
) -> bool
fn traverse_define_map(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
key_type: &'a SymbolicExpression,
value_type: &'a SymbolicExpression
) -> bool
fn visit_define_map(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
key_type: &'a SymbolicExpression,
value_type: &'a SymbolicExpression
) -> bool
fn traverse_define_data_var(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
data_type: &'a SymbolicExpression,
initial: &'a SymbolicExpression
) -> bool
fn visit_define_data_var(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
data_type: &'a SymbolicExpression,
initial: &'a SymbolicExpression
) -> bool
fn traverse_define_trait(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
functions: &'a [SymbolicExpression]
) -> bool
fn visit_define_trait(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
functions: &'a [SymbolicExpression]
) -> bool
fn traverse_use_trait(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
trait_identifier: &TraitIdentifier
) -> bool
fn visit_use_trait(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
trait_identifier: &TraitIdentifier
) -> bool
fn traverse_impl_trait(
&mut self,
expr: &'a SymbolicExpression,
trait_identifier: &TraitIdentifier
) -> bool
fn visit_impl_trait(
&mut self,
expr: &'a SymbolicExpression,
trait_identifier: &TraitIdentifier
) -> bool
fn traverse_arithmetic(
&mut self,
expr: &'a SymbolicExpression,
func: NativeFunctions,
operands: &'a [SymbolicExpression]
) -> bool
fn visit_arithmetic(
&mut self,
expr: &'a SymbolicExpression,
func: NativeFunctions,
operands: &'a [SymbolicExpression]
) -> bool
fn traverse_binary_bitwise(
&mut self,
expr: &'a SymbolicExpression,
func: NativeFunctions,
lhs: &'a SymbolicExpression,
rhs: &'a SymbolicExpression
) -> bool
fn visit_binary_bitwise(
&mut self,
expr: &'a SymbolicExpression,
func: NativeFunctions,
lhs: &'a SymbolicExpression,
rhs: &'a SymbolicExpression
) -> bool
fn traverse_comparison(
&mut self,
expr: &'a SymbolicExpression,
func: NativeFunctions,
operands: &'a [SymbolicExpression]
) -> bool
fn visit_lazy_logical(
&mut self,
expr: &'a SymbolicExpression,
function: NativeFunctions,
operands: &'a [SymbolicExpression]
) -> bool
fn traverse_logical(
&mut self,
expr: &'a SymbolicExpression,
function: NativeFunctions,
operands: &'a [SymbolicExpression]
) -> bool
fn visit_logical(
&mut self,
expr: &'a SymbolicExpression,
function: NativeFunctions,
operands: &'a [SymbolicExpression]
) -> bool
fn traverse_int_cast(
&mut self,
expr: &'a SymbolicExpression,
input: &'a SymbolicExpression
) -> bool
fn visit_int_cast(
&mut self,
expr: &'a SymbolicExpression,
input: &'a SymbolicExpression
) -> bool
fn visit_if(
&mut self,
expr: &'a SymbolicExpression,
cond: &'a SymbolicExpression,
then_expr: &'a SymbolicExpression,
else_expr: &'a SymbolicExpression
) -> bool
fn traverse_var_get(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName
) -> bool
fn visit_var_get(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName
) -> bool
fn traverse_var_set(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
value: &'a SymbolicExpression
) -> bool
fn traverse_map_get(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
key: &HashMap<Option<&'a ClarityName>, &'a SymbolicExpression>
) -> bool
fn visit_map_get(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
key: &HashMap<Option<&'a ClarityName>, &'a SymbolicExpression>
) -> bool
fn traverse_map_set(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
key: &HashMap<Option<&'a ClarityName>, &'a SymbolicExpression>,
value: &HashMap<Option<&'a ClarityName>, &'a SymbolicExpression>
) -> bool
fn traverse_map_insert(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
key: &HashMap<Option<&'a ClarityName>, &'a SymbolicExpression>,
value: &HashMap<Option<&'a ClarityName>, &'a SymbolicExpression>
) -> bool
fn traverse_map_delete(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
key: &HashMap<Option<&'a ClarityName>, &'a SymbolicExpression>
) -> bool
fn traverse_tuple(
&mut self,
expr: &'a SymbolicExpression,
values: &HashMap<Option<&'a ClarityName>, &'a SymbolicExpression>
) -> bool
fn visit_tuple(
&mut self,
expr: &'a SymbolicExpression,
values: &HashMap<Option<&'a ClarityName>, &'a SymbolicExpression>
) -> bool
fn traverse_get(
&mut self,
expr: &'a SymbolicExpression,
key: &'a ClarityName,
tuple: &'a SymbolicExpression
) -> bool
fn visit_get(
&mut self,
expr: &'a SymbolicExpression,
key: &'a ClarityName,
tuple: &'a SymbolicExpression
) -> bool
fn traverse_merge(
&mut self,
expr: &'a SymbolicExpression,
tuple1: &'a SymbolicExpression,
tuple2: &'a SymbolicExpression
) -> bool
fn visit_merge(
&mut self,
expr: &'a SymbolicExpression,
tuple1: &'a SymbolicExpression,
tuple2: &'a SymbolicExpression
) -> bool
fn visit_begin(
&mut self,
expr: &'a SymbolicExpression,
statements: &'a [SymbolicExpression]
) -> bool
fn traverse_hash(
&mut self,
expr: &'a SymbolicExpression,
func: NativeFunctions,
value: &'a SymbolicExpression
) -> bool
fn visit_hash(
&mut self,
expr: &'a SymbolicExpression,
func: NativeFunctions,
value: &'a SymbolicExpression
) -> bool
fn traverse_secp256k1_recover(
&mut self,
expr: &'a SymbolicExpression,
hash: &'a SymbolicExpression,
signature: &'a SymbolicExpression
) -> bool
fn visit_secp256k1_recover(
&mut self,
expr: &'a SymbolicExpression,
hash: &SymbolicExpression,
signature: &SymbolicExpression
) -> bool
fn traverse_secp256k1_verify(
&mut self,
expr: &'a SymbolicExpression,
hash: &'a SymbolicExpression,
signature: &'a SymbolicExpression,
public_key: &'a SymbolicExpression
) -> bool
fn visit_secp256k1_verify(
&mut self,
expr: &'a SymbolicExpression,
hash: &SymbolicExpression,
signature: &SymbolicExpression,
public_key: &'a SymbolicExpression
) -> bool
fn traverse_print(
&mut self,
expr: &'a SymbolicExpression,
value: &'a SymbolicExpression
) -> bool
fn visit_print(
&mut self,
expr: &'a SymbolicExpression,
value: &'a SymbolicExpression
) -> bool
fn traverse_static_contract_call(
&mut self,
expr: &'a SymbolicExpression,
contract_identifier: &QualifiedContractIdentifier,
function_name: &'a ClarityName,
args: &'a [SymbolicExpression]
) -> bool
fn visit_static_contract_call(
&mut self,
expr: &'a SymbolicExpression,
contract_identifier: &QualifiedContractIdentifier,
function_name: &'a ClarityName,
args: &'a [SymbolicExpression]
) -> bool
fn traverse_dynamic_contract_call(
&mut self,
expr: &'a SymbolicExpression,
trait_ref: &'a SymbolicExpression,
function_name: &'a ClarityName,
args: &'a [SymbolicExpression]
) -> bool
fn traverse_as_contract(
&mut self,
expr: &'a SymbolicExpression,
inner: &'a SymbolicExpression
) -> bool
fn visit_as_contract(
&mut self,
expr: &'a SymbolicExpression,
inner: &'a SymbolicExpression
) -> bool
fn traverse_contract_of(
&mut self,
expr: &'a SymbolicExpression,
name: &'a SymbolicExpression
) -> bool
fn visit_contract_of(
&mut self,
expr: &'a SymbolicExpression,
name: &'a SymbolicExpression
) -> bool
fn traverse_principal_of(
&mut self,
expr: &'a SymbolicExpression,
public_key: &'a SymbolicExpression
) -> bool
fn visit_principal_of(
&mut self,
expr: &'a SymbolicExpression,
public_key: &'a SymbolicExpression
) -> bool
fn traverse_at_block(
&mut self,
expr: &'a SymbolicExpression,
block: &'a SymbolicExpression,
inner: &'a SymbolicExpression
) -> bool
fn visit_at_block(
&mut self,
expr: &'a SymbolicExpression,
block: &'a SymbolicExpression,
inner: &'a SymbolicExpression
) -> bool
fn traverse_get_block_info(
&mut self,
expr: &'a SymbolicExpression,
prop_name: &'a ClarityName,
block: &'a SymbolicExpression
) -> bool
fn visit_get_block_info(
&mut self,
expr: &'a SymbolicExpression,
prop_name: &'a ClarityName,
block: &'a SymbolicExpression
) -> bool
fn traverse_err(
&mut self,
expr: &'a SymbolicExpression,
value: &'a SymbolicExpression
) -> bool
fn visit_err(
&mut self,
expr: &'a SymbolicExpression,
value: &'a SymbolicExpression
) -> bool
fn traverse_ok(
&mut self,
expr: &'a SymbolicExpression,
value: &'a SymbolicExpression
) -> bool
fn visit_ok(
&mut self,
expr: &'a SymbolicExpression,
value: &'a SymbolicExpression
) -> bool
fn traverse_some(
&mut self,
expr: &'a SymbolicExpression,
value: &'a SymbolicExpression
) -> bool
fn visit_some(
&mut self,
expr: &'a SymbolicExpression,
value: &'a SymbolicExpression
) -> bool
fn traverse_default_to(
&mut self,
expr: &'a SymbolicExpression,
default: &'a SymbolicExpression,
value: &'a SymbolicExpression
) -> bool
fn visit_default_to(
&mut self,
expr: &'a SymbolicExpression,
default: &'a SymbolicExpression,
value: &'a SymbolicExpression
) -> bool
fn traverse_unwrap(
&mut self,
expr: &'a SymbolicExpression,
input: &'a SymbolicExpression,
throws: &'a SymbolicExpression
) -> bool
fn visit_unwrap(
&mut self,
expr: &'a SymbolicExpression,
input: &'a SymbolicExpression,
throws: &'a SymbolicExpression
) -> bool
fn traverse_unwrap_err(
&mut self,
expr: &'a SymbolicExpression,
input: &'a SymbolicExpression,
throws: &'a SymbolicExpression
) -> bool
fn visit_unwrap_err(
&mut self,
expr: &'a SymbolicExpression,
input: &'a SymbolicExpression,
throws: &'a SymbolicExpression
) -> bool
fn traverse_is_ok(
&mut self,
expr: &'a SymbolicExpression,
value: &'a SymbolicExpression
) -> bool
fn visit_is_ok(
&mut self,
expr: &'a SymbolicExpression,
value: &'a SymbolicExpression
) -> bool
fn traverse_is_none(
&mut self,
expr: &'a SymbolicExpression,
value: &'a SymbolicExpression
) -> bool
fn visit_is_none(
&mut self,
expr: &'a SymbolicExpression,
value: &'a SymbolicExpression
) -> bool
fn traverse_is_err(
&mut self,
expr: &'a SymbolicExpression,
value: &'a SymbolicExpression
) -> bool
fn visit_is_err(
&mut self,
expr: &'a SymbolicExpression,
value: &'a SymbolicExpression
) -> bool
fn traverse_is_some(
&mut self,
expr: &'a SymbolicExpression,
value: &'a SymbolicExpression
) -> bool
fn visit_is_some(
&mut self,
expr: &'a SymbolicExpression,
value: &'a SymbolicExpression
) -> bool
fn traverse_filter(
&mut self,
expr: &'a SymbolicExpression,
func: &'a ClarityName,
sequence: &'a SymbolicExpression
) -> bool
fn visit_filter(
&mut self,
expr: &'a SymbolicExpression,
func: &'a ClarityName,
sequence: &'a SymbolicExpression
) -> bool
fn traverse_unwrap_panic(
&mut self,
expr: &'a SymbolicExpression,
input: &'a SymbolicExpression
) -> bool
fn visit_unwrap_panic(
&mut self,
expr: &'a SymbolicExpression,
input: &'a SymbolicExpression
) -> bool
fn traverse_unwrap_err_panic(
&mut self,
expr: &'a SymbolicExpression,
input: &'a SymbolicExpression
) -> bool
fn visit_unwrap_err_panic(
&mut self,
expr: &'a SymbolicExpression,
input: &'a SymbolicExpression
) -> bool
fn traverse_match_option(
&mut self,
expr: &'a SymbolicExpression,
input: &'a SymbolicExpression,
some_name: &'a ClarityName,
some_branch: &'a SymbolicExpression,
none_branch: &'a SymbolicExpression
) -> bool
fn visit_match_option(
&mut self,
expr: &'a SymbolicExpression,
input: &'a SymbolicExpression,
some_name: &'a ClarityName,
some_branch: &'a SymbolicExpression,
none_branch: &'a SymbolicExpression
) -> bool
fn traverse_match_response(
&mut self,
expr: &'a SymbolicExpression,
input: &'a SymbolicExpression,
ok_name: &'a ClarityName,
ok_branch: &'a SymbolicExpression,
err_name: &'a ClarityName,
err_branch: &'a SymbolicExpression
) -> bool
fn visit_match_response(
&mut self,
expr: &'a SymbolicExpression,
input: &'a SymbolicExpression,
ok_name: &'a ClarityName,
ok_branch: &'a SymbolicExpression,
err_name: &'a ClarityName,
err_branch: &'a SymbolicExpression
) -> bool
fn traverse_try(
&mut self,
expr: &'a SymbolicExpression,
input: &'a SymbolicExpression
) -> bool
fn visit_try(
&mut self,
expr: &'a SymbolicExpression,
input: &'a SymbolicExpression
) -> bool
fn traverse_asserts(
&mut self,
expr: &'a SymbolicExpression,
cond: &'a SymbolicExpression,
thrown: &'a SymbolicExpression
) -> bool
fn traverse_stx_burn(
&mut self,
expr: &'a SymbolicExpression,
amount: &'a SymbolicExpression,
sender: &'a SymbolicExpression
) -> bool
fn traverse_stx_transfer(
&mut self,
expr: &'a SymbolicExpression,
amount: &'a SymbolicExpression,
sender: &'a SymbolicExpression,
recipient: &'a SymbolicExpression
) -> bool
fn traverse_stx_get_balance(
&mut self,
expr: &'a SymbolicExpression,
owner: &'a SymbolicExpression
) -> bool
fn visit_stx_get_balance(
&mut self,
expr: &'a SymbolicExpression,
owner: &'a SymbolicExpression
) -> bool
fn traverse_ft_burn(
&mut self,
expr: &'a SymbolicExpression,
token: &'a ClarityName,
amount: &'a SymbolicExpression,
sender: &'a SymbolicExpression
) -> bool
fn traverse_ft_transfer(
&mut self,
expr: &'a SymbolicExpression,
token: &'a ClarityName,
amount: &'a SymbolicExpression,
sender: &'a SymbolicExpression,
recipient: &'a SymbolicExpression
) -> bool
fn traverse_ft_get_balance(
&mut self,
expr: &'a SymbolicExpression,
token: &'a ClarityName,
owner: &'a SymbolicExpression
) -> bool
fn visit_ft_get_balance(
&mut self,
expr: &'a SymbolicExpression,
token: &'a ClarityName,
owner: &'a SymbolicExpression
) -> bool
fn traverse_ft_get_supply(
&mut self,
expr: &'a SymbolicExpression,
token: &'a ClarityName
) -> bool
fn visit_ft_get_supply(
&mut self,
expr: &'a SymbolicExpression,
token: &'a ClarityName
) -> bool
fn traverse_ft_mint(
&mut self,
expr: &'a SymbolicExpression,
token: &'a ClarityName,
amount: &'a SymbolicExpression,
recipient: &'a SymbolicExpression
) -> bool
fn traverse_nft_burn(
&mut self,
expr: &'a SymbolicExpression,
token: &'a ClarityName,
identifier: &'a SymbolicExpression,
sender: &'a SymbolicExpression
) -> bool
fn traverse_nft_transfer(
&mut self,
expr: &'a SymbolicExpression,
token: &'a ClarityName,
identifier: &'a SymbolicExpression,
sender: &'a SymbolicExpression,
recipient: &'a SymbolicExpression
) -> bool
fn traverse_nft_mint(
&mut self,
expr: &'a SymbolicExpression,
token: &'a ClarityName,
identifier: &'a SymbolicExpression,
recipient: &'a SymbolicExpression
) -> bool
fn traverse_nft_get_owner(
&mut self,
expr: &'a SymbolicExpression,
token: &'a ClarityName,
identifier: &'a SymbolicExpression
) -> bool
fn visit_nft_get_owner(
&mut self,
expr: &'a SymbolicExpression,
token: &'a ClarityName,
identifier: &'a SymbolicExpression
) -> bool
fn visit_let(
&mut self,
expr: &'a SymbolicExpression,
bindings: &HashMap<&'a ClarityName, &'a SymbolicExpression>,
body: &'a [SymbolicExpression]
) -> bool
fn traverse_map(
&mut self,
expr: &'a SymbolicExpression,
func: &'a ClarityName,
sequences: &'a [SymbolicExpression]
) -> bool
fn visit_map(
&mut self,
expr: &'a SymbolicExpression,
func: &'a ClarityName,
sequences: &'a [SymbolicExpression]
) -> bool
fn traverse_fold(
&mut self,
expr: &'a SymbolicExpression,
func: &'a ClarityName,
sequence: &'a SymbolicExpression,
initial: &'a SymbolicExpression
) -> bool
fn visit_fold(
&mut self,
expr: &'a SymbolicExpression,
func: &'a ClarityName,
sequence: &'a SymbolicExpression,
initial: &'a SymbolicExpression
) -> bool
fn traverse_append(
&mut self,
expr: &'a SymbolicExpression,
list: &'a SymbolicExpression,
value: &'a SymbolicExpression
) -> bool
fn visit_append(
&mut self,
expr: &'a SymbolicExpression,
list: &'a SymbolicExpression,
value: &'a SymbolicExpression
) -> bool
fn traverse_concat(
&mut self,
expr: &'a SymbolicExpression,
lhs: &'a SymbolicExpression,
rhs: &'a SymbolicExpression
) -> bool
fn visit_concat(
&mut self,
expr: &'a SymbolicExpression,
lhs: &'a SymbolicExpression,
rhs: &'a SymbolicExpression
) -> bool
fn traverse_as_max_len(
&mut self,
expr: &'a SymbolicExpression,
sequence: &'a SymbolicExpression,
length: u128
) -> bool
fn visit_as_max_len(
&mut self,
expr: &'a SymbolicExpression,
sequence: &'a SymbolicExpression,
length: u128
) -> bool
fn traverse_len(
&mut self,
expr: &'a SymbolicExpression,
sequence: &'a SymbolicExpression
) -> bool
fn visit_len(
&mut self,
expr: &'a SymbolicExpression,
sequence: &'a SymbolicExpression
) -> bool
fn traverse_element_at(
&mut self,
expr: &'a SymbolicExpression,
sequence: &'a SymbolicExpression,
index: &'a SymbolicExpression
) -> bool
fn visit_element_at(
&mut self,
expr: &'a SymbolicExpression,
sequence: &'a SymbolicExpression,
index: &'a SymbolicExpression
) -> bool
fn traverse_index_of(
&mut self,
expr: &'a SymbolicExpression,
sequence: &'a SymbolicExpression,
item: &'a SymbolicExpression
) -> bool
fn visit_index_of(
&mut self,
expr: &'a SymbolicExpression,
sequence: &'a SymbolicExpression,
item: &'a SymbolicExpression
) -> bool
fn traverse_list_cons(
&mut self,
expr: &'a SymbolicExpression,
args: &'a [SymbolicExpression]
) -> bool
fn visit_list_cons(
&mut self,
expr: &'a SymbolicExpression,
args: &'a [SymbolicExpression]
) -> bool
fn traverse_call_user_defined(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
args: &'a [SymbolicExpression]
) -> bool
sourceimpl AnalysisPass for CheckChecker<'_, '_>
impl AnalysisPass for CheckChecker<'_, '_>
fn run_pass(
contract_analysis: &mut ContractAnalysis,
analysis_db: &mut AnalysisDatabase<'_>,
annotations: &Vec<Annotation>,
settings: &Settings
) -> AnalysisResult
Auto Trait Implementations
impl<'a, 'b> !RefUnwindSafe for CheckChecker<'a, 'b>
impl<'a, 'b> !Send for CheckChecker<'a, 'b>
impl<'a, 'b> !Sync for CheckChecker<'a, 'b>
impl<'a, 'b> Unpin for CheckChecker<'a, 'b> where
'b: 'a,
impl<'a, 'b> !UnwindSafe for CheckChecker<'a, 'b>
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcepub fn borrow_mut(&mut self) -> &mut T
pub fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<T> Instrument for T
impl<T> Instrument for T
sourcefn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
sourcefn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
pub fn vzip(self) -> V
sourceimpl<T> WithSubscriber for T
impl<T> WithSubscriber for T
sourcefn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> where
S: Into<Dispatch>,
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> where
S: Into<Dispatch>,
Attaches the provided Subscriber
to this type, returning a
WithDispatch
wrapper. Read more
sourcefn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
Attaches the current default Subscriber
to this type, returning a
WithDispatch
wrapper. Read more