Trait clarity_repl::analysis::ast_visitor::ASTVisitor

source · [−]
pub trait ASTVisitor<'a> {

Show 166 methods    fn traverse_expr(&mut self, expr: &'a SymbolicExpression) -> bool { ... }
    fn traverse_list(
        &mut self,
        expr: &'a SymbolicExpression,
        list: &'a [SymbolicExpression]
    ) -> bool { ... }
    fn visit_list(
        &mut self,
        expr: &'a SymbolicExpression,
        list: &'a [SymbolicExpression]
    ) -> bool { ... }
    fn visit_atom_value(
        &mut self,
        expr: &'a SymbolicExpression,
        value: &Value
    ) -> bool { ... }
    fn visit_atom(
        &mut self,
        expr: &'a SymbolicExpression,
        atom: &'a ClarityName
    ) -> 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 traverse_define_private(
        &mut self,
        expr: &'a SymbolicExpression,
        name: &'a ClarityName,
        parameters: Option<Vec<TypedVar<'a>>>,
        body: &'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_read_only(
        &mut self,
        expr: &'a SymbolicExpression,
        name: &'a ClarityName,
        parameters: Option<Vec<TypedVar<'a>>>,
        body: &'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_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_comparison(
        &mut self,
        expr: &'a SymbolicExpression,
        func: NativeFunctions,
        operands: &'a [SymbolicExpression]
    ) -> bool { ... }
    fn traverse_lazy_logical(
        &mut self,
        expr: &'a SymbolicExpression,
        function: 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 traverse_if(
        &mut self,
        expr: &'a SymbolicExpression,
        cond: &'a SymbolicExpression,
        then_expr: &'a SymbolicExpression,
        else_expr: &'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 visit_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 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 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 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 traverse_map_delete(
        &mut self,
        expr: &'a SymbolicExpression,
        name: &'a ClarityName,
        key: &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 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 traverse_begin(
        &mut self,
        expr: &'a SymbolicExpression,
        statements: &'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_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 visit_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 visit_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 visit_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 visit_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 visit_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 visit_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 visit_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 visit_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 visit_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 traverse_let(
        &mut self,
        expr: &'a SymbolicExpression,
        bindings: &HashMap<&'a ClarityName, &'a SymbolicExpression>,
        body: &'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 visit_call_user_defined(
        &mut self,
        expr: &'a SymbolicExpression,
        name: &'a ClarityName,
        args: &'a [SymbolicExpression]
    ) -> bool { ... }

}

Provided Methods

Implementors