Struct clarity_repl::analysis::check_checker::CheckChecker

pub struct CheckChecker<'a, 'b> { /* private fields */ }

Trait Implementations

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 traverse_as_contract( &mut self, expr: &'a SymbolicExpression, inner: &'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, memo: Option<&'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: &'a QualifiedContractIdentifier, function_name: &'a ClarityName, args: &'a [SymbolicExpression] ) -> bool

fn visit_static_contract_call( &mut self, expr: &'a SymbolicExpression, contract_identifier: &'a 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 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, memo: Option<&'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

fn traverse_buff_cast( &mut self, expr: &'a SymbolicExpression, input: &'a SymbolicExpression ) -> bool

fn visit_buff_cast( &mut self, expr: &'a SymbolicExpression, input: &'a SymbolicExpression ) -> bool

fn traverse_is_standard( &mut self, expr: &'a SymbolicExpression, value: &'a SymbolicExpression ) -> bool

fn visit_is_standard( &mut self, expr: &'a SymbolicExpression, value: &'a SymbolicExpression ) -> bool

fn traverse_principal_destruct( &mut self, expr: &'a SymbolicExpression, principal: &'a SymbolicExpression ) -> bool

fn visit_principal_destruct( &mut self, expr: &'a SymbolicExpression, principal: &'a SymbolicExpression ) -> bool

fn traverse_principal_construct( &mut self, expr: &'a SymbolicExpression, buff1: &'a SymbolicExpression, buff20: &'a SymbolicExpression, contract: Option<&'a SymbolicExpression> ) -> bool

fn visit_principal_construct( &mut self, expr: &'a SymbolicExpression, buff1: &'a SymbolicExpression, buff20: &'a SymbolicExpression, contract: Option<&'a SymbolicExpression> ) -> bool

fn traverse_string_to_int( &mut self, expr: &'a SymbolicExpression, input: &'a SymbolicExpression ) -> bool

fn visit_string_to_int( &mut self, expr: &'a SymbolicExpression, input: &'a SymbolicExpression ) -> bool

fn traverse_int_to_string( &mut self, expr: &'a SymbolicExpression, input: &'a SymbolicExpression ) -> bool

fn visit_int_to_string( &mut self, expr: &'a SymbolicExpression, input: &'a SymbolicExpression ) -> bool

fn traverse_stx_get_account( &mut self, expr: &'a SymbolicExpression, owner: &'a SymbolicExpression ) -> bool

fn visit_stx_get_account( &mut self, expr: &'a SymbolicExpression, owner: &'a SymbolicExpression ) -> bool

fn traverse_slice( &mut self, expr: &'a SymbolicExpression, seq: &'a SymbolicExpression, left: &'a SymbolicExpression, right: &'a SymbolicExpression ) -> bool

fn visit_slice( &mut self, expr: &'a SymbolicExpression, seq: &'a SymbolicExpression, left: &'a SymbolicExpression, right: &'a SymbolicExpression ) -> bool

fn traverse_get_burn_block_info( &mut self, expr: &'a SymbolicExpression, prop_name: &'a ClarityName, block: &'a SymbolicExpression ) -> bool

fn visit_get_burn_block_info( &mut self, expr: &'a SymbolicExpression, prop_name: &'a ClarityName, block: &'a SymbolicExpression ) -> bool

fn traverse_to_consensus_buff( &mut self, expr: &'a SymbolicExpression, input: &'a SymbolicExpression ) -> bool

fn visit_to_consensus_buff( &mut self, expr: &'a SymbolicExpression, input: &'a SymbolicExpression ) -> bool

fn traverse_from_consensus_buff( &mut self, expr: &'a SymbolicExpression, type_expr: &'a SymbolicExpression, input: &'a SymbolicExpression ) -> bool

fn visit_from_consensus_buff( &mut self, expr: &'a SymbolicExpression, type_expr: &'a SymbolicExpression, input: &'a SymbolicExpression ) -> bool

fn traverse_bitwise( &mut self, expr: &'a SymbolicExpression, func: NativeFunctions, operands: &'a [SymbolicExpression] ) -> bool

fn visit_bitwise( &mut self, expr: &'a SymbolicExpression, func: NativeFunctions, operands: &'a [SymbolicExpression] ) -> bool

fn traverse_replace_at( &mut self, expr: &'a SymbolicExpression, sequence: &'a SymbolicExpression, index: &'a SymbolicExpression, element: &'a SymbolicExpression ) -> bool

fn visit_replace_at( &mut self, expr: &'a SymbolicExpression, sequence: &'a SymbolicExpression, index: &'a SymbolicExpression, element: &'a SymbolicExpression ) -> bool

fn traverse_bit_shift( &mut self, expr: &'a SymbolicExpression, func: NativeFunctions, input: &'a SymbolicExpression, shamt: &'a SymbolicExpression ) -> bool

fn visit_bit_shift( &mut self, expr: &'a SymbolicExpression, func: NativeFunctions, input: &'a SymbolicExpression, shamt: &'a SymbolicExpression ) -> bool

impl AnalysisPass for CheckChecker<'_, '_>

fn run_pass( contract_analysis: &mut ContractAnalysis, analysis_db: &mut AnalysisDatabase<'_>, annotations: &Vec<Annotation>, settings: &Settings ) -> AnalysisResult